Results 101 to 110 of about 11,532 (237)
Functional Segregation of Epileptogenicity within the Human Amygdala
Annals of Neurology, Volume 99, Issue 6, Page 1598-1612, June 2026.Objective In temporal lobe epilepsy (TLE), the amygdala in the epileptogenic network is underestimated compared to other regions such as the hippocampus. Recent advances in anatomical neuroimaging and stereoelectroencephalography (SEEG) signal analyses could help better understand the involvement of the different amygdala nuclei in the genesis of ...
Odile Feys +14 more
wiley +1 more source
Translating HOL to specifications for the model checker SMV
, 2001 . HOL and SMV have two radically different formal specifica-tion languages. Each is good at describing different aspects of systems and have very different analysis tools. We want to integrate them to make full use of their respective capabilities.
Paul E. Black, Dan Zhou
core
Байт-код языка программирования SMV-2019
, 2020 Многие современные языки программирования используют байт-код для облегчения и ускорения работы интерпретатора, а также для упрощения поддержки языком нескольких платформ.
Шихов, М. В.
core
Model Checking the Garbage Collection Mechanism of SMV
Electronic Notes in Theoretical Computer Science, 2001 AbstractThis paper describes an experience in the application of the RuleBase model checker to software written in C, using the tool c2edl. C2edl translates ANSI-C code to EDL, the input language of RuleBase. Although c2edl uses a radical abstraction in order to address the problems of software model checking, the abstract model built by c2edl proved ...
openaire +1 more source
Clinical Case Reports, Volume 14, Issue 6, June 2026.ABSTRACT Extrahepatic portal venous obstruction (EHPVO) is a leading cause of prehepatic portal hypertension in children, particularly in developing countries. While upper gastrointestinal bleeding is the most common presentation, EHPVO may rarely manifest predominantly with hematological abnormalities due to hypersplenism, posing a diagnostic ...
Swekchha Adhikari +6 more
wiley +1 more source
, 2004 The purpose of this research was to apply model checking by using a symbolic model checker on Predicate Transition Nets (PrT Nets). A PrT Net is a formal model of information flow which allows system properties to be modeled and analyzed. The aim of this
Awadallah, Amany Z.
core +1 more source
NMR in Biomedicine, Volume 39, Issue 6, June 2026.We adapted to the spinal cord (SC) an MRI technique called quantitative susceptibility mapping (QSM) to produce the first high‐resolution axial QSM maps of the cervical SC. Applied to multiple sclerosis, it reveals differences between gray matter, white matter, and lesions, suggesting its potential for improved lesion characterization.
Benjamin Streichenberger +8 more
wiley +1 more source
EVALUATION OF THE AVAILABILITY OF SURGICAL TREATMENT OBJECTIVE(STO) USING SUBMENTOVERTEX(SMV) VIEW
, 2009 Submentovertex(SMV) projection shows the base of skull, positions of mandibular condyle and zygomatic arches. We would like to investigate how to use SMV and evaluate its availability for the construciton of the plan for orthognathic surgery of mandible ...
김범수 +3 more
core
Obstructive sleep apnoea is associated with accelerated progression of diabetic kidney disease
Diabetic Medicine, Volume 43, Issue 6, June 2026.Abstract Aim Persons with type 2 diabetes and diabetic kidney disease (DKD) are at high risk of end‐stage kidney disease or death. We investigated the possible contribution of obstructive sleep apnoea (OSA) to decline in kidney function and renal outcomes.
Sebastian Nielsen +9 more
wiley +1 more source
Symbolic Model Checking of Dual Transition Petri Nets
, 2002 This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques.
Varea, Mauricio +9 more
core +1 more source