Deductive Verification of Telecommunication Systems Written in C by I. S. Anureev

Subjects: “…verification…”
Get full text

C-programs Verification on Basis of Mixed Axiomatic Semantics by I. S. Anureev, I. V. Maryasov, V. A. Nepomniaschy

Subjects: “…<i>program verification</i>…”
Get full text

Automatic C Program Verification Based on Mixed Axiomatic Semantics by I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev

Subjects: “…program verification…”
Get full text

Transformer-Based Approach for Automatic Semantic Financial Document Verification by Ahmet Toprak, Metin Turan

Subjects: “…Document verification…”
Get full text

Typical Examples of Atoment Language Using by I. S. Anureev

Subjects: “…verification…”
Get full text

Deep One-Directional Neural Semantic Siamese Network for High-Accuracy Fact Verification by Muchammad Naseer, Jauzak Hussaini Windiatmaja, Muhamad Asvial, Riri Fitri Sari

“…Neural Semantic Matching Networks (NSMN) is an algorithm designed for this purpose, but its reliance on BiLSTM has shown limitations, particularly overfitting. …”
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

Subjects: Get full text

Towards a Coq-verified Chain of Esterel Semantics by Rieg, Lionel, Berry, Gérard

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

Subjects: Get full text

Extensible hierarchical codec semantic communication system by Yuyuan ZHANG, Haitao ZHAO, Jibo WEI, Kuo CAO, Yichi ZHANG, Peng LUO, Yueling LIU, Kai MEI

Subjects: “…semantic communication…”
Get full text

Attribute Annotations and Their Use in C Program Deductive Verification by M. M. Atuchin, I. S. Anureev

Subjects: “…deductive verification…”
Get full text

C Program Verification: VC Explanation and the Standard Library by A. V. Promsky

Subjects: “…verification…”
Get full text

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

Subjects: “…verification…”
Get full text

Analysis of Vocabulary Definitions of the Word “Uspech” (“Success”): Problem of Verification of Linguoculturological Constructions by M. A. Eremina

Subjects: Get full text

Invariant Elimination of Definite Iterations over Arrays in C Programs Verification by Ilya V. Maryasov, Valery A. Nepomniaschy, Dmitry A. Kondratyev

Subjects: Get full text

The Automation of C Program Verification by Symbolic Method of Loop Invariants Elimination by Dmitry Kondratyev, Ilya Maryasov, Valery Nepomniaschy

Subjects: “…c-light, loop invariants, mixed axiomatic semantics, definite iteration, arrays, acl2, specification, verification, hoare logic…”
Get full text

Methods for Domain Specification of Verification-Oriented Process Ontology by Natalia O. Garanina, Igor S. Anureev, Olesya I. Borovikova, Vladimir E. Zyubin

Subjects: Get full text

LINGUISTIC ANALYSIS OF DIALOG ACTS IN THE CONTEXT OF FORENSIC INTERPRETATION OF INVESTIGATIVE ACTIONS (CASE STUDY: INTERVIEWS AND VERIFICATION OF STATEMENTS AT THE SCENE) by T. Berdnikova

“…The paper looks at the issues of linguistic analysis of dialogue between interviewee and investigator in situations of interrogation and verification of statements at the scene. It considers particular features of conversational interaction, indications of rehearsed speech, structural and semantic relationship between utterances, and characteristics of the speech material.…”
Get full text

Verification Oriented Process Ontology by Natalia O. Garanina, Igor S. Anureev, Olesya I. Borovikova

“…It is the part of the intellectual system for supporting verification of behavioural properties of these processes. …”
Get full text

ForestSemantic: a dataset for semantic learning of forest from close-range sensing by Xinlian Liang, Hanwen Qi, Xuejie Deng, Jianchang Chen, Shangshu Cai, Qingjun Zhang, Yunsheng Wang, Antero Kukko, Juha Hyyppä

“…This paper introduces a new open point cloud dataset ForestSemantic for forest semantic studies at both individual tree- and plot-levels. …”
Get full text