Zobrazeno 1 - 10
of 2 743
pro vyhledávání: '"Bos, A. van den"'
Autor:
Bert Laeyendecker
Publikováno v:
Religie & Samenleving, Vol 15, Iss 2 (2020)
Externí odkaz:
https://doaj.org/article/3badd584444449a0a4865a86bb25734d
This paper coins the notion of Joker games where Player 2 is not strictly adversarial: Player 1 gets help from Player 2 by playing a Joker. We formalize these games as cost games, and study their theoretical properties. Finally, we illustrate their u
Externí odkaz:
http://arxiv.org/abs/2304.13417
Autor:
Cortellessa, Gino, Stabile, Luca, Arpino, Fausto, Faleiros, David E., Bos, Wouter van den, Morawska, Lidia, Buonanno, Giorgio
Although close contact represents an important contagion route, the mechanism of exposure to exhaled droplets remains insufficiently characterized. In this study, an integrated risk assessment is presented for SARS-CoV-2 close contact exposure betwee
Externí odkaz:
http://arxiv.org/abs/2104.10934
Autor:
Ido P. Kema, Loes E. M. Kistemaker, Maarten van den Berge, Susan Nijboer-Brinksma, Sophie Bos, David J. Lamb, Mariska P. M. van den Berg, Reinoud Gosens, Martijn van Faassen
Publikováno v:
British Journal of Pharmacology. 177:4809-4809
The above article from the British Journal of Pharmacology, published online on May 20, 2020 in Wiley Online Library (http://wileyonlinelibrary.com) has been withdrawn due to a lack of full disclosure of the chemical structure of the novel TRPA1 anta
Autor:
Bos, Petra van den, Vaandrager, Frits
For Finite State Machines (FSMs) a rich testing theory has been developed to discover aspects of their behavior and ensure their correct functioning. Although this theory is widely used, e.g., to check conformance of protocol implementations, its app
Externí odkaz:
http://arxiv.org/abs/1907.11034
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.
Publikováno v:
EPTCS 277, 2018, pp. 118-132
We propose a generic game-based approach for test case generation. We set up a game between the tester and the System Under Test, in such a way that test cases correspond to game strategies, and the conformance relation ioco corresponds to alternatin
Externí odkaz:
http://arxiv.org/abs/1809.03098
Publikováno v:
EPTCS 56, 2011, pp. 15-32
Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in designing, implementing and using specification formalisms that are based
Externí odkaz:
http://arxiv.org/abs/1107.0064
Publikováno v:
European Journal of Social Psychology; Aug2023, Vol. 53 Issue 5, p984-1003, 20p, 2 Diagrams, 4 Charts, 5 Graphs