Recently added

DSpace/Manakin Repository

Utrecht University Repository: Recent submissions

  • A Hurewicz Model Structure for Directed Topology 
    Krishnan, Sanjeevi; North, Paige Randall (arXiv, 2019-11-06)
    This paper constructs an h-model structure for diagrams of streams, locally preordered spaces. Along the way, the paper extends some classical characterizations of Hurewicz fibrations and closed Hurewicz cofibrations. The ...
  • Special Issue on Generating Realistic Visual Data of Human Behavior 
    Alameda-Pineda, Xavier; Ricci, Elisa; Salah, Albert Ali; Sebe, Nicu; Yan, Shuicheng (Springer Netherlands, 2020)
  • A Higher Structure Identity Principle 
    Ahrens, Benedikt; North, Paige Randall; Shulman, Michael; Tsementzis, Dimitris (arXiv, 2020-04-14)
    The ordinary Structure Identity Principle states that any property of set-level structures (e.g., posets, groups, rings, fields) definable in Univalent Foundations is invariant under isomorphism: more specifically, ...
  • Asymmetries of horses walking and trotting on treadmill with and without rider 
    Byström, Anna; Clayton, Hilary M; Hernlund, Elin; Roepstorff, Lars; Rhodin, Marie; Bragança, Filipe S; Engell, Maria Terese; van Weeren, René; Weishaupt, Michael A; Egenvall, Agneta (British Equine Veterinary Association, 2021-01)
    BACKGROUND: Left-right movement symmetry is a highly desirable characteristic in sport horses. OBJECTIVES: This study compared movement symmetry in well-trained dressage horses unridden and unrestrained, and ridden in a ...
  • Minimum Link Fencing 
    Bhore, Sujoy; Klute, Fabian; Löffler, Maarten; Nickel, Soeren; Nöllenburg, Martin; Villedieu, Anas (Dagstuhl Publishing, 2022)
    We study a variant of the geometric multicut problem, where we are given a set P of colored and pairwise interior-disjoint polygons in the plane. The objective is to compute a set of simple closed polygon boundaries (fences) ...
  • Time for a change: Reducing perceived waiting time by making it more active 
    van Nimwegen, Christof; van Rijn, Emiel (Association for Computing Machinery (ACM), 2022-10-04)
    When one has to wait for a system to respond this is mediated by spinners, progress bars, skeleton-screens and other means. This project studies experiencing longer waits along the lines of ”no activity” (progress bar), ...
  • Dynamic Data Structures for $k$-Nearest Neighbor Queries 
    Berg, Sarita de; Staals, Frank (arXiv, 2021-09-24)
    Our aim is to develop dynamic data structures that support $k$-nearest neighbors ($k$-NN) queries for a set of $n$ point sites in the plane in $O(f(n) + k)$ time, where $f(n)$ is some polylogarithmic function of $n$. The ...
  • Time swipes when you’re having fun: reducing perceived waiting time while making it more enjoyable 
    van Nimwegen, Christof; van Rijn, Emiel (Taylor and Francis Ltd., 2022-12-30)
    Waiting for a system to respond always will be a factor in human–computer interaction. This is deployed by spinners, progress bars, skeleton-screens and other means. This project studies experiencing longer waits along the ...
  • Intelligent lockdown, intelligent effects? The impact of the Dutch COVID-19 ‘intelligent lockdown’ on gendered work and family dynamics among parents 
    Yerkes, Mara A.; André, Stéfanie; Beckers, Debby G. J.; Besamusca, Janna; Kruyen, Peter Mathieu; Remery, Chantal; Zwan, Roos van der; Geurts, Sabine (OSFPREPRINTS, 2020-07-21)
  • Upward planar drawings with two slopes 
    Klawitter, Jonathan; Mchedlidze, Tamara (Brown University, 2022)
    In an upward planar 2-slope drawing of a digraph, edges are drawn as straight-line segments in the upward direction without crossings using only two different slopes. We investigate whether a given upward planar digraph ...
  • Quality of experience of 360 video – subjective and eye-tracking assessment of encoding and freezing distortions 
    Kasteren, Anouk van; Brunnström, Kjell; Hedlund, John; Snijders, Chris (Springer, 2022-03)
    The research domain on the Quality of Experience (QoE) of 2D video streaming has been well established. However, a new video format is emerging and gaining popularity and availability: VR 360-degree video. The processing ...
  • USTNet: Unsupervised Shape-to-Shape Translation via Disentangled Representations 
    Wang, Haoran; Li, Zheng; Telea, Alex; Kosinka, Jiri; Wu, Zizhao (Wiley-Blackwell, 2022)
    We propose USTNet, a novel deep learning approach designed for learning shape-to-shape translation from unpaired domains in an unsupervised manner. The core of our approach lies in disentangled representation learning that ...
  • Online Handbook of Argumentation for AI: Volume 3: Justification, Stability and Relevance for Transparent and Efficient Human-in-the-Loop Decision Support 
    Odekerken, Daphne (arXiv, 2022)
  • Towards a directed homotopy type theory 
    North, Paige Randall (arXiv, 2018-07-27)
    In this paper, we present a directed homotopy type theory for reasoning synthetically about (higher) categories, directed homotopy theory, and its applications to concurrency. We specify a new `homomorphism' type former ...
  • Isolation Schemes for Problems on Decomposable Graphs 
    Nederlof, Jesper; Pilipczuk, MichaŁ; Swennenhuis, Céline M. F.; Wegrzycki, Karol (Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbHSchloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022)
    The Isolation Lemma of Mulmuley, Vazirani and Vazirani [Combinatorica'87] provides a self-reduction scheme that allows one to assume that a given instance of a problem has a unique solution, provided a solution exists at ...
  • Kokborok and the simple-complex reflexive distinction 
    Roy, Gargi; Subbarao, K.V.; Kumar, Rajesh; Everaert, M.B.H. (John Benjamins, 2021-08)
    This paper presents an in-depth investigation of the binding strategies in Kokborok and we will look more specifically how this sheds light on the theories of reflexivization. Kokborok, a Tibeto-Burman language spoken in ...
  • Interactive image manipulation using morphological trees and spline-based skeletons 
    Wang, Jieying; Da Silva, Dennis; Kosinka, Jiří; Telea, Alex; Hashimoto, Roberto; Roerdink, Jos (Elsevier Limited, 2022-11)
    The ability to edit an image using intuitive commands and primitives is a desired feature for any image editing software. In this paper, we combine recent results in medial axes with the well-established morphological tree ...
  • Planning Support Science: challenges, themes and applications 
    Geertman, S.C.M.; Stillwell, J. (Edward Elgar Publishing, 2020)
    This introductory chapter has two main objectives. First, it acknowledges the rapidly changing world that we live in and summarises some of the mega trends, challenges and risks at different scales that provide the context ...
  • Semantics for two-dimensional type theory 
    Ahrens, Benedikt; North, Paige Randall; Weide, Niels van der (arXiv, 2022-01-25)
    We propose a general notion of model for two-dimensional type theory, in the form of comprehension bicategories. Examples of comprehension bicategories are plentiful; they include interpretations of directed type theory ...
  • Parameterized Complexity of Streaming Diameter and Connectivity Problems 
    Oostveen, Jelle; van Leeuwen, Erik Jan (arXiv, 2022-07-11)
    We initiate the investigation of the parameterized complexity of Diameter and Connectivity in the streaming paradigm. On the positive end, we show that knowing a vertex cover of size k allows for algorithms in the Adjacency ...