Results 61 to 70 of about 542,872 (263)

Abstract Interpreters for Free [PDF]

, 2010
In small-step abstract interpretations, the concrete and abstract semantics bear an uncanny resemblance. In this work, we present an analysis-design methodology that both explains and exploits that resemblance. Specifically, we present a two-step method to convert a smallstep concrete semantics into a family of sound, computable abstract ...
openaire   +1 more source

BMT4me En Español: Multisite Feasibility and Usability Testing of a Spanish‐Language mHealth Adherence Support App for Spanish‐Speaking Caregivers of Children After Hematopoietic Stem Cell Transplantation and Cancer Treatment

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Medication nonadherence during the first 100 days after pediatric hematopoietic stem cell transplantation (HSCT) and during oncology treatment increases risk for complications. BMT4me is a caregiver‐facing mobile health (mHealth) application providing medication reminders, symptom tracking, and note‐taking features to support ...
Micah A. Skeens, Madeline R. Peek, Bianca Franklin, Emre Sezgin, Melissa Beauchemin   +4 more
wiley   +1 more source

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language [PDF]

Logical Methods in Computer Science
We introduce an extension of first-order logic that comes equipped with additional predicates for reasoning about an abstract state. Sequents in the logic comprise a main formula together with pre- and postconditions in the style of Hoare logic, and the ...
Thomas Powell
doaj   +1 more source

Measurable Residual Disease Monitoring During Treatment for Pediatric Acute Myeloid Leukemia in First Relapse

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Survival after relapse in pediatric acute myeloid leukemia (AML) remains poor, highlighting the critical importance of identifying prognostic factors to guide optimal relapse management. Methods We investigated the prognostic impact of multiparameter flow cytometry (MFC) measurable residual disease (MRD) in 188 patients with first ...
Camilla Poulsen, Kristian Juul Sandahl, Lene Karlsson, Jonas Abrahamsson, Nira Arad‐Cohen, Daniel Cheuk, Barbara De Moerloose, Linda Fogelstrand, Jose Maria Fernandez Navarro, Bianca F. Goemans, Kirsi Jahnukainen, Gertjan Kaspers, Zhanna Kovalova, Monica Cheng Munthe‐Kaas, Ulrika Norén‐Nyström, Josefine Palle, Ramune Pasauliene, Cornelis Jan Pronk, Kadri Saks, Anne Tierens, Henrik Hasle, Kristian Løvvik Juul‐Dam   +21 more
wiley   +1 more source

T2* Magnetic Resonance Imaging Uncovers Hemosiderin Burden in Pediatric Hemophilia: A Call for Sensitive Imaging Biomarkers

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Hemophilic arthropathy remains the leading morbidity in hemophilia despite modern prophylaxis, and early joint damage may be missed by routine exams. This study explored T2* MRI as a noninvasive biomarker of hemosiderin deposition in pediatric hemophilia.
Jessica Garcia, Tarique Hussain, Jeanne Dillenbeck, Matthew Hammer, Annette von Drygalski, Guy Young, Ayesha Zia   +6 more
wiley   +1 more source

Survival by Race and Ethnicity in Children and Adolescents/Young Adults With Relapsed/Refractory Hodgkin Lymphoma: A Pooled Analysis of Children's Oncology Group Trials

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Purpose Despite 5‐year survival rates of over 90% among children and adolescents/young adults (CAYAs) with classic Hodgkin lymphoma (cHL), 15%–20% relapse after frontline therapy. Prior analysis of frontline Children's Oncology Group (COG) clinical trials demonstrated that, despite similar rates of relapse, non‐Hispanic Black (NHB) and ...
Mallorie B. Heneghan, Lindsay A. Renfro, Yue Wu, Katia M. Crisler, Erin Marcotte, Tanya Trippett, Terzah Horton, Bradford S. Hoppe, Frank G. Keller, Chris Forlenza, Cindy Schwartz, Kara M. Kelly, Peter D. Cole, Sharon M. Castellino, Justine M. Kahn   +14 more
wiley   +1 more source

ASSIST: Refinement of a Benefits Navigator Intervention Among Low‐Income Pediatric Oncology Families

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background/Objectives Children with cancer living in poverty experience worse survival and quality of life. Interventions connecting low‐income families to benefits (e.g., Supplemental Nutrition Assistance Program [SNAP] improve health outcomes; yet nearly 50% of SNAP‐eligible pediatric oncology families are unenrolled.
Puja J. Umaretiya, Selena Murcia Mendez, Jennifer Kellett, Sarah Wright, Marisel Ponton, Robin T. Higashi, Rahela Aziz‐Bose, Colleen A. Kelly, Ayesha Zia, Joanne Wolfe, Sandi L. Pruitt, Kira Bona   +11 more
wiley   +1 more source

Abstract Interpretation of FIFO Replacement [PDF]

, 2009
In hard real-time systems, the execution time of programs must be bounded by static timing analysis. For today's embedded systems featuring caches, static analyses must predict cache hits and misses with high precision to obtain useful bounds. For caches with least-recently-used ( LRU ) replacement policy, efficient and precise cache analyses exist ...
Grund D., Reineke J.
openaire   +1 more source

ARISTOTLE ON PREDICATION AND DEMONSTRATION

Manuscrito, 2019
I argue against the standard interpretation of Aristotle’s account of ‘natural predication’ in Posterior Analytics 1.19 and 1.22 according to which only substances can serve as subjects in such predications.
DAVID BRONSTEIN
doaj   +1 more source

Misperception of Body Weight After Childhood Cancer

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Misperception of body weight can negatively impact the weight management efforts of childhood cancer survivors (CCSs). Both being overweight or underweight are associated with chronic health conditions commonly observed in CCS; therefore, accurate weight perception is critical for reducing long‐term health risks.
Fabiën N. Belle, Tomáš Sláma, Eva Haegler‐Laube, Reto D. Kurmann, Gabriela M. Kuster, Christoph Saner, Eva Scheler, Yara Shoman, Christina Schindera   +8 more
wiley   +1 more source