Now showing items 1-10 of 257
Obscurance-based Volume Rendering Framework
(The Eurographics Association, 2008)
lighting effects in a faster way than global illumination. Its application in volume visualization is of special interest since it permits us to generate a high quality rendering at a low cost. In this paper, we propose ...
A New Generating Set Search Algorithm for Partially Separable Functions
A new derivative-free optimization method for unconstrained optimization of partially separable functions is presented. Using average curvature information computed from sampled function values the method generates an ...
Proofs, Types and Lambda Calculus - datasets
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 ...
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 ...