Results 171 to 180 of about 658,878 (281)
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To delineate specific in vivo white matter pathology in neuronal intranuclear inclusion disease (NIID) using diffusion spectrum imaging (DSI) and define its clinical relevance. Methods DSI was performed on 42 NIID patients and 38 matched controls.
Kaiyan Jiang +10 more
wiley +1 more source
Vestibular Patient Journey: Insights From Vestibular Disorders Association (VeDA) Registry
Annals of Clinical and Translational Neurology, EarlyView.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
Cut-Elimination for Full Intuitionistic Linear Logic
We describe in full detail a solution to the problem of proving the cut elimination theorem for FILL, a variant of (multiplicative and exponential-free) Linear Logic introduced by Hyland and de Paiva.
Torben Braüner, Valeria De Paiva
core
Epsilon Substitution for $ID_1$ via Cut-Elimination [PDF]
, 2015 Henry Towsner
openalex +1 more source
Clinical Validation of Plasma p‐217tau in Neurological Diseases
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Plasma p‐217tau is a minimally invasive but specific biomarker for diagnosing Alzheimer's disease (AD). However, its disease specificity remains to be clinically evaluated. We validated the reliability of the p‐217tau biomarker in 12 other neurological diseases.
Takeshi Kawarabayashi +13 more
wiley +1 more source
Multiple Sclerosis Relapse Activity After Ozanimod Discontinuation in DAYBREAK Trial Participants
Annals of Clinical and Translational Neurology, EarlyView.Multiple Sclerosis Relapse Activity After Ozanimod Discontinuation in DAYBREAK Trial Participants. ABSTRACT Objective Return of disease activity is expected when patients discontinue disease‐modifying therapy (DMT) for multiple sclerosis (MS). Some MS DMTs are associated with higher‐than‐expected disease activity (rebound) after discontinuation.
Ralf Gold +12 more
wiley +1 more source
On proof mining by cut-elimination
, 2014 . We present cut-elimination as a method of proof mining, in the sense that hidden mathematical information can be extracted by eliminating lemmas from proofs.
Alexander Leitsch
core
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Stereoelectroencephalography‐guided radiofrequency thermocoagulation (SEEG‐RFTC) has emerged as a safe and effective minimally invasive treatment for children with drug‐resistant focal epilepsy. Although evidence from real‐world studies remains limited, numerous pediatric cases have demonstrated promising outcomes. This retrospective
Weitao Chen +7 more
wiley +1 more source
Cut-Elimination for Full Intuitionistic Linear Logic
, 1996 We describe in full detail a solution to the problem of proving the cut elimination theorem for FILL, a variant of (multiplicative and exponential-free) Linear Logicintroduced by Hyland and de Paiva.
de Paiva, Valeria, Braüner, Torben
core