Browsing Institutt for informatikk by Title

Now showing items 13-32 of 3161

  • A Case Study on Technical DebtRestricted Access 
    Afzal, Zunaira (Master thesis / Masteroppgave, 2018)
    The topic of this thesis is technical debt in concern to two IT projects from the Norwegian Meteorological Institute
  • A Comparison of Computational Tools for Prediction of Cancer Driver Genes 
    Strekerud, Kristoffer (Master thesis / Masteroppgave, 2014)
    The significant improvements in throughput and quality of DNA sequencing technology have revolutionized our ability to identify the genetic sequence of human cells. High-throughput genome sequencing of tumor cells has ...
  • A Cost-Benefit Analysis of Accessibility Testing in Agile Software Development: Results from a Multiple Case Study 
    Bai, Aleksander; Mork, Heidi Camilla; Stray, Viktoria (Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2017)
    It is important to include accessibility testing in software development to ensure that the software developed is usable by as many people as possible, independent of their capabilities. Few guidelines exist on how to ...
  • A Crowd-Based Intelligence Approach for Measurable Security, Privacy, and Dependability in Internet of Automated Vehicles with Vehicular Fog 
    Rauniyar, Ashish; Hagos, Desta Haileselassie; Shrestha, Manish (Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2018)
    With the advent of Internet of things (IoT) and cloud computing technologies, we are in the era of automation, device-to-device (D2D) and machine-to-machine (M2M) communications. Automated vehicles have recently gained a ...
  • A Distributed Offloading Market for 5G Heterogeneous Networks 
    Kure, Endre Hegland; Maharjan, Sabita; Gjessing, Stein; Zhang, Yan (Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
    Concerns have been raised regarding the economical viability for each operator to have a full regional 5G coverage. A possible solution is to have traffic offloaded to competitors. In this work we present a new scheme for ...
  • A Higher-Level View of Ontological Modeling: Rule-Based Approaches for Data Transformation, Modeling, and Maintenance 
    Lupp, Daniel P. (Doctoral thesis / Doktoravhandling, 2019)
  • A modular reasoning system using uninterpreted predicates for code reuse 
    Din, Crystal Chang; Johnsen, Einar Broch; Owe, Olaf; Yu, Ingrid Chieh (Journal article / Tidsskriftartikkel / SubmittedVersion, 2018)
    This paper proposes a modular proof system based on uninterpreted predicates. The proposed proof system allows modular reasoning about programs with an open-world assumption, which goes beyond behavioral subtyping. The ...
  • A new family of proteins related to the HEAT-like repeat DNA glycosylases with affinity for branched DNA structures 
    Backe, Paul Hoff; Simm, Roger; Lærdahl, Jon Kristen; Dalhus, Bjørn; Fagerlund, Annette; Økstad, Ole Andreas Løchen; Rognes, Torbjørn; Alseth, Ingrun; Kolstø, Anne-Brit; Bjørås, Magnar (Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2013)
    The recently discovered HEAT-like repeat (HLR) DNA glycosylase superfamily is widely distributed in all domains of life. The present bioinformatics and phylogenetic analysis shows that HLR DNA glycosylase superfamily members ...
  • A privacy-preserving framework for outsourcing location-based services to the cloud 
    Zhu, Xiaojie; Erman, Ayday; Vitenberg, Roman (Journal article / Tidsskriftartikkel / SubmittedVersion, 2019)
    Thanks to the popularity of mobile devices numerous location-based services (LBS) have emerged. While several privacy-preserving solutions for LBS have been proposed, most of these solutions do not consider the fact that ...
  • A Programmable Hardware Calendar for High Resolution Pacing 
    Pontarelli, Salvatore; Bianchi, Giuseppe; Welzl, Michael (Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2018)
    The challenge addressed in this paper consists in offloading packet-based pacing to a hardware Network Interface Card, while retaining the flexibility of software timers. In this direction, we propose, design, implement, ...
  • A reconfigurable distributed CEP middleware for diverse mobility scenarios 
    Kamisinski, Piotr; Goebel, Vera Hermine; Plagemann, Thomas Peter (Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2013)
    Sensor nodes and complex event processing (CEP) are important and powerful means for gathering data and detecting phenomena of interest in mission-critical pervasive systems, e.g. for emergency and rescue operations. ...
  • A secrecy-preserving language for distributed and object-oriented systems 
    Ramezanifarkhani, Toktam; Owe, Olaf; Tokas, Shukun (Journal article / Tidsskriftartikkel / SubmittedVersion, 2018)
    In modern systems it is often necessary to distinguish between confidential (low-level) and non-confidential (high-level) information. Confidential information should be protected and not communicated or shared with low-level ...
  • A Survey and Comparison on Overlay-Underlay Mapping Techniques in Peer-to-Peer Overlay Networks 
    Ijaz, Humaira; Jameel, Bushra; Welzl, Michael (Journal article / Tidsskriftartikkel / SubmittedVersion, 2018)
    Peer‐to‐peer (P2P) overlay networks were developed initially for file sharing such as Napster and Gnutella; but later, they have become popular for content sharing, media streaming, telephony applications, etc. ...
  • A survey of protein interaction data and multigenic inherited disorders 
    Mora, Antonio; Michalickova, Katerina; Donaldson, Ian M (Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2013)
    Background Multigenic diseases are often associated with protein complexes or interactions involved in the same pathway. We wanted to estimate to what extent this is true given a consolidated protein ...
  • A systematic comparison of copy number alterations in four types of female cancer 
    Kaveh, Fatemeh; Baumbusch, Lars O; Nebdal, Daniel; Børresen-Dale, Anne-Lise; Lingjærde, Ole C; Edvardsen, Hege; Kristensen, Vessela N; Solvang, Hiroko K (Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2016)
    Background Detection and localization of genomic alterations and breakpoints are crucial in cancer research. The purpose of this study was to investigate, in a methodological and biological perspective, ...
  • A trajectory for technology-supported elderly care work 
    Woll, Anita (Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2018)
    To enable elderly people to live independently in their homes, the government aims to de-institutionalize elderly care services by upscaling home care services and care housing and downscaling long-term stays at nursing ...
  • A Two-tiered compensatory response to loss of DNA repair modulates aging and stress response pathways 
    Fensgård, Øyvind; Kassahun, Henok; Izabela Agnieszka, Bombik; Rognes, Torbjørn; Lindvall, Jessica Margareta; Nilsen, Hilde (Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2010)
    Activation of oxidative stress-responses and downregulation of insulin-like signaling (ILS) is seen in Nucleotide Excision Repair (NER) deficient segmental progeroid mice. Evidence suggests that this is a survival response ...
  • A universal assay for detection of oncogenic fusion transcripts by oligo microarray analysis 
    Skotheim, Rolf I; Thomassen, Gard O; Eken, Marthe; Lind, Guro E; Micci, Francesca; Ribeiro, Franclim R; Cerveira, Nuno; Teixeira, Manuel R; Heim, Sverre; Rognes, Torbjørn; Lothe, Ragnhild A (Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2009)
    Background The ability to detect neoplasia-specific fusion genes is important not only in cancer research, but also increasingly in clinical settings to ensure that correct diagnosis is made and the optimal ...
  • A Web Application for Editing Gene Panel Configurations 
    Bakken, Krister (Master thesis / Masteroppgave, 2018)
    For use in personalized medicine DNA sequences are processed into genetic variants which is then annotated for further use. In this process gene panels, lists of genes and corresponding values, are used as input to an ...
  • Abductive Reasoning with Uncertainty 
    Jøsang, Audun (Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2008)