Blar i Department of Informatics på tittel
Viser treff 612-631 av 1124
-
Mobility Index Algorithm: A construction of a mathematical based mobility measurement algorithm based on dynamic data with a design science research approach
(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
(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
(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
(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
(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
(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
(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
(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
(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 ... -
Model-based exploration of the impact of glucose metabolism on the estrous cycle dynamics in dairy cows
(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
(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
(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 and simulating the sample complexity of solving LWE using BKW-style algorithms
(Journal article; Peer reviewed, 2022)The Learning with Errors (LWE) problem receives much attention in cryptography, mainly due to its fundamental significance in post-quantum cryptography. Among its solving algorithms, the Blum-Kalai-Wasserman (BKW) algorithm, ... -
Modeling of Multivalent Ligand-Receptor Binding Measured by kinITC
(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
(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 ... -
Modelling Oscillatory Patterns in the Bovine Estrous Cycle with Boolean Delay Equations
(Journal article; Peer reviewed, 2021)Boolean delay equations (BDEs), with their relatively simple and intuitive mode of modelling, have been used in many research areas including, for example, climate dynamics and earthquake propagation. Their application to ... -
Modelling overfow using mixed integer programming in short‑term hydropower scheduling
(Journal article; Peer reviewed, 2023)Short-term hydropower scheduling seeks to find a production schedule that maximizes profit, but must also consider the hydrological balance and risk of overflow. Overflow is by nature a non-linear and non-convex phenomenon. ... -
Modelling the structure, function and evolution of Polycomb/Trithorax Response Elements
(Doctoral thesis, 2020-11-20)The correct development of animals and plants depends on carefully coordinated gene regulation. Polycomb/Trithorax Group (PcG/TrxG) proteins are conserved epigenetic regulators that are recruited to Polycomb/Trithorax ... -
Models and Solution Methods for the Pooling Problem
(Doctoral thesis, 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 ... -
Modification to planarity is fixed parameter tractable
(Peer reviewed; Journal article, 2019)A replacement action is a function L that maps each k-vertex labeled graph to another k-vertex graph. We consider a general family of graph modification problems, called L-Replacement to C, where the input is a graph G and ...