المؤلفون: Bernard van Gastel, Marko van Eekelen

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 248, Iss Proc. DICE-FOPARA 2017, Pp 24-37 (2017)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1705.00961v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/6f0f1ddeaf314c3bbe23993da0ef9893

المؤلفون: Ken Madlener, Sjaak Smetsers, Marko van Eekelen

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 62, Iss Proc. SOS 2011, Pp 17-29 (2011)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1108.3125v1; https://doaj.org/toc/2075-2180

URL الوصول: https://doaj.org/article/811c7b0a92d94eaf824429e6989a46d8

المؤلفون: Olha Shkaravska, Marko van Eekelen, Ron van Kesteren

المصدر: Logical Methods in Computer Science, Vol Volume 5, Issue 2 (2009)

مصطلحات موضوعية: computer science - logic in computer science, computer science - computational complexity, f.4.1, f.2.2, d.1.1, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/1148/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/c5db673548174126b3fc408c8a2fb586

المؤلفون: Raphaela Butz, Renée Schulz, Arjen Hommersom, Marko van Eekelen

المساهمون: RS-Research Program Towards High-Quality and Intelligent Software (THIS), Department of Computer Science, RS-Research Line Artificial intelligence (part of THIS program), RS-Research Line Resilience (part of LIRS program), RS-Research Line Software quality (part of THIS program)

المصدر: Artificial Intelligence in Medicine, 134:102438. Elsevier
Artificial Intelligence in Medicine, 134, pp. 1-12
Butz, R, Schulz, R, Hommersom, A & van Eekelen, M 2022, ' Investigating the understandability of XAI methods for enhanced user experience : When Bayesian network users became detectives ', Artificial Intelligence in Medicine, vol. 134, 102438 . https://doi.org/10.1016/j.artmed.2022.102438
Artificial Intelligence in Medicine, 134, 1-12

مصطلحات موضوعية: Bayesian networks, User experience, Artificial Intelligence, Physicians, Explainable AI, Software Science, Medicine (miscellaneous), Humans, Bayes Theorem

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::926f1b19684864d2606f6f50ffb8ad12
https://research.ou.nl/en/publications/ca433676-ab08-4726-b8ae-54932ae7211d

المؤلفون: Xi Chen, Stefano Bromuri, Marko Van Eekelen

المساهمون: Hong, J.

المصدر: Hong, J. (ed.), SAC '22: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event April 25-29, 2022, pp. 1144-1147

مصطلحات موضوعية: Digital Security

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3139ae52fe1eb6625795d67cc32078c7
https://repository.ubn.ru.nl/handle/2066/250773

المؤلفون: Marko van Eekelen, Stefano Bromuri, Xi Chen

المصدر: 2021 6th International Conference on Machine Learning Technologies.

مصطلحات موضوعية: Machine translation, Process (engineering), Computer science, business.industry, Deep learning, Declaration, Volume (computing), computer.software_genre, Categorization, Code (cryptography), Data set (IBM mainframe), Artificial intelligence, Data mining, business, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d5b61fe86f14ea8fe9353c44758542ab
https://doi.org/10.1145/3468891.3468915

المؤلفون: Stefano Bromuri, Marko van Eekelen, Andreas Schuderer

المصدر: Lecture Notes in Computer Science ISBN: 9783030857387
PAAMS

مصطلحات موضوعية: Computer science, business.industry, Simulation modeling, Domain model, Decoupling (cosmology), Reuse, Machine learning, computer.software_genre, Workflow, Code (cryptography), Reinforcement learning, Artificial intelligence, business, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::adef57eaffc1a1e9ef6948e95aac7cb9
https://doi.org/10.1007/978-3-030-85739-4_39

المؤلفون: Marko van Eekelen, Olha Shkaravska

المساهمون: RS-Research Line Software quality (part of THIS program), Department of Computer Science

المصدر: Journal of Symbolic Computation, 103, 22-45
Shkaravska, O & van Eekelen, M 2021, ' Polynomial solutions of algebraic difference equations and homogeneous symmetric polynomials ', Journal of Symbolic Computation, vol. 103, pp. 22-45 . https://doi.org/10.1016/j.jsc.2019.10.022
Journal of Symbolic Computation
Journal of Symbolic Computation, 103, pp. 22-45
Journal of Symbolic Computation, 103, 22-45. ACADEMIC PRESS LTD-ELSEVIER SCIENCE LTD

مصطلحات موضوعية: Polynomial, Algebra and Number Theory, Power-sum symmetric polynomial, 010102 general mathematics, Zero (complex analysis), Field (mathematics), 010103 numerical & computational mathematics, Quadratic function, 01 natural sciences, Combinatorics, Homogeneous symmetric polynomial, Computational Mathematics, Symmetric polynomial, Algebraic difference equation, Degree of a polynomial, 0101 mathematics, Algebraic number, Digital Security, Variable (mathematics), Mathematics, Partition

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b46fb054e615194a432fa2c3e2207ea8
http://hdl.handle.net/2066/225737

المؤلفون: Stefano Bromuri, Koen Weterings, Marko van Eekelen, Shir-Lee Kimelman

المساهمون: Arif Wani, M.

المصدر: Arif Wani, M. (ed.), ICMLA 2020: 19th IEEE International Conference on Machine Learning and Applications, 14–17 December 2020 Virtual Event. Proceedings, 336-343. New York : IEEE
STARTPAGE=336;ENDPAGE=343;TITLE=Arif Wani, M. (ed.), ICMLA 2020: 19th IEEE International Conference on Machine Learning and Applications, 14–17 December 2020 Virtual Event. Proceedings
Arif Wani, M. (ed.), ICMLA 2020: 19th IEEE International Conference on Machine Learning and Applications, 14–17 December 2020 Virtual Event. Proceedings, pp. 336-343
ICMLA

مصطلحات موضوعية: Focus (computing), business.industry, Computer science, 05 social sciences, Customer interaction, 010501 environmental sciences, Machine learning, computer.software_genre, 01 natural sciences, Data modeling, 0502 economics and business, 050211 marketing, Artificial intelligence, Digital Security, business, computer, Tertiary sector of the economy, 0105 earth and related environmental sciences

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d25d2314eef75cca825501cc461dac79
http://hdl.handle.net/2066/231325

المؤلفون: Cynthia Kop, Bernard van Gastel, Markus Klinik, Marko van Eekelen

المصدر: Formal Methods for Industrial Critical Systems ISBN: 9783030582975
FMICS

مصطلحات موضوعية: Skyline, Consumption (economics), 050101 languages & linguistics, Source code, Maximum power principle, Computer science, media_common.quotation_subject, Distributed computing, 05 social sciences, 02 engineering and technology, Energy consumption, Static analysis, Symbolic execution, Imperative programming, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, media_common

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2a1a94097451491e9877aa4bec57a968
https://doi.org/10.1007/978-3-030-58298-2_3