-
1
المؤلفون: Vaandrager, F., Bloem, R., Ebrahimi, M., Leporati, A.
المساهمون: Leporati, A.
المصدر: Leporati, A. (ed.), Language and Automata Theory and Applications: 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings, pp. 157-170
Leporati, A. (ed.), Language and Automata Theory and Applications: 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings, 157-170. Cham : Springer
STARTPAGE=157;ENDPAGE=170;ISSN=0302-9743;TITLE=Leporati, A. (ed.), Language and Automata Theory and Applications: 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedingsمصطلحات موضوعية: Computational Theory and Mathematics, Software Science, Computer Science Applications, Information Systems, Theoretical Computer Science
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e6a4e0d7c831e722c641af379626b254
https://hdl.handle.net/2066/230668 -
2
المؤلفون: NIJHOF, W, WIERENGA, PK, PIETENS, J, BLOEM, R
المصدر: Cell and tissue kinetics, 17(6), 629-639
URL الوصول: https://explore.openaire.eu/search/publication?articleId=narcis______::e66b3e5128c99eb59f0c67ab3d5a0515
https://research.rug.nl/en/publications/acb4e821-154d-4195-ac89-24ff3a259844 -
3
-
4
المؤلفون: Bosnacki, D., Katoen, J.P., Wijs, A.J., Biere, A., Bloem, R.
المساهمون: Computational Biology
المصدر: Computer Aided Verification (26th International Conference, CAV 2014, Vienna, Austria, July 18-22, 2014. Proceedings), 310-326
STARTPAGE=310;ENDPAGE=326;TITLE=Computer Aided Verification (26th International Conference, CAV 2014, Vienna, Austria, July 18-22, 2014. Proceedings)
Computer Aided Verification ISBN: 9783319088662
CAVمصطلحات موضوعية: Modular decomposition, Strongly connected component, Mathematical optimization, Theoretical computer science, Computer science, Stochastic game, Probabilistic logic, Parallel algorithm, Markov decision process, Central processing unit, Graphics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::920af60f5aa650a1bb9ca1c5cbee7032
https://research.tue.nl/en/publications/7d128736-4091-46d5-9217-848b935c7acc -
5
المؤلفون: Laarman, Alfons, van de Pol, Jan Cornelis, Weber, M., Sharygina, N., Bloem, R.
المصدر: Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Design, 247-256
STARTPAGE=247;ENDPAGE=256;TITLE=Proceedings of the 10th International Conference on Formal Methods in Computer-Aided Designمصطلحات موضوعية: lockless, CR-D.2.4, hash tables, METIS-271023, EWI-18437, IR-73119, Parallel, Multi-Core, Model Checking
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=narcis______::71d56f75d7195524090a80f3d77fa0dd
https://research.utwente.nl/en/publications/67e248d4-30a4-46c0-9870-5226e77c51d0 -
6
المؤلفون: Deijkers, R. L. M., Bloem, R. M., Pancras C W Hogendoorn, Verlaan, J. J., Kroon, H. M., Taminiau, A. H. M.
المصدر: Scopus-Elsevier
مصطلحات موضوعية: Orthopedics and Sports Medicine, Surgery
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eb7459d510744cf1d37174782d722324
https://doi.org/10.1302/0301-620x.84b7.0841009 -
7
المؤلفون: Pranger, S., Koenighofer, B., Tappler, M., Deixelberger, M., Jansen, N., Bloem, R., Chiu, G.
المساهمون: Chiu, G.
المصدر: ACC
Chiu, G. (ed.), ACC 2021: American Control Conference will be held virtually from Tuesday to Friday, May 25-28, 2021, pp. 3467-3474
Chiu, G. (ed.), ACC 2021: American Control Conference will be held virtually from Tuesday to Friday, May 25-28, 2021, 3467-3474. New York : IEEE
STARTPAGE=3467;ENDPAGE=3474;TITLE=Chiu, G. (ed.), ACC 2021: American Control Conference will be held virtually from Tuesday to Friday, May 25-28, 2021مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer science, Distributed computing, Computation, Control (management), Markov process, Logic in Computer Science (cs.LO), symbols.namesake, Control theory, Software Science, symbols, Reinforcement learning, Markov decision process, Representation (mathematics), Abstraction (linguistics)
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cf2fc7b872940dce9935f48d8d497a34
https://doi.org/10.23919/acc50511.2021.9482889 -
8
المؤلفون: Zengerink, I, Duivenvoorden, Tijs, Niesten, D, Verburg, H, Bloem, R, Mathussen, N
المساهمون: Orthopedics and Sports Medicine
المصدر: Acta Orthopaedica Belgica, 81(4), 776-783. ARSMB-KVBMG
مصطلحات موضوعية: SDG 3 - Good Health and Well-being
URL الوصول: https://explore.openaire.eu/search/publication?articleId=narcis______::ad7645270d1ff0821f608c96ea249a0e
https://pure.eur.nl/en/publications/05ddb75c-f9e7-4d2b-ad8f-590099762a8d -
9
المؤلفون: Könighofer, B., Lorber, F., Jansen, N., Bloem, R., Margaria, T.
المساهمون: Margaria, T.
المصدر: Margaria, T. (ed.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I, 290-306. Cham : Springer
STARTPAGE=290;ENDPAGE=306;ISSN=0302-9743;TITLE=Margaria, T. (ed.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
Margaria, T. (ed.), Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles: 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I, pp. 290-306مصطلحات موضوعية: Software Science
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f12e12811d170ae524f72f46937077c5
http://hdl.handle.net/2066/225791 -
10
المؤلفون: Kloen, P., Bloem, R. M.
المساهمون: Other Research, Orthopaedic Surgery
المصدر: IN DIT VERBAND, 20(april), 8-9
URL الوصول: https://explore.openaire.eu/search/publication?articleId=narcis______::e91e5260e2edb4fb11313ee87732f167
https://pure.amc.nl/en/publications/de-bonesetters(ebc976e2-6443-417e-9a1a-f6b239c5c83c).html