Results 101 to 110 of about 1,501,850 (327)

Diabetes‐induced vascular calcification is associated with low pyrophosphate and its oral supplementation prevents calcification in diabetic mice

FEBS Open Bio, EarlyView.
Induction of diabetes in three different mouse strains uniformly resulted in an increase in TNAP activity and a reduction in pyrophosphate (PPi) in the circulation. Inhibition of TNAP restored plasma PPi. Diabetes‐induced calcification in the media layer of the aorta was detected only in the Abcc6−/− strain, which is predisposed to ectopic ...
Krisztina Fülöp, Eszter Kozák, Natália Tőkési, Lilian Kocsis, Anikó Kelemen, Zsuzsanna Geszti, Adriána Kutás, Mariann Harangi, Ágnes Diószegi, Zsolt Rapi, József Balla, Olivier Le Saux, András Váradi, Viola Pomozi   +13 more
wiley   +1 more source

Managing data through the lens of an ontology [PDF]

, 2018
Ontology-based data management aims at managing data through the lens of an ontology, that is, a conceptual representation of the domain of interest in the underlying information system.
Lenzerini, Maurizio
core   +1 more source

Plasma p‐tau181 as a Marker of Conversion to Alzheimer's Disease Dementia and Worsening in Cognitive Functions in Subjective Cognitive Decline and Mild Cognitive Impairment: A Longitudinal Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Plasma p‐tau181 has proven to be a promising diagnostic and prognostic tool in the earliest phases of Alzheimer's disease (AD). We aimed to evaluate the prognostic role of p‐tau181 in predicting conversion to AD dementia and worsening in cognition in mild cognitive impairment (MCI) and subjective cognitive decline (SCD).
Giulia Giacomucci, Assunta Ingannato, Chiara Crucitti, Silvia Bagnoli, Elisa Marcantelli, Sonia Padiglioni, Valentina Moschini, Carmen Morinelli, Laura Falsini, Sandro Sorbi, Valentina Berti, Benedetta Nacmias, Valentina Bessi   +12 more
wiley   +1 more source

Computer Science and Metaphysics: A Cross-Fertilization

Open Philosophy, 2019
Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods.
Kirchner Daniel, Benzmüller Christoph, Zalta Edward N.   +2 more
doaj   +1 more source

Using ConceptNet to Teach Common Sense to an Automated Theorem Prover [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
The CoRg system is a system to solve commonsense reasoning problems. The core of the CoRg system is the automated theorem prover Hyper that is fed with large amounts of background knowledge.
Claudia Schon, Sophie Siebert, Frieder Stolzenburg   +2 more
doaj   +1 more source

Structure-Guided Automated Reasoning

, 2023
Algorithmic meta-theorems state that problems definable in a fixed logic can be solved efficiently on structures with certain properties. An example is Courcelle's Theorem, which states that all problems expressible in monadic second-order logic can be solved efficiently on structures of small treewidth.
Bannach, Max, Hecher, Markus
openaire   +4 more sources

Lesion Location and Functional Connections Reveal Cognitive Impairment Networks in Multiple Sclerosis

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, Paolo Preziosa, Paola Valsasina, Damiano Mistri, Monica Margoni, Federica Esposito, Massimo Filippi, Maria A. Rocca   +7 more
wiley   +1 more source

A Logic of Knowing How

, 2015
In this paper, we propose a single-agent modal logic framework for reasoning about goal-direct "knowing how" based on ideas from linguistics, philosophy, modal logic and automated planning.
Wang, Yanjing
core   +1 more source

ATP and Presentation Service for Mizar Formalizations [PDF]

, 2012
This paper describes the Automated Reasoning for Mizar (MizAR) service, which integrates several automated reasoning, artificial intelligence, and presentation tools with Mizar and its authoring environment.
Rudnicki, Piotr, Sutcliffe, Geoff, Urban, Josef   +2 more
core   +2 more sources

CSF Levels of NPTX2 Are Associated With Less Brain Atrophy Over Time in Cognitively Unimpaired Individuals

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Introduction Neuronal pentraxin 2 (NPTX2) is a synaptic protein involved in synaptic plasticity and regulation of neuronal excitability. Lower baseline cerebrospinal fluid (CSF) NPTX2 levels have been shown to be associated with an earlier onset of mild cognitive impairment (MCI), a pre‐dementia syndrome, even after CSF Alzheimer's Disease (AD)
Juan P. Vazquez, Corinne Pettigrew, Yuxin Zhu, Claire Anderson, Guray Erus, Christos Davatzikos, Michael Miller, Abhay Moghekar, Sungtaek Oh, Chan‐Hyun Na, Marilyn Albert, Paul Worley, Anja Soldan   +12 more
wiley   +1 more source