Recently added

DSpace/Manakin Repository

Utrecht University Repository: Recent submissions

  • A survey of local-global methods for Hilbert's Tenth Problem 
    Anscombe, Sylvy; Karemaker, Valentijn; Kisakürek, Zeynep; Mehmeti, Vlerë; Pagano, Margherita; Paladino, Laura (2023-09-26)
    Hilbert's Tenth Problem (H10) for a ring R asks for an algorithm to decide correctly, for each $f\in\mathbb{Z}[X_{1},\dots,X_{n}]$, whether the diophantine equation $f(X_{1},...,X_{n})=0$ has a solution in R. The celebrated ...
  • Hooke and Coulomb Energy of Tripod Spiders 
    Khimshiashvili, Giorgi; Siersma, Dirk (arXiv, 2023-01-23)
    Tripod spiders are the simplest examples of arachnoid mechanisms. Their workspaces and configuration spaces are well known. For Hooke potential, we give a complete description of the Morse theory and treat the robust control ...
  • The Univalence Principle 
    Ahrens, Benedikt; North, Paige Randall; Shulman, Michael; Tsementzis, Dimitris (arXiv, 2021-02-11)
    The Univalence Principle is the statement that equivalent mathematical structures are indistinguishable. We prove a general version of this principle that applies to all set-based, categorical, and higher-categorical ...
  • Algebraic Presentations of Dependent Type Theories 
    Ahrens, Benedikt; Emmenegger, Jacopo; North, Paige Randall; Rijke, Egbert (arXiv, 2021-11-18)
    C-systems were defined by Cartmell as models of generalized algebraic theories. B-systems were defined by Voevodsky in his quest to formulate and prove an initiality conjecture for type theories. They play a crucial role ...
  • Partial parametrized presentability and the universal property of equivariant spectra 
    Cnossen, Bastiaan; Lenz, Tobias; Linskens, Sil (arXiv, 2023-07-20)
    We introduce a notion of partial presentability in parametrized higher category theory and investigate its interaction with the concepts of parametrized semiadditivity and stability from arXiv:2301.08240. In particular, ...
  • Simplicial $*$-modules and mild actions 
    Lenz, Tobias; Schröter, Anna Marie (arXiv, 2023-07-20)
    We develop an analogue of the theory of $*$-modules in the world of simplicial sets, based on actions of a certain simplicial monoid $E\mathcal M$ originally appearing in the construction of global algebraic $K$-theory. ...
  • Amplifying Artists’ Voices: Item Provider Perspectives on Influence and Fairness of Music Streaming Platforms 
    Dinnissen, Karlijn; Bauer, Christine (Association for Computing Machinery, 2023-06-18)
    The majority of music consumption nowadays takes place on music streaming platforms. Whichever artists, albums, or songs are exposed to consumers on these platforms therefore greatly influences what music is ultimately ...
  • How Control and Transparency for Users Could Improve Artist Fairness in Music Recommender Systems 
    Dinnissen, Karlijn; Bauer, Christine (ISMIR press, 2023-11-05)
    As streaming services have become a main channel for music consumption, they significantly impact various stakeholders: users, artists who provide music, and other professionals working in the music industry. Therefore, ...
  • Parametrized Gradual Semantics Dealing with Varied Degrees of Compensation 
    Doder, Dragan; Amgoud, Leila; Vesic, Srdjan (ijcai.org, 2023)
    Compensation is a strategy that a semantics may follow when it faces dilemmas between quality and quantity of attackers. It allows several weak attacks to compensate one strong attack. It is based on compensation degree, ...
  • Preregistration of Studies with Existing Data 
    Mertens, G.; Krypotos, A.M. (Springer, 2022-10-14)
    Preregistration of research plans is becoming an increasingly popular and common tool to enhance the transparency of a study’s methodology. In a preregistration, researchers document their research plans and register them ...
  • Prospect Theory and Political Decision Making 
    Vieider, Ferdinand; Vis, B. (Oxford University PressOxford University Press, 2019)
    Prospect theory—a psychologically founded account of decision making under risk and uncertainty—revolutionized how economists and, later, political scientists thought about decision making under uncertainty. Conceptually, ...
  • Combatting Child Smuggling and Trafficking: A Comparative Study of the Situation in Nine European States 
    Rajska, D.M. (Intersentia, 2020-04)
  • The (Braided) Documentary Voice: Theorising the Complexities of Documentary Making 
    Sanders, W.; Nash, Kate (Palgrave Macmillan, 2019-11-27)
    Voice has long served as a metaphor for documentary authorship, but it has become increasingly clear that it fails to account for the complexities of production and the different kinds of ‘braided’ voices that emerge ...
  • The ‘Social Warfare State’: Americans’ making of a civic generation 
    Compton, M.E. (Oxford Univeristy Press, 2019-09)
    The Serviceman’s Readjustment Act of 1944, also called the GI Bill or the ‘New Deal for Veterans’, constituted one of the most expansive social policies in US history. In one deft move, a bi-partisan coalition passed a ...
  • Example-based Skin Wrinkle Displacement Maps 
    Vanderfeesten, R.G.F.P.; Bikker, J. (IEEE, 2019-01-17)
    We present an algorithm for generating procedural displacement maps for wrinkle patterns measured from photographs or scans. These displacement maps can contain wrinkle patterns that appear at the meso- and microscale, and ...
  • Discretion from a psychological perspective 
    Tummers, L.G.; Bekkers, V. (Palgrave Macmillan, 2019-09-02)
    Street-level bureaucrats – such as teachers, social workers and police officers – have to implement public policies. However, they are not simple machines implementing rules, but have opportunities to make their own ...
  • Solidarity Economy in Brazil: Towards Institutionalization of Sharing and Agroecological Practices 
    Otsuki, K.; de Castro, Fábio (SpringerSpringer, 2019-08-30)
    Solidarity economy is often focused on autonomous initiatives outside the regular market system. In Brazil, the leftist national government during the 2000s has supported a number of solidarity economy initiatives by ...
  • Theoretical analysis of beaconless geocast protocols in 1D 
    Gudmundsson, Joachim; Kostitsyna, Irina; Löffler, Maarten; Müller, Tobias; Sacristán, Vera; Silveira, Rodrigo I. (SIAM, 2018)
    Beaconless geocast protocols are routing protocols used to send messages in mobile ad-hoc wireless networks, in which the only information available to each node is its own location. Messages get routed in a distributed ...
  • Capability Support for Entrepreneurial Ventures 
    España, Sergio; Koç, Hasan; Ruiz, Marcela; Pastor, Óscar (Springer, 2018-08-09)
    The chapter presents the use of capability design for start-ups and entrepreneurial ventures. Newly started companies typically need to sharpen their business idea. The use of capability thinking in some pilot cases turned ...
  • Armed Groups and the DoD Manual: Shining a Light on Overlooked Issues 
    Fortin, K.M.A. (Cambridge University Press, 2019)
    This chapter focuses on how the DoD Manual addressses the place of armed groups in the legal framework. In doing so, the chapter focuses on four issues not analysed elsewhere in the manual (i) how the manaual conceives ...