Results 111 to 120 of about 230,174 (255)
Model Checking with Right Censored Data Using Relative Belief Ratio. [PDF]
Entropy (Basel), 2022 Al-Labadi L, Alzaatreh A, Asuncion M.
europepmc +1 more source
Network Localization of Fatigue in Multiple Sclerosis
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Fatigue is among the most common symptoms and one of the main factors determining the quality of life in multiple sclerosis (MS). However, the neurobiological mechanisms underlying fatigue are not fully understood. Here we studied lesion locations and their connections in individuals with MS, aiming to identify brain networks ...
Olli Likitalo +12 more
wiley +1 more source
Association of Corticospinal Tract Asymmetry With Ambulatory Ability After Intracerebral Hemorrhage
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Ambulatory ability after intracerebral hemorrhage (ICH) is important to patients. We tested whether asymmetry between ipsi‐ and contra‐lesional corticospinal tracts (CSTs) assessed by diffusion tensor imaging (DTI) is associated with post‐ICH ambulation.
Yasmin N. Aziz +25 more
wiley +1 more source
A formal analysis method for composition protocol based on model checking. [PDF]
Sci Rep, 2022 Xiao M +4 more
europepmc +1 more source
Discovery and Targeted Proteomic Studies Reveal Striatal Markers Validated for Huntington's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Clinical trials for Huntington's disease (HD) enrolling persons before clinical motor diagnosis (CMD) lack validated biomarkers. This study aimed to conduct an unbiased discovery analysis and a targeted examination of proteomic biomarkers scrutinized by clinical validation. Methods Cerebrospinal fluid was obtained from PREDICT‐HD and
Daniel Chelsky +8 more
wiley +1 more source
Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost. [PDF]
Entropy (Basel), 2022 Ma Z, Li Z, Li W, Gao Y, Li X.
europepmc +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective People with epilepsy (PWE) may experience cognitive deficits but fail to undergo formal evaluation. This study compares cognitive status between PWE and healthy controls in the West African Republic of Guinea. Methods A cross‐sectional, case–control study was conducted in sequential recruitment phases (July 2024–July 2025) at Ignace ...
Maya L. Mastick +14 more
wiley +1 more source
Formal Verification of Code Conversion: A Comprehensive Survey
TechnologiesCode conversion, encompassing translation, optimization, and generation, is becoming increasingly critical in information systems and the software industry.
Amira T. Mahmoud +7 more
doaj +1 more source
Remote Monitoring in Myasthenia Gravis: Exploring Symptom Variability
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Myasthenia gravis (MG) is a rare, autoimmune disorder characterized by fluctuating muscle weakness and potential life‐threatening crises. While continuous specialized care is essential, access barriers often delay timely interventions. To address this, we developed MyaLink, a telemedical platform for MG patients.
Maike Stein +13 more
wiley +1 more source
Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets. [PDF]
Sensors (Basel), 2022 Grobelna I, Szcześniak P.
europepmc +1 more source