Now showing items 1-10 of 277
Modelling migration patterns of fish using depth and temperature preferences
(The University of Bergen, 2012-04-27)
Time series of depth and temperature derived from electronic tagging of fish have been used to construct a stochastic model that aims at capturing main characteristics of the observations. Mixed Ornstein-Uhlenbeck process ...
Security analysis of electronic voting and online banking systems
(The University of Bergen, 2007-08-29)
The main focus of this dissertation is on security analysis of electronic voting and online banking systems. Six papers form the basis of the thesis and include the following topics: a model for analysis of voting systems, ...
Type Systems for Guaranteeing Resource Bounds of Component Software
(The University of Bergen, 2006-05-15)
Since the early days of the development of programming languages, people have been developing various methods to reduce the runtime errors of software programs. These methods range from static analysis, testing to runtime ...
Comparison of Solving Techniques for Non-linear Sparse Equations over Finite Fields with Application in Cryptanalysis
(The University of Bergen, 2008)
The work on this thesis gives a summary of the Gluing/Agreeing techniques, as well as a reference implementation of this methods. Furthermore widely used SAT-solving techniques are explained and a short insight to the ...
User-configurable, high-level transformations with CodeBoost
(The University of Bergen, 2003)
Scalable design of large applications requires domain-specific, high-level abstraction. Classically, there has been a tension between abstraction and good performance. We demonstrate how to overcome this tension by ...
Linear dependencies between non-uniform distributions in DES
(The University of Bergen, 2014-05-30)
Davies and Murphy explained some non-uniform distributions of the output from pairs and triplets of S-boxes in DES, and how they are completely dependent on some key bits. There are linear dependencies between these ...
Sketch-based Modelling and Conceptual Visualization of Geomorphological Processes for Interactive Scientific Communication
(The University of Bergen, 2014-09-19)
Throughout this dissertation, solutions for rapid digitalization of ideas will be defined. More precisely, the focus is on interactive scientific sketching and communication of geology, where the result is a digital ...
Whole genome sequencing of the fish pathogen Francisella noatunensis subsp. orientalis Toba04 gives novel insights into Francisella evolution and pathogenecity
(BioMed Central, 2012-11-06)
Background: Francisella is a genus of gram-negative bacterium highly virulent in fishes and human where F. tularensis is causing the serious disease tularaemia in human. Recently Francisella species have been reported ...
FreeContact: fast and free software for protein contact prediction from residue co-evolution
(BioMed Central, 2014-03-26)
Background: 20 years of improved technology and growing sequences now renders residue-residue contact constraints in large protein families through correlated mutations accurate enough to drive de novo predictions of protein ...
Lineær kompleksitet til produkter av maksimalsekvenser
(The University of Bergen, 2000)