A comprehensive survey of deep face verification systems adversarial attacks and defense strategies by Sohair Kilany, Ahmed Mahfouz

“…Abstract Face Verification (FV) systems have exhibited remarkable performance in verification tasks and have consequently garnered extensive adoption across various applications, from identity duplication to authentication in mobile payments. …”
Get full text

From knowledge generation to knowledge verification: examining the biomedical generative capabilities of ChatGPT by Ahmed Abdeen Hamed, Alessandro Crimi, Magdalena M. Misiak, Byung Suk Lee

“…Summary: The generative capabilities of LLM models offer opportunities for accelerating tasks but raise concerns about the authenticity of the knowledge they produce. …”
Get full text

Integrated Technique of Natural Language Texts and Source Codes Authorship Verification in the Academic Environment by Aleksandr Romanov, Anna Kurtukova, Anastasiia Fedotova, Alexander Shelupanov

“…The presented technique addresses several related tasks: assessing text homogeneity, detecting plagiarism when solving closed-set authorship attribution problems, and identifying texts and fragments created by generative models. …”
Get full text

Sustaining measles and rubella elimination through the Regional Monitoring and Re-Verification Commission in the Americas by Jon K. Andrus, Jose I. Santos, Tracy Evans Gilbert, Marilda Siqueira, Angela Gentile, Jorge Boshell, Susan Reef

“…The elimination of endemic rubella and measles transmission in the Region of the Americas was verified by the Pan American Health Organization’s (PAHO) Regional Verification Commission in 2015 and 2016, respectively. …”
Get full text

Thread inspection using the WAVELINE W800R profilometer: methodology for method verification by Kateryna Maiorova, Viktor Kalinichenko, Vitalii Bocharov, Iryna Voronko, Nabiyev Khayyam

“…It is recommended to perform re-verification of the method after the calibration of reference equipment.…”
Get full text

Multi-scale CNN-CrossViT network for offline handwritten signature recognition and verification by Wanying Li, Mahpirat Muhammat, Xuebin Xu, Alimjan Aysa, Kurban Ubul

“…In addition, in order to make distance metric methods more applicable for writer independent signature verification in real-world scenarios, we propose an adaptive threshold method that can automatically obtain the optimal threshold from the training set and apply it to writer independent signature verification tasks. …”
Get full text

Toward AI-Augmented Formal Verification: A Preliminary Investigation of ENGRU and Its Challenges by Chanon Dechsupa, Teerapong Panboonyuen, Wiwat Vatanawood, Praisan Padungweang, Chakchai So-In

“…Recurrent neural networks (RNNs) and language models are deeply intertwined, as RNNS provide the foundational architecture that enables language models to process sequential data, capture contextual dependencies, and improve natural language processing tasks. Both RNNs and state-space graphs help evaluate discrete-time systems within this formal framework. …”
Get full text

Design and Ground Verification of Space Station Manipulator Control Method for Orbital Replacement Unit Changeout by Bingshan Hu, Feng Chen, Liangliang Han, Huanlong Chen, Hongliu Yu

Get full text

Multiple-Valued Logic, Vocabulary Structure, and Linked List for Data Verification in Dialog Communications of Agents by Alexey Bykovsky

“…Distant verification of the autonomous agent’s parameters in the dialog mode is a difficult multi-parametric task if the large-scale scene of action is characterized by a large number of collaborative and rival robots. …”
Get full text

ANALYZING THE RESULTS OF VERIFICATION OF SHORT-TERM FORECASTS OF FIGURES OF ACADEMIC RESEARCH AND INNOVATION SPHERE IN RUSSIA by Igor B. Kolmakov, Olga V. Kitova, Aleksey V. Koltsov, Matvey V. Domozhakov

“…The article for the first time raised and solved the task of analyzing dynamic assessment of accuracy and quality of retro-forecast parameters on the data for 2012, 2013 and 2014. …”
Get full text

Control-Flow-Based Methods to Support the Development of Sound Workflows by Thomas M. Prinz, Wolfram Amme

“…Workflows describe sequences of tasks to achieve goals. These sequences can contain decisions, loops, and parallelisations and are, therefore, similar to computer programs. …”
Get full text

Copyright Verification and Traceability for Remote Sensing Object Detection Models via Dual Model Watermarking by Weitong Chen, Xin Xu, Na Ren, Changqing Zhu, Jie Cai

“…Experimental results demonstrate that the proposed method can effectively achieve the copyright verification and traceability of RSOD models without affecting the performance of primary tasks. …”
Get full text

Locomotive On-board Data Dump System Based on Automatic Task Model by DENG Zhifeng, WANG Yu, YU Zhihao

“…Compared with the traditional dump model, the system adopts automatic task model, and can configure the data dump strategy flexibly. …”
Get full text

A Method for the Automatic Selection of Training Tasks in Learning Environment for IT Students by S. U. Rzheutskaya, M. V. Kharina

“…The learning phase of the model consists of building a decision tree based on a training sample containing data on precedents for students to complete tasks. As a result of the computational experiment, decision trees were built for several disciplines that practice automatic verification of students’ decisions, i.e. there is data for forming a training sample.Results. …”
Get full text

Verification method AT LAND CONDITIONS of linear RESOLUTION on azimuth in a radar with the aperture synthesis of space basing by S. R. Heister, N. M. Naumovich, G. N. Demidovich, V. T. Revin, S. P. Urbanovich

“…By working out of a radar with the aperture synthesis of the aerial (RAS) of space basing there is a necessity of its debugging and verification at the land conditions. The most difficult verification task is requirement performance on resolution maintenance of RAS on an azimuth. …”
Get full text

Verification of Management Support of Professional and Educational Trajectory of Students in Terms of Socio-Cultural Educational Environment of University by N. V. Tsytulina, N. L. Sokolova, M. G. Sergeyeva

“…The verification of management support of professional and educational trajectory of students in terms of socio-cultural educational environment of the university is considered. …”
Get full text

Simulation Analysis and Experimental Verification of the Transport Characteristics of a High-Volume CubeSat Storage Device by Yong Zhao, Yuhao Zhang, Zeming Zhao, Chenyuan Li, Lili Zhang, Xiaoze Yang, Honghao Yue, Caiting He, Jianlei Zhu, Ye erken Halishi, Youle Wu, Guicheng Xing, Milamujiang Kezierbieke

Get full text

THE EXPERIMENTAL VERIFICATION OF PEDAGOGICAL CONDITIONS OF FUTURE TOURISM BACHELORS PREPARATION FOR PROFESSIONAL INTERACTION BY means OF PROJECT TECHNOLOGIES by Olha A. Derbak, Kateryna Yu. Pecherna, Tetiana I. Yakovleva

“…The article considers the experimental verification of pedagogical conditions for the preparation of future tourism bachelors for professional interaction by means of project technologies. …”
Get full text

Research of Interactive and Traditional Tasks Aimed at Studying Information Technologies among Students by Popkov S.I.

“…The purpose of the study is to substantiate the introduction of relevant information technologies into the educational process, as well as approaches to the verification and formation of knowledge. It tested the main hypothesis: tasks aimed at interactive activity better help students in mastering the material, based on their own perception, than static tasks based on traditional approaches in the educational process with information technologies application. …”
Get full text

Development and Verification of Postural Control Assessment Using Deep-Learning-Based Pose Estimators: Towards Clinical Applications by Naoto Ienaga, Shuhei Takahata, Kei Terayama, Daiki Enomoto, Hiroyuki Ishihara, Haruka Noda, Hiromichi Hagihara

Get full text