Results 41 to 50 of about 28,623 (311)
Modal sequents and definability [PDF]
The Journal of Symbolic Logic, 1987 Abstract The language of propositional modal logic is extended by the introduction of sequents. Validity of a modal sequent on a frame is defined, and modal sequent-axiomatic classes of frames are introduced. Through the use of modal algebras and general frames, a study of the properties of such classes is begun.
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background An internal tandem duplication in the gene encoding Fms‐like tyrosine kinase 3 (FLT3‐ITD) is associated with high relapse risk and poor prognosis in acute myeloid leukemia (AML) and plays a crucial role in treatment decisions. Measurable residual disease (MRD) analysis of FLT3‐ITD during and after treatment has shown prognostic ...
Sofie Johansson Alm +11 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Claudin‐6 has emerged as a promising immunotherapeutic target, yet protein‐level data in atypical teratoid/rhabdoid tumors (AT/RTs) have been inconsistent. We analyzed 36 well‐characterized AT/RT samples and found membranous claudin‐6 protein expression in 58% of cases, with striking enrichment in the molecular subgroup AT/RT‐TYR (100%) and ...
Victoria E. Fincke +4 more
wiley +1 more source
Sequent Calculus and Equational Programming [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Proof assistants and programming languages based on type theories usually come in two flavours: one is based on the standard natural deduction presentation of type theory and involves eliminators, while the other provides a syntax in equational style. We
Nicolas Guenot, Daniel Gustafsson
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Wilms tumor (WT) treatment imposes a significant time burden on patients and their families. Time toxicity is a patient‐centered metric that quantifies the burden of healthcare interaction. We sought to define time toxicity in the first year after diagnosis of WT and hypothesized that it would increase as tumor stage and treatment ...
Caleb Q. Ashbrook +6 more
wiley +1 more source
The Effect of Infill Steel Plate Thickness on the Cycle Behavior of Steel Plate Shear Walls
Diyala Journal of Engineering Sciences, 2018 The effect of changing in the bed slope of stilling basins produces changing in characteristics of the hydraulic jump such as sequent depth ratio, length of jump ratio, length of the roller and energy dissipation ratio, consequently the dimensions of ...
Ali sadik Abbas +2 more
doaj +1 more source
Characteristics of Hydraulic Jump on The Bed with Permeable Six Legs Elements [PDF]
علوم و مهندسی آبیاری, 2017 Stilling basin is one of the dissipated energy structures in water transfer systems that its dimensions depend on the characteristics of hydraulic jump.In present study, six legs elements have been used in different permeability on basin bed and the ...
Maryam Khajeh Goodari +1 more
doaj +1 more source
Sequent calculus for hybrid logic
Lietuvos Matematikos Rinkinys, 2023 There is not ...
Stanislovas Norgėla +1 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Immune effector cell‐associated hemophagocytic lymphohistiocytosis‐like syndrome (IEC‐HS) is a life‐threatening hyperinflammatory toxicity distinct from cytokine release syndrome (CRS) and neurotoxicity following chimeric antigen receptor T‐cell (CAR‐T) therapy. In a single‐institution retrospective cohort of pediatric and young adult patients
Thomas J. Galletta +6 more
wiley +1 more source
Comparing Sense and Denotation in Bilateralist Proof Systems for Proofs and Refutations
Bulletin of the Section of LogicIn this paper a framework to distinguish in a Fregean manner between sense and denotation of \(\lambda\)-term-annotated derivations will be applied to a bilateralist sequent calculus displaying two derivability relations, one for proving and one for ...
Sara Ayhan
doaj +1 more source