Results 111 to 120 of about 1,197,742 (268)
Model Checking with Right Censored Data Using Relative Belief Ratio. [PDF]
Al-Labadi L, Alzaatreh A, Asuncion M.
europepmc +1 more source
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
A formal analysis method for composition protocol based on model checking. [PDF]
Xiao M +4 more
europepmc +1 more source
Remote Monitoring in Myasthenia Gravis: Exploring Symptom Variability
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 Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost. [PDF]
Ma Z, Li Z, Li W, Gao Y, Li X.
europepmc +1 more source
ABSTRACT Objective To determine the concentration of glial fibrillary acidic protein (GFAP) in cerebrospinal fluid (CSF) and plasma in Alexander disease (AxD) and whether GFAP levels are predictive of disease phenotypes. Methods CSF and plasma were collected (longitudinally when available) from AxD participants and non‐AxD controls.
Amy T. Waldman +9 more
wiley +1 more source
Meningovascular Inflammation in Cerebral Amyloid Angiopathy‐Related Cortical Superficial Siderosis
ABSTRACT The role of inflammation in cortical superficial siderosis (cSS), a marker of cerebral amyloid angiopathy (CAA) linked to high hemorrhage risk, is unclear. We examined 15 patients with cSS using 3 T post‐contrast vessel wall MRI (VWI) and CSF analysis.
Philipp Arndt +8 more
wiley +1 more source
Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets. [PDF]
Grobelna I, Szcześniak P.
europepmc +1 more source
Clustering Algorithm Reveals Dopamine‐Motor Mismatch in Cognitively Preserved Parkinson's Disease
ABSTRACT Objective To explore the relationship between dopaminergic denervation and motor impairment in two de novo Parkinson's disease (PD) cohorts. Methods n = 249 PD patients from Parkinson's Progression Markers Initiative (PPMI) and n = 84 from an external clinical cohort.
Rachele Malito +14 more
wiley +1 more source
ABSTRACT Introduction Progressive Supranuclear Palsy (PSP) is a neurodegenerative ‘tauopathy’ with predominating pathology in the basal ganglia and midbrain. Caudal tau spread frequently implicates the cerebellum; however, the pattern of atrophy remains equivocal.
Chloe Spiegel +8 more
wiley +1 more source

