Results 21 to 30 of about 10,334 (295)
Model Checking Procedural Programs [PDF]
, 2018 We consider the model-checking problem for sequential programs with procedure calls. We first present basic algorithms for solving the reachability problem and the fair computation problem. The algorithms are based on two techniques: summarization, which computes reachability information by solving a set of fixpoint equations, and saturation, which ...
Rajeev Alur +2 more
openaire +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT The pediatric hematology‐oncology fellowship training curriculum has not substantially changed since its inception. The first year of training is clinically focused, and the second and third years are devoted to scholarship. However, this current structure leaves many fellows less competitive in the current job market, resulting in ...
Scott C. Borinstein +3 more
wiley +1 more source
Indonesian Journal of Science and Mathematics EducationThis study employed a sequential explanatory mixed-methods design to assess students' procedural knowledge in linear programming using the simplex method through quantitative tests, qualitative interviews, and Focus Group Discussions (FGD). The objective
Louie Resti Sandoval Rellon +1 more
doaj +1 more source
Archives of Endocrinology and Metabolism, 2020 Objective: To develop, adapt and validate an instrument named “CSII – Brazil” to assess users’ conceptual and procedural knowledge of continuous subcutaneous insulin infusion systems. Materials and methods: Methodological and exploratory study developed
Camilla Magalhães de Oliveira Amaral +5 more
doaj +1 more source
Psychosocial Outcomes in Patients With Endocrine Tumor Syndromes: A Systematic Review
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction The combination of disease manifestations, the familial burden, and varying penetrance of endocrine tumor syndromes (ETSs) is unique. This review aimed to portray and summarize available data on psychosocial outcomes in patients with ETSs and explore gaps and opportunities for future research and care.
Daniël Zwerus +6 more
wiley +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
Techne, 2013 The article represents a critical reading of the framework legislation on the creation of Public Works aimed at highlighting the important role it attributes to programming instruments as strategic devices for the efficient management of implementation ...
Alessandra Cucurnia
doaj +1 more source
Innovative processes for social housing. The multiannual funding programmes of L 338
Techne, 2022 Law 338/00 emerges from the structural absence of programming aimed at social housing and is used to programme and implement, thanks to state funding, processes aimed at satisfying a specific housing demand of university residences. The importance of the
Claudio Piferi
doaj +1 more source
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
Unifying Resident Education: 12 Interdisciplinary Critical Care Simulation Scenarios
MedEdPORTAL, 2020 Introduction Unified critical care training within residency education is a necessity. We created a simulation-based curriculum designed to educate residents on core topics and procedural skills, which crossed all adult disciplines caring for critically ...
Mark J. Bullard +4 more
doaj +1 more source