Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans by Simona Ondrčková, Roman Barták, Pascal Bercher, Gregor Behnke

“…Verification of hierarchical plans deals with the problem of whether an action sequence is causally consistent and can be obtained by a decomposition of a goal task. …”
Get full text

A Flexible Programming and Verification Methodology for Reconfigurable CNC Woodworking Machine by Sasa Zivanovic, Zoran Dimic, Mladen Furtula, Nikola Slavkovic, Marija Djurkovic, Jelena Vidakovic

“…Programming verification was realized by simulation on a configured virtual machine in different programming environments and finally on a virtual machine integrated with the control system. …”
Get full text

System-Level Design, Modeling, and Verification of GALS Cyber-Physical Systems by Weiyi Zhang, Zoran Salcic, Avinash Malik

“…Cyber-physical systems (CPSs) are of great significance to industrial automation due to their proficiency in managing complex tasks. Concurrency and heterogeneity, which are fundamental characteristics of CPS, pose significant challenges related to complexities in design, system architecture, timing behavior, semantics, and cyber-physical interdependencies. …”
Get full text

GENERAL CLASSIFIER OF SYSTEM PROBLEMS - I: ANALYSIS, SYNTHESIS, VALIDATION AND VERIFICATION by Yu. I. Lobanovsky

“…Classification of system problems helps to better understand the reasons why complex systems are not able to perform the tasks assigned to them. Therefore, it should be expected that the use of this classifier by system engineers will allow avoiding in the future those mistakes that led to failures in the past in the construction and/or development of complex systems.…”
Get full text

System Verification and FPGA Implementation of Hardware Preemptive Scheduler for RISC-V Processor by Ionel Zagan, Vasile Gheorghita Gaitan

Get full text

Learning features for offline handwritten signature verification using spatial transformer network by Wanghui Xiao, Hao Wu

“…However, offline signature verification remains a challenging task due to the difficulty in discriminating minute yet significant details between genuine and skillfully forged signatures. …”
Get full text

Verification of data integration in an integrated system of databases on the properties of inorganic substances and materials by S. A. Stupnikov

“…However, data integration programs can be very complicated. Thus, formal verification of their correctness has emerged as an important task.In this article, an approach to verify the correctness of data integration in an integrated system of databases on the properties of inorganic substances and materials is considered. …”
Get full text

Business Audit in ESG format: Up-Growth of the Corporate Reporting Verification Methodology by R. P. Bulyga, I. V. Safonova

“…The object of the study is the modern international and Russian practice of verifying public ESG reporting by leading companies. The study’s task is to develop a methodology to confirm its reliability as the area for developing business audit in these conditions. …”
Get full text

Simulation Evaluation and Case Study Verification of Equipment System of Systems Support Effectiveness by Gang Ding, Lijie Cui, Feng Zhang, Chao Shi, Xinhe Wang, Xiang Tai

Get full text

Research and Ground Verification of the Force Compliance Control Method for Space Station Manipulator by Bingshan Hu, Huanlong Chen, Liangliang Han, Hongliu Yu

Get full text

COMBEAMS: A numerical tool for the structural verification of steel-concrete composite beamsgit by Jorge Palomino Tamayo, Lucas Alves de Aguiar, Cristian de Campos, Daniel Barbosa Mapurunga Matos, Inácio Benvegnu Morsch

“…This tool will certainly aim engineers and researchers with their daily tasks.…”
Get full text

Formal Verification of Spatio-Temporal Rules Guided Safe Reinforcement Learning for CPS by YIN Chan, ZHU Yi, WANG Jinyong, CHEN Xiaoying, HAO Guosheng

“…However, when facing an unknown environment and dealing with complex tasks, deep reinforcement learning based on black boxes cannot guarantee the security of the system and the interpretability of reward function settings. …”
Get full text

ON THE ISSUE OF VERIFICATION OF THE EFFECTIVENESS OF THE INTERDISCIPLINARY APPROACH APPLICATION OF IN TRAINING MASTERS OF PUBLIC HEALTH by Natalia M. Kalyniuk, Lubov M. Romaniuk, Nina Ye. Romaniuk

Get full text

Towards the ’Verified Verifier’. Theory and Practice by D. A. Kondratyev, A. V. Promsky

“…As opposed to traditional testing, the deductive verification represents a formal way to examine the program correctness. …”
Get full text

Verification of a static (off-line) signature using a convolutional neural network by U. Yu. Akhundjanov, V. V. Starovoitov

Get full text

Verification of Copernicus riparian zones local component for Bulgaria – specific cases and typical problems by Yulia G. KROUMOVA, Radka G. KOLEVA, Youlin N. TEPELIEV, Ventzeslav N. DIMITROV

“… This paper deals with quantitative evaluation of Riparian zones land cover and land use data set for Bulgaria, supported by Copernicus Programme's funds. This verification task is a part of a project of the European Environmental Agency. …”
Get full text

Verification of Copernicus riparian zones local component for Bulgaria – specific cases and typical problems by Yulia G. KROUMOVA, Radka G. KOLEVA, Youlin N. TEPELIEV, Ventzeslav N. DIMITROV

“… This paper deals with quantitative evaluation of Riparian zones land cover and land use data set for Bulgaria, supported by Copernicus Programme's funds. This verification task is a part of a project of the European Environmental Agency. …”
Get full text

Document Verification System Using Image Processing: A Case Study of Kabale Municipality. by Ojara, Walter

“…Document verification is a critical task that ensures the authenticity of business authorities issued by organizations or cooperate bodies and administrative institutions like local government. …”
Get full text

Password strength verification based on machine learning algorithms and LSTM recurrent neural networks by V. V. Belikov, I. A. Prokuronov

“…The existing methods of password strength verification in various operating systems are analyzed. …”
Get full text

Performance Optimization in Three-Modality Biometric Verification using Heterogeneous CPU-GPU Computation by Bopatriciat Boluma Mangata, Pierre Tshibanda wa Tshibanda, Guy-Patient Mbiya Mpoyi, Jean Pepe Buanga Mapetu, Rostin Mabela Matendo Makengo, Eugène Mbuyi Mukendi

“…The implementation is being carried out in C# with Visual Studio 2019, using the Task Parallel Library to parallelize tasks on the CPU, and OpenCL.NET to manage processing on the GPU. …”
Get full text