Results 51 to 60 of about 589,234 (216)

Shape predicates allow unbounded verification of linearizability using canonical abstraction [PDF]

, 2014
Canonical abstraction is a static analysis technique that represents states as 3-valued logical structures, and is able to construct finite representations of systems with infinite statespaces for verification.
Friggens, David, Groves, Lindsay
core   +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

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

GIS and Network Analysis [PDF]

Both geographic information systems (GIS) and network analysis are burgeoning fields, characterised by rapid methodological and scientific advances in recent years.
Manfred M. Fischer
core  

Frailty Exacerbates Disability in Progressive Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background To evaluate frailty in severe progressive multiple sclerosis (PMS) and to investigate the underlying mechanisms. Methods This prospective, cross‐sectional, multicenter study enrolled a late severe PMS group requiring skilled nursing (n = 53) and an age, sex, and disease duration‐matched control PMS group (n = 53).
Taylor R. Wicks, Anna Wolska, Diala Ghazal, Dejan Jakimovski, Bianca Weinstock‐Guttman, Alexander Burnham, Niels Bergsland, Michael G. Dwyer, Alan T. Remaley, Robert Zivadinov, Murali Ramanathan   +10 more
wiley   +1 more source

Deep Learning–Assisted Differentiation of Four Peripheral Neuropathies Using Corneal Confocal Microscopy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Peripheral neuropathies contribute to patient disability but may be diagnosed late or missed altogether due to late referral, limitation of current diagnostic methods and lack of specialized testing facilities. To address this clinical gap, we developed NeuropathAI, an interpretable deep learning–based multiclass classification ...
Chaima Ben Rabah, Ioannis N. Petropoulos, Mark Stettner, Maryam Ferdousi, Uazman Alam, Nathan Efron, Ahmed Serag, Rayaz A. Malik   +7 more
wiley   +1 more source

Functional Connectivity Linked to Cognitive Recovery After Minor Stroke

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Patients with minor stroke exhibit slowed processing speed and generalized alterations in functional connectivity involving frontoparietal cortex (FPC). The pattern of connectivity evolves over time. In this study, we examine the relationship of functional connectivity patterns to cognitive performance, to determine ...
Vrishab Commuri, Isabella Dallasta, Ciaran Stone, Sophia Girgenti, Neda Gould, Rafael H. Llinas, Jonathan Z. Simon, Elisabeth Breese Marsh   +7 more
wiley   +1 more source

Discovery and Targeted Proteomic Studies Reveal Striatal Markers Validated for Huntington's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Clinical trials for Huntington's disease (HD) enrolling persons before clinical motor diagnosis (CMD) lack validated biomarkers. This study aimed to conduct an unbiased discovery analysis and a targeted examination of proteomic biomarkers scrutinized by clinical validation. Methods Cerebrospinal fluid was obtained from PREDICT‐HD and
Daniel Chelsky, Cara Joyce, H. Jeremy Bockholt, Paul A. Rudnick, William H. Adams, Fiona McAllister, Justin W. Smock, Michael A. Newton, Jane S. Paulsen   +8 more
wiley   +1 more source

Lessons Learned From a Delayed‐Start Trial of Modafinil for Freezing of Gait in Parkinson's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Freezing of gait (FOG) in people with Parkinson's disease (PwPD) is debilitating and has limited treatments. Modafinil modulates beta/gamma band activity in the pedunculopontine nucleus (PPN), like PPN deep brain stimulation. We therefore tested the hypothesis that Modafinil would improve FOG in PwPD.
Tuhin Virmani, Lakshmi Pillai, Reid D. Landes, Aliyah Glover, Shannon Doerhoff, Jennifer Kleiner, Mitesh Lotia, Rohit Dhall, Edgar Garcia‐Rill   +8 more
wiley   +1 more source