Results 141 to 150 of about 221,743 (312)
Advancing Age Modulates Associations Between Cognitive Impairment and Brain Volumes in Early MS
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Introduction Cognitive impairment is common in multiple sclerosis (MS), but manifestations following the first demyelinating event are relatively unexplored. We investigated cross‐sectional associations between magnetic resonance imaging (MRI)–derived brain volumes and the presence of cognitive impairment outcomes five years after the first ...
Piriyankan Ananthavarathan +14 more
wiley +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Chimeric antigen receptor (CAR) T‐cell therapy has been investigated in neurological diseases, encompassing both central nervous system malignancies and autoimmune disorders, thereby extending its application beyond hematological cancers.
Omar Alqaisi +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
Association Between Motor Pathway Damage and Motor Deficit in Upper and Lower Limb in People With MS
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Corticospinal tract damage is common in people with MS, but the degree of clinical symptoms varies. We hypothesize that corticospinal tract lesions are more extensive and severe in people with MS with motor impairments in both upper and lower limbs.
Mathilde Liffran +13 more
wiley +1 more source
MOGAD Is the Most Common Cause of Isolated Optic Neuritis in Children
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objectives The study aimed to characterize the clinical features, etiologies, and outcomes of isolated, first‐time pediatric ON in the post‐MOG‐IgG era. Methods This was a single‐center retrospective cohort study at Texas Children's Hospital of patients diagnosed with first‐time ON between 2018–2024, with follow‐up data collected through 2025.
Chaitanya Aduru +13 more
wiley +1 more source
Model Checking in Federated Learning-Based Smart Advertising
Journal of Sensor and Actuator NetworksAs social networks continue to expand, smart advertising increasingly depends on machine learning to deliver personalized and effective advertisements.
Rasool Seyghaly +2 more
doaj +1 more source
Efficacy of Inebilizumab in N‐MOmentum Trial Participants With or Without Prior Immunosuppressants
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT This post hoc analysis examined the impact of prior immunosuppressants on the long‐term efficacy and safety of inebilizumab, a cluster of differentiation 19+ B‐cell–depleting monoclonal antibody, in participants with aquaporin‐4–seropositive neuromyelitis optica spectrum disorder from the N‐MOmentum trial (NTC02200770).
Bruce A. C. Cree +9 more
wiley +1 more source
Statistical Model Checking of Complex Robotic Systems
, 2019 International audienceFailure of robotic software may cause catastrophic damages. In order to establish a higher level of trust in robotic systems, formal methods are often proposed.
Seceleanu, Cristina, +8 more
core +1 more source
On checking model checkers [PDF]
, 1998 It has become good practice to expect authors of new model checking algorithms to provide not only rigorous evidence of the algorithms correctness, but also evidence of their practical significance. Though the rules for determining what is and what is not a good proof of correctness are clear, no comparable rules are usually enforced for determining ...
openaire +1 more source