Results 61 to 70 of about 533,253 (261)

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

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

Phobos: A front-end approach to extensible compilers (long version) [PDF]

, 2002
This paper describes a practical approach for implementing certain types of domain-specific languages with extensible compilers. Given a compiler with one or more front-end languages, we introduce the idea of a "generic" front-end that allows the ...
Granicz, Adam, Hickey, Jason
core   +2 more sources

BETA language Proposal as of April 1979

, 1979
The report contains a proposal for the definition of the BETA programming language. Description of additional concepts to be included (contexts, descriptors, layers) and possible alternatives to the proposal are given.
B. B. Kristensen, O. Madsen, B. Møller-Pedersen, K. Nygaard   +3 more
semanticscholar   +1 more source

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

BETA Language Development: Survey Report, 1. November 1976

, 1977
The report describes ongoing work within the Joint Language Project (JLP). Research workers from Aarhus aned Aalborg Universities. Denmark and the Norwegian Computing Center, Oslo, Norway participate in the project.
B. B. Kristensen, O. Madsen, K. Nygaard
semanticscholar   +1 more source

Location‐Specific Hematoma Volume Predicts Early Neurological Deterioration in Supratentorial ICH

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Early neurological deterioration (END) adversely affects outcomes in patients with intracerebral hemorrhage (ICH). This study aimed to determine the location‐specific hematoma volumes for END in supratentorial ICH patients. Methods We retrospectively analyzed supratentorial ICH patients presenting from two prospective cohorts.
Zuoqiao Li, Guilin Meng, Zijie Wang, Xiao Hu, Jing Cheng, Chu Chen, Tiannan Yang, Jiaxin Luo, Zizhen Meng, Xueyun Liu, Qi Li   +10 more
wiley   +1 more source

Reconstructing a logic for inductive proofs of properties of functional programs [PDF]

, 2010
A logical framework consisting of a polymorphic call-by-value functional language and a first-order logic on the values is presented, which is a reconstruction of the logic of the verification system VeriFun.
Sabel, David, Schmidt-Schauß, Manfred
core  

Formal Compiler Implementation in a Logical Framework [PDF]

, 2003
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the use of higher-order abstract syntax and term rewriting in a logical framework. All program transformations,
Aydemir, Brian, Granicz, Adam, Hickey, Jason, Nogin, Aleksey   +3 more
core   +7 more sources

CSF Monoamine Metabolites and Cognitive Trajectory in Early Parkinson's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Imaging and postmortem studies indicate that abnormalities in monoaminergic neurotransmission contribute to cognitive impairment in Parkinson's disease (PD). However, it remains uncertain if cerebrospinal fluid (CSF) monoamine metabolites can serve as biomarkers of cognitive decline in early PD.
Jing‐Yu Shao, Rong Li, Yu‐Xiang Jiao, Kai Ma, Hong‐Qi Yang, Zheng‐Yu Sun, Jie‐Wen Zhang, Shuai Chen   +7 more
wiley   +1 more source