Remote Assessment of Ataxia Severity in SCA3 Across Multiple Centers and Time Points
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 +20 more
wiley +1 more source
KerSpecGen: Co-piloting formal Kernel specification synthesis with refined knowledge graphs and large language models. [PDF]
Wang Z, Zhu X, Wang H, Yu Y, Lan Y.
europepmc +1 more source
Step-Wise Formal Verification for LLM-Based Mathematical Problem Solving [PDF]
Kaixiong Zhou, Lu Zhang
openalex +1 more source
CX3CL1 in Early Detection of Alzheimer's Disease: Plasma Dynamics Across Age and Disease Stages
ABSTRACT Backgrounds Alzheimer's disease (AD) is characterized by amyloid‐beta plaques, tau tangles, and neuroinflammation. C‐X3‐C motif chemokine ligand 1 (CX3CL1, also known as fractalkine), a neuroimmune chemokine implicated in AD pathogenesis, shows inconsistent alterations in plasma/serum across studies.
Ling Wang +6 more
wiley +1 more source
A knowledge-driven framework for surgical safety check integration using speech recognition and speaker verification. [PDF]
Shi W +5 more
europepmc +1 more source
Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification [PDF]
Rolf Drechsler
openalex +1 more source
Impact of Asymptomatic Intracranial Hemorrhage on Outcome After Endovascular Stroke Treatment
ABSTRACT Background Endovascular treatment (EVT) achieves high rates of recanalization in acute large‐vessel occlusion (LVO) stroke, but functional recovery remains heterogeneous. While symptomatic intracranial hemorrhage (sICH) has been well studied, the prognostic impact of asymptomatic intracranial hemorrhage (aICH) after EVT is less certain ...
Shihai Yang +22 more
wiley +1 more source
Evidence speaks beyond conceptual frameworks. [PDF]
Álvarez-Aceves M +6 more
europepmc +1 more source
Complementarity of Long‐Reads and Optical Mapping in Parkinson's Disease for Structural Variants
ABSTRACT Objective Long‐read sequencing and optical genome mapping technologies have the ability to detect large and complex structural variants. This has led to the discovery of novel pathogenic variants in neurodegenerative movement disorders. Thus, we aimed to systematically compare the SV detection capabilities of OGM and ONT in Parkinson's disease.
André Fienemann +17 more
wiley +1 more source
Kilometer-scale convection-allowing model emulation using generative diffusion modeling. [PDF]
Pathak J +10 more
europepmc +1 more source

