Now showing items 325-344 of 643

    • Memento: Localized time‐warping for spatio‐temporal selection 

      Solteszova, Veronika; Smit, Noeska Natasja; Stoppel, Sergej; Grüner, Renate; Bruckner, Stefan (Peer reviewed; Journal article, 2020)
      Interaction techniques for temporal data are often focused on affecting the spatial aspects of the data, for instance through the use of transfer functions, camera navigation or clipping planes. However, the temporal aspect ...
    • The mersenne low hamming combination search problem can be reduced to an ILP problem 

      Budroni, Alessandro; Tenti, Andrea (Lecture Notes in Computer Science, Chapter; Peer reviewed; Journal article, 2019)
      In 2017, Aggarwal, Joux, Prakash, and Santha proposed an innovative NTRU-like public-key cryptosystem that was believed to be quantum resistant, based on Mersenne prime numbers q=2N−1 . After a successful attack designed ...
    • Metagenome-assembled genome distribution and key functionality highlight importance of aerobic metabolism in Svalbard permafrost 

      Xue, Yaxin; Jonassen, Inge; Øvreås, Lise; Tas, Neslihan (Journal article; Peer reviewed, 2020)
      Permafrost underlies a large portion of the land in the Northern Hemisphere. It is proposed to be an extreme habitat and home for cold-adaptive microbial communities. Upon thaw permafrost is predicted to exacerbate increasing ...
    • Methods for analysing 2D electrophoretic gel images 

      Flikka, Kristian (Master thesis, 2002)
    • 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 ...
    • Minimum Fill-in of Sparse Graphs: Kernelization and Approximation 

      Fomin, Fedor; Geevarghese, Philip; Villanger, Yngve (Conference object; 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)
    • Model Checking Healthcare Workflows Using Alloy 

      Wang, Xiaoliang; Rutle, Adrian (Conference object; 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 the impact of glucose metabolism on the estrous cycle dynamics in dairy cows 

      Omari, Mohamed; Lange, Alexander; Plöntzke, Julia; Röblitz, Susanna (Peer reviewed; Journal article, 2020)
      Background: Nutrition plays a crucial role in regulating reproductive hormones and follicular development in cattle. This is visible particularly during the time of negative energy balance at the onset of milk production ...
    • Model-based Visualization for Medical Education and Training 

      Smit, Noeska Natasja; Lawonn, Kai; Kraima, Annelot; DeRuiter, Marco; Bruckner, Stefan; Eisemann, Elmar; Vilanova, Anna (Peer reviewed; Journal article, 2019)
      Anatomy, or the study of the structure of the human body, is an essential component of medical education. Certain parts of human anatomy are considered to be more complex to understand than others, due to a multitude of ...
    • Model-Driven Automatic Question Generation for a Gamified Clinical Guideline Training System 

      Nyameino, Job Nyangena; Ebbesvik, Ben-Richard Sletten; Rabbi, Fazle; Were, Martin C.; Lamo, Yngve (Journal article; Peer reviewed, 2020)
      Clinical practice guidelines (CPGs) are a cornerstone of modern medical practice since they summarize the vast medical literature and provide care recommendations based on the current best evidence. However, there are ...
    • Modeling of Multivalent Ligand-Receptor Binding Measured by kinITC 

      Erlekam, Franziska; Igde, Sinaida; Röblitz, Susanna; Hatmann, Laura; Weber, Marcus (Peer reviewed; Journal article, 2019)
      In addition to the conventional Isothermal Titration Calorimetry (ITC), kinetic ITC (kinITC) not only gains thermodynamic information, but also kinetic data from a biochemical binding process. Moreover, kinITC gives insights ...
    • Modelling migration patterns of fish using depth and temperature preferences 

      Natvig, Erik (Master thesis, 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 ...