Results 11 to 20 of about 2,945,739 (313)
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
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
TRIO Programs: TRIO Day Magazine [PDF]
, 2010 Magazine for TRIO Day 2010 -- Disability Support Services -- Office of Disability Services -- Talent Search -- Ronald E. McNair Post-Baccalaureate Achievement Program -- Upward Bound Math/Science Regional Center -- Upward Bound Wichita Prep -- Veterans ...
Office of Special Programs
core +4 more sources
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
The Egyptian Journal of Internal Medicine, 2019 Noninvasive ventilation (NIV) is a commonly used respiratory support. The use of the NIV is expanding over time and, but its knowledge and skills are very important for the proper use of this life-saving support. This study aims to evaluate the available
Barbagelata Elena +4 more
doaj +1 more source
Contemporary technologies and their impact on pixel art [PDF]
Maǧallaẗ Al-Turāṯ wa Al-Taṣmīm, 2021 The research presents many modern technologies that in turn led to the development of pixel art and helped artists practicing this style of art in designing and implementing their works.The research aims to shed light on the most important graphic ...
Dalia Nageh Abdou Ibrahem +1 more
doaj +1 more source
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
Methodology of students' professionally-applied physical training in universities [PDF]
Pedagogìka, Psihologìâ ta Mediko-bìologìčnì Problemi Fìzičnogo Vihovannâ ì Sportu, 2012 Real system of physical education that exists in Ukraine is considered; the ineffectiveness of physical training of students for future life and production activities is shown.
Pylypey L.P.
doaj
TRIO Programs: TRIO Day Magazine [PDF]
, 2011 Magazine for TRIO Day 2011 -- Upward Bound Wichita Prep -- Talent Search -- Student Support Services -- Office of Disability Services -- Upward Bound Math Science Regional Center -- Ronald E.
Office of Special Programs
core +2 more sources
, 2022 Programs used in paper " A Hybrid Learning Method with High Specificity for Excluding Non-chromosome Objects Problem "
Jainshing Wu (515589)
core +1 more source