Results 121 to 130 of about 655,566 (261)
Existential Quantification as Incremental SAT: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings [PDF]
, 2011 This paper presents an elegant algorithm for existential quantifier elimination using incremental SAT solving. This approach contrasts with existing techniques in that it is based solely on manipulating the SAT instance rather than requiring any reengineering of the SAT solver or needing an auxiliary data-structure such as a BDD. The algorithm combines
Brauer, Jorg, King, Andy, Kriener, Jael
openaire
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Early risk stratification may support clinical decision‐making in spontaneous intracerebral hemorrhage (ICH). We aimed to develop and internally validate HAGIV, a score integrating frequency of imaging markers (FIM), a time‐adjusted non‐contrast computed tomography (CT) metric of hematoma expansion, with established predictors for 90‐
Lei Song +10 more
wiley +1 more source
Digital Cognitive Testing in Mitochondrial Disease: Validity and Challenges for Clinical Trial Use
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Primary mitochondrial disease is a group of genetic disorders caused by pathogenic variants in nuclear or mitochondrial DNA, often resulting in progressive neurodegeneration and cognitive decline. Current management is primarily supportive, though recent research offers hope for disease‐modifying treatments in the future.
Oksana Pogoryelova +9 more
wiley +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To determine whether myelin‐sensitive quantitative MRI reveals microstructural abnormalities in normal‐appearing cortex (NACtx) in myelin oligodendrocyte glycoprotein antibody–associated disease (MOGAD), indicating that conventional MRI underestimates remission residual cortical injury.
Valentina Camera +20 more
wiley +1 more source
Global Rather Than Vertical‐Selective Saccadic Abnormalities in Progressive Supranuclear Palsy
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To test whether vertical saccades are preferentially affected in Progressive Supranuclear Palsy (PSP). Methods PSP patients (n = 24) were compared to age‐matched controls (n = 94) and two degenerative groups (Alzheimer's disease, n = 20; Lewy body disease, n = 50).
Duy Duan Nguyen +6 more
wiley +1 more source
Eschatology and Existential Psychotherapy: An inquiry into the Überwelt
In this paper I will explore whether Christian eschatology can enrich existential psychotherapy. Notions as hope, death and Überwelt are at the centre of the inquiry. Finally, the concept of love will be examined.
Anna C. Rédei
core +1 more source
Intracerebral Hemorrhage Induces Monocyte TNF Signaling in Patients That Is Suppressed by BAF312
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Intracerebral hemorrhage (ICH) causes high morbidity and mortality, with neurotoxic inflammation driven by infiltrating monocytes. This study is an in‐depth longitudinal examination of the immune response during the first week of ICH in the presence and absence of the immunomodulatory drug BAF312 (Siponimod).
Jonathan Howard DeLong +10 more
wiley +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Multisystemic smooth muscle dysfunction syndrome (MSMDS) is an ultra‐rare, ACTA2‐related disorder characterized by severe cerebrovascular disease, aortic aneurysms, and smooth muscle dysfunction. Using molecular dynamics simulations and in silico drug screening, we identified that sapropterin dihydrochloride (Kuvan) is a candidate capable of ...
Moran Hausman‐Kedem +9 more
wiley +1 more source
Bourbaki, or How Anatole France Reinvented Existential Quantification
The present document is a mathematical-literary fiction, commemorating the centenary of the death of Anatole France (April 16, 1844 - October 12, 1924) and which, at the same time, pays tribute to Nicolas Bourbaki and his "Godparents". Strange as it may seem, the connection between the great man of letters and the legendary mathematician is thought out
openaire +2 more sources
Arterial Spin‐Labeling MRI at the Cortical‐CSF Interface: A Novel Biomarker in Alzheimer Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background/Objective Arterial spin‐labeling (ASL) MRI can measure perfusion signal adjacent to CSF spaces and may provide information regarding CSF‐adjacent water transport physiology. We developed an automated pipeline to extract cortical‐CSF interface (IF) perfusion for comparison between Alzheimer disease (AD) and cognitively normal ...
Mona Asghariahmadabad +22 more
wiley +1 more source