Browsing Department of Informatics by Title
Now showing items 183202 of 373

Machine Learning methods for mood disorder decision support
(The University of Bergen, 20170711)Master thesis 
The male germ cell gene regulator CTCFL is functionally different from CTCF and binds CTCFlike consensus sites in a nucleosome compositiondependent manner
(BioMed Central, 20120618)Background: CTCF is a highly conserved and essential zinc finger protein expressed in virtually all cell types. In conjunction with cohesin, it organizes chromatin into loops, thereby regulating gene expression and epigenetic ...Journal article 
Managing spatial selections with contextual snapshots
(Wiley, 201412)Spatial selections are a ubiquitous concept in visualization. By localizing particular features, they can be analysed and compared in different views. However, the semantics of such selections often depend on specific ...Journal article 
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 ...Master thesis 
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 ...Journal articlePeer reviewed 
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 ...Master thesis 
Maximum matching width: New characterizations and a fast algorithm for dominating set
(Dagstuhl Publishing, 2015)We give alternative definitions for maximum matching width, e.g., a graph G has mmw(G) <= k if and only if it is a subgraph of a chordal graph H and for every maximal clique X of H there exists A,B,C \subseteq X with A ...Conference object 
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 ...Master thesis 
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 ...Master thesis 
Methods for analysing 2D electrophoretic gel images
(The University of Bergen, 2002)Master thesis 
Minimizing Fillin Size and Elimination Tree Height in Parallel Cholesky Factorization
(The University of Bergen, 1992)Master thesis 
Minimum Fillin of Sparse Graphs: Kernelization and Approximation
(Dagstuhl Publishing, 2011)The Minimum Fillin problem is to decide if a graph can be triangulated by adding at most k edges. The problem has important applications in numerical algebra, in particular in sparse matrix computations. We develop ...Conference object 

Model Checking Healthcare Workflows Using Alloy
(Elsevier B.V., 2014)Workflows are used to organize business processes, and workflow management tools are used to guide users in which order these processes should be performed. These tools increase organizational efficiency and enable users ...Conference object 
Model Checking with the SweepLine Method
(The University of Bergen, 20170621)Explicitstate model checking is a formal software verification technique that differs from peer review and unit testing, in that model checking does an exhaustive state space search. With model checking one takes a system ...Master thesis 
A model for optimal fleet composition of vessels for offshore wind farm maintenance
(Elsevier, 2017)We present a discrete optimisation model that chooses an optimal fleet of vessels to support maintenance operations at Offshore Wind Farms (OFWs). The model is presented as a bilevel problem. On the first (tactical) level, ...Journal article 
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 ...Journal article 
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 ...Master thesis 
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 ...Doctoral thesis 
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 ...Peer reviewedJournal article