Recently added

DSpace/Manakin Repository

Utrecht University Repository: Recent submissions

  • The XTC Store: An ‘Experiential’ Public Survey 
    Di Quadros Rigoni, Rafaela; Busz, Machteld; Zaitch, Damian; Snelders, Stephen; Van Diepen, Guido (Poppi Drugs Museum, 2023-06)
    In 2022, Poppi Drug Museum and researchers from Utrecht University evaluated the societal responses to three scenarios of regulated sales of MDMA through a unique public survey: an ‘XTC store’ in the heart of Utrecht. This ...
  • Opium Distribution in Amsterdam from Legal to Illegal: The Spatial Effects on Port and City 
    Snelders, Stephen; Van den brink, Thomas (2022-11)
    In the Netherlands, opium changed from a legal medicinal drug widely used in Amsterdam up until the twentieth century in an illegal drug primarily consumed by Chinese immigrants after 1920, the year in which its production ...
  • Resources and Governance in Sierra Leone’s Civil War 
    Voors, Maarten J.; van der Windt , Peter; Papaioannou, Kostadis J.; Bulte, Erwin (Routledge, 2017-02-01)
    We empirically investigate the role of natural resources, and governance in explaining variation in the intensity of conflict during the 1991–2002 civil war in Sierra Leone. As a proxy for governance quality we exploit ...
  • Having fun in learning formal specifications 
    Prasetya, I. S. W. B.; Leek, Craig Q. H. D.; Melkonian, Orestis; Tusscher, Joris ten; Bergen, Jan van; Everink, J. M.; Klis, Thomas van der; Kostic, Petar; Meijerink, Rick; Oosenbrug, Roan; Oostveen, Jelle J.; Pol, Tijmen van den; Vries, Mike de; Zon, Wink M. van (Institute of Electrical and Electronics Engineers Inc., 2019-03-01)
    There are many benefits in providing formal specifications for our software. However, teaching students to do this is not always easy as courses on formal methods are often experienced as dry by students. This paper presents ...
  • Navigation and Exploration in 3D-Game Automated Play Testing 
    Prasetya, I. S. W. B.; Voshol, Maurin; Tanis, Tom; Smits, Adam; Smit, Bram; Mourik, Jacco van; Klunder, Menno; Hoogmoed, Frank; Hinlopen, Stijn; Casteren, August van; Berg, Jesse van de; Prasetya, Naraenda G. W. Y.; Shirzadehhajimahmood, Samira; Ansari, Saba Gholizadeh (2020-09-15)
    To enable automated software testing, the ability to automatically navigate to a state of interest and to explore all, or at least sufficient number of, instances of such a state is fundamental. When testing a computer ...
  • Which turn to take? Teachers’ Use of Translanguaging in Foreign Language Classrooms 
    Smit, Nienke; Holtman, Jornt S.; Lowie, Wander; Van Dijk, Marijn; Verspoor, Marjolijn (2023-06)
    Pedagogical translanguaging, the planned, deliberate, and flexible use of two or more languages in the same lesson, is a highly recommended practice in the foreign language (L2) classroom, but thus far there are no ...
  • An Agent-based Architecture for AI-Enhanced Automated Testing for XR Systems, a Short Paper 
    Prasetya, I. S. W. B.; Shirzadehhajimahmood, Samira; Ansari, Saba Gholizadeh; Fernandes, Pedro; Prada, Rui (arXiv, 2021-04-13)
    This short paper presents an architectural overview of an agent-based framework called iv4XR for automated testing that is currently under development by an H2020 project with the same name. The framework's intended main ...
  • A Subquadratic nε-approximation for the Continuous Fréchet Distance 
    van der Horst, Thijs; van Kreveld, Marc; Ophelders, Tim; Speckmann, Bettina (SIAM, 2023)
    The Fréchet distance is a commonly used similarity measure between curves. It is known how to compute the continuous Fréchet distance between two polylines with m and n vertices in ℝd in O(mn(log log n)2) time; doing so ...
  • Arguments, rules and cases in law: Resources for aligning learning and reasoning in structured domains 
    Steging, Cor; Renooij, Silja; Verheij, Bart; Bench-Capon, Trevor (Taylor and Francis Ltd., 2023-06-07)
    This paper provides a formal description of two legal domains. In addition, we describe the generation of various artificial datasets from these domains and explain the use of these datasets in previous experiments aligning ...
  • Bayesian network conflict detection for normative monitoring of black-box systems 
    Onnes, Annet; Dastani, Mehdi; Renooij, Silja (Florida Online Journals, 2023-05)
    Bayesian networks are interpretable probabilistic models that can be constructed from both data and domain knowledge. They are applied in various domains and for different tasks, including that of anomaly detection, for ...
  • Efficient search for relevance explanations using MAP-independence in Bayesian networks 
    Valero-Leal, Enrique; Bielza, Concha; Larranaga, Pedro; Renooij, Silja (Elsevier, 2023-09)
    [Formula presented]-independence is a novel concept concerned with explaining the (ir)relevance of intermediate nodes for maximum a posteriori ([Formula presented]) computations in Bayesian networks. Building upon properties ...
  • Structure-activity relationships of oligocationic, ammonium-functionalized triarylphosphines as ligands in the Pd-catalyzed suzuki-miyaura reaction 
    Snelders, D.J.M.; van der Burg, C.; Lutz, M.; Spek, A.L.; van Koten, G.; Klein Gebbink, R.J.M. (Wiley - VCH Verlag GmbH & CO. KGaA, 2010)
    A series of oligocationic triarylphosphine ligands, containing a varying number (from 2 to 6) of meta-ammoniomethyl substituents, have been synthesized, characterized, and tested as ligands in the Pd-catalyzed Suzuki–Miyaura ...
  • Let’s Talk About The Experienced Context: An Example Regarding Public Transport Information Systems 
    Kasteren, Anouk Van; Vredenborg, Marloes (Association for Computing Machinery (ACM), 2023-06-16)
    This position paper aims to encourage researchers in the field of context-aware public transport information systems to incorporate human-centred approaches more deeply into their methodologies. Current context-aware systems ...
  • The Teacher's Turn: Teachers’ Perceptions Of Observed Patterns Of Classroom Interaction 
    Smit, Nienke; Van Dijk, Marijn; de Bot, Kees; Lowie, Wander (Springer, 2023-06-27)
    Insight in the way verbal teacher-student classroom interaction unfolds during the language lesson is of crucial importance for effective teaching. Although classroom observational research is indispensable, it is unable ...
  • Model- and data-agnostic justifications with a fortiori case-based argumentation 
    Peters, Joeri; Bex, Floris; Prakken, Henry (Association for Computing Machinery (ACM), 2023-09-07)
    AF-CBA is an example-based approach to XAI that draws on the case-based argumentation tradition in AI & Law. It means to explain binary classifications made by an opaque machine-learning model by presenting an argument ...
  • An Online Agent-Based Search Approach in Automated Computer Game Testing with Model Construction 
    Shirzadehhajimahmood, Samira; Prasetya, I. S. W. B.; Dignum, Frank; Dastani, Mehdi (arXiv, 2022-11-13)
    The complexity of computer games is ever increasing. In this setup, guiding an automated test algorithm to find a solution to solve a testing task in a game's huge interaction space is very challenging. Having a model of ...
  • An online agent-based search approach in automated computer game testing with model construction 
    Shirzadehhajimahmood, Samira; Prasetya, I. S.W.B.; Dignum, Frank; Dastani, Mehdi (Association for Computing Machinery (ACM), 2022-11-07)
    The complexity of computer games is ever increasing. In this setup, guiding an automated test algorithm to find a solution to solve a testing task in a game's huge interaction space is very challenging. Having a model of ...
  • An Agent-based Approach to Automated Game Testing: an Experience Report 
    Prasetya, I. S. W. B.; Ricós, Fernando Pastor; Kifetew, Fitsum; Prandi, Davide; Shirzadeh-hajimahmood, Samira; Vos, Tanja E. J.; Paska, Premysl; Hovorska, Karel; Ferdous, Raihana; Susi, Angelo; Davidson, Joseph (arXiv, 2022-11-11)
    Computer games are very challenging to handle for traditional automated testing algorithms. In this paper we will look at intelligent agents as a solution. Agents are suitable for testing games, since they are reactive and ...
  • An agent-based approach to automated game testing: An experience report 
    Prasetya, I. S.W.B.; Pastor Ricós, Fernando; Kifetew, Fitsum Meshesha; Prandi, Davide; Shirzadehhajimahmood, Samira; Vos, Tanja E.J.; Paska, Premysl; Hovorka, Karel; Ferdous, Raihana; Susi, Angelo; Davidson, Joseph (Association for Computing Machinery (ACM), 2022-11-07)
    Computer games are very challenging to handle for traditional automated testing algorithms. In this paper we will look at intelligent agents as a solution. Agents are suitable for testing games, since they are reactive and ...
  • Host genotype affects endotoxin release in excreta of broilers at slaughter age 
    Marcato, F; Rebel, J M J; Kar, S K; Wouters, I M; Schokker, D; Bossers, A; Harders, F; van Riel, J W; Wolthuis-Fillerup, M; de Jong, I C (Frontiers Media S.A., 2023-06-08)
    Host genotype, early post-hatch feeding, and pre- and probiotics are factors known to modulate the gut microbiome. However, there is a knowledge gap on the effect of both chicken genotype and these dietary strategies and ...