Browsing Institutt for informatikk by Title
Now showing items 13-32 of 3113
-
(Master thesis / Masteroppgave, 2018)The topic of this thesis is technical debt in concern to two IT projects from the Norwegian Meteorological Institute
-
(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 ...
-
(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 ...
-
(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 ...
-
(Doctoral thesis / Doktoravhandling, 2019)
-
(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 ...
-
(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 ...
-
(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 ...
-
(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, ...
-
(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. ...
-
(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 ...
-
(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, ...
-
(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 ...
-
(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 ...
-
(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 ...
-
(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 ...
-
(Chapter / Bokkapittel / AcceptedVersion; Peer reviewed, 2008)
-
(Research report / Forskningsrapport, 1995)“Abstraction” is used both for denoting relations in the problem domain of an information system, and for denoting relations inside software and hardware of a computer. This calls for a clarification of the concept, such ...
-
(Master thesis / Masteroppgave, 2015)We study the use of OpenGL ES to achieve hardware acceleration of nonlinear image transformations, in particular, performing fish-eye undistortion. We outline a hierarchy of transformations and describe interpolation ...
-
(Master thesis / Masteroppgave, 2015)Improving the overall computational time is one of the challenges in scientific computing today. Mathematical models and quantitative analysis techniques are used to solve a big specter of scientific problems. Numerical ...