Results 11 to 20 of about 4,017,632 (248)
Program Transformation for Program Verification
EPiC Series in Computing, 2018 We present a transformational approach to program verification and software model checking that uses three main ingredients:(i) Constraint Logic Programming (CLP),(ii) metaprogramming and program specialization, and(iii) proof by transformation.
PETTOROSSI, ALBERTO, Proietti, M.
openaire +5 more sources
COMPLEX "TERMODIN" FOR CONTACTLESS REMOTE MEDICAL DIAGNOSTICS [PDF]
Biomedicinskaâ Inženeriâ i Èlektronika, 2017 The article describes the structure and operation of the updated complex "Thermodyn" for remote non-contact diagnostics of inflammatory processes in the surface and the subcutaneous areas of the human body.
Michael Belov +5 more
doaj +1 more source
Fitness – programs as mean of forming of personality physical culture of students
Physical Education of Students, 2013 Basic directions of perfection of process of physical education of students of higher institutes are examined. Attention is accented on the necessity of search of new effective ways of making healthy of students, increases of level of their physical ...
E.V. Kurmaeva
doaj +1 more source
Ouverture sociale : intérêts et limites d’une politique ambitieuse
Éducation et Socialisation, 2022 This article focuses on the phenomenon of social openness of French Grandes Écoles. Since the 2000s, a multitude of measures and schemes have been developed in France with the aim of broadening the recruitment base of elite institutions that have been ...
Viviana Urrego, Najoua Mohib
doaj +1 more source
Strategies for Employment Policy Management and Labor Market Development in Mangistau Oblast [PDF]
SHS Web of ConferencesThis study examines the management of employment policy in Mangystau Oblast, focusing on monitoring strategies and the effectiveness of government initiatives.
Esturlieva A.I. +3 more
doaj +1 more source
ANALISIS FAKTOR-FAKTOR YANG MEMPENGARUHI LOYALITAS BERINFAQ
Jurnal Bina Ummat, 2018 Objective: This research aims to analyze what factors influence the loyalty of giving infaq members Infaq Da'wah Club and what factors are most dominant among these factors.
AGUS SAMSONO
doaj +1 more source
Frontiers in Rehabilitation Sciences, 2022 BackgroundResearch about using physical activity (PA) to improve health, quality of life, and participation after moderate-to-severe traumatic brain injury (TBI) is receiving growing attention.
Enrico Quilico +13 more
doaj +1 more source
Вестник Северо-Кавказского федерального университета, 2022 The article analyzes the low level of labor productivity in the country, identifies a number ofproblems that constrain the growth of labor productivity, as well as the directions of its increase.
S. Poluektova
doaj
Kufa Journal for Nursing Sciences, 2012 Objective: To evaluate the effectiveness of nursing educational program on nurse's knowledge toward arrhythmia in Kirkuk's teaching hospitals. Methodology: A quasi-experimental design was carried out at Azady and Kirkuk teaching hospitals in 17th ...
Hakima S. Hassan, Salah M S. Hassan
doaj +1 more source
EDIS, 2004 Each year, many thousands of horseshoe crabs are stranded upside-down and die. Horseshoe crabs are gentle and WON'T bite or sting you. Turn them over by the edge of their shell. Don't flip them by their tail! Horseshoe crabs are important to the coastal
Florida Master Naturalist Program
doaj +2 more sources