Zobrazeno 1 - 10
of 78
pro vyhledávání: '"Abstract program"'
Autor:
Orton, Indigo
Modern software engineering is, broadly, a continuous activity – many pieces of industrial software are constantly developed, they are never “finished”. This process of constant improvement necessitates small, incremental changes to ensure stab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0d17b40e12c72e55fdb81badbf1a3d26
Autor:
Indigo Orton, Alan Mycroft
Dynamic analysis can identify improvements to programs that cannot feasibly be identified by static analysis; concurrency improvements are a motivating example. However, mapping these dynamic-analysis-based improvements back to patch-like source-code
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b215af134e4f6d06b5d58500e681a50a
Autor:
Peter M.C. DeBlieux, Eveline Hitti, Amin Kazzi, Mohamad Ali Cheaito, Mark Clark, Felix Ankel, Katherine G. Katzung, Luan Lawson, Michael Epter
Publikováno v:
The Journal of Emergency Medicine. 56:e95-e101
Program directors (PDs) are faced with an increasing number of applicants to emergency medicine (EM) and a limited number of positions. This article will provide candidates with insight to what PDs look for in an applicant. We will elaborate on the p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::57b178ec37527bce1393aeb58d32495b
https://doi.org/10.1016/j.jemermed.2019.01.010
https://doi.org/10.1016/j.jemermed.2019.01.010
Autor:
Robert E. Kline
Publikováno v:
Federal Securities Law and Accounting 1933–1970: Selected Addresses ISBN: 9781003054566
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::64e8a6789ee5a32b62445f02fe3f8afb
https://doi.org/10.4324/9781003054566-5
https://doi.org/10.4324/9781003054566-5
Publikováno v:
International Journal of Africa Nursing Sciences, Vol 12, Iss, Pp-(2020)
Program evaluations play an important role in nursing education. Program evaluation is an integral part of program planning and implementation by nursing faculties and administrators. Guided by the organizing framework of the WHO’s Global Standards
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::53f7b7f6147d6de12cf673510f63c87c
http://www.sciencedirect.com/science/article/pii/S2214139119300915
http://www.sciencedirect.com/science/article/pii/S2214139119300915
Autor:
Miia Martinsuo, Päivi Hoverfält
Publikováno v:
International Journal of Project Management. 36:134-146
Program management has taken its position in project management research and in public and private organizations as a successful method for managing complex, uncertain, and large-scale changes. During the past 25 years, research has evolved from prog
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3809862aedbefe8d84a582b6947c96d1
https://doi.org/10.1016/j.ijproman.2017.04.018
https://doi.org/10.1016/j.ijproman.2017.04.018
Publikováno v:
مجلة الاقتصاد المنزلی. 33:189-228
ملخص البحث برنامج لتنمية الوعي بالمشکلات البيئية للفتيات وانعاکسة علي قدرتها علي اتخاذ القرار تهدف الدراسة الى التعرف على فاعلية برنامج
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b79694dacc5bdbc133420ef7d4f604d8
https://doi.org/10.21608/jhe.2017.59218
https://doi.org/10.21608/jhe.2017.59218
Publikováno v:
Computer Aided Verification ISBN: 9783319961446
CAV (1)
CAV (1)
We show how to leverage reinforcement learning (RL) in order to speed up static program analysis. The key insight is to establish a correspondence between concepts in RL and those in analysis: a state in RL maps to an abstract program state in analys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a5ada048dfaebfbe1c22f6e62dd40966
https://doi.org/10.1007/978-3-319-96145-3_12
https://doi.org/10.1007/978-3-319-96145-3_12
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Lucie Morin
Publikováno v:
Journal of Obstetrics and Gynaecology Canada. 36:87-93
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4372d8d4139365d47e9d48c1e99a4e13
https://doi.org/10.1016/s1701-2163(15)30687-3
https://doi.org/10.1016/s1701-2163(15)30687-3