Zobrazeno 91 - 100
of 11 943
pro vyhledávání: '"du Bois, A"'
Publikováno v:
CLEI Electronic Journal, Vol 24, Iss 3 (2021)
We describe the formalization of Brzozowski and Antimirov derivative based algorithms for regular expression parsing, in the dependently typed language Agda. The formalization produces a proof that either an input string matches a given regular expre
Externí odkaz:
https://doaj.org/article/04d5634c021c4b1eb9cc0d2fae89fec6
Publikováno v:
CLEI Electronic Journal, Vol 24, Iss 3 (2021)
Featherweight Java is one of the most popular calculi which specify object-oriented programming features. It has been used as the basis for investigating novel language functionalities, as well as to specify and understand the formal properties of ex
Externí odkaz:
https://doaj.org/article/8cfeb8c20b5f4fd5a18b4a858f5e1fda
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.
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.
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.
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:
Asante, Du-Bois1 duasante@ucc.edu.gh, Tsegah, Korantema M.1,2, Afrifa-Yamoah, Ebenezer3, Kyei, Samuel4, Dzidzor, Dunyah J.1, Anokye, Reindolf5
Publikováno v:
Journal of Public Health in Africa. 2022, Vol. 13 Issue 4, p1-9. 9p.
Autor:
Kaat Goorts, Charlotte Vanovenberghe, Charlotte Lambreghts, Eline Bruneel, Dorina Rusu, Marc Du Bois, Sofie Vandenbroeck, Lode Godderis
Publikováno v:
BMC Medical Research Methodology, Vol 19, Iss 1, Pp 1-11 (2019)
Abstract Background Increasing rates of long-term sickness absence are a worldwide problem. Belgium is the first country in Europe that aims to screen its entire population of sick leavers (sick leave > 6 weeks) for the risk of long-term sickness abs
Externí odkaz:
https://doaj.org/article/c389c85182b644d794e0dfd1aeeb7cea
Publikováno v:
Alcoholism and Drug Addiction, Vol 32, Iss 2, Pp 77-86 (2019)
Externí odkaz:
https://doaj.org/article/fa0cf384682f4673944c52a103116413
Autor:
Vergote, I., du Bois, A., Floquet, A., Rau, J., Kim, J.-W., del Campo, J.M., Friedlander, M., Pignata, S., Fujiwara, K., Colombo, N., Mirza, M.R., Monk, B.J., Tsibulak, I., Calvert, P.M., Herzog, T.J., Hanker, L.C., Meunier, J., Lee, J.-Y., Bologna, A., Carrasco-Alfonso, M.J., Harter, P.
Publikováno v:
In Gynecologic Oncology November 2019 155(2):186-191