An Automated Scoring of Clinical Asthma Score: Proof of Concept and the Future Possibility
Critical Care Explorations, 2021 Sally Al-Omar, PhD +3 more
doaj +5 more sources
Predictors of ≥50% volume reduction after radiofrequency ablation of uterine fibroids: a single-center retrospective case series in Romania [PDF]
Frontiers in MedicineStudy objectiveThe study aimed to explore the potential of routinely collected pre-procedural clinical and ultrasonographic parameters (age, classification, baseline fibroid volume, and baseline Doppler score) in predicting treatment response following ...
Viorel-Aurel Suciu Lazar, Andreea Sotoc
doaj +2 more sources
Proof Score Approach to Verification of Liveness Properties
IEICE Transactions on Information and Systems, 2008 Proofs written in algebraic specification languages are called proof scores. The proof score approach to design verification is attractive because it provides a flexible way to prove that designs for systems satisfy properties. Thus far, however, the approach has focused on safety properties.
Kazuhiro Ogata
exaly +3 more sources
Novel Voxel-Based MRI Risk Score LADCT as a Tool for Prediction of Prostate Cancer: A Proof of Concept With Retrospective Study [PDF]
Cancer ControlIntroduction Biparametric magnetic resonance imaging (MRI) preserves enough information to enable the prediction of prostate cancer (PCa). This fast, cost-effective, and non-invasive modality includes acquisition of T2-weighted images, and accelerated ...
Maria L. Sandoval MD +13 more
doaj +2 more sources
Formal verification of TLS 1.2 by automatically generating proof scores
Computers and Security, 2022 Duong Dinh Tran, Kazuhiro Ogata
exaly +2 more sources
Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores [PDF]
PeerJ Computer Science, 2023 The Transport Layer Security (TLS) 1.0 protocol has been formally verified with CafeInMaude Proof Generator (CiMPG) and Proof Assistant (CiMPA), where CafeInMaude is the second major implementation of CafeOBJ, a direct successor of OBJ3, a canonical ...
Duong Dinh Tran +2 more
doaj +2 more sources
DPoS Consensus Algorithm Based on Comprehensive Election [PDF]
Jisuanji gongcheng, 2022 Blockchain technology is a trust mechanism with distinct characteristics, such as decentralization, tamper-proof, and traceability.The consensus algorithm is a core technology of the blockchain which maintains the operation of the blockchain network ...
WANG Bing, LI Huiling, NIU Xinzheng
doaj +1 more source
Device-independent quantum key distribution from generalized CHSH inequalities [PDF]
Quantum, 2021 Device-independent quantum key distribution aims at providing security guarantees even when using largely uncharacterised devices. In the simplest scenario, these guarantees are derived from the CHSH score, which is a simple linear combination of four ...
Pavel Sekatski +5 more
doaj +1 more source
Measurement: Sensors, 2021 Aiming at railway products with high complexity of parameter features, a method for identifying key influencing factors of railway product testing based on random forest (RF) and sequential forward selection (SFS) algorithm is proposed to assist the ...
Xiulin Hou +3 more
doaj +1 more source
Jurnal Lebesgue, 2023 Mathematical proof is a crucial component in studying mathematics, especially at advanced levels. Previous research has reported that many students face difficulties in solving mathematical proof problems, including in rings theory course.
Nina Agustyaningrum +2 more
doaj +1 more source