Zobrazeno 1 - 10
of 15
pro vyhledávání: '"programs analysis"'
Autor:
Kenawey, Mohamed a, Hasan, Nahla Mohamed Ali b, ⁎, Saleh, Shazly a, El-Deen, Mohamed Alam a, Abdel Aziz, Abdel Hamid c, Shiha, Anis a
Publikováno v:
In The Egyptian Journal of Radiology and Nuclear Medicine December 2016 47(4):1515-1519
Autor:
Mohamed Kenawey, Nahla Mohamed Ali Hasan, Shazly Saleh, Mohamed Alam El-Deen, Abdel Hamid Abdel Aziz, Anis Shiha
Publikováno v:
The Egyptian Journal of Radiology and Nuclear Medicine, Vol 47, Iss 4, Pp 1515-1519 (2016)
Background and objective: Professional graphics editing programs can be used in the preoperative planning of lower limb deformity correction surgery. This study was conducted to test the reliability of using such programs versus FDA approved medical
Externí odkaz:
https://doaj.org/article/381375ffebb7410486ae6b3a3df8a6ad
Autor:
Harmim, Dominik
Nástroj Atomer je statický analyzátor založený na myšlence, že pokud jsou některé sekvence funkcí vícevláknového programu prováděny v některých bězích pod zámky, je pravděpodobně zamýšleno, že mají být vždy provedeny atomi
Externí odkaz:
http://www.nusl.cz/ntk/nusl-445592
Autor:
Magdalena Wójcik
Publikováno v:
Education and Information Technologies. 21:1555-1569
The subject of this article is the use of augmented reality technology in library and information science education. The aim is to determine the scope and potential uses of augmented reality in the education of information professionals. In order to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2a0f412709b3415194a4aa540f77c17f
https://doi.org/10.1007/s10639-015-9399-z
https://doi.org/10.1007/s10639-015-9399-z
Publikováno v:
Reflets. 16:118-145
Le ministère de l’Éducation de l’Ontario (MEO) a procédé récemment à une réforme des programmes d’enseignement. En vigueur depuis septembre 2008, le nouveau programme de sciences de la 1re à la 8e année prône une éducation antidiscri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::13846a126381724ae401866e18924ce7
https://doi.org/10.7202/1000316ar
https://doi.org/10.7202/1000316ar
Autor:
William Irwin, Mark D. White
A unique philosophical look at the hit television series Downton Abbey Who can resist the lure of Downton Abbey and the triumphs and travails of the Crawley family and its servants? We admire Bates's sense of honor, envy Carson's steadfastness, and t
Autor:
Olivier Brunet, Philippe Jorrand
Publikováno v:
International Journal of Quantum Information
International Journal of Quantum Information, World Scientific Publishing, 2004, 2, pp.45-54
International Journal of Quantum Information, World Scientific Publishing, 2004, 2, pp.45-54
We present a way to apply quantum logic to the study of quantum programs. This is made possible by using an extension of the usual propositional language in order to make transformations performed on the system appear explicitly. This way, the evolut
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::63d1604a30c0fd8fb20fb0d7f4b0726c
http://arxiv.org/abs/quant-ph/0311143
http://arxiv.org/abs/quant-ph/0311143
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.
Publikováno v:
POPL
Scopus-Elsevier
Scopus-Elsevier
This paper describes a semantic basis for a compositional approach to the analysis of logic programs. A logic program is viewed as consisting of a set of modules, each module defining a subset of the program's predicates. Analyses are constructed by
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::92b526504164a23a94b701bfc0f8509d
https://doi.org/10.1145/158511.158703
https://doi.org/10.1145/158511.158703