Blar i Department of Informatics på tittel

Viser treff 600-619 av 1123

    • Metric Dimension Parameterized By Treewidth 

      Bonnet, Édouard; Purohit, Nidhi (Journal article; Peer reviewed, 2021)
      A resolving set S of a graph G is a subset of its vertices such that no two vertices of G have the same distance vector to S. The METRIC DIMENSION problem asks for a resolving set of minimum size, and in its decision form, ...

    • MetZoom: A CNN/LSTM hybrid based model for water reservoir inflow prediction 

      Helland, Halvor (Master thesis, 2022-06-01)
      Hydropower reservoir volumes fluctuate as water levels increase or decrease according to precipitation, valve output and inflow through water retained in the surrounding area. Predicting these fluctuations with machine ...

    • Mim-Width II. The Feedback Vertex Set Problem 

      Jaffke, Lars; Kwon, O-Joung; Telle, Jan Arne (Peer reviewed; Journal article, 2020)
      We give a first polynomial-time algorithm for (WEIGHTED) FEEDBACK VERTEX SET on graphs of bounded maximum induced matching width (mim-width). Explicitly, given a branch decomposition of mim-width w, we give an nO(w)-time ...

    • Mim-Width III. Graph powers and generalized distance domination problems 

      Telle, Jan Arne; Jaffke, Lars; Strømme, Torstein Jarl Fagerbakke; Kwon, O-Joung (Peer reviewed; Journal article, 2019)
      We generalize the family of (σ,ρ) problems and locally checkable vertex partition problems to their distance versions, which naturally captures well-known problems such as Distance-r Dominating Set and Distance-r Independent ...

    • Mind Your Outcomes: The ∆QSD Paradigm for Quality-Centric Systems Development and Its Application to a Blockchain Case Study 

      Haeri, Seyed Hossein; Thompson, Peter; Davies, Neil; Van Roy, Peter; Hammond, Kevin; Chapman, James (Journal article; Peer reviewed, 2022)
      This paper directly addresses a long-standing issue that affects the development of many complex distributed software systems: how to establish quickly, cheaply, and reliably whether they can deliver their intended performance ...

    • Minimizing Fill-in Size and Elimination Tree Height in Parallel Cholesky Factorization 

      Heggernes, Pinar (Master thesis, 1992)

    • Minimum Fill-in of Sparse Graphs: Kernelization and Approximation 

      Fomin, Fedor; Geevarghese, Philip; Villanger, Yngve (Peer reviewed; Journal article, 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 ...

    • A minimum requiring angle trisection 

      Steihaug, Trond; Rogers, D. G. (Peer reviewed; Journal article, 2009)

    • Mining Distinct Representations of High-Utility Itemsets Using Particle Swarm Optimization 

      Carstensen, Simen (Master thesis, 2022-10-17)
      Closed high-utility itemset mining (CHUIM) and top-k high-utility itemset mining (top-k HUIM) are techniques extensively applied in data analysis to discover patterns or relationships with potentially valuable information. ...

    • Mining EL⊥ Bases with Adaptable Role Depth 

      Guimaraes, Ricardo; Ozaki, Ana; Persia, Cosimo Damiano; Sertkaya, Bariş (Journal article; Peer reviewed, 2023)
      In Formal Concept Analysis, a base for a finite structure is a set of implications that characterizes all valid implications of the structure. This notion can be adapted to the context of Description Logic, where the base ...

    • Mitigation of Identity Theft in Online Banking 

      Dey, Kaja Alexandra (Master thesis, 2019-06-26)
      Identity theft in online banking can cause significant economic and psychological damage to the victims. Traditionally, there has been a strong focus on detecting and hindering fraud, but not nearly as much focus on any ...

    • Mobility Index Algorithm: A construction of a mathematical based mobility measurement algorithm based on dynamic data with a design science research approach 

      Fuglestein, Mikal (Master thesis, 2020-06-16)
      To have good mobility regarding public transport and to nearby facilities such as schools and shops is essential for reducing the use of private cars. One can only say how good mobility is for a given point by measure it. ...

    • MOCCA: a fexible suite for modelling DNA sequence motif occurrence combinatorics 

      Bredesen, Bjørn André; Rehmsmeier, Marc (Journal article; Peer reviewed, 2021)
      Background Cis-regulatory elements (CREs) are DNA sequence segments that regulate gene expression. Among CREs are promoters, enhancers, Boundary Elements (BEs) and Polycomb Response Elements (PREs), all of which are ...

    • Model Checking Healthcare Workflows Using Alloy 

      Wang, Xiaoliang; Rutle, Adrian (Journal article; Peer reviewed, 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 ...

    • Model Checking with the Sweep-Line Method 

      Lilleskare, Andreas (Master thesis, 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 ...

    • A model driven approach to the design of a gamified e-learning system for clinical guidelines 

      Nyameino, Job; Rabbi, Fazle; Mughal, Khalid Azim; Were, Martin C; Lamo, Yngve (Peer reviewed; Journal article, 2019-08-21)
      Clinical practice guidelines (CPGs) are indispensable in the practice of evidence-based medicine. However, the cost of effective CPG dissemination strategies is prohibitive and not cost-effective. Therefore, scalable ...

    • 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 (Peer reviewed; Journal article, 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, ...

    • A Model of Type Theory in Cubical Sets 

      Bezem, Marcus Aloysius; Coquand, Thierry; Huber, Simon (Peer reviewed; Journal article, 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 ...

    • Model-based clustering of multi-tissue gene expression data 

      Erola, Pau; Björkegren, Johan L.M.; Michoel, Tom Luk Robert (Journal article; Peer reviewed, 2020)
      Motivation Recently, it has become feasible to generate large-scale, multi-tissue gene expression data, where expression profiles are obtained from multiple tissues or organs sampled from dozens to hundreds of individuals. ...

    • Model-based exploration of hypokalemia in dairy cows 

      Plöntzke, Julia; Berg, Mascha; Ehrig, Rainald; Leonhard-Marek, Sabine; Müller, Kerstin Elisabeth; Röblitz, Susanna (Journal article; Peer reviewed, 2022)
      Hypokalemia in dairy cows, which is characterized by too low serum potassium levels, is a severe mineral disorder that can be life threatening. In this paper, we explore different originating conditions of hypokalemia—reduced ...