Blar i Department of Informatics på tittel
Viser treff 820-839 av 1119
-
A Pretty Good Formatting Pipeline
(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
(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
(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 ... -
Processing and Fusion of Transport platooning sensor data
(Master thesis, 2022-06-01)In this thesis we are considering a data set which a group of researchers gathered, while conducting a transport platooning field experiment. We are assisting in the processing and fusion of the data, gathered during this ... -
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) -
Properties of locally checkable vertex partitioning problems in digraphs
(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
(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) -
Prototyping and Evaluation of Sensor Data Integration in Cloud Platforms
(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
(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 ...