Now showing items 11-20 of 256
Improving Efficiency in Parameter Estimation Using the Hamiltonian Monte Carlo Algorithm
(The University of Bergen, 2008)
This thesis investigates three approaches to improve the performance of the Hamiltonian Monte Carlo algorithm. The first approach enhances the Hamiltonian Monte Carlo by suppressing random walk in the Gibbs sampling using ...
MassAnalyzer, a program to help find labeled peptides and compare them to their unlabeled counterparts in a SILAC experiment
(The University of Bergen, 2008-11-27)
Mass spectrometry(MS) have become an increasingly popular analysis method for high throughput experiments on proteins in biology. SILAC(stable isotope labeling by amino acids in cell culture) is a method within MS that ...
Randomised Construction and Dynamic Decoding of LDPC Codes
(The University of Bergen, 2005-11-30)
Exponential time algorithms: Structures, measures, and bounds
(The University of Bergen, 2008-12-05)
This thesis studies exponential time algorithms, more precisely, algorithms exactly solving problems for which no polynomial time algorithm is known and likely to exist. Interested in worst–case upper bounds on the running ...
Salmon louse (Lepeophtheirus salmonis) transcriptomes during post molting maturation and egg production, revealed using EST-sequencing and microarray analysis
(BioMed Central, 2008-03-10)
Background Lepeophtheirus salmonis is an ectoparasitic copepod feeding on skin, mucus and blood from salmonid hosts. Initial analysis of EST sequences from pre adult and adult stages of L. salmonis revealed a large ...
Security API for Java ME: secureXdata
(The University of Bergen, 2012-02-24)
The usage of mobile phones, PDAs and other mobile communication devices in the context of health is an emerging part of eHealth. In 2010 the American National Institutes of Health defined mHealth as "The delivery of ...
Comparing 17 graph parameters
(The University of Bergen, 2010-08-02)
Many parametrized problems were decided to be FPT or W-hard. However, there is still thousands of problems and parameters for which we do not know yet whether are FPT or W-hard. In this thesis, we provide a tool for extending ...
Sketch-based Modelling and Conceptual Visualization of Geomorphological Processes for Interactive Scientific Communication
(The University of Bergen, 2014-09-19)
<p>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 ...
A Diagrammatic Logic for Object-Oriented Visual Modeling
Formal generalized sketches is a graph-based specification format that borrows its main ideas from categorical and ordinary first-order logic, and adapts them to software engineering needs. In the engineering jargon, it ...
Generalized Bent and/or Negabent Constructions
(The University of Bergen, 2012-04-27)
In this thesis, we generalize the Maiorana-McFarland construction for bent, negabent and bent-negabent Boolean functions and describe a way to computationally search for constructions using these generalizations. We present ...