Results 51 to 60 of about 228,061 (236)

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

Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi [PDF]

Logical Methods in Computer Science, 2009
The intuitionistic fragment of the call-by-name version of Curien and Herbelin's \lambda\_mu\_{\~mu}-calculus is isolated and proved strongly normalising by means of an embedding into the simply-typed lambda-calculus.
Jose Espirito Santo, Ralph Matthes, Luis Pinto   +2 more
doaj   +1 more source

A Tableaux Calculus for Reducing Proof Size [PDF]

, 2018
A tableau calculus is proposed, based on a compressed representation of clauses, where literals sharing a similar shape may be merged. The inferences applied on these literals are fused when possible, which reduces the size of the proof. It is shown that
A Leitsch, CM Hansen, E Eder, M Fitting, M Giese, P Baumgartner, R Letz, Reiner Hähnle, Reinhold Letz, S Hetzl   +9 more
core   +2 more sources

Central Dysmyelination in SSADH‐Deficient Humans and Mice

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives Succinic semialdehyde dehydrogenase deficiency (SSADHD) is an inherited metabolic disorder characterized by an accumulation of γ‐aminobutyric (GABA). In addition to its synaptic role as an inhibitory neurotransmitter, GABA also plays an important role in myelination.
Itay Tokatly Latzer, Henry H. C. Lee, Edward Yang, Cesar Alves, Mariarita Bertoldi, Caitlyn Fung, Spencer V. Steele, Eren Kule, Zijie Jin, Alexander Rotenberg, Jean‐Baptiste Roullet, Phillip L. Pearl   +11 more
wiley   +1 more source

Brodsky’s coding method for propositional logic

Lietuvos Matematikos Rinkinys, 2017
Brodsky’s coding method for propositional logic is considered in the paper. Based on the sequent calculus, the method allows us to determine whether an arbitrary sequent is derivable in the calculus without constructing proof-search trees.
Romas Alonderis
doaj   +1 more source

A Categorical Normalization Proof for the Modal Lambda-Calculus [PDF]

, 2023
Jason Z. S. Hu, Brigitte Pientka
openalex   +1 more source

Copy Number Variants and Their Association With Intracerebral Hemorrhage Risk: A Case–Control Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Introduction Intracerebral Hemorrhage (ICH) is a leading cause of morbidity and mortality worldwide and lacks effective therapeutic interventions. Despite previous studies, the genetic underpinnings of ICH remain poorly understood. We sought to investigate the role of copy number variants (CNVs) in ICH pathophysiology to identify novel ...
Savvina Prapiadou, Carl D. Langefeld, Padmini Sekar, Mary Comeau, Timothy Howard, Tamara N. Kimball, Chen Bowang, Hyacinth I. Hyacinth, Jonathan Rosand, Christopher D. Anderson, Caspar Grond‐Ginsbach, Daniel Woo, Stacie L. Demel   +12 more
wiley   +1 more source

Hereditary Substitution for the λΔ-Calculus [PDF]

Electronic Proceedings in Theoretical Computer Science, 2013
Hereditary substitution is a form of type-bounded iterated substitution, first made explicit by Watkins et al. and Adams in order to show normalization of proof terms for various constructive logics.
Harley Eades, Aaron Stump
doaj   +1 more source

Exploring patients’ profiles associated with the resolution of acute calcium pyrophosphate arthritis treatedwith colchicine and prednisone: post hoc analysis of a randomized controlled trial

Arthritis Care &Research, Accepted Article.
Objective The objective was to identify factors determining acute arthritis resolution and safety with colchicine and prednisone in acute calcium pyrophosphate (CPP) crystal arthritis. Methods We conducted a post hoc analysis of the COLCHICORT trial, which compared colchicine and prednisone for the treatment of acute CPP crystal arthritis, using a ...
Tristan Pascart, Laurène Norberciak, Pascal Richette, Pierre Robinet, Aurore Pacaud, Gauthier Marchasson, Thibault Rabin, Hélène Luraschi, Pierre Maciejasz, Anne‐France Georgel, Augustin Latourte, Hang‐Korng Ea, Sébastien Ottaviani, Charlotte Jauffret, Vincent Ducoulombier   +14 more
wiley   +1 more source

Data‐Driven Distributed Safe Control Design for Multi‐Agent Systems

International Journal of Adaptive Control and Signal Processing, EarlyView.
This paper presents a data‐driven control barrier function (CBF) technique for ensuring safe control of multi‐agent systems (MASs) with uncertain linear dynamics. A data‐driven quadratic programming (QP) optimization is first developed for CBF‐based safe control of single‐agent systems using a nonlinear controller. This approach is then extended to the
Marjan Khaledi, Bahare Kiumarsi
wiley   +1 more source