On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task by Simona Ondrčková, Roman Barták, Pascal Bercher, Gregor Behnke

“…The existing parsing-based verification approach greedily composes actions until it obtains the goal task. …”
Get full text

Trust Verification Method for Leveraging Secure Task Completion in Mobile Crowd Outsourcing Processes by Abdullah Alharthi

Subjects: Get full text

Attentionally modulated motor-to-semantic priming: evidence from a property verification task by Elisa Scerrati, Cristina Iani, Sandro Rubichi, Robert L. Goldstone

“…Subsequently, they performed a property verification task on a following target word, which could describe an action-relevant (e.g., handle) or action-irrelevant (e.g., ceramic) characteristic of the just-encountered object. …”
Get full text

Features of setting up and solving the design and verification tasks on the example calculation of rectification of a binary mixture by M. K. Zakharov, Yu. A. Pisarenko

Subjects: “…ectification, degrees of freedom, verification task, design task, operating parameters, location of feed plate…”
Get full text

LookupForensics: A Large-Scale Multi-Task Dataset for Multi-Phase Image-Based Fact Verification by Shuhan Cui, Huy H. Nguyen, Trung-Nghia Le, Chun-Shien Lu, Isao Echizen

“…Extensive experimental results validate its practicality for fact verification research and clarify its difficulty levels for various sub-tasks.…”
Get full text

Effect of Uncertainty-Aware AI Models on Pharmacists’ Reaction Time and Decision-Making in a Web-Based Mock Medication Verification Task: Randomized Controlled Trial by Corey Lester, Brigid Rowell, Yifan Zheng, Zoe Co, Vincent Marshall, Jin Yong Kim, Qiyuan Chen, Raed Kontar, X Jessie Yang

“…Participants completed 100 mock verification tasks with AI help and 100 without AI help. …”
Get full text

EVOCA: Explainable Verification of Claims by Graph Alignment by Carmela De Felice, Carmelo Fabio Longo, Misael Mongiovì, Daniele Francesco Santamaria, Giusy Giulia Tuccari

“…This process eliminates superfluous and redundant information, which could impact the performance of the subsequent verification task and provide useful information to explain the outcome. …”
Get full text

Development and Verification of the Diagnostic Model of the Sieving Screen by Pavlo Krot, Radoslaw Zimroz, Anna Michalak, Jacek Wodecki, Szymon Ogonowski, Michal Drozda, Marek Jach

Get full text

Public danger of crime: the concept and criteria of verification by N. A. Lopashenko, A. V. Golikova, E. V. Kobzeva, D. A. Kovlagina, M. M. Lapunin, K. M. Khutov

Get full text

A Multicomponent Face Verification and Identification System by Athanasios Douklias, Ioannis Zorzos, Evangelos Maltezos, Vasilis Nousis, Spyridon Nektarios Bolierakis, Lazaros Karagiannidis, Eleftherios Ouzounoglou, Angelos Amditis

“…Among the models used, FaceNet emerged as a preferable choice for real-time tasks due to its balance between accuracy and inference speed for both face identification and verification tasks achieving AUC of 0.99, Rank-1 of 91.8%, Rank-5 of 95.8%, FNR of 2% and FAR of 0.1%, accuracy of 98.6%, and inference speed of 52 ms.…”
Get full text

Verification of the computing process of the corporate information system by V. I. Polyakov, F. F. Zinnatulin

“…The computational process goes through the architecture of the corporate information system and performs its tasks.…”
Get full text

Construction and Verification of PLC-programs by LTL-specification by E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin

“…An approach to construction and verification of PLC-programs for discrete tasks is proposed. …”
Get full text

Handwritten documents author verification based on the Siamese network by V. Kiselev, D. Kropotov, N. Pronina

“…<br />The proposed approach was applied to the task of verification of possible autographs of Zhukovsky among manuscripts of unknown authors. …”
Get full text

Using TLA+/TLC for modeling and verification of cryptographic protocols by Maxim V. Neyzov, Egor V. Kuzmin

“…The TLC model checker is employed to automatically verify that the model meets the required properties. The task of verifying CrP has its specifics. This study proposes three modeling techniques that take into account the specifics of both the task and the TLA+/TLC toolset being used. …”
Get full text

On Methods in the Verification and Elaboration of Development Programs for Agricultural Territories by Jorge Vega Vice, Valery Mikhailov

“…Therefore, the current tasks at hand are the verification of already created development programs and the development of "proper" programs for the development of such systems, by analogy with the verification and development of proper computer programs through developed disciplines in theoretical programming. …”
Get full text

Formal Verification of Business Constraints in Workflow-Based Applications by Florin Stoica, Laura Florentina Stoica

“…Workflows coordinate a series of computing tasks to create a sophisticated workflow logic. Ensuring the correctness of a workflow specification is essential for automating business processes. …”
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 

“…Although numerous surveys have explored formal verification in various contexts, a significant research gap exists in pinpointing appropriate formal verification approaches to code conversion tasks. …”
Get full text

Kinematics Research and Verification of Exoskeleton Robot for Upper Limb Rehabilitative by Li Jing, Cao Min

Get full text

Quantum memory assisted entangled state verification with local measurements by Siyuan Chen, Wei Xie, Ping Xu, Kun Wang

“…We consider the quantum memory assisted quantum state verification task, where an adversary prepares independent multipartite entangled states and sends them to the local verifiers, who then store several copies in the quantum memory and measure them collectively to make a decision. …”
Get full text

Using Earley Parser for Verification of Totally Ordered Hierarchical Plans by Kristýna Pantůčková, Simona Ondrčková, Roman Barták

“…Hierarchical planning extends classical planning by capturing the hierarchical structure of tasks via decomposition of tasks to subtasks. Hierarchical plan verification is the problem of determining whether a given plan is valid according to that structure. …”
Get full text