Detection of Phantom Reads in Hyperledger Fabric by Luca Olivieri, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, Agostino Cortesi

“…Our approach is implemented with GoLiSA, a semantic static analyzer based on abstract interpretation for Go applications.…”
Get full text

Multi-Fidelity Temporal Reasoning: A Stratified Logic for Cross-Scale System Specifications by Ali Baheri, Peng Wei

Get full text

A secured accreditation and equivalency certification using Merkle mountain range and transformer based deep learning model for the education ecosystem by Sumathy Krishnan, Surendran Rajendran, Mohammad Zakariah

“…However, most verification procedures are costly, hard, opaque, and time-consuming. …”
Get full text

A Proposed Keyword Taxonomy for Operations Management Research by Juan A. Marin-Garcia, Julien Maheut, Pilar I. Vidal-Carreras

Get full text

Reliability Analysis of Hybrid Laser INS Under Multi-Mode Failure Conditions by Bo Zhang, Changhua Hu, Xinhe Wang, Jianqing Wang, Jianxun Zhang, Qing Dong, Xuan Liu, Feng Zhang

“…The uncertainties in the inner frame thickness, inner frame material strength, and outer frame thickness have the most significant impact on the probability of functional failure in the hybrid INS, with sensitivity indices of <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><msubsup><mi>δ</mi><mn>6</mn><mrow><mi>P</mi><mo>{</mo><mi>F</mi><mo>}</mo></mrow></msubsup></mrow></semantics></math></inline-formula> = 0.01657, <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><msubsup><mi>δ</mi><mn>2</mn><mrow><mi>P</mi><mo>{</mo><mi>F</mi><mo>}</mo></mrow></msubsup></mrow></semantics></math></inline-formula> = 0.00873, and <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><msubsup><mi>δ</mi><mn>4</mn><mrow><mi>P</mi><mo>{</mo><mi>F</mi><mo>}</mo></mrow></msubsup></mrow></semantics></math></inline-formula> = 0.00818, respectively. …”
Get full text

State-Based Fault Diagnosis of Finite-State Vector Discrete-Event Systems via Integer Linear Programming by Qinrui Chen, Mubariz Garayev, Ding Liu

“…This paper presents a state-based method to address the verification of <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mi mathvariant="script">K</mi></semantics></math></inline-formula>-diagnosability and fault diagnosis of a finite-state vector discrete-event system (Vector DES) with partially observable state outputs due to limited sensors. …”
Get full text

A borehole image dataset for the intelligent identification of structural planes by Yi Cheng, Zengqiang Han, Yuyong Jiao, Shuangyuan Chen, Chao Wang

“…The dataset was formatted into VOC2007 and COCO2017 standards to accommodate semantic segmentation and object detection tasks, respectively. …”
Get full text

Model Oriented Approach for Industrial Software Development by P. D. Drobintsev, V. P. Kotlyarov, N. V. Voinov, I. V. Nikiforov

“…The main emphasis is put on the system design, automated code generation for large systems, verification, proof of system properties and reduction of bug density. …”
Get full text

Quantification of Tobacco Leaf Appearance Quality Index Based on Computer Vision by Tiannan Wu, Yunwei Zhang, Zewu Gong, Dongfeng Lu

“…Finally, each index&#x2019;s experimental verification is designed. The empirical findings demonstrate that semantic segmentation average accuracy is 8.4&#x0025; higher than threshold segmentation in the extraction of tobacco leaf regions. …”
Get full text

A refined SMR-DeepLabV3+ model for cultivated land extraction from cross-view imagery using an attention mechanism by Zheng Fang, Yuhang Gong, Heli Zhu, Canyang Shi, Zhijia Gong, Lin Tian

“…In recent years, advanced technologies for cultivated land extraction, particularly deep learning-based semantic segmentation, have yielded impressive results. …”
Get full text

Automating IoT Data Privacy Compliance by Integrating Knowledge Graphs With Large Language Models by Kelvin U. Echenim, Karuna P. Joshi

“…We introduce a novel framework for automating IoT compliance verification by integrating a Large Language Model (LLM) with a domain-specific Knowledge Graph (KG). …”
Get full text

IUR-Net: A Multi-Stage Framework for Label Refinement Tasks in Noisy Remote Sensing Samples by Yibing Xiong, Xiangyun Hu, Xin Geng, Lizhen Lei, Aokun Liang

Get full text

Few-shot English text classification method based on graph convolutional network and prompt learning by Yunfei Jin

“…Compared with the traditional method of using linear layer for final answer mapping and the method of using custom class representation word set for classification prediction, this new method alleviates the semantic loss in the process of answer mapping. Through random sampling on the three data sets of THUCNews, SHNews and Toutiao, a few-shot training set and a verification set are formed for the experiment. …”
Get full text

A scalable framework for evaluating multiple language models through cross-domain generation and hallucination detection by Sorup Chakraborty, Rajesh Chowdhury, Sourov Roy Shuvo, Rajdeep Chatterjee, Satyabrata Roy

“…Each response was analyzed across 4 dimensions: cosine similarity for semantic similarity, VADER sentiment analysis for sentiment detection, TF-IDF scoring, and named entity recognition (NER) for hallucination identification and factual verification. …”
Get full text

THE VALUES OF LEGAL CULTURE IN THE MINDS OF UNIVERSITY STUDENTS by KATKOVA L.V., MEKKA O.A.

“…In addition, there is a semantic modification of legal values in the process of their practical use as political and legal guidelines. …”
Get full text

Modelling. the Discursive Reality of the Global Crisis: the Experience of Media Representation of the Covid-19 Pandemic by Artyom A. Khabarov

Get full text

Bounded Model Checking of Dense-Timed Deontic Interpreted Systems: A Satisfiability Modulo Theories Approach by Bożena Woźna-Szcześniak, Ireneusz Szcześniak, Ireneusz Olszewski

“…Automated verification through the analysis of system models is often recommended to evaluate the correctness of safety-critical systems. …”
Get full text

WindRAD Scatterometer Quality Control in Rain by Zhen Li, Anton Verhoef, Ad Stoffelen

“…Rain backscatter corrupts Ku-band scatterometer wind retrieval by mixing with the signatures of the <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><msup><mi>σ</mi><mo>∘</mo></msup></semantics></math></inline-formula> (backscatter measurements) on the sea surface. …”
Get full text

Computational Investigation of Long Free-Span Submarine Pipelines with Buoyancy Modules Using an Automated Python–Abaqus Framework by Ty Phuor, Pavel A. Trapper, Alon Urlainis, Avshalom Ganz

“…The study included a verification process, providing a verification of the presented framework. …”
Get full text

От редакторов специального выпуска

“…Данный выпуск журнала содержит статьи, подготовленные на основе докладов Четвертого международного семинара «Семантика, спецификация и верификация программ: теория и приложения» (Fourth Workshop on Program Semantics, Specification and Verification: Theory and Applications, PSSV 2013), а также докладов Международной конференции «Геометрия, топология и приложения» (Geometry, Topology, and Applications), посвященной 70-летию Н.П. …”
Get full text