Scene Consistency Verification Based on PatchNet [PDF]
In the real world, the object does not exist in isolation, and it always appears in a certain scene. Usually the object is fixed in a particular scene and even in special spatial location.
Jinjiang Li +3 more
doaj +4 more sources
Bioinformatics analysis and consistency verification of a novel tuberculosis vaccine candidate HP13138PB [PDF]
BackgroundWith the increasing incidence of tuberculosis (TB) and the shortcomings of existing TB vaccines to prevent TB in adults, new TB vaccines need to be developed to address the complex TB epidemic.MethodThe dominant epitopes were screened from ...
Peng Cheng +8 more
doaj +2 more sources
Blockchain-Based Distributed Computing Consistency Verification for IoT Mobile Applications
The maturation of wireless connectivity, blockchain (distributed ledger technologies), and intelligent systems has fostered a comprehensive ecosystem for the Internet of Things (IoT).
Jiahao Zhao, Yushu Zhang, Jiajia Jiang
doaj +3 more sources
Two-stage prompting framework with predefined verification steps for evaluating diagnostic reasoning tasks on two datasets [PDF]
Despite their growing use in medicine, large language models (LLMs) demonstrate limited diagnostic reasoning. We evaluated a two-stage prompting framework with predefined verification steps (Initial Diagnosis → Verification → Final Diagnosis) on 589 ...
Ming Shao, Haichun Zhang
doaj +2 more sources
Corrigendum: Bioinformatics analysis and consistency verification of a novel tuberculosis vaccine candidate HP13138PB [PDF]
Peng Cheng +8 more
doaj +2 more sources
A secure dynamic cross-chain decentralized data consistency verification model
The continuous increase in the number of transactions is exerting significant pressure on the storage capacity of blockchains. By storing data on multiple blockchains and interacting with each other with cross-chain technology, the storage pressure can ...
Jiahao Zhao +4 more
doaj +3 more sources
Fractal dimension-based multi-focus image fusion via distance-weighted regional energy in curvelet domain [PDF]
To address the challenges of information loss and noise interference in multi-focus image fusion, this paper presents a novel curvelet-domain fusion algorithm based on distance-weighted regional energy (DWRE) and fractal dimension.
Ming Lv +4 more
doaj +2 more sources
Dynamic Verification of Sequential Consistency [PDF]
In this paper, we develop the first feasibly implementable scheme for end-to-end dynamic verification of multithreaded memory systems. For multithreaded (including multiprocessor) memory systems, end-to-end correctness is defined by its memory consistency model.
Albert Meixner, Daniel J. Sorin
openaire +1 more source
Verification of logical consistency in robotic reasoning [PDF]
Most autonomous robotic agents use logic inference to keep themselves to safe and permitted behaviour. Given a set of rules, it is important that the robot is able to establish the consistency between its rules, its perception-based beliefs, its planned actions and their consequences.
Qu, H., Veres, S.M.
openaire +3 more sources
Multi-Focus Image Fusion With Point Detection Filter and Superpixel-Based Consistency Verification
An accurate and efficient measurement of pixel's sharpness is a critical factor in most multi-focus image fusion methods. In our practice, we found that the focused regions get more blurred than the defocus regions when the multi-focus images are blurred
Qiang Chen +3 more
doaj +1 more source

