Browsing Department of Informatics by Title
Now showing items 131150 of 262

MassAnalyzer, a program to help find labeled peptides and compare them to their unlabeled counterparts in a SILAC experiment
(The University of Bergen, 20081127)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 ... 
MassSorter: a tool for administrating and analyzing data from mass spectrometry experiments on proteins with known amino acid sequences
(BioMed Central, 20060126)Background: Proteomics is the study of the proteome, and is critical to the understanding of cellular processes. Two central and related tasks of proteomics are protein identification and protein characterization. Many ... 
A matrixfree method for regularisation with unrestricted variables
(The University of Bergen, 2008)In this thesis a method for the partially norm constrained least squares problem is presented. The method relies on a largescale trustregion solver and has a low storage requirement. A combination of image misalignment ... 
Maximum number of edges in graph classes under degree and matching constraints
(The University of Bergen, 20150512)In extremal graph theory, we ask how large or small a property of a graph can be, when the graph has to satisfy certain constraints. In this thesis, we ask how many edges a graph can have with restrictions on its degree ... 
Maximum number of objects in graph classes.
(The University of Bergen, 20150531)The focus of this thesis is the study and implementation of two exact exponential time algorihms. These algorihms finds and lists the number of minimal dominating sets and the number of minimal subset feedback vertex ... 
Methods for analysing 2D electrophoretic gel images
(The University of Bergen, 2002) 
Minimizing Fillin Size and Elimination Tree Height in Parallel Cholesky Factorization
(The University of Bergen, 1992) 
A Model of Type Theory in Cubical Sets
(Schloss Dagstuhl  LeibnizZentrum für Informatik, 2014)We present a model of type theory with dependent product, sum, and identity, in cubical sets. We describe a universe and explain how to transform an equivalence between two types into an equality. We also explain how to ... 
Modelling migration patterns of fish using depth and temperature preferences
(The University of Bergen, 20120427)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 OrnsteinUhlenbeck process ... 
Models and Solution Methods for the Pooling Problem
(The University of Bergen, 20120618)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 ... 
Modulation of Transcriptional and Inflammatory Responses in Murine Macrophages by the Mycobacterium tuberculosis Mammalian Cell Entry (Mce) 1 Complex
(Public Library of Science, 20111024)The outcome of many infections depends on the initial interactions between agent and host. Aiming at elucidating the effect of the M. tuberculosis Mce1 protein complex on host transcriptional and immunological responses ... 
Molecular mechanisms of adaptation emerging from the physics and evolution of nucleic acids and proteins
(Oxford University Press, 2014)DNA, RNA and proteins are major biological macromolecules that coevolve and adapt to environments as components of one highly interconnected system. We explore here sequence/structure determinants of mechanisms of adaptation ... 
Monte Carlo Study of the Formation and Conformational Properties of Dimers of Aβ42 Variants
(Elsevier, 2011)Small soluble oligomers, and dimers in particular, of the amyloid βpeptide (Aβ) are believed to play an important pathological role in Alzheimer's disease. Here, we investigate the spontaneous dimerization of Aβ42, with ... 
A Multilevel scheme for the Travelling Salesman Problem
(The University of Bergen, 2002) 
Multimedia i dynamisk presentasjons generator 2.0
(The University of Bergen, 20081001)Oppgaven omhandler en ny implementasjon av innholdshåndteringssystemet Dynamic Presetation Generator DPG, hvor hovedvekten av oppgaven tar for seg integrering av multimediafunksjonalitet i systemet. 
Naturlige nettverk
(The University of Bergen, 2008)En innføring i naturlige nettverk. Vi forklarer og diskuterer begrepet naturlige nettverk og vurderer hvilke nettverk som bør kalles naturlige. Vi ser på forskjeller og likheter mellom tilfeldige, planlagte og naturlige ... 
Network coding in Bluetooth networks
(The University of Bergen, 20091001)This thesis discusses the possibility to apply network coding to a Bluetooth piconet. A protocol is proposed. This protocol is based on using deterministic linear network coding. The proposed alphabet size is binary, and ... 
A New Generating Set Search Algorithm for Partially Separable Functions
(IARIA, 2010)A new derivativefree optimization method for unconstrained optimization of partially separable functions is presented. Using average curvature information computed from sampled function values the method generates an ... 
New Results on Minimal Triangulations
(The University of Bergen, 20060425) 
New Width Parameters of Graphs
(The University of Bergen, 20120903)The main focus of this thesis is on using the divide and conquer technique to efficiently solve graph problems that are in general intractable. We work in the field of parameterized algorithms, using width parameters of ...