Results 71 to 80 of about 494,717 (236)

Cognitive Status in People With Epilepsy in the Republic of Guinea: A Prospective, Case–Control Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective People with epilepsy (PWE) may experience cognitive deficits but fail to undergo formal evaluation. This study compares cognitive status between PWE and healthy controls in the West African Republic of Guinea. Methods A cross‐sectional, case–control study was conducted in sequential recruitment phases (July 2024–July 2025) at Ignace ...
Maya L. Mastick, Cheick O. Soumah, Malé Doré, Oumar Mara, Desiré Neldje, Fodé A. Cissé, Toure M. Lamine, Aminata Diallo, Seungwon Lee, Siddharth Satish, Alexander J. X. Chen, Alice Liu, Nomin Enkhtsetseg, Farrah J. Mateen, The Guinea Epilepsy Project   +14 more
wiley   +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 Specifications for Java's Synchronisation Classes

2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, 2014
This paper discusses formal specification and verification of the synchronisation classes of the Java API. In many verification systems for concurrent programs, synchronisation is treated as a primitive operation. As a result, verification rules for synchronisation are hard-coded in the logic, and not verified.
Amighi, A. and Blom, S.C.C. and Huisman, M. and Mostowski, W.I. and Zaharieva-Stojanovski, M.   +5 more
openaire   +3 more sources

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

Applying an Ethical Lens to the Treatment of People With Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT The practice of neurology requires an understanding of clinical ethics for decision‐making. In multiple sclerosis (MS) care, there are a wide range of ethical considerations that may arise. These involve shared decision‐making around selection of a disease‐modifying therapy (DMT), risks and benefits of well‐studied medications in comparison to
Methma Udawatta, Farrah J. Mateen
wiley   +1 more source

InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels

Моделирование и анализ информационных систем, 2020
The extent of formal verification methods applied to industrial projects has always been limited. The proliferation of distributed ledger systems (DLS), also known as blockchain, is rapidly changing the situation. Since the main area of DLSs' application
Vladimir Aleksandrovich Kukharenko, Kirill Viktorovich Ziborov, Rafael Faritovich Sadykov, Alexandr Vladimirovich Naumchev, Ruslan Maratovich Rezin, Leonid Albertovich Merkin-Janson   +5 more
doaj   +1 more source

Validating specifications of dynamic systems using automated reasoning techniques [PDF]

, 1995
In this paper, we propose a new approach to validating formal specifications of observable behavior of discrete dynamic systems. By observable behavior we mean system behavior as observed by users or other systems in the environment of the system ...
Feenstra, Remco, Wieringa, Roel
core   +1 more source

Specifying Reusable Components

, 2010
Reusable software components need expressive specifications. This paper outlines a rigorous foundation to model-based contracts, a method to equip classes with strong contracts that support accurate design, implementation, and formal verification of ...
B. Meyer, B. Meyer, C.A.R. Hoare, G.T. Leavens, J.-R. Abrial, J.A. Gougen, J.V. Guttag, K. Zee, M. Barnett   +8 more
core   +3 more sources

Remote Assessment of Ataxia Severity in SCA3 Across Multiple Centers and Time Points

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Spinocerebellar ataxia type 3 (SCA3) is a genetically defined ataxia. The Scale for Assessment and Rating of Ataxia (SARA) is a clinician‐reported outcome that measures ataxia severity at a single time point. In its standard application, SARA fails to capture short‐term fluctuations, limiting its sensitivity in trials.
Marcus Grobe‐Einsler, Vivian Maas, Arian Taheri Amin, Jennifer Faber, Tamara Schaprian, Katharina Hill, Matthis Synofzik, Lisa H. Graf, Heike Jacobi, Manuela Lima, Ana F. Ferreira, Bart P. van de Warrenburg, Ilse H. J. Willemse, Dagmar Timmann, Andreas Thieme, Paola Giunti, Hector Garcia‐Moreno, Magda M. Santana, Jeannette Hübener‐Schmid, Elin H. Davies, Thomas Klockgether   +20 more
wiley   +1 more source

Complementarity of Long‐Reads and Optical Mapping in Parkinson's Disease for Structural Variants

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Long‐read sequencing and optical genome mapping technologies have the ability to detect large and complex structural variants. This has led to the discovery of novel pathogenic variants in neurodegenerative movement disorders. Thus, we aimed to systematically compare the SV detection capabilities of OGM and ONT in Parkinson's disease.
André Fienemann, Theresa Lüth, Susen Schaake, Carolin Gabbert, Marius Möller, Hauke Busch, Katja Lohmann, Jonas A. Gustafson, Danny E. Miller, Kensuke Daida, Manabu Funayama, Nobutaka Hattori, Samia Ben Sassi, Faycel Hentati, Matthew J. Farrer, Kristian K. Ullrich, Christine Klein, Joanne Trinh   +17 more
wiley   +1 more source