Browsing Department of Informatics by Title
Now showing items 203222 of 400

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 
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 ...Journal article 
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 ...Journal articlePeer reviewed 
A Multilevel scheme for the Travelling Salesman Problem
(The University of Bergen, 2002)Master thesis 
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.Master thesis 
MultiPath TCPcommunication (in NorNet Core)
(The University of Bergen, 20160531)Technology is constantly evolving, and we are currently witnessing a digital revolution with a tremendous growth of interconnected devices. The scale of the Internet and the amount of transported data is constantly ...Master thesis 
Multiple Side Linear Equations. A New Tool For Solving Sparse Algebraic Equations in Finite Field
(The University of Bergen, 20100128)A new technique of linearization for sparse multivariate polynomial equation system is presented. Applying Gluing algorithm on the newly constructed linear equation systems, therefore solve the original multivariate ...Master thesis 
Multiple time–scale dynamics of stage structured populations and derivative–free optimization
(The University of Bergen, 20181102)The parentprogeny (adult fish–juvenile) relationship is central to understanding the dynamics of fish populations. Management and harvest decisions are based on the assumption of a stockrecruitment function that relates ...Doctoral thesis