A Recursive Inclusion Checker for Recursively Defined Subtypes by Hans De Nivelle

“…Logical formulas are tree-like structures with many constructors having different arities and argument types. …”
Get full text

ANALYTICAL AND SYNTHETIC APPROACH TO THE FORMATION OF PROFESSIONAL COMPETENCIES OF THE MASTER’S PROGRAM «INDUSTRIAL AND FIRE SAFETY» by Y. Zhuravleva, A. Shchekin, M. Katrenko, L. Nebytova

“…The analytical-synthetic approach to the formation of competencies allows you to decompose and synthesize the field of knowledge, set the boundaries of the system, analyze the influencing factors, and conduct their structural and functional analysis.…”
Get full text

Outdoor education program: Assessing student performance, mental health, and teacher well-being by Shasha Wei, Xiaoming Yang, Mohd H. B. Ismail, Noor H. Farizan, Shamsulariffin Samsudin

“…With the use of Smart PLS, a modified least square structural equation modeling procedure was applied to the information collected from 250 participants. …”
Get full text

Improving Problem Solving Skills of High School Students Through The Implementation of Digital Module by Putera Islamiyadi Rahmatullah, Muhammad Akhyar, Agus Efendi

“…The digital module was designed with structured tasks and collaborative coding activities to support analytical thinking and practical problem-solving. …”
Get full text

The mechanism – between applicability and artistic concept – on the axis of antiquity, Middle Ages and modernism by Răzvan-Petrișor Dragoș

Get full text

A Comparison of Peer- and Tutor-Grading of an Introductory R Coding Assessment by Charlotte M. Jones-Todd, Amy Renelle

“…We find that tutors grade the subjective criterion autonomously from the other rubric criteria, whereas peers grade in line with the prescriptive criteria that evaluates the components and structure of the code. In addition, we estimate between-assessor and between-submission variation using a discrete-Beta mixed model and show that between-submission is greater than grader submission for both peers and tutors. …”
Get full text

Potential Epigenetic Impacts of Phytochemicals on Ruminant Health and Production: Connecting Lines of Evidence by Sebastian P. Schreiber, Juan Villalba, Mirella L. Meyer-Ficca

“…Due to their chemical structure, phytochemicals have long been recognized as antioxidants. …”
Get full text

SCHEDULING PROBLEMS OF STATIONARY OBJECTS WITH THE PROCESSOR IN ONE-DIMENSIONAL ZONE by N. A. Dunichkina, D. I. Kogan, Yu. S. Fedosenko

“…Correspondingly, the bicriteria problem with the mentioned evaluation criteria is fundamentally intractable, computational complexity of the schedule structure algorithm is exponential. The model describes the fuel supply processes to the diesel-electrical dredgers which extract non-metallic building materials (sand, gravel) in large-scale areas of inland waterways. …”
Get full text

A mixed methods evaluation of an online climate change and health certificate program for working professionals by Daniel Carrión, Saira Prasanth, Ivan Hurtado, Anna Lin-Schweitzer, Maricel Braga, Sammi Munson, Emmanuelle Hines, John Kotcher, Heather Daly-Haney, Edward Maibach, Kathryn Conlon, Lauren Babcock-Dunning, Kristin Timm, Robert Dubrow

“…Methods We utilized structured and free-text elements from course and overall program evaluations across seven cohorts of participants from 2018 to 2022 for a mixed-methods assessment of the program. …”
Get full text

Revamping the educational environment and engagement: How ACGME-I accreditation transforming training programs in Qatar by Shireen Suliman, Anas Aadel Kalfah, Muthusamy Thevar Sevugapandian Vijay Jeganath, Abdalla Alsaid, Daniel Robert Mills, Kristen Jennifer Al-Aamri, Husameldin Mohamed Ali Rudwan, Abdullatif Al-Khal

“…Faculty engagement is linked to having official program titles, highlighting the importance of structured roles in trainees’ education. …”
Get full text

