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

Subjects: 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: Get full text

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

Subjects: Get full text

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

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

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

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

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

Subjects: 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

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

Operational Semantics of Annotated Reflex Programs by Igor S. Anureev

“…Extending the formal operational semantics of the Reflex language to annotations simplifies the proof of the correctness of the transformation approach to deductive verification of Reflex programs developed by the authors, transforming an annotated Reflex program to an annotated program in a very limited subset of the C language, by reducing a complex proof of preserving the truth of program requirements during the transformation to a simpler proof of equivalence of the original and the resulting annotated programs with respect to their operational semantics.…”
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: Get full text

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

Subjects: Get full text

Semantic Differential For Evaluation of Educational Pathway of Personality by Yana Sukhenko

“…The article deals with the issue of personal educational pathway, in particular experimental verification of theoretical ideas of the phenomenon, and the development of the “educational pathway” semantic differential as an adequate tool for its evaluation. …”
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

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

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

Outline of a Theory of Truth as Correctness for Semantic Information by Luciano Floridi

“…The article develops a correctness theory of truth (CTT) for semantic information. After the introduction, in section two, semantic information is shown to be translatable into propositional semantic information (i). …”
Get full text