Results 1 to 10 of about 4,017,632 (248)
Programming with neural surrogates of programs [PDF]
Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, 2021 Surrogates, models that mimic the behavior of programs, form the basis of a variety of development workflows. We study three surrogate-based design patterns, evaluating each in case studies on a large-scale CPU simulator. With surrogate compilation, programmers develop a surrogate that mimics the behavior of a program to deploy to end-users in place of
Alex Renda, Yi Ding 0006, Michael Carbin
openaire +3 more sources
Identify the Strengths, Weaknesses, Opportunities and Threats of Iranian Karate Through the SWOT Matrix [PDF]
Research in Sport Management and Marketing, 2023 Purpose: The purpose of this study was to develop strategic themes of Iranian karate territorial planning.Methods: The present study is a survey study with a developmental approach in accordance with the critical paradigm, which was conducted in the ...
Iman Golmohammadi +2 more
doaj +1 more source
Seminare, 2022 This article presents a specific opportunity to apply the knowledge of positive psychology in furthering the human formation of clergy and religious.
Piotr Kwiatek
doaj +1 more source
The Five Dimensions of the APPRO Program: Explanation and Specification
Seminare, 2022 This article discusses the five fundamental dimensions of the "Activity Program Positive Personal Development" (APPRO) formation program. It is addressed not only to the environment of the Church, seminarians, priests, and male and female religious, but
Piotr Kwiatek, Anna Pecoraro
doaj +1 more source
Program Synthesis for Program Analysis [PDF]
ACM Transactions on Programming Languages and Systems, 2018 In this article, we propose a unified framework for designing static analysers based on program synthesis . For this purpose, we identify a fragment of second-order logic with restricted quantification that is expressive enough to model numerous static analysis problems (e.g., safety proving,
Cristina David +3 more
openaire +4 more sources
Aktualʹnì Pitannâ Farmacevtičnoï ì Medičnoï Nauki ta Praktiki, 2020 The purpose of the work is to evaluate the effectiveness of a comprehensive program of physical therapy in patients after surgical reconstruction of the Achilles tendon. Materials and methods.
E. Yu. Doroshenko +8 more
doaj +1 more source
Children, 2023 Despite research on anti-bullying interventions, there is no systemic approach or resources for teachers to address ethnic and race-related bullying in schools.
Qiyue Wu, Fanli Jia
doaj +1 more source
Description of a Program for Nonlinear Programming: the Centroid Program [PDF]
The Computer Journal, 1985 Considered is a problem of non-linear programming in the form \(g_ e(x)\leq 0\), \(e=1,2,...,M\), f(x)\(\to \min\), where g and f are non-linear functions of the independent variable \(x=\{x_ 1,x_ 2,...,x_ t,...,x_ n\}\). We then define the penalty function \(F=\sum_{e}g^+_ e\), where \(g_ e>0\to g^+_ e=g_ e\), \(g_ e\leq 0\to g^+_ e=0\), and by an ...
openaire +2 more sources
Journal of Public Health in Africa, 2023 Background: The government established an iron supplementation program as a solution to overcome anemia in adolescent girls in Indonesia. Research shows that various factors influence the compliance of adolescent girls in consuming iron supplements ...
Hanna T. Hasianna Silitonga +4 more
doaj +1 more source
Development of professional metacompetence of teachers in the process of mastering cloud technologies [PDF]
SHS Web of Conferences, 2021 Literature review of works by Russian and foreign scientists has been performed aiming at reveling essential properties of professional competence of teachers as the competence of the highest level.
Nadolinskaya Tatiana +4 more
doaj +1 more source