E-LIB Suche - Ergebnisse für: VAN EEKELEN, MARKO

1

Investigating the understandability of XAI methods for enha..:

Butz, Raphaela ; Schulz, Renée ; Hommersom, Arjen.
Artificial Intelligence in Medicine. 134 (2022) - p. 102438 , 2022

Link: https://doi.org/10.1016/..

2

A transfer learning approach to predict shipment descriptio..:

, In: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing,

Chen, Xi ; Bromuri, Stefano ; Van Eekelen, Marko - p. 1144-1147 , 2022

Link: https://dl.acm.org/doi/1..

3

Neural Machine Translation for Harmonized System Codes pred..:

, In: 2021 6th International Conference on Machine Learning Technologies,

Chen, Xi ; Bromuri, Stefano ; van Eekelen, Marko - p. 158-163 , 2021

Link: https://dl.acm.org/doi/1..

4

Efficient Verification of Optimized Code: Correct High-Spee..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Schoolderman, Marc ; Moerman, Jonathan ; Smetsers, Sjaak. - p. 304-321 , 2021

Link: https://doi.org/10.1007/..

5

Polynomial solutions of algebraic difference equations and ..:

Shkaravska, Olha ; van Eekelen, Marko
Journal of Symbolic Computation. 103 (2021) - p. 22-45 , 2021

Link: https://doi.org/10.1016/..

6

Sim-Env: Decoupling OpenAI Gym Environments from Simulation..:

, In: Lecture Notes in Computer Science; Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection,

Schuderer, Andreas ; Bromuri, Stefano ; van Eekelen, Marko - p. 390-393 , 2021

Link: https://doi.org/10.1007/..

7

Verifying OpenJDK's LinkedList using KeY:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Hiep, Hans-Dieter A. ; Maathuis, Olaf ; Bian, Jinting... - p. 217-234 , 2020

Link: https://doi.org/10.1007/..

8

Skylines for Symbolic Energy Consumption Analysis:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Klinik, Markus ; Gastel, Bernard van ; Kop, Cynthia. - p. 93-112 , 2020

Link: https://doi.org/10.1007/..

9

Is Deductive Program Verification Mature Enough to be Taugh..:

, In: Proceedings of the 8th Computer Science Education Research Conference,

Schoolderman, Marc ; Smetsers, Sjaak ; van Eekelen, Marko - p. 50-57 , 2019

Link: https://dl.acm.org/doi/1..

10

Improved Architectures/Deployments with Elmo:

, In: Lecture Notes in Computer Science; Service-Oriented Computing – ICSOC 2018 Workshops,

Lamers, Arjan ; van Eekelen, Marko ; Jongmans, Sung-Shik - p. 419-424 , 2019

Link: https://doi.org/10.1007/..

11

A Virtual Classroom for Cybersecurity Education:

, In: Transactions on Edutainment XV; Lecture Notes in Computer Science,

Haag, Jens ; Vranken, Harald ; van Eekelen, Marko - p. 173-208 , 2019

Link: https://doi.org/10.1007/..

12

Static Detection of Design Patterns in Class Diagrams:

, In: Proceedings of the 8th Computer Science Education Research Conference,

van Doorn, Ed ; Stuurman, Sylvia ; van Eekelen, Marko - p. 79-88 , 2019

Link: https://dl.acm.org/doi/1..

13

File Fragmentation in the Wild: a Privacy-Friendly Approach:

, In: 2019 IEEE International Workshop on Information Forensics and Security (WIFS),

van der Meer, Vincent ; Jonker, Hugo ; Dols, Guy... - p. 1-6 , 2019

Link: https://doi.org/10.1109/..

14

SOA and the Button Problem:

, In: Lecture Notes in Computer Science; Formal Methods – The Next 30 Years,

Jongmans, Sung-Shik ; Lamers, Arjan ; van Eekelen, Marko - p. 689-706 , 2019

Link: https://doi.org/10.1007/..

15

Evaluation of transaction authentication methods for online..:

Kiljan, Sven ; Vranken, Harald ; van Eekelen, Marko
Future Generation Computer Systems. 80 (2018) - p. 430-447 , 2018

Link: https://doi.org/10.1016/..