Results 121 to 130 of about 230,174 (255)
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
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
Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems. [PDF]
Liu Y, Ma Y, Yang Y, Zheng T.
europepmc +1 more source
Model checking tools are increasingly being used for the validation of real-life systems in an industrial context. This paper discusses two validation approaches with respect to the application of model checkers. The verification approach tries to ascertain the correctness of a formal model of a system, whereas the debugging approach tries to find ...
Ruys, Theo C., Brinksma, Ed
openaire +1 more source
Value of MRI Outcomes for Preventive and Early‐Stage Trials in Spinocerebellar Ataxias 1 and 3
ABSTRACT Objective To examine the value of MRI outcomes as endpoints for preventive and early‐stage trials of two polyglutamine spinocerebellar ataxias (SCAs). Methods A cohort of 100 participants (23 SCA1, 63 SCA3, median Scale for the Assessment and Rating of Ataxia (SARA) score = 5, 42% preataxic, and 14 gene‐negative controls) was scanned at 3T up ...
Thiago J. R. Rezende +26 more
wiley +1 more source
This paper studies the problem of model-checking of probabilistic automaton and probabilistic one-counter automata against probabilistic branching-time temporal logics (PCTL and PCTL$^*$). We show that it is undecidable for these problems.
Lin, T.
core
Vestibular Patient Journey: Insights From Vestibular Disorders Association (VeDA) Registry
ABSTRACT Objective Vestibular symptoms impose a high burden of disability. Understanding real‐world diagnostic and treatment pathways can identify care gaps and guide interventions. We aimed to characterize symptom profiles, diagnostic trends, provider involvement, and treatment patterns in vestibular disorders.
Ali Rafati +10 more
wiley +1 more source
A Systematic Review and Meta‐Analysis of the Recurrence of Autoimmune Encephalitis
ABSTRACT Objective Autoimmune encephalitis (AE) is a disease with a potential for recurrence, and patients receive immunotherapy to prevent it. However, there is no consensus on the duration of immunotherapy. This study aimed to determine the recurrence rate and identify the risk factors for AE to provide guidance on the duration of immunotherapy ...
Shangkai Bai +5 more
wiley +1 more source

