Results 51 to 60 of about 580,256 (322)
Nature Communications, 2020 The trade-off between growth and production affects the application of engineered microbes. Here, the authors take the minimal cut set approach to predict metabolic reactions for elimination to couple metabolite production strongly with growth and ...
Deepanwita Banerjee +13 more
doaj +1 more source
Semantic A-translation and Super-consistency entail Classical Cut Elimination [PDF]
, 2013 We show that if a theory R defined by a rewrite system is super-consistent, the classical sequent calculus modulo R enjoys the cut elimination property, which was an open question.
Lisa Allali +2 more
core +5 more sources
Outcomes of Live Virus Vaccination in Patients With Vascular Anomalies Being Treated With Sirolimus
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Live vaccination in patients with vascular anomalies (VA) receiving sirolimus remains controversial due to immunosuppressive effects and theoretical risks. Procedure This single‐center retrospective study included patients with VA less than 4 years old at the start of sirolimus therapy who were incompletely vaccinated.
Svatava Merkle +5 more
wiley +1 more source
Frontiers in Nutrition, 2022 Enormous efforts have been made to evaluate the worldwide prevention and control of iodine deficiency disorders (IDDs). This study evaluated China's achievements in IDD prevention and control against WHO criteria for sustainable elimination of IDD.
Lijun Fan +4 more
doaj +1 more source
Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination [PDF]
, 1996 This paper is intended to provide an introduction to cut elimination which is accessible to a broad mathematical audience. Gentzen's cut elimination theorem is not as well known as it deserves to be, and it is tied to a lot of interesting mathematical ...
Carbone, Alessandra, Semmes, S.
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Pulmonary dysfunction and sleep abnormalities are common in children with sickle cell disease (SCD) and are associated with worse clinical outcomes. Whether spirometry abnormalities are associated with polysomnography (PSG) findings remains unclear.
Ammar Saadoon Alishlash +4 more
wiley +1 more source
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 The logic of constant domains is intuitionistic logic extended with the so-called forall-shift axiom, a classically valid statement which implies the excluded middle over decidable formulas.
Federico Aschieri
doaj +1 more source
On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
Bulletin of the Section of Logic, 2023 We consider an approach to propositional synonymy in proof-theoretic semantics that is defined with respect to a bilateral G3-style sequent calculus \(\mathtt{SC2Int}\) for the bi-intuitionistic logic \(\mathtt{2Int}\). A distinctive feature of \(\mathtt{
Sara Ayhan, Heinrich Wansing
doaj +1 more source
Multirole Logic (Extended Abstract) [PDF]
, 2017 We identify multirole logic as a new form of logic in which conjunction/disjunction is interpreted as an ultrafilter on the power set of some underlying set (of roles) and the notion of negation is generalized to endomorphisms on this underlying set.
Wu, Hanwen, Xi, Hongwei
core
Dietary Protein Intake and Peritoneal Protein Losses in Peritoneal Dialysis Patients
Therapeutic Apheresis and Dialysis, EarlyView.ABSTRACT Introduction Peritoneal dialysis (PD) patients lose protein in their waste dialysate, potentially increasing their risk for malnutrition. We wished to determine whether there was any association between losses and dietary protein intake (DPI). Methods DPI was assessed from 24‐h dietary recall using Nutrics software.
Haalah Shaaker, Andrew Davenport
wiley +1 more source