Showing 1 - 20 results of 25 for search '"program refinement"', query time: 0.67s Refine Results
  1. 1
  2. 2

    On a New Notion of Partial Refinement by Emil Sekerinski, Tian Zhang

    Published 2013-05-01
    “…Our goal is to contribute to a method of program refinement that allows for partial implementations. …”
    Get full text
    Article
  3. 3

    Creating Work and Family Balance: Workshop Evaluation by David C. Diehl, Suzanna Smith, Betsy Crisp, Karen S. Headlee

    Published 2012-01-01
    “…Workshop presenters: the evaluation instrument described in this article provides a simple and streamlined way to conduct a useful evaluation and solicit feedback for program refinement. It was designed to accompany a Florida Cooperative Extension Service workshop, Creating Work and Family Balance. …”
    Get full text
    Article
  4. 4

    Second-Order Functions and Theorems in ACL2 by Alessandro Coglio

    Published 2015-09-01
    “…SOFT can be used to carry out program refinement inside ACL2, by constructing a sequence of increasingly stronger second-order predicates over one or more target functions: the sequence starts with a predicate that specifies requirements for the target functions, and ends with a predicate that provides executable definitions for the target functions.…”
    Get full text
    Article
  5. 5

    Imposing assertions in Maude via program transformation by María Alpuente, Demis Ballis, Julia Sapiña

    Published 2019-01-01
    “…The outcome of the technique is a safe program refinement R' of R in which every computation is a good run, i.e., it satisfies the assertions in A. …”
    Get full text
    Article
  6. 6

    Design of a continuous quality improvement program to prevent falls among community-dwelling older adults in an integrated healthcare system by Yano Elizabeth M, Ganz David A, Saliba Debra, Shekelle Paul G

    Published 2009-11-01
    “…The theory-derived plan consisted of 1) an initial leadership meeting to agree on whether creating a fall prevention program was a priority for the organization, 2) focus groups with patients and health care professionals to develop ideas for the program, 3) monthly workgroup meetings with representatives from key departments to develop a blueprint for the program, 4) a second leadership meeting to confirm that the blueprint developed by the workgroup was satisfactory, and also to solicit feedback on ideas for program refinement.</p> <p>Results</p> <p>The leadership and workgroup meetings occurred as planned and led to the development of a functional program. …”
    Get full text
    Article
  7. 7

    Developing young men's wellbeing through community and school-based programs: A systematic review. by Kate Gwyther, Ray Swann, Kate Casey, Rosemary Purcell, Simon M Rice

    Published 2019-01-01
    “…Studies were limited by a lack of replication and program refinement approaches. It is concluded that there is significant scope for further development of community and school-based health promotion programs that target young men through incorporation of frameworks that consider the impact of gendered social and environmental determinants of health. …”
    Get full text
    Article
  8. 8

    Navigating Uncertainty: Evaluation of a COVID-19 Surge Workforce Support Program, Australia 2020-2021 by Amy Elizabeth Parry, Samantha Colquhoun, Aimee Brownbill, Brigid M Lynch, Tambri Housen

    Published 2021-11-01
    “…Three primary focus areas were identified from the data to inform program refinement: programmatic considerations, professional and wellbeing support, and broader benefits of the program. …”
    Get full text
    Article
  9. 9

    'I do hope more people can benefit from it.': The qualitative experience of individuals living with osteoarthritis who participated in the GLA:D™ program in Alberta, Canada. by Ania Kania-Richmond, Lauren A Beaupre, Geneviève Jessiman-Perreault, Danika Tribo, Jason Martyn, David A Hart, Jill Robert, Mel Slomp, C Allyson Jones

    Published 2024-01-01
    “…Our objective was to examine how the GLA:DTM program was perceived and experienced by individuals with hip and knee OA to inform on-going program refinement and implementation.<h4>Methods</h4>Thirty semi-structured telephone interviews were conducted with participants who completed the GLA:DTM program in Alberta. …”
    Get full text
    Article
  10. 10
  11. 11

    Group or individual lifestyle-integrated functional exercise (LiFE)? A qualitative analysis of acceptability by Leah Reicherzer, Franziska Kramer-Gmeiner, Sarah Labudek, Carl-Philipp Jansen, Corinna Nerz, Malin J. Nystrand, Clemens Becker, Lindy Clemson, Michael Schwenk

    Published 2021-02-01
    “…Conclusion This is the first study to examine participants’ views on and experiences with gLiFE and LiFE, revealing strengths and limitations of both formats that can be used for program refinement. Both formats were highly acceptable to participants, suggesting that gLiFE may have similar potential to be adopted by adults aged 70 years and older compared to LiFE. …”
    Get full text
    Article
  12. 12

    Definition and improvement of the concept and tools of a psychosocial intervention program for parents in pediatric oncology: a mixed-methods feasibility study conducted with paren... by David Ogez, Claude-Julie Bourque, Katherine Péloquin, Rebeca Ribeiro, Laurence Bertout, Daniel Curnier, Simon Drouin, Caroline Laverdière, Valérie Marcil, Émélie Rondeau, Daniel Sinnett, Serge Sultan

    Published 2019-02-01
    “…We performed a descriptive thematic content analysis of the qualitative data from the open-ended questions (questionnaires and interviews) with NVivo 11 to categorize recommendations for the program refinement. Results The results showed that components seemed pertinent to final users. …”
    Get full text
    Article
  13. 13

    Short-Term, Community-Based, Slow-Stream Rehabilitation Program for Older Adults Transitioning from Hospital to Home: A Mixed Methods Program Evaluation by Dal Bello-Haas V, Kaasalainen S, Maximos M, Virag O, Seng-iad S, Te A, Bui M

    Published 2023-10-01
    “…Information about program strengths and areas for improvement can be used by stakeholders to inform program refinement and enhancement.Keywords: program evaluation, mixed methods, community-based program, older adults, hospital-to-home transition, slow-stream rehabilitation…”
    Get full text
    Article
  14. 14

    Cultural adaptation of a peer-led lifestyle intervention program for diabetes prevention in India: the Kerala diabetes prevention program (K-DPP) by Elezebeth Mathews, Emma Thomas, Pilvikki Absetz, Fabrizio D’Esposito, Zahra Aziz, Sajitha Balachandran, Meena Daivadanam, Kavumpurathu Raman Thankappan, Brian Oldenburg

    Published 2018-01-01
    “…The adaptation process was undertaken in five phases: 1) needs assessment; 2) formulation of program objectives; 3) program adaptation and development; 4) piloting of the program and its delivery; and 5) program refinement and active implementation. Results The resulting program, K-DPP, includes four key components: 1) a group-based peer support program for participants; 2) a peer-leader training and support program for lay people to lead the groups; 3) resource materials; and 4) strategies to stimulate broader community engagement. …”
    Get full text
    Article
  15. 15
  16. 16

    Programming Language Features for Refinement by Jason Koenig, K. Rustan M. Leino

    Published 2016-06-01
    “…Algorithmic and data refinement are well studied topics that provide a mathematically rigorous approach to gradually introducing details in the implementation of software. Program refinements are performed in the context of some programming language, but mainstream languages lack features for recording the sequence of refinement steps in the program text. …”
    Get full text
    Article
  17. 17

    Validating the Career Adapt-Ability Scale in Mexico and Examining the Relative Importance of Career Adaptability and Employability in Career Success by Tee-Hwa Jasmine Low, Jesus Yeves, Felisa Latorre, José Ramos

    Published 2020-10-01
    “…Career adaptability should be included in employability programs, refining the two concepts into a more parsimonious measure.…”
    Get full text
    Article
  18. 18

    Coastal sharks and rays in the Northeastern Atlantic: From an urgent call to collect more data to the declaration of a marine corridor by Fernando Tuya, Fátima Pérez-Neira, Fernando Espino, Néstor E. Bosch, Eva K.M. Meyers, David Jiménez-Alvarado, José J. Castro, Ana Sobral, Francisco Otero-Ferrer, Ricardo Haroun

    Published 2022-10-01
    “…Our study calls for prioritising conservation efforts in these areas, a stronghold for these vulnerable taxa, in addition to the establishment of systematic monitoring programs. Refining Marine Protected Areas (MPAs), including declaration of local 'Sharks Sanctuaries', along a marine corridor encompassing these archipelagos, seem pertinent in this sense. …”
    Get full text
    Article
  19. 19

    Supplemental Milestones for Emergency Medicine Residency Programs: A Validation Study by Ketterer, Andrew R, Salzman, David H, Branzetti, Jeremy B, Gisondi, Michael A

    Published 2017-01-01
    “…Subject-matter experts at other 48-month EM residency programs refined the milestones for these subcompetencies. …”
    Article
  20. 20

    Insights of undergraduate health sciences students about a French interprofessional training initiative by Mélanie Gaillet, Patrice François, Guillaume Fond, Rebecca Shankland, Maria de Fatima Novais, Julien Provost, Marie Herr, Laurent Boyer, Bastien Boussat

    Published 2024-03-01
    “…To further enhance the educational impact and address the scheduling complexities, it is recommended that program refinements be made based on student feedback and pedagogical best practices.…”
    Get full text
    Article