Results 11 to 20 of about 1,493,852 (262)
Abstracting abstract machines [PDF]
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, 2010 We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines. To demonstrate the technique and support our claim, we transform the CEK machine of Felleisen and Friedman, a lazy variant of Krivine's machine, and the stack-inspecting CM machine ...
Van Horn, David, Might, Matthew
openaire +2 more sources
The UK NHS Economic Evaluation Database : Economic issues in evaluations of health technology [PDF]
, 2000 Objective: The U.K. NHS Economic Evaluation Database (EED) project is commissioned to identify papers on economic evaluations of health technologies and to disseminate their findings to NHS decision makers by means of structured abstracts that are ...
Christie, J. +5 more
core +1 more source
Abstracts, abstracts, abstracts
Jon Stark making it all possible, 2020 Ce label assurera de trouver au minimum dans toutes les maisons ces services et une qualité d’accueil identique. En plus des services obligatoires, certains points France Services pourront proposer des services des collectivités territoriales ou d’autres partenaires (SNCF, banques), en fonction des besoins locaux.
openaire +1 more source
, 2003 Contents: Lapsley, H., Nikora, L. W., & Black, R. Stigma and discrimination: Bicultural narratives of recovery from disabling mental health illness. Waitoki, M. Cultural Competency Training in Aotearoa.
Black, Rosanne Marjory +7 more
core +1 more source
Inspiratory muscle training and its effect on indices of physiological and perceived stress during incremental walking exercise in normobaric hypoxia [PDF]
, 2014 This study evaluated the effects of inspiratory muscle training (IMT) on inspiratory muscle fatigue (IMF) and physiological and perceptual responses during trekking-specific exercise. An 8-week IMT program was completed by 21 males (age 32.4 ± 9.61 years,
Bartesaghi, M +8 more
core +1 more source
Abstracts of the 47th Symposium on Cuniculture, ASESCU
World Rabbit Science, 2023 The 47th Congress of the Spanish Association of Cuniculture (ASESCU) was held in León (Castile and Leon, Spain) on the 31st of May and 1st of June. The event was organised by ASESCU and the Faculty of Veterinary Medicine at the University of León.
Abstracts, Conferences, Congresses, Symposiums...
doaj +1 more source
Behaviour change interventions to influence antimicrobial prescribing: a cross-sectional analysis of reports from UK state-of-the-art scientific conferences [PDF]
, 2017 Background To improve the quality of antimicrobial stewardship (AMS) interventions the application of behavioural sciences supported by multidisciplinary collaboration has been recommended.
Charani, E +6 more
core +2 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Pediatric patients with extracranial solid tumors (ST) receiving chemotherapy are at an increased risk for Pneumocystis jirovecii pneumonia (PJP). However, evidence guiding prophylaxis practices in this population is limited. A PJP‐related fatality at our institution highlighted inconsistent prescribing approaches and concerns about
Kriti Kumar +8 more
wiley +1 more source