Zobrazeno 1 - 10
of 110
pro vyhledávání: '"P. Smetsers"'
Autor:
Myrthe M Swart, Ligaya Smetsers, Ivan Bautmans, Hugo Plácido da Silva, Merle Geerds, Rudi Tielemans, René Melis, Geeske Peeters
Publikováno v:
BMC Geriatrics, Vol 24, Iss 1, Pp 1-13 (2024)
Abstract Background Monitoring the recovery trajectory during and after hospitalization can be a valuable method to observe whether additional care is needed to optimize recovery. Hand grip strength tests are commonly used to measure an individual’
Externí odkaz:
https://doaj.org/article/1441eb1df36346eea97014bbd8f83301
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
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:
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
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:
Linard, Alexis, Smetsers, Rick, Vaandrager, Frits, Waqas, Umar, van Pinxten, Joost, Verwer, Sicco
A classical problem in grammatical inference is to identify a deterministic finite automaton (DFA) from a set of positive and negative examples. In this paper, we address the related - yet seemingly novel - problem of identifying a set of DFAs from e
Externí odkaz:
http://arxiv.org/abs/1706.01663
Autor:
Smetsers, Rick
The problem of learning a minimal consistent model from a set of labeled sequences of symbols is addressed from a satisfiability modulo theories perspective. We present two encodings for deterministic finite automata and extend one of these for Moore
Externí odkaz:
http://arxiv.org/abs/1705.10639
An ongoing challenge for learning algorithms formulated in the Minimally Adequate Teacher framework is to efficiently obtain counterexamples. In this paper we compare and combine conformance testing and mutation-based fuzzing methods for obtaining co
Externí odkaz:
http://arxiv.org/abs/1611.02429
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.