Now showing items 1-10 of 56
Feasible Algorithms for Semantics — Employing Automata and Inference Systems
(The University of Bergen, 2010-12-16)
Towards Efficient Algorithms in Algebraic Cryptanalysis
(The University of Bergen, 2012-08-09)
Regulatory mechanisms of non-coding RNAs during zebrafish embryogenesis
(The University of Bergen, 2013-05-03)
For many years, RNAs were thought to be intermediate products between DNA and protein. The discovery of RNA interference (RNAi), a regulatory process that uses small non-coding RNAs to regulate gene expression at the ...
Models and Solution Methods for the Pooling Problem
(The University of Bergen, 2012-06-18)
Pipeline transportation of natural gas is largely affected by restrictions regarding gas quality imposed by the market and the actual quality of the gas produced at sources. From the sources, gas flow streams of unequal ...
Practical Aspects of the Graph Parameter Boolean-width
(The University of Bergen, 2014-08-18)
New Results on Minimal Triangulations
(The University of Bergen, 2006-04-25)
Sketch-based Storytelling for Cognitive Problem Solving: Externalization, Evaluation, and Communication in Geology
(The University of Bergen, 2013-06-25)
PROBLEM solving is an important part of all engineering and scientific activities. It is present, for instance, when experts want to develop more fuel-efficient cars or when they are searching for oil and gas in the ...
Characteristics of Pyrosequencing Data – Analysis, Methods, and Tools
(The University of Bergen, 2013-06-17)
The introduction of this thesis provides background knowledge on the 454 sequencing technology and a detailed review of the most relevant sequencing artifacts. Chapter 1 puts the 454 sequencing technology into a historical ...
On Curvature and Separability in Unconstrained Optimisation
(The University of Bergen, 2006-06-16)
Choice of parameter for DP-based FPT algorithms: four case studies
(The University of Bergen, 2015-09-07)
This thesis studies dynamic programming algorithms and structural parameters used when solving computationally hard problems. In particular, we look at algorithms that make use of structural decompositions to overcome ...