Opin vísindi

Fletta eftir deild "Department of Computer Science (RU)"

Fletta eftir deild "Department of Computer Science (RU)"

Röðun: Raða: Niðurstöður:

  • Icon
    Enumeration of Permutation Classes and Weighted Labelled Independent Sets 
    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 ...
  • Icon
    Flying, phones and flu: Anonymized call records suggest that Keflavik International Airport introduced pandemic H1N1 into Iceland in 2009 
    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 ...
  • Icon
    Fraud Detection of Bulk Cargo Theft in Port Using Bayesian Network Models 
    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 ...
  • Icon
    iContractBot: A chatbot for smart contracts’ specification and code generation 
    Qasse, Ilham; Mishra, Shailesh; Hamdaqa, Mohammad (IEEE, 2021-06)
    Recently, Blockchain technology adoption has expanded to many application areas due to the evolution of smart contracts. However, developing smart contracts is non-trivial and challenging due to the lack of tools and expertise in this field. A promising ...
  • Icon
    Individualized blended care for patients with colorectal cancer: the patient’s view on informational support 
    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 ...
  • Icon
    Plotkin's call-by-value λ-calculus as a modal calculus 
    Espírito Santo, José; Pinto, Luís; Uustalu, Tarmo (Elsevier BV, 2022-06)
    In the authors' previous analysis of the calling paradigms call-by-name and call-by-value through Girard's and Gödel's embeddings into the S4 modal logic, an asymmetry remains: the two paradigms are unified by the call-by-box paradigm of the modal ...
  • Icon
    Rule Formats for Nominal Process Calculi 
    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 ...