Results 61 to 70 of about 14,982 (276)

Multi Lingual Sequent Calculus and Coherent Spaces

Fundamenta Informaticae, 1997
We study a Gentzen style sequent calculus where the formulas on the left and right of the turnstile need not necessarily come from the same logical system. Such a sequent can be seen as a consequence between different domains of reasoning. We discuss the ingredients needed to set up the logic generalised in this fashion.
Jung, Achim, Kegelmann, Mathias, Andrew Moshier, M.   +2 more
openaire   +2 more sources

The Fate (Outcome) of Clinically Apparent Single Lesion and Oligofocal Nephroblastomatosis Treated According to SIOP/GPOH Protocols for Wilms Tumor

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background The management of clinically apparent single lesions or oligofocal nephroblastomatosis, a facultative precursor of nephroblastoma, remains debated. Methods We retrospectively analyzed 37 patients with clinically apparent single or oligofocal nephroblastomatosis (two to three lesions per kidney) among 2347 patients registered between
Nils Welter, Jens‐Peter Schenk, Jenny Wegert, Manfred Gessler, Leo Kager, Stefan Wagenpfeil, Marina Müller, Jean‐Michel Wolff, Joerg Fuchs, Steven W. Warmann, Clemens‐Magnus Meier, Jochen Hubertus, Christian Rübe, Christian Vokuhl, Patrick Melchior, Lena Tschirner, Norbert Graf, Rhoikos Furtwängler   +17 more
wiley   +1 more source

Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus [PDF]

, 2016
Development of a contraction-free BI sequent calculus, be the contraction-freeness implicit or explicit, has not been successful in the literature. We address this problem by presenting such a sequent system. Our calculus involves no structural rules. It
Arisaka, Ryuta
core   +3 more sources

Feasibility and Safety of High‐Dose Proton Re‐Irradiation in Recurrent Pediatric Central Nervous System Tumors: A Single‐Institution Retrospective Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Purpose Pediatric central nervous system (CNS) tumors often recur despite multimodality therapy. Although re‐irradiation (re‐RT) has historically been limited by concerns for severe late toxicities, modern techniques have renewed interest in this approach. Proton therapy provides dosimetric advantages that may enable curative re‐treatment with
Jin‐Ho Song, Jonathan Baron, Carlos Chavez Perez, Sidharth Ramesh, Jane Minturn, Kavita A. Desai, Amish C. Shah, Jean M. Belasco, Kristina A. Cole, Michael J. Fisher, Phillip B. Storm, Peter M. Madsen, Goldie Kurtz, Robert A. Lustig, Christine Hill‐Kayser, Michael J. LaRiviere   +15 more
wiley   +1 more source

Realisability semantics of abstract focussing, formalised [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
We present a sequent calculus for abstract focussing, equipped with proof-terms: in the tradition of Zeilberger's work, logical connectives and their introduction rules are left as a parameter of the system, which collapses the synchronous and ...
Stéphane Graham-Lengrand
doaj   +1 more source

Cut-Simulation and Impredicativity [PDF]

, 2009
We investigate cut-elimination and cut-simulation in impredicative (higher-order) logics. We illustrate that adding simple axioms such as Leibniz equations to a calculus for an impredicative logic -- in our case a sequent calculus for classical type ...
Benzmueller, Christoph, Brown, Chad E., Kohlhase, Michael   +2 more
core   +2 more sources

Feasibility and Preliminary Efficacy of Integrative Neuromuscular Training for Childhood Cancer Survivors: A Pilot Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Survivors of childhood acute lymphoblastic leukemia (ALL) often exhibit early deficits in muscle and movement competence, which can compromise long‐term health. Integrative neuromuscular training (INT), a multifaceted approach combining fundamental movement activities with strength exercises, may help address these deficits during ...
Anna Maria Markarian, Robert U. Newton, Dennis R. Taaffe, Nicholas G. Gottardo, Santosh Valvi, Carolyn J. Peddle‐McIntyre, Jodie Cochrane Wilkie, Daniel A. Galvão   +7 more
wiley   +1 more source

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

Logical Metainferentialism

Ergo, An Open Access Journal of Philosophy
Logical inferentialism is the view that the meaning of logical constants is implicitly defined by the operational rules that govern their behaviour in proofs—particularly in sequent calculus proofs, according to an increasingly dominant tendency.
Bogdan Dicher, Francesco Paoli
doaj   +2 more sources

An upstream open reading frame regulates expression of the mitochondrial protein Slm35 and mitophagy flux

FEBS Letters, EarlyView.
This study reveals how the mitochondrial protein Slm35 is regulated in Saccharomyces cerevisiae. The authors identify stress‐responsive DNA elements and two upstream open reading frames (uORFs) in the 5′ untranslated region of SLM35. One uORF restricts translation, and its mutation increases Slm35 protein levels and mitophagy.
Hernán Romo‐Casanueva, Ariann E. Mendoza‐Martínez, P. Abril Medina‐Flores, Carlos Campero‐Basaldua, Alexander DeLuna, Soledad Funes   +5 more
wiley   +1 more source