Results 51 to 60 of about 15,715,755 (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
Lifestyle Behaviors and Cardiotoxic Treatment Risks in Adult Childhood Cancer Survivors
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Higher doses of anthracyclines and heart‐relevant radiotherapy increase cardiovascular disease (CVD) risk. This study assessed CVD and CVD risk factors among adult childhood cancer survivors (CCSs) across cardiotoxic treatment risk groups and examined associations between lifestyle behaviors and treatment risks.
Ruijie Li +6 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 Ongoing evidence indicates increased risk of sarcopenic obesity among children and young people (CYP) with acute lymphoblastic leukemia (ALL), often beginning early in treatment, persisting into survivorship. This review evaluates current literature on body composition in CYP with ALL during and after treatment.
Lina A. Zahed +5 more
wiley +1 more source
Facta Universitatis. Series, Teaching, Learning and Teacher Education, 2023 This paper presents a research focused on dance contents, specific dance programs and preschool children motor fitness. The main goal of this paper was to collect and analyze studies that as an experimental treatment had the contents of dance activities ...
Nenad Đorđević +4 more
doaj +1 more source
Will the 2012 Drought Have a Bigger Impact on Grocery Prices than the 1988 Drought [PDF]
, 2012 In the summer of 2012, the United States experienced its worst drought since the 1980s. According to the U.S. Department of Agriculture (USDA), 80 percent of agricultural land in the United States experienced drought conditions in 2012.
Producer Price Index Program Staff
core +1 more source
Parent‐to‐Child Information Disclosure in Pediatric Oncology
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Despite professional consensus regarding the importance of open communication with pediatric cancer patients about their disease, actual practice patterns of disclosure are understudied. Extant literature suggests a significant proportion of children are not told about their diagnosis/prognosis, which is purported to negatively ...
Rachel A. Kentor +12 more
wiley +1 more source
Program baletowy jako ważny element komunikatu baletowego
Językoznawstwo, 2014 Balet można rozumieć jako: zbiór wypowiedzi pewnych osób lub baletową interpretację przekazu i jego istotnych elementów, co pozwala na zaprojektowanie całości. Program baletowy nie rozpoznaje gatunku i jest jednoznacznie scharakteryzowany.
Marta Wybraniec
doaj
Pediatric Blood &Cancer, EarlyView.Abstract Introduction The TEDDI trial tested the feasibility and reproducibility of deep‐inspiration breath‐hold (DIBH) in pediatric patients referred for radiotherapy. This report presents final results, including patient‐reported outcomes (PRO) and dosimetric comparison of DIBH and free‐breathing (FB).
Daniella Elisabet Østergaard +11 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