Results 81 to 90 of about 1,319,448 (268)
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Cognitive impairment, fatigue, and depression are common in multiple sclerosis (MS), potentially due to disruption of regional functional connectivity caused by white matter (WM) lesions. We explored whether WM lesions functionally connected to specific brain regions contribute to these MS‐related manifestations.
Alessandro Franceschini +7 more
wiley +1 more source
Call-by-value Termination in the Untyped lambda-calculus [PDF]
Logical Methods in Computer Science, 2008 A fully-automated algorithm is developed able to show that evaluation of a given untyped lambda-expression will terminate under CBV (call-by-value).
Neil D. Jones, Nina Bohr
doaj +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Poststroke fatigue (PSF) and frailty share substantial overlap in their manifestations, yet previous research has yielded conflicting results due to the use of heterogeneous frailty assessment tools. Objective To evaluate the independent impact of frailty on PSF using a unified measurement system (Tilburg Frailty Indicator, TFI ...
Chuan‐Bang Chen +6 more
wiley +1 more source
Normalizing the Taylor expansion of non-deterministic {\lambda}-terms, via parallel reduction of resource vectors [PDF]
Logical Methods in Computer Science, 2019 It has been known since Ehrhard and Regnier's seminal work on the Taylor expansion of $\lambda$-terms that this operation commutes with normalization: the expansion of a $\lambda$-term is always normalizable and its normal form is the expansion of the B\"
Lionel Vaux
doaj +1 more source
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 +11 more
wiley +1 more source
CFA2: a Context-Free Approach to Control-Flow Analysis [PDF]
Logical Methods in Computer Science, 2011 In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and return well: they remember only a bounded number of pending calls because they approximate
Dimitrios Vardoulakis, Olin Shivers
doaj +1 more source
Diffusion Tractography Biomarker for Epilepsy Severity in Children With Drug‐Resistant Epilepsy
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To develop a novel deep‐learning model of clinical DWI tractography that can accurately predict the general assessment of epilepsy severity (GASE) in pediatric drug‐resistant epilepsy (DRE) and test if it can screen diverse neurocognitive impairments identified through neuropsychological assessments.
Jeong‐Won Jeong +7 more
wiley +1 more source
Symbolic and Asynchronous Semantics via Normalized Coalgebras [PDF]
Logical Methods in Computer Science, 2011 The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized by the final morphism in some category of coalgebras.
Filippo Bonchi, Ugo Montanari
doaj +1 more source
, 1993 A relation between an $Sp(2M)$ gauge particle model and the zero-curvature condition in a two-dimensional gauge theory is presented.
Gomis, J. +3 more
core +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background There is growing recognition of the potential of plasma proteomics for Alzheimer's Disease (AD) risk assessment and disease characterization. However, differences between proteomics platforms introduce uncertainties regarding cross‐platform applicability.
Manyue Hu +9 more
wiley +1 more source