Solvent-pair surfactants enabled assembly of clusters and copolymers towards programmed mesoporous metal oxides by Wenhe Xie, Yuan Ren, Fengluan Jiang, Xin-Yu Huang, Bingjie Yu, Jianhong Liu, Jichun Li, Keyu Chen, Yidong Zou, Bingwen Hu, Yonghui Deng

Get full text

Implementing a hospital-based case management intervention for people experiencing homelessness: the navigator program by Jesse I. R. Jenkinson, Dinesh Moro, Oluwagbenga Dada, Kate Francombe Pridham, Jeremy Cygler, Stephen W. Hwang

“…The flexible approach to model design and implementation was an essential approach to program development that adjusted to the implementation setting, while leaving room to create more systems and structures as the program progresses. …”
Get full text

Village fund program in Cibeureum and Sukapura village, Bandung Regency, Indonesia: Problems, risks, and solutions by Arwanto Harimas Ginting, Ida Widianingsih, Rahman Mulyawan, Heru Nurasa

Get full text

Effects of Four-Month Exercise Program on Correction of Body Posture of Persons with Different Visual Impairment by Damira Vranesic-Hadzimehmedovic, Izet Bajramovic, Slavenko Likic, Muhamed Tabakovic, Dzenana Imamovic

“…The pupils voluntarily participated in the exercise program. The exercise program was structured of two phases: exercise on dryland and exercise in water. …”
Get full text

Subnational tailoring of malaria interventions for strategic planning and prioritization: Experience and perspectives of five malaria programs. by Letitia Onyango, Ghislaine Ouédraogo-Ametchie, Ifeoma Ozodiegwu, Beatriz Galatas, Jaline Gerardin

“…As SNT was a new approach, this study used semi-structured interviews to understand the perspectives and experiences of personnel from five NMPs (Burkina Faso, Ghana, Guinea, Nigeria, and Togo) that undertook SNT between 2019 and 2023. …”
Get full text

Injecting drugs as a matter of care: Analyzing care work and action programs in risk management by Jukka Törrönen, Josefin Månsson, Eva Samuelsson, Jessica Storbjörk

“…Participants (N = 32) were recruited for semi-structured interviews primarily from the Stockholm Needle and Syringe Exchange Program between August 2022 and March 2023. …”
Get full text

Maternal and Neonatal Outcomes for Egyptian Primigravida Women after Antenatal Dental Health Education Program by Azza Ibrahim Abd El-Kader, Sabah Abduo Aly Hagrass, Mai Atef Hassan

“…Tools of Data Collection: The following four tools were used to achieve the study’s purpose: a structured interview questionnaire; a scale for assessing knowledge, practice, and attitude; and an outcome checklist for tracking mother and baby outcomes throughout labor. …”
Get full text

Teaching science in outreach programs may enhance health science communication and engagement in medical students by Shruthi Prabhakar, Brianna S. Chang, Kristofer K. Rau, Helena Carvalho

“…These findings support the integration of structured outreach opportunities into medical education to foster holistic professional development.…”
Get full text

Effect of Enhanced Exercise Program on Pain and Physical Activity for Patients after Total Knee Arthroplasty by Safaa M. Hamed, Rasha F. M. Gaballah

“…Four tools were used to collect the study data. These are the structured interview questionnaire to assess patients' knowledge regarding total knee arthroplasty, Barthel ADL index scale, Lysholm knee scoring scale, and Numeric Pain Rating Scale to assess the effect of the enhanced exercise program. …”
Get full text

Improving Community Health Program: Perspective of Community Health Workers in the Eastern Cape, South Africa by Okafor UB, Obasanjo I, Goon DT

“…Consequently, this study explores the opinions of community health workers regarding the support systems desirable for their effective delivery of healthcare support services in the Buffalo Municipality City, Eastern Cape Province of South Africa.Methods: In-depth individual, semi-structured interviews (n=10) as well as focus groups interviews (n=13) were conducted with 23 community health workers, using an audio recorder with their permission to record the interviews. …”
Get full text