Optimization and Verification of One-dimensional Three-field Model for Transient Analysis of Pressurized Water Reactor by YUAN Leqi1, LI Zanwang1, 2, FAN Jie1, 3, GOU Junli1, SHAN Jianqiang1

“…Building on this global momentum, the NUSOL (Nuclear Safety and Operation Research Laboratory) team at Xi’an Jiaotong University previously developed a three-field model-based system analysis code. This study presents systematic optimizations to the code’s critical components, with particular emphasis on reflooding scenarios where droplet dynamics significantly influence thermal-hydraulic behavior. …”
Get full text

Revision of the Protocol of the Telephone Triage System in Tokyo, Japan by Atsushi Sakurai, Jun Oda, Takashi Muguruma, Shiei Kim, Sachiko Ohta, Takeru Abe, Naoto Morimura

Get full text

PSTR: A Test Case Reuse Method Based on Path Similarity by Xinyue Xu, Sinong Chen, Zhonghao Guo, Xiangxian Chen

“…Software testing plays a critical role throughout the software development lifecycle. …”
Get full text

A Comprehensive Approach to Rustc Optimization Vulnerability Detection in Industrial Control Systems by Kaifeng Xie, Jinjing Wan, Lifeng Chen, Yi Wang

“…This paper proposes a test case generation method based on large language models (LLMs), which utilizes prompt templates and optimization algorithms to generate a code relevant to specific optimization passes, especially for real-time control logic and safety-critical modules unique to the industrial control field. …”
Get full text

The development of the Saudi Billing System supporting national health transformation: methods and justification by Husein Reka, Deniza Mazevska, Jim Pearse, Abdullah Al Maghrabi, Susan E. Young, Shabab Al Ghamdi

“…Codes were assigned based on assessment by clinical coders using an established methodology and followed by an audit to confirm the assigned code or assign an alternative code where the coding could not be adequately completed by the initial coder. …”
Get full text

SOME CONSIDERATIONS ON THE TRANSPOSITION OF DIRECTIVE (EU) 2019/771 INTO ROMANIAN LAW by Dan VELICU

“…On the other hand, a regulation of the sale calls into question the degree of timeliness of the ordinary regulation offered by the Civil Code. Are there two parallel regulations? Can we talk about a pressure on the basic regulation offered by the Civil Code if the new regulation also provides a definition of the sale-purchase contract? …”
Get full text

ملتان میں تاریخ و اصول حدیث پر ہونے والے کام کا تنقیدی جائزہ by Muhammad Zafar Iqbal Saeedi, Muhammad Akram Rana

“…The religion Islam offers complete code of life. It throws light on each and every aspect of human behaviour. …”
Get full text

Survey on Major Worldwide Regulations on Seismic Base Isolation of Buildings by Francisco Lopez-Almansa, Carlos M. Piscal, Julian Carrillo, Stefan L. Leiva-Maldonado, Yina F. M. Moscoso

“…With the aim of assisting code developers, this work analyzes and compares the code requirements for seismic base isolation in Japan, China, Russia, Italy, USA, and Chile. …”
Get full text

The Implementation of the Physical Unclonable Function in a Field-Programmable Gate Array for Enhancing Hardware Security by Kuang-Hao Lin, Wei-Hao Wang, I-Chen Wang

“…With an 8-bit selector, 256 state inputs are automatically generated, and the PUF architecture enables a 256-bit unique identification code for the chip. Finally, the generated identification code is outputted either serially or in parallel and implemented on a field-programmable gate array platform.…”
Get full text

Peculiarities and procedure for interrogation of a witness by a notary public by Ju. V. Kaiser

“…The article provides a correlation between the provisions of the Fundamentals of Legislation on Notaries dated February 11, 1993, which establish the possibility for a notary to interrogate a witness in order to give such testimony evidentiary value in resolving civil disputes in court, and the norms of the Civil Procedure Code of the Russian Federation, the Arbitration Procedure Code of the Russian Federation on securing evidence by the court. …”
Get full text

Developments in welfare of parent stock and commercial broilers by Tim Burnside, Anne-Marie Neeteson

“…Meat poultry breeding plays a critical role at the start of the food chain. Breeding solutions are long-term - as available in the DNA of the populations. …”
Get full text

