Browsing Department of Informatics by Title
Now showing items 120 of 415

A 43k Kernel for Planar Dominating Set using ComputerAided Reduction Rule Discovery
(The University of Bergen, 20160215)In this thesis we explore the technique of Region Decomposition for finding kernels for Planar Dominating Set. We redefine some concepts used in earlier work, fixing some ambiguities on the way. From those concepts we ...Master thesis 
Abstractions for LanguageIndependent Program Transformations
(The University of Bergen, 20070627)Doctoral thesis 
Additive Schwarz preconditioner for the finite volume element discretization of symmetric elliptic problems
(Springer Netherlands, 20150925)A symmetric and a nonsymmetric variant of the additive Schwarz preconditioner are proposed for the solution of a class of finite volume element discretization of the symmetric elliptic problem in two dimensions, with large ...Journal article 
Algebraic Attack on Small Scale Variants of AES using Compressed Right Hand Sides
(The University of Bergen, 20180407)The Advanced Encryption Standard is probably the most used symmetric encryption cipher in use today, which makes it particularly interesting for cryptanalysis. This thesis attacks smallscale variants of AES through a ...Master thesis 
Algorithms for Linearly Ordered Boolean Formulas
(The University of Bergen, 20160630)This thesis considers a class of propositional boolean formulas on which various problems related to satisfiability are efficiently solvable by a dynamic programming algorithm. It mainly consists of two larger parts: the ...Master thesis 
Aligning a Splice Graph to a Genomic Sequence
(The University of Bergen, 20050601)Master thesis 
Analysis of Trivium Using Compressed Right Hand Side Equations
(Springer Berlin Heidelberg, 2012)We study a new representation of nonlinear multivariate equations for algebraic cryptanalysis. Using a combination of multiple right hand side equations and binary decision diagrams, our new representation allows a ...Peer reviewedChapter 
An Approach to Flexible Multilevel Modelling
(German Informatics Society (GI), 20180712)Multilevel modelling approaches tackle issues related to lack of flexibility and mixed levels of abstraction by providing features like deep modelling and linguistic extension. However, the lack of a clear consensus on ...Journal article 
Approximating Acyclicity Parameters of Sparse Hypergraphs
(Dagstuhl Publishing, 2009)The notions of hypertree width and generalized hypertree width were introduced by Gottlob, Leone, and Scarcello (PODS'99, PODS'01) in order to extend the concept of hypergraph acyclicity. These notions were further generalized ...Conference object 
Arrangement Problems Parameterized by Neighbourhood Diversity
(The University of Bergen, 20181219)We show that the arrangement problems BANDWIDTH, DISTORTION and IMBALANCE is FPT when parameterized by neighbourhood diversity, and establish some structural results for CUTWIDTH parameterized by neighbourhood diversity.Master thesis 
Assessing and Mitigating Risks in Computer Systems
(The University of Bergen, 20080926)When it comes to nontrivial networked computer systems, bulletproof security is very hard to achieve. Over a system's lifetime new security risks are likely to emerge from e.g. newly discovered classes of vulnerabilities ...Doctoral thesis 
The Atlantic salmon genome provides insights into rediploidization
(Nature Publishing Group, 201605)The wholegenome duplication 80 million years ago of the common ancestor of salmonids (salmonidspecific fourth vertebrate wholegenome duplication, Ss4R) provides unique opportunities to learn about the evolutionary fate ...Journal article 
An Atlas of the Human uORFome and its Regulation across Tissues
(The University of Bergen, 20180619)Upstream open reading frames (uORFs) are in frame start and stop codons starting in the 5’ leader of mRNAs. They have been found to regulate gene expression, primarily through translational inhibition by hindering ribosomes ...Master thesis 
Automatic Differentiation of Third Order Derivatives using Forward Mode in C++
(The University of Bergen, 20090107)Automatic differentiation of third order derivatives is implemented in C++. The implementation uses uses objectorientation and operator overloading to perform the differentiation. A short introduction to operator ...Master thesis 
Automatic interpretation of otoliths using deep learning
(Public Library of Science, 20181217)The age structure of a fish population has important implications for recruitment processes and population fluctuations, and is a key input to fisheriesassessment models. The current method of determining age structure ...Journal article 
AxiomBased Transformations: Optimisation and Testing
(Elsevier, 20091010)Programmers typically have knowledge about properties of their programs that aren't explicitly expressed in the code properties that may be very useful for, e.g., compiler optimisation and automated testing. Although ...Journal article 
Axis patterning by BMPs: cnidarian network reveals evolutionary constraints
(Elsevier, 201503)BMP signaling plays a crucial role in the establishment of the dorsoventral body axis in bilaterally symmetric animals. However, the topologies of the bone morphogenetic protein (BMP) signaling networks vary drastically ...Journal article 
Bchromatic number: Beyond NPhardness
(Dagstuhl Publishing, 2015)The bchromatic number of a graph G, chi_b(G), is the largest integer k such that G has a kvertex coloring with the property that each color class has a vertex which is adjacent to at least one vertex in each of the other ...Conference object 
Beyond the question of fixedparameter tractability
(The University of Bergen, 20170106)Multivariate complexity is a prominent field that over the last decades has developed a rich toolbox, not only to tackle seemingly intractable problems, but also to describe the boundaries of tractability in a richer and ...Doctoral thesis 
Binding Leverage as a Molecular Basis for Allosteric Regulation
(Public Library of Science, 20110915)Allosteric regulation involves conformational transitions or fluctuations between a few closely related states, caused by the binding of effector molecules. We introduce a quantity called binding leverage that measures ...Peer reviewedJournal article