Blar i Department of Informatics på tittel

Viser treff 826-845 av 1123

    • 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)

    • Properties of locally checkable vertex partitioning problems in digraphs 

      Daae, Petter (Master thesis, 2022-05-31)
      While, for undirected graphs, locally checkable vertex subset and partitioning problems have been studied extensively, the equivalent directed problems have not received nearly as much attention yet. We take a closer look ...

    • 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)

    • Prototyping and Evaluation of Sensor Data Integration in Cloud Platforms 

      Morlandstø, Marcus Korsnes (Master thesis, 2022-09-01)
      The SFI Smart Ocean centre has initiated a long-running project which consists of developing a wireless and autonomous marine observation system for monitoring of underwater environments and structures. The increasing ...

    • 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 Computing, how it is jeopardizing RSA, and Post-Quantum Cryptography 

      Fossen-Helle, Anna (Master thesis, 2020-12-19)
      Quantum computers are a fact and with the quantum computers follows quantum algorithms. How will quantum computing affect how we look at public-key cryptography? And more specifically: how will it affect the most widely ...

    • 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 ...

    • Quick but odd growth of cacti 

      Kolay, Sudeshna; Lokshtanov, Daniel; Panolan, Fahad; Saurabh, Saket (Peer reviewed; Journal article, 2015)
      Let F be a family of graphs. Given an input graph G and a positive integer k, testing whether G has a k-sized subset of vertices S, such that G\S belongs to F, is a prototype vertex deletion problem. These type of problems ...

    • Quick separation in chordal and split graphs 

      Misra, Pranabendu; Panolan, Fahad; Rai, Ashutosh; Saurabh, Saket; Sharma, Roohani (Journal article; Peer reviewed, 2020)
      In this paper we study two classical cut problems, namely Multicut and Multiway Cut on chordal graphs and split graphs. In the Multicut problem, the input is a graph G, a collection of 𝓁 vertex pairs (si, ti), i ∈ [𝓁], ...