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

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

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

Positive Psychotherapy-Based Family Education Program for Parents of Children Aged 0-6: Development and Application by Elif Bengi Unsal Ozberk

“…This article presents the conceptualization, structure, and practical application of the Positive Psychotherapy-Based 0-6 Age Family Education Program, highlighting its contribution to modern practice within the framework of Positive Psychotherapy.…”
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

Challenges in Implementing Artificial Intelligence in Breast Cancer Screening Programs: Systematic Review and Framework for Safe Adoption by Serene Goh, Rachel Sze Jen Goh, Bryan Chong, Qin Xiang Ng, Gerald Choon Huat Koh, Kee Yuan Ngiam, Mikael Hartman

“…By aligning these findings with the CFIR constructs, action plans targeting the main challenges were incorporated into the framework, facilitating a structured approach to addressing these issues. …”
Get full text

Development of a transition program for emerging adults with type 1 diabetes: A quality improvement initiative by Elizabeth A. Minchau, Billie S. Vance, Emily Barnes

“…Got Transition's® Six Core Elements of Health Care Transition were adapted to the unique needs of the pediatric endocrinology setting by incorporating diabetes-specific transition guidelines recommended by the American Diabetes Association (ADA). A new program was designed to target patients between the ages of 16–18 offering structured transition visits focused on enhancing knowledge and skills related to the management of T1D and improving the transfer of care process between pediatric and adult providers. …”
Get full text

Experiences and perceptions of employees and healthcare professionals on a multidisciplinary program for the secondary prevention of low back pain by Lisa Bernaers, Tine Marieke Willems, Gia Hien Lam, Morgane Mahy, Dorina Rusu, Christophe Demoulin, Dominique Van de Velde, Lutgart Braeckman

“…Consistency in staffing, structured follow-up, and systematic prescreening are key areas for improvement. …”
Get full text

Efficacy, Feasibility, and Utility of a Mental Health Consultation Mobile Application in Early Care and Education Programs by Ruby Natale, Yue Pan, Yaray Agosto, Carolina Velasquez, Karen Granja, Emperatriz Guzmán Garcia, Jason Jent

“…App usability and acceptability were only evaluated post-intervention. Seven semi-structured interviews were conducted post-intervention with JS Go directors/teachers to assess the app’s feasibility for implementing the four program pillars: safety, behavior support, self-care, and communication. …”
Get full text

Feasibility of an exercise program in endocrine-treated metastatic breast cancer patients with overweight: protocol for the FEMA study by May Wissing, Pernille Skovlund, Susanne Drysdale, Ali Amidi, Robert Zachariae, Tinne Laurberg, Signe Borgquist

“…Methods The FEMA study is a randomized controlled feasibility trial in which 21 endocrine-treated patients with metastatic breast cancer and overweight will be randomly assigned in a 2:1 ratio to either a 12-week training program with three weekly training sessions (intervention), or usual care (control), which includes standard clinical follow-up and supportive care without structured exercise. …”
Get full text

Impact of Nutritional School Based Feeding Program on Academic Achievement of Selected Elementary Learners in West Philippines by Maryjane A. Alcantara, Marisa A. Frontreras

“…This research method uses a quasi-experimental design with a pretest and posttest structure; a two-part questionnaire was the primary research tool. …”
Get full text

Methodology for determining the amount of ferrite and pearlite in cast iron using standard computer image processing programs by A. I. Pokrovsky

“…Standard GOST 3443–87 used in metallurgical practice does not permit an accurate quantitative assessment of the content of pearlite and ferrite in the structure of cast iron while specialized software for computer image analysis is rather expensive, are not available to all enterprises and, moreover, require highly qualified staff.In this work, a new, simple technique is proposed for determining the amount of ferrite and pearlite in cast iron using a special etchant that provides a high-contrast image, and standard computer image processing programs, which permit obtaining a grayscale histogram where the shades of gray vary from black to white in the range from 0 to 255. …”
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

“…A cross-sectional study was conducted through a structured questionnaire. The questionnaire contained questions regarding the characteristics of the organization and the food sales process, as well as the opinion about the benefits and challenges of PFP. …”
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

Identifying and Assessing Health and Safety Program Implementation Barriers in the Construction Industry: A Case of Saudi Arabia by Ali Al-Otaibi, Ahmed Farouk Kineber

“…An analysis method known as the Partial Least Square Structural Equation Model (PLS-SEM) was utilized to look into additional barriers. …”
Get full text

Evaluating a social risk screening and referral program in an urban safety‐net hospital emergency department by Stephanie Loo, Emily Anderson, Jessica G. Lin, Perri Smith, Genevra F. Murray, Haeyeon Hong, Gabrielle A. Jacquet, Rashmi Koul, Sophie Rosenmoss, Thea James, Kalpana Narayan Shankar, Pablo Buitron de laVega

“…We collected screening data from the electronic health record, conducted semi‐structured interviews with THRIVE+ patients and clinical staff, and directly observed discharge interactions. …”
Get full text

Readiness of the Science Education Study Program in the Implementation of the ‘Merdeka Belajar - Kampus Merdeka’ (MBKM) Curriculum by Zakiyyah Zakiyyah, Mutiara Dwi Cahyani, Nurwanti Fatnah

“…The stakeholders involved in the preparation of this curriculum have conformity with the needs of the curriculum structure. Furthermore, these results can be used as the basis for the readiness of the Science Study Program in implementing MBKM.…”
Get full text

Pharmacist-driven mobile health clinics: a qualitative analysis of logistics for program development, implementation, and operation by Erin E. Miller, Sarah Schweitzer, Alex W. Middendorf, Deidra Van Gilder, James W. Amell, Patricia Ahmed, Stephanie Hanson

“…Methods This project used semi-structured interviews, guided by a 23-item interview guide, conducted with groups and individuals from pharmacist-driven mobile health programs to identify logistics for the development of a pharmacist-driven MHC model. …”
Get full text

A quasiexperimental study of assessing the impact of stress management program on health science students at Kuwait University by Naser M. Alotaibi, Latifah Alenezi, Feddah M. Ahmad, Wadha Almutairi, Dhuha Alshammari, Manal Alenezi, Moudhi Alotaibi

“…The participants received a comprehensive educational seminar relevant to stress management (i.e., a presentation, written hand-outs and a structured home program). The program addressed nine topics pertaining to stress management strategies: breathing and imagery techniques; self-care routines; planning for success; meditation strategies; monitoring mechanisms for coping; seeking help for mental health, exercise and health; cognitive behavioral therapy tips (CBTs); and psychoeducation. …”
Get full text