Opin vísindi

Browsing by Department "Tölvunarfræðideild (HR)"

Browsing by Department "Tölvunarfræðideild (HR)"

Sort by: Order: Results:

  • Cassar, Ian (2021-01)
    The ubiquitous reliance on software systems is increasing the need for ensuring their correctness. Runtime enforcement is a monitoring technique that uses moni- tors that can transform the actions of a system under scrutiny in order to alter its runtime ...
  • 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 ...
  • Halldórsson, Magnús M.; Konrad, Christian (Elsevier BV, 2020-04)
    We give a distributed (1+eps)-approximation algorithm for the minimum vertex coloring problem on interval graphs, which runs in the LOCAL model and operates in O((1/eps) log* n) rounds. If nodes are aware of their interval representations, then the ...
  • 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 ...
  • Halldórsson, Magnús M.; Holzer, Stephan; Markatou, Evangelia Anna; Lynch, Nancy (Elsevier BV, 2020-04)
    We consider the Leader Election Problem in the Signal-to-Interference-plusNoise-Ratio (SINR) model where nodes can adjust their transmission power. We show that in this setting it is possible to elect a leader in two communication rounds, with high ...
  • 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 ...
  • Jónsson, Kristján Valur (Háskólinn í Reykjavík, 2014-02-03)
    In-network aggregation is an important paradigm for current and future networked systems, enabling efficient cooperate processing of aggregate information, while providing sub-linear scalability properties. However, security of this important class of ...
  • Finnsson, Hilmar (Háskólinn í Reykjavík, 2012-06-25)
    The aim of General Game Playing (GGP) is to create intelligent agents that automatically learn how to play many different games at an expert level without any human intervention. One of the main challenges such agents face is to automatically learn ...