Browsing Department of Informatics by Title
Now showing items 226245 of 355

Parallel algorithms for computing kconnectivity
(The University of Bergen, 20170505)Master thesis 
Parallel algorithms for matching under preference
(The University of Bergen, 20170620)Master thesis 
Parallel Graph Algorithms for Combinatorial Scientific Computing
(The University of Bergen, 20110826)Doctoral thesis 
Parameterized complexity of Eulerian deletion problems
(Springer, 201401)We study a family of problems where the goal is to make a graph Eulerian, i.e., connected and with all the vertices having even degrees, by a minimum number of deletions. We completely classify the parameterized complexity ...Journal article 
Parameterized complexity of secluded connectivity problems
(Dagstuhl Publishing, 2015)The Secluded Path problem introduced by Chechik et al. in [ESA 2013] models a situation where a sensitive information has to be transmitted between a pair of nodes along a path in a network. The measure of the quality of ...Conference object 
Parameterized Graph Modification Algorithms
(The University of Bergen, 20151210)Graph modification problems form an important class of algorithmic problems in computer science. In this thesis, we study edge modification problems towards classes related to chordal graphs, with the main focus on trivially ...Doctoral thesis 
Parsing in a Broad Sense
(Springer, 2014)Having multiple representations of the same instance is common in software language engineering: models can be visualised as graphs, edited as text, serialised as XML. When mappings between such representations are considered, ...Chapter 
Passive Cryptanalysis of the UnConditionally Secure Authentication Protocol for RFID Systems
(The author, 2012)Recently, Alomair et al. proposed the first Un Conditionally Secure mutual authentication protocol for lowcost RFID systems(UCSRFID). The security of the UCSRFID relies on five dynamic secret keys which are updated at ...Conference object 
Perceptually Uniform Motion Space
(IEEE, 20140507)Flow data is often visualized by animated particles inserted into a flow field. The velocity of a particle on the screen is typically linearly scaled by the velocities in the data. However, the perception of velocity ...Journal article 
Phase Transition in a System of Random Sparse Boolean Equations
(Versita Open, 2012)Many problems, including algebraic cryptanalysis, can be transformed to a problem of solving a (large) system of sparse Boolean equations. In this article we study 2 algorithms that can be used to remove some redundancy ...Peer reviewedChapter 
A polynomialtime algorithm for LO based on generalized logarithmic barrier functions
(Academic Publications, 2008)Peer reviewedJournal article 
A polynomialtime solvable case for the NPhard problem Cutwidth
(The University of Bergen, 20140602)The Cutwidth problem is a notoriously hard problem, and its complexity is open on several interesting graph classes. Motivated by this fact we investigate the problem on superfragile graphs, a graph class on which the ...Master thesis 
Practical Aspects of the Graph Parameter Booleanwidth
(The University of Bergen, 20140818)Doctoral thesis 
Precrec: fast and accurate precisionrecall and ROC curve calculations in R
(Oxford University Press, 2017)The precision–recall plot is more informative than the ROC plot when evaluating classifiers on imbalanced datasets, but fast and accurate curve calculation tools for precision–recall plots are currently not available. We ...Journal article 
Predicting Gene Regulatory Elements in Silico on a Genomic Scale
(Cold Spring Harbor Laboratory Press, 19980518)We performed a systematic analysis of gene upstream regions in the yeast genome for occurrences of regular expressiontype patterns with the goal of identifying potential regulatory elements. To achieve this goal, we have ...Journal article 
Prediction and analysis of protein structure
(The University of Bergen, 20100419)This thesis, which contains an introduction and four manuscripts, summarises my efforts during my the past four years to understand proteins, their structure and dynamics. The first manuscript presents a protocol that ...Doctoral thesis 
Prediction of Polycomb/Trithorax Response Elements using Support Vector Machines
(The University of Bergen, 20130603)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 genomewide PRE prediction ...Master thesis 
A Pretty Good Formatting Pipeline
(Springer, 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. ...Chapter 
Program Transformations in Magnolia
(The University of Bergen, 20170711)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 ...Master thesis 
Programming Language Technology for Niche Platforms
(The University of Bergen, 20170303)Developers writing software for a niche platform are denied the luxury of a firstclass vendorsupported integrated development environment and a large community crafting platformtailored libraries, tools, and documentation. ...Doctoral thesis