Results 41 to 50 of about 75,146 (284)

Ewing Sarcoma in Infants and Children Under 2 Years of Age: A French Retrospective Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Ewing sarcoma, the second most common primary bone cancer in children, requires intensive treatment that may lead to significant long‐term sequelae, particularly in infants. We retrospectively analyzed data from 1621 French patients treated between 1988 and 2015 within the EW88/93/97 or EE99 trials, focusing on 17 infants diagnosed before 24 ...
Elodie Verdier, Nathalie Cozic, Marie‐Dominique Tabone, Gaelle Pierron, Perrine Marec‐Berard, Sarah Winter, Gabriel Revon‐Rivière, Cyril Lervat, Dominique Plantaz, Marie‐Pierre Castex, Gregory Guimard, Estelle Thebaud, Stephanie Proust, Laure Saumet, Natacha Entz‐Werle, Sophie Taque, Cécile Vérité, Marta Jimenez, Nathalie Gaspar   +18 more
wiley   +1 more source

Safety and Effectiveness of a High‐Dose, Tailored Tissue Plasminogen Activator Therapy Protocol: A Joint Pediatric Hematology and Cardiac ICU Quality Improvement Initiative Analysis

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Pediatric thromboembolism is increasingly encountered in critical care. Systemic thrombolysis with tissue plasminogen activator (tPA) facilitates vessel or valve patency, yet pediatric‐specific protocols remain undefined, and safety concerns persist. Objective To evaluate the efficacy and safety of a tailored, prolonged systemic tPA
Eran Shostak, Oded Gilad, Yael Feinstein, Sigal Nakav, Ofer Schiller, Joanne Yacobovich   +5 more
wiley   +1 more source

On equivalences and standardization in a non-deterministic call-by-need lambda calculus [PDF]

, 2007
The goal of this report is to prove correctness of a considerable subset of transformations w.r.t. contextual equivalence in a an extended lambda-calculus with case, constructors, seq, let, and choice, with a simple set of reduction rules. Unfortunately,
Mann, Matthias, Schmidt-Schauß, Manfred, Matthias Mann, Manfred Schmidt-schauß   +3 more
core  

Hereditary Substitution for the λΔ-Calculus [PDF]

Electronic Proceedings in Theoretical Computer Science, 2013
Hereditary substitution is a form of type-bounded iterated substitution, first made explicit by Watkins et al. and Adams in order to show normalization of proof terms for various constructive logics.
Harley Eades, Aaron Stump
doaj   +1 more source

Neuropsychological and Educational Outcomes in Shwachman–Diamond Syndrome—A Report From the North American Shwachman–Diamond Syndrome Registry

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Shwachman–Diamond syndrome (SDS) is a rare autosomal recessive ribosomopathy characterized by bone marrow failure and multisystem involvement, with emerging evidence of associated neurocognitive impairment. Methods We conducted a retrospective study of 240 individuals with biallelic Shwachman–Bodian–Diamond syndrome (SBDS) mutations
Jane Koo, Melissa Gerstle, Leah Cheng, Richard Cooper, Katherine Coyne, Claire Dusa, Naomi E. Joffe, Diana Schwarz, Sarah Steltz, Akiko Shimamura, Kasiani C. Myers, Thea Quinton   +11 more
wiley   +1 more source

Towards sharing in lazy computation systems [PDF]

, 2004
Work on proving congruence of bisimulation in functional programming languages often refers to [How89,How96], where Howe gave a highly general account on this topic in terms of so-called lazy computation systems .
Mann, Matthias, Matthias Mann
core  

Geometry of Resource Interaction – A Minimalist Approach [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
The Resource λ-calculus is a variation of the λ-calculus where arguments can be superposed and must be linearly used. Hence it is a model for linear and non-deterministic programming languages, and the target language of Ehrhard-Taylor expansion of λ ...
Marco Solieri
doaj   +1 more source

Beyond the Document: A Single‐Center Qualitative Study of Survivorship Care Plan Barriers and Opportunities Across Pediatric Oncology Stakeholders

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Survivorship care plans (SCPs) summarize cancer treatment and guide risk‐based follow‐up for cancer survivors, yet remain difficult to create, share, and use. Stakeholder perspectives are needed to inform usable approaches.
Molly S. Talman, Emma Fleisher, Megan E. Salwei, Debra Friedman, Laurie Novak   +4 more
wiley   +1 more source

FUNDIO: a lambda-calculus with letrec, case, constructors, and an IO-interface : approaching a theory of unsafePerformIO [PDF]

, 2003
This paper proposes a non-standard way to combine lazy functional languages with I/O. In order to demonstrate the usefulness of the approach, a tiny lazy functional core language FUNDIO , which is also a call-by-need lambda calculus, is investigated. The
Schmidt-Schauß, Manfred
core  

Standardization in resource lambda-calculus [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
The resource calculus is an extension of the lambda-calculus allowing to model resource consumption. It is intrinsically non-deterministic and has two general notions of reduction – one parallel, preserving all the possible results as a formal sum, and ...
Maurizio Dominici, Simona Ronchi Della Rocca, Paolo Tranquilli   +2 more
doaj   +1 more source