Results 111 to 120 of about 3,157,454 (357)

Continuous Monitoring of Bladder Dysfunction in People With Multiple Sclerosis: Wearables for the Bladder

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Bladder dysfunction affects over 85% of people with multiple sclerosis (PwMS), yet current assessment methods are limited to periodic in‐clinic evaluations or subjective patient reports, failing to capture real‐world symptom fluctuations.
Valerie J. Block, Shane Poole, Leah McIntyre, Nikki Sisodia, Chelyn Park, Gabby Joseph, Michelle E. Van Kuiken, Anne M. Suskind, Riley Bove   +8 more
wiley   +1 more source

Formal Verification of a Railway Interlocking System using Model Checking [PDF]

, 1998
Alessandro Cimatti, Fausto Giunchiglia, Giorgio Mongardi, Daniele Romano, F. Torielli, Paolo Traverso   +5 more
openalex   +1 more source

A Survey on Formal Verification Techniques for Safety-Critical Systems-on-Chip

, 2018
The high degree of miniaturization in the electronics industry has been, for several years, a driver to push embedded systems to different fields and applications.
T. Grimm, D. Lettnin, Michael Hubner
semanticscholar   +1 more source

Timing and Predictive Value of Clinical Conditions Preceding Multiple Sclerosis in the UK Biobank

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives Multiple sclerosis (MS) patients often experience a higher incidence of clinical conditions before diagnosis, suggesting a prodromal phase. However, their predictive value and temporal trajectories remain underexplored. We investigated these aspects using the large UK Biobank's population‐based cohort, which provided clinical ...
Andrea Nova, Teresa Fazia, Giovanni Di Caprio, Davide Gentilini, Luisa Bernardinelli, Roberto Bergamaschi   +5 more
wiley   +1 more source

Hardware security and reliability verification based on fault propagation model

Xibei Gongye Daxue Xuebao
Large scale integrate circuits is facing serious threat such as design vulnerabilities, side channels, and hardware Trojans. Traditional functional verification method is difficult to ensure high test coverage, and it is also difficult to detect security
ZHANG Xige, ZHU Jiacheng, MA Jun, SHEN Lixiang, ZHOU Jiahui, MU Dejun   +5 more
doaj   +1 more source

Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines

IEEE Access, 2017
ISO 26262, an automotive functional safety standard, ensures the functional safety of automotive systems by providing requirements and processes to govern the software lifecycle.
Ghada Bahig, Amr El-Kadi
doaj   +1 more source

Formal specification and verification techniques for RISC pipeline conflicts [PDF]

, 1995
Sofiène Tahar
openalex   +1 more source

The Comparative Effectiveness and Tolerability of Sphingosine‐1‐Phosphate Receptor Modulators in Patients With Multiple Sclerosis: A Network Meta‐Analysis of Randomized Controlled Trials

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Sphingosine‐1‐phosphate receptor modulators (S1PRM) are used to treat relapsing multiple sclerosis (MS). Each drug has a different S1PR‐subtype selectivity. They target the G‐protein coupled S1P receptors and exert significant immunomodulatory effects, such as preventing the formation of new CNS lesions and the reactivation of pre ...
Faizan Shahzad, Taimoon Rasheed, Momina Riaz Siddiqui, Hamza Hamid, Marwah Bintay Khalid, Haroon Shabbir, Besher Shami, Abdullah, Syed Ijlal Ahmed   +8 more
wiley   +1 more source

Formal Verification and Implementation of Real-Time Applications [PDF]

Scientific Bulletin of the ''Petru Maior" University of Tîrgu Mureș, 2009
This paper presents a method for the formal description, verification and automatic source code generation of embedded real-time multitasking applications, based on a model consisting of networks of timed automata.
Liviu Haţegan, Piroska Haller
doaj  

Formal verification of Matrix based MATLAB models using interactive theorem proving. [PDF]

PeerJ Comput Sci, 2021
Gauhar A, Rashid A, Hasan O, Bispo J, Cardoso JMP.   +4 more
europepmc   +1 more source