Results 121 to 130 of about 1,197,742 (268)

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

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

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

The application of adaptive symmetry reduction for LTL model checking

Моделирование и анализ информационных систем, 2010
Adaptive symmetry reduction is a technique which exploits the similarity of com- ponents in systems of regular structure. It helps to reduce the effect of state explosion when exploring reachable states of a system.
I. V. Konnov, V. A. Zakharov
doaj  

Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems. [PDF]

Micromachines (Basel), 2021
Liu Y, Ma Y, Yang Y, Zheng T.
europepmc   +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

Model Checking in Federated Learning-Based Smart Advertising

Journal of Sensor and Actuator Networks
As social networks continue to expand, smart advertising increasingly depends on machine learning to deliver personalized and effective advertisements.
Rasool Seyghaly, Jordi Garcia, Xavi Masip-Bruin   +2 more
doaj   +1 more source

Model Checking

, 2000
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

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

A Systematic Comparison of Alpha‐Synuclein Seed Amplification Assays for Increasing Reproducibility

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Seed amplification assays (SAAs) enable ultrasensitive detection of misfolded α‐synuclein across biofluids and tissues. Yet, heterogeneity in protocols limits cross‐study comparability and clinical translation. Here, we review α‐synuclein SAA methods and their performance across various biological matrices.
Manuela Amaral‐do‐Nascimento, Daniela F. Santos, Tuane C. R. G. Vieira, Tiago F. Outeiro   +3 more
wiley   +1 more source