Results 51 to 60 of about 15,777,155 (294)
Program Transformation for Program Verification
EPiC Series in Computing, 2018 We present a transformational approach to program verification and software model checking that uses three main ingredients:(i) Constraint Logic Programming (CLP),(ii) metaprogramming and program specialization, and(iii) proof by transformation.
PETTOROSSI, ALBERTO, Proietti, M.
openaire +5 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Osteonecrosis (ON) is a debilitating complication of acute lymphoblastic leukemia (ALL) therapy. While numerous studies have explored its incidence and associated risk factors, investigations using large‐scale cohorts remain important to characterize ON across heterogeneous populations.
Noémie de Villiers +5 more
wiley +1 more source
Dérives impactant la pérennisation de la philosophie pour enfants (P4C)
Éducation et SocialisationThe present paper examines the presuppositions that might accompany the current diversified practices of Philosophy for Children (P4C). A double system of tensions is presented on a theoretical level, based on recent literature on the benefits of P4C ...
Emmanuèle Auriac-Slusarczyk +3 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Transfusion‐related iron overload (TRIO) is a late effect of therapy impacting survivors of childhood cancer and hematopoietic stem cell transplantation (HSCT) who receive frequent packed red blood cell (pRBC) transfusions. Surprisingly, there are no accepted guidelines to assist providers in identifying and treating at‐risk ...
Luke Gingell +3 more
wiley +1 more source
BUMC Development Program News [PDF]
, 1965 Newsletter of the Boston University Medical Center Development Program from the ...
Boston University Medical Center Development Program
core +4 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background L‐asparaginase is a critical component in treatment protocols for pediatric acute lymphoblastic leukemia. Acute pancreatitis reactions can necessitate delays and, in some cases, discontinuation of L‐asparaginase, which compromises outcomes.
Edward J. Raack +39 more
wiley +1 more source
Write Free or Die: Vol. 01, No. 02 [PDF]
, 2015 Writing at UNH, Page 1 Upcoming Events, Page 1 Writing Committee Members, Page 2 Dangling Modifier, Page 2 Ask Patty, Page 3 Les Perelman, Page 4 Grammar Box, Page 4 Tom Newkirk and Self-Conferencing, Page 5 Notes on Oxford Comma, Page Page 6 Past ...
UNH Writing Program
core +2 more sources
Using Program Synthesis for Program Analysis [PDF]
, 2015 In this paper, we identify a fragment of second-order logic with restricted quantification that is expressive enough to capture numerous static analysis problems (e.g.
David, Cristina +2 more
core +4 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Purpose Malignant rhabdoid tumor of the kidney (MRTK) is a rare, aggressive tumor seen in young children. The optimal timing of resection for locally advanced tumors is not well‐defined. The purpose of this study is to evaluate modern oncologic outcomes and the impact of surgical timing. Methods A multicenter retrospective review was performed
Hannah N. Rinehardt +76 more
wiley +1 more source
Write Free or Die: Vol. 01, No. 01 [PDF]
, 2014 Research on Student Writing, Page 1 Upcoming Events, Page 1 Writing Across the Curriculum (WAC) People, Page 2 Writing Requirement Plus, Page 2 Ask Patty, Page 3 Dangling Modifier, Page 4 Grammar Box, Page 4 Nancy Atwell, Page 5 Past Perfect, Page 6 ...
UNH Writing Program
core +1 more source