Results 31 to 40 of about 28,341 (293)
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Pediatric patients with extracranial solid tumors (ST) receiving chemotherapy are at an increased risk for Pneumocystis jirovecii pneumonia (PJP). However, evidence guiding prophylaxis practices in this population is limited. A PJP‐related fatality at our institution highlighted inconsistent prescribing approaches and concerns about
Kriti Kumar +8 more
wiley +1 more source
Uniform Proofs of Normalisation and Approximation for Intersection Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We present intersection type systems in the style of sequent calculus, modifying the systems that Valentini introduced to prove normalisation properties without using the reducibility method.
Kentaro Kikuchi
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background While Wilms tumor (WT) typically has a favorable prognosis, relapsed cases—especially those with high‐risk histology—remain therapeutically challenging after intensive frontline therapy. The combination of vincristine and irinotecan has demonstrated activity in pediatric solid tumors, and pazopanib, a multi‐targeted tyrosine kinase ...
Maria Debora De Pasquale +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
Pediatric Blood &Cancer, EarlyView.ABSTRACT Purpose Metabolic syndrome (MetS) is a common complication in survivors of childhood acute lymphoblastic and myeloid leukemia (AL), and a major risk factor for premature cardiovascular disease, type‐2‐diabetes, and metabolic dysfunction‐associated steatotic liver disease (MASLD).
Visentin Sandrine +10 more
wiley +1 more source
Uniform Interpolation via Nested Sequents [PDF]
, 2021 A modular proof-theoretic framework was recently developed to prove Craig interpolation for normal modal logics based on generalizations of sequent calculi (e.g., nested sequents, hypersequents, and labelled sequents). In this paper, we turn to uniform interpolation, which is stronger than Craig interpolation.
van der Giessen, Iris +2 more
openaire +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background The Improving Population Outcomes for Renal Tumours of childhood (IMPORT) is a prospective clinical observational study capturing detailed demographic and outcome data on children and young people diagnosed with renal tumours in the United Kingdom and the Republic of Ireland.
Naomi Ssenyonga +56 more
wiley +1 more source
Lietuvos Matematikos Rinkinys, 2013 We consider three sequent calculi for propositional linear temporal logic (PLTL) which allow us to formalize the properties of operator “always”. The main new results presented in the paper are: (1) introduction of the calculus with looping axioms; (2 ...
Romas Alonderis +1 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
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction We developed MedSupport, a multilevel medication adherence intervention designed to address root barriers to medication adherence. This study sought to explore the feasibility and acceptability of the MedSupport intervention strategies to support a future full‐scale randomized controlled trial.
Elizabeth G. Bouchard +8 more
wiley +1 more source