Browsing Department of Informatics by Title
Now showing items 682-701 of 917
-
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 ... -
Rapid genome editing by CRISPR-Cas9-POLD3 fusion
(Journal article; Peer reviewed, 2021)Precision CRISPR gene editing relies on the cellular homology-directed DNA repair (HDR) to introduce custom DNA sequences to target sites. The HDR editing efficiency varies between cell types and genomic sites, and the ... -
RASflow: an RNA-Seq analysis workflow with Snakemake
(Journal article; Peer reviewed, 2020)Background With the cost of DNA sequencing decreasing, increasing amounts of RNA-Seq data are being generated giving novel insight into gene expression and regulation. Prior to analysis of gene expression, the RNA-Seq ... -
Rate and power allocation for discrete-rate link adaptation
(Peer reviewed; Journal article, 2008-01-09)Link adaptation, in particular adaptive coded modulation (ACM), is a promising tool for bandwidth-efficient transmission in a fading environment. The main motivation behind employing ACM schemes is to improve the spectral ... -
(Re)packing Equal Disks into Rectangle
(Journal article; Peer reviewed, 2022)The problem of packing of equal disks (or circles) into a rectangle is a fundamental geometric problem. (By a packing here we mean an arrangement of disks in a rectangle without overlapping.) We consider the following ... -
ReCodLiver0.9: Overcoming Challenges in Genome-Scale Metabolic Reconstruction of a Non-model Species
(Journal article; Peer reviewed, 2020-11)The availability of genome sequences, annotations, and knowledge of the biochemistry underlying metabolic transformations has led to the generation of metabolic network reconstructions for a wide range of organisms in ... -
Recognizing Proper Tree-Graphs
(Journal article; Peer reviewed, 2020)We investigate the parameterized complexity of the recognition problem for the proper H-graphs. The H-graphs are the intersection graphs of connected subgraphs of a subdivision of a multigraph H, and the properness means ... -
Recommendations for Identifying Valid Wear for Consumer-Level Wrist-Worn Activity Trackers and Acceptability of Extended Device Deployment in Children
(Journal article; Peer reviewed, 2022)Background: Self-reported physical activity is often inaccurate. Wearable devices utilizing multiple sensors are now widespread. The aim of this study was to determine acceptability of Fitbit Charge HR for children and ...