• Prediction of Polycomb/Trithorax Response Elements using Support Vector Machines 

      Bredesen, Bjørn Andre (Master thesis, 2013-06-03)
      Polycomb/Trithorax Response Elements (PREs) are epigenetic elements that can maintain established transcriptional states over multiple cell divisions. Sequence motifs in known PREs have enabled genome-wide PRE prediction ...
    • Present-biased optimization 

      Fomin, Fedor; Fraigniaud, Pierre; Golovach, Petr (Journal article; Peer reviewed, 2022)
      This paper explores the behavior of present-biased agents, that is, agents who erroneously anticipate the costs of future actions compared to their real costs. Specifically, we extend the original framework proposed by ...
    • A Pretty Good Formatting Pipeline 

      Bagge, Anya Helene; Hasu, Tero (Lecture Notes in Computer Science; 8225, Chapter; Peer reviewed, 2013)
      Proper formatting makes the structure of a program apparent and aids program comprehension. The need to format code arises in code generation and transformation, as well as in normal reading and editing situations. Commonly ...
    • Privacy, Security, and Repair in Distributed Storage Systems 

      Kumar, Siddhartha (Doctoral thesis, 2018-10-17)
      We are living in the age of information where our lives are shaped by information and communication technologies. As a consequence, there is an explosion in the amount of generated data. Distribute storage systems (DSSs) ...
    • Probabilistic analysis on Macaulay matrices over finite fields and complexity of constructing Gröbner bases 

      Semaev, Igor A.; Tenti, Andrea (Journal article; Peer reviewed, 2021)
      Gröbner basis methods are used to solve systems of polynomial equations over finite fields, but their complexity is poorly understood. In this work an upper bound on the time complexity of constructing a Gröbner basis ...
    • Profiling of Small Ribosomal Subunits Reveals Modes and Regulation of Translation Initiation 

      Giess, Adam; Torres Cleuren, Yamila Nicole; Tjeldnes, Håkon; Krause, Maximilian; Bizuayehu, Teshome Tilahun; Hiensch, Senna; Okon, Aniekan; Wagner, Carlston; Valen, Eivind (Journal article; Peer reviewed, 2020)
      Translation initiation is often attributed as the rate-determining step of eukaryotic protein synthesis and key to gene expression control. Despite this centrality, the series of steps involved in this process is poorly ...
    • Program Transformations in Magnolia 

      Haugsbakk, Kristoffer (Master thesis, 2017-07-11)
      We explore program transformations in the context of the Magnolia programming language. We discuss research and implementations of transformation techniques, scenarios to put them to use in Magnolia, interfacing with ...
    • Programming Language Technology for Niche Platforms 

      Hasu, Tero (Doctoral thesis, 2017-03-03)
      Developers writing software for a niche platform are denied the luxury of a first-class vendor-supported integrated development environment and a large community crafting platform-tailored libraries, tools, and documentation. ...
    • Programming with Explicit Dependencies. A Framework for Portable Parallel Programming 

      Burrows, Eva (Doctoral thesis, 2011-05-23)
      Computational devices are rapidly evolving into massively parallel systems. Multicore processors are already standard; high performance processors such as the Cell/BE processor, graphics processing units (GPUs) ...
    • Projecting Art into Virtual Reality. Creating artistic scenes through parametrization utilizing a modern game-engine 

      Tistel, Runar (Master thesis, 2018-08-21)
      Recent advancements in virtual reality both on the hardware and software front have made high-quality virtual reality experiences both cheaper, and easier to obtain. This thesis aims to explore how virtual reality can be ...
    • Projective Simulation compared to reinforcement learning 

      Bjerland, Øystein Førsund (Master thesis, 2015-06-01)
      This thesis explores the model of projective simulation (PS), a novel approach for an artificial intelligence (AI) agent. The model of PS learns by interacting with the environment it is situated in, and allows for simulating ...
    • Proofs, Types and Lambda Calculus - datasets 

      Polonsky, Andrew (Data set, 2012-02-28)
    • Proposing an MILP-based method for the experimental verification of difference-based trails: application to SPECK, SIMECK 

      Sadeghi, Sadegh; Rijmen, Vincent Stefaan; Bagheri, Nasour (Journal article; Peer reviewed, 2021)
      Searching for the right pairs of inputs in difference-based distinguishers is an important task for the experimental verification of the distinguishers in symmetric-key ciphers. In this paper, we develop an MILP-based ...
    • Protease-dependent fractional mass and peptide properties 

      Barsnes, Harald; Eidhammer, Ingvar; Cruciani, Véronique; Mikalsen, Svein-Ole (Peer reviewed; Journal article, 2008-09-22)
      Mass spectrometric analyses of peptides mainly rely on cleavage of proteins with proteases that have a defined specificity. The specificities of the proteases imply that there is not a random distribution of amino acids ...
    • The Proteomics Identifications database: 2010 update 

      Vizcaíno, Juan Antonio; Côté, Richard G.; Reisinger, Florian; Barsnes, Harald; Foster, JM; Rameseder, Jonathan; Hermjakob, Henning; Martens, Lennart (Peer reviewed; Journal article, 2009-11-11)
      The Proteomics Identifications database (PRIDE, http://www.ebi.ac.uk/pride) at the European Bioinformatics Institute has become one of the main repositories of mass spectrometry-derived proteomics data. For the last 2 ...
    • Prototyping and Evaluation of an Event-Driven Microservice Architecture for Tunnel Control Systems 

      Halvorsen, Simon Indrebø; Follo, Øystein Hegglid (Master thesis, 2019-11-20)
    • QALM - a tool for automating quantitative analysis of LC-MS-MS/MS data 

      Lerøy, Kjartan (Master thesis, 2010-05-31)
      The goal of bioinformatics is to support science and research in the field of biology through the application of information technology. Proteomics is a field within biology that deals with the study of proteins. This paper ...
    • Quantitative Externalization of Visual Data Analysis Results Using Local Regression Models 

      Matkovic, Kresimir; Abraham, Hrvoje; Jelovic, Mario; Hauser, Helwig (Journal article; Peer reviewed, 2017)
      Both interactive visualization and computational analysis methods are useful for data studies and an integration of both approaches is promising to successfully combine the benefits of both methodologies. In interactive ...
    • Quantitative transcriptomics, and lipidomics in evaluating ovarian developmental effects in Atlantic cod (Gadus morhua) caged at a capped marine waste disposal site 

      Khan, Essa Ahsan; Zhang, Xiaokang; Hanna, Eileen Marie; Bartosova, Zdenka; Yadetie, Fekadu; Jonassen, Inge; Goksøyr, Anders; Arukwe, Augustine (Journal article; Peer reviewed, 2020)
      In the present study, a previously capped waste disposal site at Kollevåg (Norway) was selected to study the effects of contaminant leakage on biomarkers associated with Atlantic cod (Gadus morhua) reproductive endocrinology ...
    • Quantum social networks 

      Cabello, Adán; Danielsen, Lars Eirik; López-Tarrida, Antonio J.; Portillo, José R. (Peer reviewed; Journal article, 2012-06-27)
      We introduce a physical approach to social networks (SNs) in which each actor is characterized by a yes–no test on a physical system. This allows us to consider SNs beyond those originated by interactions based on pre-existing ...