Now showing items 202-221 of 400

    • Maximum matching width: New characterizations and a fast algorithm for dominating set 

      Jeong, Jisu; Sæther, Sigve Hortemo; Telle, Jan Arne (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 

      Måland, Erik Kvam (The University of Bergen, 2015-05-12)
      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. 

      Hellestø, Marit Kristine Astad (The University of Bergen, 2015-05-31)
      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 

      Flikka, Kristian (The University of Bergen, 2002)
      Master thesis
    • Minimizing Fill-in Size and Elimination Tree Height in Parallel Cholesky Factorization 

      Heggernes, Pinar (The University of Bergen, 1992)
      Master thesis
    • Minimum Fill-in of Sparse Graphs: Kernelization and Approximation 

      Fomin, Fedor; Geevarghese, Philip; Villanger, Yngve (Dagstuhl Publishing, 2011)
      The Minimum Fill-in 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
    • A minimum requiring angle trisection 

      Steihaug, Trond; Rogers, D. G. (Normat, 2009)
      Journal article
    • Model Checking Healthcare Workflows Using Alloy 

      Wang, Xiaoliang; Rutle, Adrian (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 Sweep-Line Method 

      Lilleskare, Andreas (The University of Bergen, 2017-06-21)
      Explicit-state 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 

      Gutierrez-Alcoba, Alejandro; Ortega, Gloria; Hendrix, Eligius M.T.; Halvorsen-Weare, Elin Espeland; Haugland, Dag (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 bi-level problem. On the first (tactical) level, ...
      Journal article
    • A Model of Type Theory in Cubical Sets 

      Bezem, Marcus Aloysius; Coquand, Thierry; Huber, Simon (Schloss Dagstuhl - Leibniz-Zentrum 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 

      Natvig, Erik (The University of Bergen, 2012-04-27)
      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 Ornstein-Uhlenbeck process ...
      Master thesis
    • Models and Solution Methods for the Pooling Problem 

      Alfaki, Mohammed (The University of Bergen, 2012-06-18)
      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 

      Stavrum, Ruth; Stavrum, Anne-Kristin; Valvatne, Håvard; Riley, Lee W.; Ulvestad, Elling; Jonassen, Inge; Assmus, Jørg; Doherty, Tanya Mark; Grewal, Harleen M. S. (Public Library of Science, 2011-10-24)
      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 

      Goncearenco, Alexander; Ma, Binguang; Berezovsky, Igor (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 

      Mitternacht, Simon; Staneva, Iskra; Härd, Torleif; Irbäck, Anders (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 

      Hjertenes, Øystein M. (The University of Bergen, 2002)
      Master thesis
    • Multimedia i dynamisk presentasjons generator 2.0 

      Ingvaldsen, Bjørn Ove (The University of Bergen, 2008-10-01)
      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 TCP-communication (in NorNet Core) 

      Ingebretsen, Kristian Bøckmann; Selvik, Daniel (The University of Bergen, 2016-05-31)
      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 

      Renzengwangdui, X (The University of Bergen, 2010-01-28)
      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