Results 161 to 170 of about 117,504 (308)

Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification

, 2021
Nicola Olivetti
openalex   +1 more source

Cutaneous Phosphorylated Alpha‐Synuclein in Lewy Body Dementia

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To determine the test performance of cutaneous phosphorylated alpha‐synuclein (P‐SYN) in dementia with Lewy bodies (DLB), individuals with reduced Montreal Cognitive Assessment (MoCA) and healthy controls. Methods This is the first subgroup analysis of the Synuclein‐One study, a prospective, blinded study evaluating P‐SYN detection ...
Christopher H. Gibbons, Todd Levine, Charles H. Adler, Bailey Bellaire, Ningshan Wang, Pinky Agarwal, Georgina M. Aldridge, Alexandru Barboi, Daniel Claassen, Virgilio G. H. Evidente, Douglas Galasko, Alejandra Gonzalez‐Duarte, Ramon Gil, Mark Gudesblatt, Stuart H. Isaacson, Horacio Kaufmann, Pravin Khemani, Rajeev Kumar, Guillaume Lamotte, Andy J. Liu, Nikolaus R. McFarland, Mitchell G. Miglis, Adam Reynolds, Gregory A. Sahagian, Marie‐Helene Saint‐Hilaire, Julie B. Schwartzbard, Wolfgang Singer, Michael J. Soileau, Steven Vernino, Patricio Millar Vernetti, Oleg Yerstein, Roy Freeman   +31 more
wiley   +1 more source

Formal Verification of Self-Adaptive Behaviors in Decentralized Systems with Uppaal : An Initial Study

, 2012
M. Usman Iftikhar, Danny Weyns
openalex   +1 more source

Formally computer-verified protections against timing-based side-channel attacks

, 2023
Swarn Priya
openalex   +1 more source

Remote Monitoring in Myasthenia Gravis: Exploring Symptom Variability

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Myasthenia gravis (MG) is a rare, autoimmune disorder characterized by fluctuating muscle weakness and potential life‐threatening crises. While continuous specialized care is essential, access barriers often delay timely interventions. To address this, we developed MyaLink, a telemedical platform for MG patients.
Maike Stein, Maximilian Mönch, Meret Herdick, Frauke Stascheit, Sarah Hoffmann, Hannah Preßler, Philipp Mergenthaler, Carla Dusemund, Paolo Doksani, Haoqi Sun, Pushpa Narayanaswami, Andreas Meisel, Lea Gerischer, Sophie Lehnerer   +13 more
wiley   +1 more source

Neuropsychiatric Symptoms Mimicking Dementia in a Patient Treated With Imatinib

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Tyrosine kinase inhibitors are the cornerstone of chronic myeloid leukemia treatment. Newer agents have more potency and a broader spectrum of action, but also a higher potential for neuropsychiatric side effects. We present a case of a patient on imatinib who developed progressive cognitive, mood, and behavioral alterations.
Ashley Jones, Samuele Bonomi, Keith E. Stockerl‐Goldstein, Randall J. Bateman   +3 more
wiley   +1 more source

Neural Networks in Closed-Loop Systems: Verification Using Interval Arithmetic and Formal Prover

Federico Rossi, Cinzia Bernardeschi, Marco Cococcioni   +2 more
openalex   +1 more source

Adult‐Onset Subacute Sclerosing Panencephalitis Presenting With Subacute Cognitive Deficits

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT We describe the case of a 41‐year‐old man diagnosed with adult‐onset subacute sclerosing panencephalitis (SSPE). The patient presented with subacute progressive cognitive deficits and a neuropsychological profile indicating predominant frontoparietal dysfunction. MRI showed only mild parietal‐predominant cerebral atrophy.
Dennis Yeow, Nicola McKern, Vincent Oxenham, Kate Ahmad, Omar Ahmad   +4 more
wiley   +1 more source