Optimization Procedures in Affine Model Checking by N. O. Garanina

“…At present there are three basic approaches of symbolic model checking: BDD-methods, bounded model checking using SAT-solvers, and various algebraic techniques, for example, constraint based model checking and regular model checking. …”
Get full text

OPTIMIZATION OF PARAMETERS OF ULTRASONIC CHECK OF THE DETAILS CASTINGS by A. L. Majorov, G. E. Konovalov

Get full text

Automatic Recognition and Replacement of Cyclic Redundancy Checks for Program Optimization by Mariam Arutunian, Sevak Sargsyan, Matevos Mehrabyan, Lilit Bareghamyan, Hayk Aslanyan

Subjects: “…Cyclic redundancy check…”
Get full text

Optimizing patient check-in process for telehealth visits: a data-driven perspective by Kunal Khashu

Get full text

Passenger Queue Simulation Analysis and Optimization at The Check-in Counter of Yogyakarta International Airport by Ananda Adhitya Putra, Fajar Khanif Rahmawati, Sri Mulyani, Maria Asumpta Deny Kusumaningrum, Gunawan Gunawan, Rully Medianto

Get full text

Autotuning Parallel Programs by Model Checking by Natalia Olegovna Garanina, Sergei Petrovich Gorlatch

Subjects: “…optimization problem…”
Get full text

Optimizing Airport Land Side Operations: Check-In, Passengers’ Migration, and Security Control Processes by Ludovica Adacher, Marta Flamini

“…This paper deals with the optimization of the Check-in, passenger migration, and Security Control processes in an airport land side terminal. …”
Get full text

Updating and Advancing Member-Checking Methods: Use of Video and Asynchronous Technology to Optimize Participant Engagement by Robyn Schafer, Julia C. Phillippi

“…This member-checking method was purposefully selected to advance the specific research aims of the study, reflect the epistemological stance of the researchers and unique considerations of the study population, and address relevant situational factors to optimize participant engagement. …”
Get full text

Locality-guided based optimization method for bounded model checker by Shun WANG, Ye DU, Zhen HAN, Jiqiang LIU

Subjects: “…model checking…”
Get full text

Optimization of State Clustering and Safety Verification in Deep Reinforcement Learning Using KMeans++ and Probabilistic Model Checking by Ryeonggu Kwon, Gihwon Kwon

“…Experimental results demonstrate that the optimal number of clusters balances state space reduction with accurate failure analysis, enabling scalable verification. …”
Get full text

Efficiently Automating Covering Array Generation: A Model Checking and Metaheuristic Algorithm Approach by Sajad Esfandyari, Davar Giveki, Amir Rastegarnia, Ali Farzamnia, Hua Zheng

Subjects: Get full text

Hierarchical Optimization Segmentation and Parameter Extraction of Street Trees Based on Topology Checking and Boundary Analysis from LiDAR Point Clouds by Yuan Kou, Xianjun Gao, Yue Zhang, Tianqing Liu, Guanxing An, Fen Ye, Yongyu Tian, Yuhan Chen

“…Then, the over-segmentation and under-segmentation situations that occur during the segmentation process are processed and optimized through projection topology checking and tree adaptive voxel bound analysis. …”
Get full text

Numerical Analysis of Fluid‒solid Interactions in a 3D Piezoelectric Micropump Featuring a Passive Check Valve by Y. F. Zhang, B. Zhou, Z. L. Deng

Subjects: Get full text

EXIT Charts for Low-Density Algebra-Check Codes by Zuo Tang, Jing Lei, Ying Huang

“…This paper focuses on the Low-Density Algebra-Check (LDAC) code, a novel low-rate channel code derived from the Low-Density Parity-Check (LDPC) code with expanded algebra-check constraints. …”
Get full text

ACTIONS AND DECISIONS OF THE COURT IN PREPARING THE CASE AND COMPLAINTS FOR CHECKING ON APPEAL by N. N. Mazina

“…Practical value: the theoretical findings formulated in the study can and should be used in scientific, legislative and practical judicial activities in order to create the optimal form of the new appeal procedure.…”
Get full text

References to unbiased sources increase the helpfulness of community fact-checks by Kirill Solovev, Nicolas Pröllochs

“…These findings have important implications for social media platforms, which can utilize our results to optimize their community-based fact-checking systems.…”
Get full text

Formal Verification of Code Conversion: A Comprehensive Survey by Amira T. Mahmoud, Ahmad A. Mohammed, Mahitap Ayman, Walaa Medhat , Sahar Selim , Hala Zayed, Ahmed H. Yousef, Nahla Elaraby 

Get full text

A Hybrid Approach for Reachability Analysis of Complex Software Systems Using Fuzzy Adaptive Particle Swarm Optimization Algorithm and Rule Composition by Nahid Salimi, Seyfollah Soleimani, Vahid Rafe, Davood Khodadad

Subjects: “…fuzzy adaptive particle swarm optimization…”
Get full text

Design and Application of Full-Time Dimension Dispatching Schedule Safety Check by Di WU, Zhengfeng WANG, Hang LIU

“…For the day-ahead safety check, the output of generator unit is optimized. …”
Get full text

Research on Power Grid Security Check for Provincial Electricity Spot Market by Di WU, Zhengfeng WANG, Weiheng GAO, Yiqiang YING

“…Then the regional power grid model-based optimization clearing model of provincial electricity spot market and the security check method are proposed. …”
Get full text