Results 131 to 140 of about 221,743 (312)

Brainstem and Cerebellar Volume Loss and Associated Clinical Features in Progressive Supranuclear Palsy

Annals of Clinical and Translational Neurology, EarlyView.
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, Timothy P. Siejka, Cassandra Marotta, Josh J. Y. Lee, Kelly Bertram, Terence J. O'Brien, Meng Law, Lucy Vivash, Ian H. Harding   +8 more
wiley   +1 more source

Symmetry reduction and heuristic search for error detection in model checking

, 2003
The state explosion problem is the main limitation of model checking. Symmetries in the system being verified can be exploited in order to avoid this problem by defining an equivalence (symmetry) relation on the states of the system, which induces a ...
Lluch-Lafuente, Alberto
core  

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

Value of MRI Outcomes for Preventive and Early‐Stage Trials in Spinocerebellar Ataxias 1 and 3

Annals of Clinical and Translational Neurology, EarlyView.
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, Emilien Petit, Young Woo Park, Sophie Tezenas du Montcel, James M. Joers, Jonathan M. DuBois, H. Moore Arnold, Michal Povazan, Ipek Özdemir, Guita Banan, Romain Valabregue, Philipp Ehses, Jennifer Faber, Chiadi U. Onyike, Peter B. Barker, Jeremy D. Schmahmann, Eva‐Maria Ratai, Sub H. Subramony, Thomas H. Mareci, Khalaf O. Bushara, Henry Paulson, Thomas Klockgether, Alexandra Durr, Tetsuo Ashizawa, Christophe Lenglet, Gülin Öz, READISCA Investigators   +26 more
wiley   +1 more source

Bounded model checking of multi-threaded c programs via lazy sequentialization

, 2014
Bounded model checking (BMC) has successfully been used for many practical program verification problems, but concurrency still poses a challenge. Here we describe a new approach to BMC of sequentially consistent C programs using POSIX threads.
Salvatore La Torre, Parlato, Gennaro, Fischer, Bernd, Tomasco, Ermenegildo, Omar Inverso, Parlato, G, La Torre, Salvatore, Ermenegildo Tomasco, Inverso, Omar, Gennaro Parlato, Bernd Fischer   +10 more
core   +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, Sami I. Nassar, Shaun A. Nguyen, Patricia L. Gerend, Michael C. Schubert, Michael T. Teixido, Frederick A. Godley, Joel A. Goebel, Cynthia A. Ryan, Habib G. Rizk, Amir Kheradmand   +10 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

A Systematic Review and Meta‐Analysis of the Recurrence of Autoimmune Encephalitis

Annals of Clinical and Translational Neurology, EarlyView.
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, Sen Zhang, Haipei Zhang, Yating Zhang, Junhong Guo, Xiaoyan Yang   +5 more
wiley   +1 more source

Normal‐Appearing White Matter Injury Mediates Chronic Deep Venous Hypoxia and Disease Progression in Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To explore how cerebral hypoxia and Normal‐Appearing White Matter (NAWM) integrity affect MS lesion burden and clinical course. Methods Seventy‐nine MS patients, including 13 clinically isolated syndrome (CIS) patients and 66 relapsing–remitting multiple sclerosis (RRMS) patients, and 44 healthy controls (HCs) were recruited from ...
Xinli Wang, Huiying Wang, Zhizheng Zhuo, Ai Guo, Ke Lv, Decai Tian, Chao Chai, Yunyun Duan, Shuang Xia   +8 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, Krzysztof W. Selmaj, Regina Berkovich, Jeffrey A. Cohen, Giancarlo Comi, Eva K. Havrdová, James K. Sheffield, Hetal Desai, Chun‐Yen Cheng, Jon V. Riolo, Andrew Thorpe, Erik DeBoer, Bruce A. C. Cree   +12 more
wiley   +1 more source