Results 51 to 60 of about 170,956 (278)

Inducing syntactic cut-elimination for indexed nested sequents [PDF]

Logical Methods in Computer Science, 2018
The key to the proof-theoretic study of a logic is a proof calculus with a subformula property. Many different proof formalisms have been introduced (e.g. sequent, nested sequent, labelled sequent formalisms) in order to provide such calculi for the many
Revantha Ramanayake
doaj   +1 more source

Association Between Dinutuximab Beta Exposure and Post‐End‐of‐Treatment Survival in Neuroblastoma: A Weighted Patient‐Level Analysis of Three Clinical Studies

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Objectives The association between exposure to dinutuximab beta (DB) and event‐free survival (EFS) or overall survival (OS) of neuroblastoma patients was assessed using data collected during three clinical trials (five cohorts). Methods A systematic review (March 2026) was conducted to identify relevant studies (prospective; registered DB ...
Przemysław Holko, Holger N. Lode, Alberto Garaventa, Carla Manzitti, Roberto Luksch, Dominique Valteau‐Couanet, Marion Gambart, John Anderson, Juliet Gray, Adela Canete, Lucas Moreno, Aleksandra Wieczorek, Cormac Owens, Shifra Ash, Isaac Yaniv, Genevieve Laureys, Hans Loibner, Katarzyna Śladowska, Ruth Ladenstein, Paweł Kawalec   +19 more
wiley   +1 more source

A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems [PDF]

Logical Methods in Computer Science, 2011
Basic proof-search tactics in logic and type theory can be seen as the root-first applications of rules in an appropriate sequent calculus, preferably without the redundancies generated by permutation of rules. This paper addresses the issues of defining
Stéphane Jean Eric Lengrand, Roy Dyckhoff, James McKinna   +2 more
doaj   +1 more source

The Relationship Between Physical Activity and Left Ventricular Remodeling in Childhood Cancer Survivors Treated With Anthracyclines: A Cross‐Sectional Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Introduction Anthracycline‐related cardiac remodeling precedes heart failure in childhood cancer survivors. The objectives of this study were to determine the relationships between patient‐specific factors, moderate‐to‐vigorous physical activity (MVPA), and cardiac remodeling.
Hari K. Narayan, Sitong Chen, F. Lennie Wong, Nathan Young, Anna Qi, Christopher Davis, Sanjeet Hegde, Nicholas Gloude, Kasey J. Leger, Kelly D. Getz, Francisco Contijoch, Kirsten Ness, Bonnie Ky, Dennis Kuo, Sheri J. Hartman, Saro H. Armenian   +15 more
wiley   +1 more source

Algebra and Sequent Calculus for Epistemic Actions [PDF]

Electronic Notes in Theoretical Computer Science, 2005
AbstractWe introduce an algebraic approach to Dynamic Epistemic Logic. This approach has the advantage that: (i) its semantics is a transparent algebraic object with a minimal set of primitives from which most ingredients of Dynamic Epistemic Logic arise, (ii) it goes with the introduction of non-determinism, (iii) it naturally extends beyond boolean ...
Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh   +2 more
openaire   +1 more source

Immunoglobulin Depletion and Recovery Following Blinatumomab in Infants With KMT2A‐Rearranged ALL

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Adding blinatumomab to standard chemotherapy for infants with KMT2A‐rearranged acute B‐cell lymphoblastic leukemia (KMT2A‐r B‐ALL) improves outcomes. Although blinatumomab impairs immunoglobulin G (lgG) production, increasing infection susceptibility, IgG recovery remains poorly understood.
Miguel Vieira Martins, Paola de Lorenzo, Rishi S. Kotecha, Andishe Attarbaschi, Gabriele Escherich, Karsten Nysom, Jan Stary, Alina Ferster, Benoit Brethon, Franco Locatelli, Martin Schrappe, Peggy E. Scholte‐van Houtem, Maria G. Valsecchi, Rob Pieters, Inge M. van der Sluis   +14 more
wiley   +1 more source

Impact of Metastatic Patterns on Survival and Response to Therapy in Neuroblastoma

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background While the presence of metastases in neuroblastoma (NB) is a well‐established prognostic factor, the clinical significance of dissemination patterns and tumour burden and their impact on response and survival remains poorly understood.
Mariona Morell‐Daniel, Santiago Pérez‐Hoyos, Aroa Soriano, Ana Coma, Amalia Varo, Raquel Hladun, Gabriela Guillén, Soraya Mico, Marta Garrido, Lourdes Rubio, Alba Rubio‐San‐Simón, Ana Minguez, Ricardo López‐Almaraz, Laura Illade, Miguel F. Segura, Lucas Moreno   +15 more
wiley   +1 more source

Sequent calculus Sk4 for skolemized formulas

Lietuvos Matematikos Rinkinys, 2005
There is not abstract.
Andrejus Belovas, Stanislovas Norgėla
doaj   +3 more sources

Loop-check elimination for non-transitive distributed knowledge logic

Lietuvos Matematikos Rinkinys, 2008
A non-transitive distributed knowledge logic TnD, obtained from multi-modal logic Tn by adding distributed knowledge operator, is considered. Sound and complete loop-check-free sequent calculus for this logic is proposed.
Aida Pliuškevičienė
doaj   +1 more source

A proof-theoretic study of bi-intuitionistic propositional sequent calculus

Journal of Logic and Computation, 2018
ERDF through the Estonian Centre of Excellence in Computer Science (EXCS), by the Estonian Science Foundation under grant no. 6940; COST action CA15123 EUTYPES.
L. Pinto, T. Uustalu
semanticscholar   +1 more source