Browsing Department of Informatics by Title
Now showing items 683-702 of 928
-
Probabilistic analysis on Macaulay matrices over finite fields and complexity of constructing Gröbner bases
(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
(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
(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
(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
(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
(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
(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
(Data set, 2012-02-28) -
Proposing an MILP-based method for the experimental verification of difference-based trails: application to SPECK, SIMECK
(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
(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
(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
(Master thesis, 2019-11-20) -
QALM - a tool for automating quantitative analysis of LC-MS-MS/MS data
(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
(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
(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
(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
(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
(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 ∈ [𝓁], ... -
Randomised Construction and Dynamic Decoding of LDPC Codes
(Master thesis, 2005-11-30) -
Rank vertex cover as a natural problem for algebraic compression
(Journal article; Peer reviewed, 2019)The question of the existence of a polynomial kernelization of the Vertex Cover Above LP problem was a long-standing, notorious open problem in parameterized complexity. Some years ago, the breakthrough work by Kratsch and ...