Towards Automatic Deductive Verification of C Programs with Sisal Loops Using the C-lightVer System by Dmitry A. Kondratyev

“…Cloud parallel programming system (CPPS) is also developed in IIS SB RAS. …”
Get full text

Impact of longitudinal integrated clerkship programs on career path selection: A case study from Japan by Michiko Goto, Satoshi Kondo, Ryutaro Tanizaki, Norihiko Yamamoto, Hideki Wakabayashi

“…Methods This study employed semi‐structured interviews with three sixth‐year medical students who completed the LIC program between 2014 and 2020. …”
Get full text

Advancing the implementation of evidence-based substance use prevention in Latin America: the Evidencia Viva program registry by Zila M. Sanchez, Gregor Burkhart, Elis Viviane Hoffmann, Fernando Salazar, Elena Gervilla

“…Evidence-based program registries (EBPRs) are essential tools in prevention science, providing structured evaluations of intervention effectiveness to guide policymakers and practitioners. …”
Get full text

Feasibility and Acceptability of Behavioral Weight Loss Programs for Men in Trade and Labor Occupations: A Pilot Study by Melissa M. Crane, Catherine Feit, Chen Yeh, Mariangeline Gonzalez Ortiz, Bradley M. Appelhans

“…ABSTRACT Objective Men who work in trade and labor occupations experience high rates of obesity but are underrepresented in weight control programs. This pilot study evaluated the feasibility and acceptability of a program tailored to this working group compared with a standard (untailored) weight loss program. …”
Get full text

EXPLORING THE NEXUS BETWEEN WOMEN'S EMPOWERMENT PROGRAMS, EDUCATIONAL ATTAINMENT, AND AGE DIFFERENCES IN POVERTY ALLEVIATION IN NIGERIA by NNANA OKOI OFEM, TIKU ORU TAKIM, TANGBAN EGBE EBAGU, RITA NGOZI OKAFOR

“…The study employed a qualitative research design, the study engaged 24 participants, ensuring diversity across age groups, educational backgrounds, and geographical locations. Through semi-structured interviews and two focus group discussions, each comprising six participants, the research collected rich and nuanced narratives. …”
Get full text

The Effect of Lifestyle Modification Program on Growth Parameters and Mood Status among Adolescent Girls Having Anemia by Jaklein R. Younis, Hanan N. Zaki

“…Four tools used to collect data of this study, they are socio-demographic Structured Interview questionnaire, growth parameters measurement scales, Hemoglobin level measurement scale, and Kutcher Adolescent Depression Scale (KADS). …”
Get full text

Patients’ and nurses’ perceptions and experiences of a digitally enabled cardiac telerehabilitation program—a qualitative study by Justin Braver, Tess Tsindos, Melinda J. Carrington, Catherine Keating, Darshini Ayton

“…Abstract Background Secondary prevention cardiac rehabilitation programs are paramount to prevent cardiovascular disease morbidity and mortality. …”
Get full text

Exercises Training Program: Its Effect on Muscle Strength and Activity of Daily Living among Elderly People by Amal M. Mohamed, Eman T. Mohamed, Jehan A. R. Mohamed

“…Three tools utilized in collecting the data; Structured Interview Questionnaire; Muscle Strength Scale for upper and lower limbs; Katz and Akpom Scale used to assess activities of daily living. …”
Get full text

Human papillomavirus (HPV) vaccination in a privately funded program in Ghana: A qualitative case study by Emmanuel Marfo, Bukola Salami, Charles Adjei, Shannon MacDonald

“…From 2013 to 2018, HPV vaccination was piloted in Ghana in preparation for a national program. Yet, at the time of this study, there was no publicly funded HPV vaccination program in Ghana. …”
Get full text

Nurses Engagement on Continuing Professional Development Programs and its Barriers in Selected Hospitals in Addis Ababa, Ethiopia by Meaza Wehabe, Tigistu Gebreyohannis Gebretensaye, Ketema Bizuwork

“…Background Continuous Professional Development (CPD) programs are crucial for enhancing the quality of healthcare delivery. …”
Get full text

The effect of nursing shared governance educational program on nurse managers' knowledge for sustainable nursing excellence and empowerment. by Sally Mohammed Farghaly Abdelaliem, Khalid Al-Mugheed, Majdi M Alzoubi, Islam Al-Oweidat, Ghada Mohamed Hamouda

