Results 91 to 100 of about 9,422,773 (291)
Unfolding Iterators: Specification and Verification of Higher-Order Iterators in OCaml
Albeit being a central notion of every programming language, formally and modularly reasoning about iteration proves itself to be a non-trivial feat, specially in the context of higher-order iteration. In this paper, we present a generic approach to the specification and deductive verification of higher-order iterators, written in the OCaml language ...
Ion Chirica, Mário Pereira
openaire +4 more sources
Digital Cognitive Phenotyping for Differential Diagnosis and Monitoring in Neurological Conditions
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To assess the utility, accessibility, and equivalence to supervised scales of online cognitive assessment in older individuals with cognitive impairment. Methods Patients with Alzheimer's disease (AD, n = 31), idiopathic normal pressure hydrocephalus (iNPH, n = 26), and traumatic brain injury (TBI, n = 23) completed online cognitive ...
Martina Del Giovane +10 more
wiley +1 more source
Systemic Extracerebral Atherosclerotic Burden and Dementia Risk After Incident Stroke
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Stroke survivors are at increased risk of dementia, but clinically accessible markers of risk heterogeneity remain limited. Previous studies have largely examined atherosclerotic disease in individual vascular beds rather than the overall burden of systemic extracerebral atherosclerosis.
Zhexuan Yu +4 more
wiley +1 more source
Spectral approximation using iterated discrete Galerkin method
, 2002 We consider approximation of eigenelements of an integral operator with a smooth kernel by discrete Galerkin and iterated discrete Galerkin methods. We prove that by using a sufficiently accurate numerical quadrature formula, the orders of convergence in
KULKARNI, RP, GNANESHWAR, N
core +1 more source
The Scientific World Journal, 2014 As the core of the integrated navigation system, the data fusion algorithm should be designed seriously. In order to improve the accuracy of data fusion, this work proposed an adaptive iterated extended Kalman (AIEKF) which used the noise statistics ...
Yuan Xu, Xiyuan Chen, Qinghua Li
doaj +1 more source
Anticoagulation Treatment Response Among Phenotypic ESUS Clusters: Evidence From CASPR
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To evaluate treatment effect heterogeneity across phenotypic clusters of patients with cryptogenic embolic stroke using causal inference methods. Methods From a retrospective, multicenter cohort of patients with cryptogenic embolic stroke, we estimated the treatment effect of anticoagulation versus antiplatelet therapy in patients ...
Elena Badillo Goicoechea +53 more
wiley +1 more source
Stage‐Specific Patterns of Imaging and Non‐Motor Biomarkers in Spinocerebellar Ataxia Type 3
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Advancements in disease‐modifying therapies for spinocerebellar ataxia Type 3 (SCA3) underscore the need for robust biomarkers to monitor disease progression and evaluate treatment efficacy. Although motor phenotypes have been well characterized, less is known about non‐motor and imaging‐based features across different disease stages.
Chun Li +17 more
wiley +1 more source
The Association of Amyloid‐β and Tau With Synaptic Dysfunction in Alzheimer's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To clarify the relative contributions of amyloid and tau to synaptic dysfunction in Alzheimer's disease (AD). Methods We included 109 cognitively unimpaired and impaired individuals from the Geneva Memory Center with available CSF synaptic biomarkers (neurogranin, SNAP‐25, GAP‐43). Participants were stratified according to amyloid (A)
Fausto Roveta +11 more
wiley +1 more source
Iterated Expectations with Common Beliefs [PDF]
This paper generalizes a result by Samet concerning iterated expecta- tions and common priors. When a player in some state of the world is allowed to ascribe probability zero to that state, something not allowed in Samet s framework, iterated ...
Alfredo Di Tillio
core
Arthritis Care &Research, EarlyView.Objective Orofacial manifestations are significantly impactful in patients with systemic sclerosis (SSc) yet remain understudied, with no dedicated clinical guidelines to inform their management. Methods An international online survey comprised38 questions addressing orofacial manifestations of SSc, including patients’ confidence in their treating ...
Eleni Deligianni +4 more
wiley +1 more source