Architecture of the Formally-Verified Distributed Ledger System InnoChain by Leonid Al'bertovich Merkin-Janson, Ruslan Maratovich Rezin, Nikolay Konstantinovich Vasilyev

“…The architecture of InnoChain includes (1) a programming language for smart contracts which is a domain-specific language with formal semantics embedded into CakeML, which is a functional language ofthe ML family; this allows us to carry out formal verification of smart contracts' correctness properties using higher-order logic systems, such as HOL4; (2) trusted compilation of smart contracts into the machine code using the verified compiler available for CakeML, rather than relying on a virtual machine for execution of smart contracts; (3) using CakeML for implementation of InnoChain node functionality which allows for formal verification of code correctness and trusted compilation into the machine code; (4) formal verification of the consensus protocol used InnoChain, namely HotStuff BFT; (5) using seL4, a formally-verified microkernel, as the underlying OS for InnoChain instead of more traditional general-purpose OSes such as Linux. …”
Get full text

Using Open Science Tools to Teach Environmental Sciences by Mario Zuliani, C. J. Lortie

“…ABSTRACT Open science, work and knowledge that are developed in full, offers critical resources that provide students with insights into the process of research in many fields. …”
Get full text

Clinical profiles and mortality risk factors in pediatric pulmonary hemorrhage: a single-center study in Saudi Arabia by Moath K. Alabdulsalam, Robayeh A. Asiry, Raghad T. Alhuthil, Abdulaziz S. Almusallam, Nora K. Alhelali, Tareq M. Alayed, Fahad B. Aljofan, Fawaz A. Alanzi, Tariq O. Alofisan, Abdullah T. Alturkia

Get full text

Real-time analysis of Delphi panel data to facilitate iterative rating within meetings by Julien B. Weinstein, Cainnear K. Hogan, Taylor Whittington, Jennifer Cano, Sarah M. Seelye, Jeremy B. Sussman, Steven J. Bernstein, Hallie C. Prescott

Get full text

Decoherence and Wave-Function Deformation of D_{4} Non-Abelian Topological Order by Pablo Sala, Jason Alicea, Ruben Verresen

“…The information-theoretic threshold (n→1) appears to be controlled by a disordered version of these statistical mechanical models, akin to the toric code case although significantly more robust. We furthermore use Monte Carlo simulations to explore the phase diagrams when multiple anyon types proliferate at the same time, leading to a continued stability of the D_{4} TO in addition to critical phases with emergent U(1) symmetry. …”
Get full text

Evaluation of the psychometric properties of the Brazilian version of the Digital Health Literacy Instrument for individuals with heart failure by Daniele Cristina Bosco Aprile, Karina Aparecida Lopes da Costa, Renata Eloah de Lucena Ferretti-Rebustini, Vinicius Batista Santos, Mirian Ueda Yamaguchi, Camila Takáo Lopes

Get full text

Development of an electromechanical device for real-time detection of litter moisture in commercial broiler by Glauber da Rocha Balthazar, Robson Mateus Freitas Silveira, Marcos Vinicius Amato da Cruz, Iran José Oliveira da Silva

Get full text

Impact of work instruction difficulty on cognitive load and operational efficiency by Abdulrahman K. Eesee, Vera Varga, György Eigner, Tamás Ruppert

“…Drawing on Cognitive Load Theory (CLT), this study compares two instructional methods-visual-based and code-based-to determine whether cognitive overload can be reduced without compromising task outcomes in a controlled, assembly-like scenario derived from industrial tasks. …”
Get full text

SECURITY ASSESSMENT OF MOODLE-BASED DISTANCE LEARNING SYSTEM COMPONENTS USING STATIC ANALYSIS TOOLS by Vladislav K. Kuchmin, Grigory O. Krylov

“…Using SonarQube (v9.9 LTS) and SonarScanner, deployed in an isolated WSL2 environment via Docker containers, a comprehensive static analysis was performed on 5,892 lines of source code. The analysis revealed 589 issues, distributed as follows: 72 reliability-related problems, 532 maintainability issues, and 2 critical points marked as security hotspots requiring manual review. …”
Get full text