Zobrazeno 1 - 10
of 116
pro vyhledávání: '"van Eekelen, Marko"'
Explaining predictions from Bayesian networks, for example to physicians, is non-trivial. Various explanation methods for Bayesian network inference have appeared in literature, focusing on different aspects of the underlying reasoning. While there h
Externí odkaz:
http://arxiv.org/abs/2110.01322
Reinforcement learning (RL) is one of the most active fields of AI research. Despite the interest demonstrated by the research community in reinforcement learning, the development methodology still lags behind, with a severe lack of standard APIs to
Externí odkaz:
http://arxiv.org/abs/2102.09824
Code that is highly optimized poses a problem for program-level verification: programmers can employ various clever tricks that are non-trivial to reason about. For cryptography on low-power devices, it is nonetheless crucial that implementations be
Externí odkaz:
http://arxiv.org/abs/2012.09919
Autor:
Hiep, Hans-Dieter A., Maathuis, Olaf, Bian, Jinting, de Boer, Frank S., van Eekelen, Marko, de Gouw, Stijn
As a particular case study of the formal verification of state-of-the-art, real software, we discuss the specification and verification of a corrected version of the implementation of a linked list as provided by the Java Collection framework. Keywor
Externí odkaz:
http://arxiv.org/abs/1911.04195
Autor:
van Eekelen, Marko, Frumin, Daniil, Geuvers, Herman, Gondelman, Léon, Krebbers, Robbert, Schoolderman, Marc, Smetsers, Sjaak, Verbeek, Freek, Viguier, Benoît, Wiedijk, Freek
We present twenty-five C programs, as a benchmark for C program verification using formal methods. This benchmark can be used for system demonstration, for comparison of verification effort between systems, and as a friendly competition. For this las
Externí odkaz:
http://arxiv.org/abs/1904.01009
Publikováno v:
In Artificial Intelligence In Medicine December 2022 134
Publikováno v:
EPTCS 248, 2017, pp. 24-37
Energy consumption analysis of IT-controlled systems can play a major role in minimising the overall energy consumption of such IT systems, during the development phase, or for optimisation in the field. Recently, a precise energy analysis was develo
Externí odkaz:
http://arxiv.org/abs/1705.00961
Autor:
Shkaravska, Olha, van Eekelen, Marko
Publikováno v:
In Journal of Symbolic Computation March-April 2021 103:22-45
Publikováno v:
EPTCS 62, 2011, pp. 17-29
One of the proposed solutions for improving the scalability of semantics of programming languages is Component-Based Semantics, introduced by Peter D. Mosses. It is expected that this framework can also be used effectively for modular meta theoretic
Externí odkaz:
http://arxiv.org/abs/1108.3125