Results 131 to 140 of about 1,197,029 (323)

Accelerated Progression of Gait Impairment in Parkinson's Disease and REM Sleep Without Atonia

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective People with Parkinson's disease (PD) and rapid eye movement (REM) sleep without atonia (RSWA) often have more severe gait disturbances compared to PD without RSWA. The association between the presence and expression of RSWA and the rate of progression of gait impairment in PD is unknown.
Sommer L. Amundsen‐Huffmaster, Jae Woo Chung, Maria E. Linn‐Evans, Matthew N. Petrucci, Chiahao Lu, Destiny J. Weaver, Joshua De Kam, Scott E. Cooper, Paul J. Tuite, Aleksandar Videnovic, Michael J. Howell, Colum D. MacKinnon   +11 more
wiley   +1 more source

Copy Number Variants and Their Association With Intracerebral Hemorrhage Risk: A Case–Control Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Introduction Intracerebral Hemorrhage (ICH) is a leading cause of morbidity and mortality worldwide and lacks effective therapeutic interventions. Despite previous studies, the genetic underpinnings of ICH remain poorly understood. We sought to investigate the role of copy number variants (CNVs) in ICH pathophysiology to identify novel ...
Savvina Prapiadou, Carl D. Langefeld, Padmini Sekar, Mary Comeau, Timothy Howard, Tamara N. Kimball, Chen Bowang, Hyacinth I. Hyacinth, Jonathan Rosand, Christopher D. Anderson, Caspar Grond‐Ginsbach, Daniel Woo, Stacie L. Demel   +12 more
wiley   +1 more source

Lessons Learned: Quality Analysis of Optical Coherence Tomography in Neuromyelitis Optica

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Introduction Optical coherence tomography (OCT)‐derived retina measurements are markers for neuroaxonal visual pathway status. High‐quality OCT scans are essential for reliable measurements, but their acquisition is particularly challenging in eyes with severe visual impairment, as often observed in neuromyelitis optica spectrum disorders ...
Hadi Salih, Sara Samadzadeh, Charlotte Bereuter, Seyedamirhosein Motamedi, Claudia Chien, Pablo Villoslada, Hadas Stiebel‐Kalish, Nasrin Asgari, Yang Mao‐Draayer, Marius Ringelstein, Joachim Havla, Marco Aurélio Lana Peixoto, Ho Jin Kim, Jacqueline Palace, Maria Isabel Leite, Srilakshmi M. Sharma, Fereshteh Ashtari, Rahele Kafieh, Lekha Pandit, Orhan Aktas, Philipp Albrecht, Letizia Leocani, Itay Lotan, Sasitorn Siritho, Jérôme de Seze, Romain Marignier, Caroline Froment Tilikete, Denis Bernardi Bichuetti, Ivan Maynart Tavares, Ayse Altintas, Anu Jacob, Saif Huda, Ibis Soto de Castillo, Lawrence J. Cook, Michael R. Yeaman, Axel Petzold, Alexander U. Brandt, Friedemann Paul, Frederike C. Oertel, Hanna G. Zimmermann, with the Guthy Jackson Charitable Foundation—International Clinical Consortium and CROCTINO Collaborators   +40 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

Portable Low‐Field Magnetic Resonance Imaging in People With Human Immunodeficiency Virus

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective The aging population of people with HIV (PWH) raises heightened concerns regarding accelerated aging and dementia. Portable, low‐field MRI (LF‐MRI) is an innovative technology that could enhance access and facilitate routine monitoring of PWH.
Annabel Sorby‐Adams, Malachi Keo, Jennifer Guo, Daire Daly, Richard Ahern, Kimon Zachary, Gregory Robbins, Rajesh T. Gandhi, Bragi Sveinsson, Adam de Havenon, Kevin N. Sheth, Otto Rapalino, Juan Eugenio Iglesias Gonzales, W. Taylor Kimberly, Shibani S. Mukerji   +14 more
wiley   +1 more source

Network Localization of Fatigue in Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Fatigue is among the most common symptoms and one of the main factors determining the quality of life in multiple sclerosis (MS). However, the neurobiological mechanisms underlying fatigue are not fully understood. Here we studied lesion locations and their connections in individuals with MS, aiming to identify brain networks ...
Olli Likitalo, Jaakko Kungshamn, Albert Bellmunt‐Gil, Silvia Tommasin, Abhineet Ojha, Matias Viitala, Juho Aaltonen, Jyrki Lötjönen, Juha Koikkalainen, Pauli Ylikotila, Patrizia Pantano, Merja Soilu‐Hänninen, Juho Joutsa   +12 more
wiley   +1 more source

Association of Corticospinal Tract Asymmetry With Ambulatory Ability After Intracerebral Hemorrhage

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Ambulatory ability after intracerebral hemorrhage (ICH) is important to patients. We tested whether asymmetry between ipsi‐ and contra‐lesional corticospinal tracts (CSTs) assessed by diffusion tensor imaging (DTI) is associated with post‐ICH ambulation.
Yasmin N. Aziz, Carl D. Langefeld, Mary E. Comeau, Miranda C. Marion, Tyler P. Behymer, Lee A. Gilkerson, Padmini Sekar, Weihong Yuan, Vivek Khandwala, Brady J. Williamson, Thomas Maloney, Achala Vagal, Pierce Boyne, Kari Dunning, Matthew L. Flaherty, Steven J. Kittner, Prachi Mehndiratta, Gunjan Y. Parikh, Michael L. James, David Roh, Fernando D. Testai, Farhaan S. Vahidy, James Thornton, Ranjit Bagga, Daniel Woo, Stacie L. Demel   +25 more
wiley   +1 more source

SCADE Model Checking Based on Program Transformation

, 2021
CHEN Zhe RAN Dan
openalex   +2 more sources

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