Results 21 to 30 of about 2,491,195 (268)

Developing verified programs with Dafny [PDF]

ACM SIGAda Ada Letters, 2012
Reasoning about programs is a fundamental skill that every software engineer needs. This tutorial provides participants an opportunity to get hands-on experience with Dafny, a tool that can help develop this skill. Dafny is a programming language and state-of-the-art program verifier.
K. Rustan, M. Leino
openaire   +1 more source

Integrated primary care–behavioral health program development and implementation in a rural context

Family Medicine and Community Health, 2018
Objective: Despite the known benefits of integrated primary care and behavioral health services, integrated behavioral health services have not been readily used in medical clinics in interior Alaska.
Kendra Campbell, Loren McKnight, Angel R. Vasquez   +2 more
doaj   +1 more source

Tips for developing a coaching program in medical education

Medical Education Online
This article provides structure to developing, implementing, and evaluating a successful coaching program that effectively meets the needs of learners. We highlight the benefits of coaching in medical education and recognize that many educators desiring ...
Rebecca Miller-Kuhlmann, Marzena Sasnal, Carl A. Gold, Aussama K. Nassar, James R. Korndorffer, Sandrijn Van Schaik, Andrea Marmor, Sarah Williams, Rebecca Blankenburg, Caroline E. Rassbach   +9 more
doaj   +1 more source

The Development of a Community Pharmacy-Based Intervention to Optimize Patients’ Use of and Experience with Antidepressants: A Step-by-Step Demonstration of the Intervention Mapping Process

Pharmacy, 2018
Objective: To describe the development of a community pharmacy-based intervention aimed at optimizing experience and use of antidepressants (ADs) for patients with mood and anxiety disorders.
Tania Santina, Sophie Lauzier, Hélène Gagnon, Denis Villeneuve, Jocelyne Moisan, Jean-Pierre Grégoire, Laurence Guillaumie   +6 more
doaj   +1 more source

Selected, Adopted and Implemented Social-Emotional Learning Program: the Kindness Curriculum for Kids

Educational Challenges, 2021
The aim of this manuscript is to introduce the program of social-emotional learning. Developed by the Centre for Healthy Minds (CHM) this program is called the Kindness Curriculum (CHM, 2017). Founded by the world renowned neuroscientist Dr.
Hakan Uşakli
doaj   +1 more source

European Standard Clinical Practice Guideline and EXPeRT Recommendations for the Diagnosis and Management of Gastroenteropancreatic Neuroendocrine Neoplasms in Children and Adolescents

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen, Calogero Virgone, Antje Redlich, Michael Abele, Ricardo Lopez‐Almaraz, Tal Ben‐Ami, Ewa Bien, Gianni Bisogno, Maja Mazic Cesen, Andrea Ferrari, Malgorzata A. Krawczyk, Yves Reguerre, Dominik T. Schneider, Ines B. Brecht, Charlotte Rigaud, Bilgehan Yalcin, Rainer Claus, Christian Vokuhl, Constantin Lapa, Jörg Fuchs, Segolene Hescot, Thomas Walter, Julien Hadoux, Daniel Orbach   +23 more
wiley   +1 more source

Health and medical care for refugees: design and evaluation of a multidisciplinary clinical elective for medical students

GMS Journal for Medical Education, 2021
Objective: Caring for refugee patients places special demands on health professionals. To date, medical students in Germany have rarely been systematically prepared for these challenges.
Ziegler, Sandra, Wahedi, Katharina, Stiller, Mariella, Jahn, Rosa, Straßner, Cornelia, Schwill, Simon, Bozorgmehr, Kayvan   +6 more
doaj   +1 more source

Health‐Related Social Needs in Children With Sickle Cell Disease Are Associated With Worse Health‐Related Quality of Life

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Children with sickle cell disease (SCD) face multiple acute and chronic medical complications that may impact their quality of life as reported by patients themselves. Health‐related social needs (HRSNs), such as food and housing insecurity, are common in people with SCD, but the association between HRSNs and patient‐reported ...
Sarah J. Marks, Molly Sonenklar, Cerelia Donald, Cecelia Valrie, Wally Smith, India Sisler   +5 more
wiley   +1 more source

Genomic Diversity and Clinical Variability in Pediatric Primary Cutaneous Anaplastic Large Cell Lymphoma: A Case Series

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Primary cutaneous anaplastic large cell lymphoma (pcALCL) is a rare pediatric CD30‐positive T‐cell lymphoproliferative disorder with an excellent prognosis, but its genomic drivers are poorly defined. We report three children with skin‐limited disease demonstrating striking molecular heterogeneity, including NPM::ALK, NUP214::FRK, and a novel ...
Shoshana Greenberger, Efrat Bar‐Ilan, Victoria Marcu, Evgeny Grishin, Rinat Yacobi, Aviv Barzilai, Hana Golan, Assaf Arie Barg   +7 more
wiley   +1 more source

Medical Students’ Experiences and Factors Related to Their Motivation for Undergraduate Courses Involving Scientific Research

İstanbul Medical Journal
Introduction: The aims of this study were to investigate the perceptions of faculty of medicine students about conducting scientific research and to identify the factors influencing their motivation to conduct scientific research.
Adalet Demir, Sinem Yıldız İnanıcı
doaj   +1 more source