Get full text

Biofeedback system in remotely monitored exercise program in pregnant women with obesity: a pre-experimental research by Diana Bernardo, Carlos Carvalho, Raquel Leirós Rodrígues, Cristina Martins, Joana Morais, Jorge Mota, Paula Clara Santos

“…Twelve pregnant women with Body Mass Index ≥ 30 kg/m2, were invited to perform for two weeks a home-based structured exercise program protocol with a digital biofeedback system, during exercise the women used an accelerometer to measure the intensity of the exercises. …”
Get full text

Realist evaluation of the impact and transferability of a greening of school playgrounds program: The APPIE GREEN study protocol by Louise Wallerich, Charlotte Decroix, Lucile Robert, Linda Cambon

Get full text

Awareness program for controlling the misuse of antibiotics and related resistance among mothers of children under 5 years by Zainab Attia Abdallah, Tanazor Hemdan Abdel Hamid, Sameh S. Zaghlool, Abdelaziz Hendy, Khalid Al-Mugheed, Sally Mohammed Farghaly Abdelaliem, Amany Anwar Saeed Alabdullah, Salwa Sayed, Ahmed Hendy, Ayiat Allah Wagdy Farag

“…The intervention included a structured awareness program employing lectures, group discussions, and audiovisual materials. …”
Get full text

Implementation and evaluation of a group peer mentoring and leadership development program for research faculty in academic medicine by Linda H. Pololi, Janet T. Civian, Mark Brimhall-Vargas, Vasilia Vasiliou, Arthur T. Evans, Kacy Ninteau, Lisa A. Cooper, Brian T. Gibbs, Robert T. Brennan

“…The culture change intervention aimed to increase faculty vitality, career advancement, and cross-cultural competence through structured career planning and learning of skills essential for advancement and leadership in academic medicine. …”
Get full text

Benefits and challenges of the public food procurement program: Perspectives of technicians and managers of family farmer organizations in Brazil by Panmela Soares, Suellen Secchi Martinelli, Elena Albero Atance, Rafaela Fabri, Vicente Clemente-Gómez, Mari Carmen Davó-Blanes, Suzi Barletto Cavalli

“…The study aimed to analyse the characteristics of family farmer organizations associated with the Brazilian Public Food Procurement (PFP) program and the opinion of technicians and managers of the organizations regarding the benefits and challenges of the program. …”
Get full text

The compliance of the training program for hospital accreditation surveyors in Iran with the international requirements: a mixed-methods study by Tahmineh Poursaki, Lida Shams, Ali Maher, Farid Gharibi

“…Improvement strategies for the surveyor training process were then obtained through semi-structured interviews with 17 experts in the field of accreditation. …”
Get full text

Exploring Ethical Challenges and Labour Practices in the Informal Sector: A Study of Ghana’s Fashion Apprenticeship Programs by Adukwei Sempe Glover, Ninette Afi Appiah, Alhassan Saana Haruna

“… Purpose: This study explores the ethical challenges and labour practices within Ghana’s fashion apprenticeship programs, with a focus on how these practices align with the National Apprenticeship Policy (NAP). …”
Get full text

A qualitative analysis of formerly incarcerated women’s perspectives on a prison-based perinatal support program by Mollee K. Steely Smith, Julia E. Hooper, Maegan Calvert, Melissa J. Zielinski

“…This study explored formerly incarcerated perinatal individuals’ knowledge about, participation in, and perceptions of currently existing and potential future components of a perinatal support program in a Mid-southern women’s state prison. Methods Semi-structured interviews were conducted with individuals who were incarcerated during pregnancy (N = 15; 100% identified as women; 66.7% white), the majority of whom gave birth while in custody (n = 13; 86.7%). …”
Get full text

EMPOWERING COMPASSION: A SYSTEMATIC REVIEW OF PALLIATIVE CARE EDUCATION & TRAINING PROGRAM OUTCOMES FOR NURSING PROFESSIONALS by Nibedita Mohanty, Niyati Das, Rajendra Kumar Sahoo, Sakir Ahmed, Pratap Kumar Jena

“…The results indicate that structured training in palliative care for nurses boosts both nurse competence and patient care quality. …”
Get full text