Opin vísindi

Browsing Háskólinn í Reykjavík by Department "Department of Computer Science (RU)"

Browsing Háskólinn í Reykjavík by Department "Department of Computer Science (RU)"

Sort by: Order: Results:

  • Bean, Christian; Nadeau, Emile; Úlfarsson, Henning Arnór (DIiscrete Mathematics Theoretical Computer Science, 2021-03)
    In this paper, we study the staircase encoding of permutations, which maps a permutation to a staircase grid with cellsfilled with permutations. We consider many cases, where restricted to a permutation class, the staircase encoding be-comes a bijection ...
  • Kishore, Nishant; Mitchell, Rebecca; Lash, Timothy L.; Reed, Carrie; Danon, Leon; Sigmundsdóttir, Guðrún; Vigfusson, Ymir (Wiley, 2019-11-09)
    Background Data collected by mobile devices can augment surveillance of epidemics in real time. However, methods and evidence for the integration of these data into modern surveillance systems are sparse. We linked call detail records (CDR) with an ...
  • Song, Rongjia; Huang, Lei; Cui, Weiping; Óskarsdóttir, María; Vanthienen, Jan (MDPI AG, 2020-02-05)
    The fraud detection of cargo theft has been a serious issue in ports for a long time. Traditional research in detecting theft risk is expert- and survey-based, which is not optimal for proactive prediction. As we move into a pervasive and ubiquitous ...
  • Islind, Anna Sigridur; Johansson, Victoria; Vallo Hult, Helena; Alsén, Pia; Andreasson, Emma; Angenete, Eva; Gellerstedt, Martin (Springer Science and Business Media LLC, 2020-10-12)
    Purpose The number of colorectal cancer patient survivors is increasing. Information and support during and after treatment are requested by patients, but questions remain on what to provide. The aim of this study was to understand what informational ...
  • Aceto, Luca; Fabregas, Ignacio; Garcia-Perez, Alvaro; Ingolfsdottir, Anna; Ortega-Mallen, Yolanda (2019-10-14)
    The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule formats for the specifications ...