Browsing Faculty of Mathematics and Natural Sciences by Title
Now showing items 5533-5552 of 9919
-
MMS Measurements of the Vlasov Equation: Probing the Electron Pressure Divergence Within Thin Current Sheets
(Journal article; Peer reviewed, 2019)We investigate the kinetic structure of electron‐scale current sheets found in the vicinity of the magnetopause and embedded in the magnetosheath within the reconnection exhaust. A new technique for computing terms of the ... -
MMS Observations of Multiscale Hall Physics in the Magnetotail
(Journal article; Peer reviewed, 2019)We present Magnetospheric Multiscale mission (MMS) observations of Hall physics in the magnetotail, which compared to dayside Hall physics is a relatively unexplored topic. The plasma consists of electrons, moderately cold ... -
Mn/Fe reduction in sandy soil during degradation of de-icing chemical: Respiration kinetics and prokaryotic community composition
(Master thesis, 2017-08-29)At Oslo airport, Gardermoen, Norway, large quantities of propylene glycol (PG) are used as de-icing fluid during winter, causing high loads of this chemical to infiltrate in surrounding soil during snow melt and increasing ... -
MnDPDP: Contrast agent for imaging and protection of viable tissue
(Journal article; Peer reviewed, 2020-09-10)The semistable chelate manganese (Mn) dipyridoxyl diphosphate (MnDPDP, mangafodipir), previously used as an intravenous (i.v.) contrast agent (Teslascan™, GE Healthcare) for Mn-ion-enhanced MRI (MEMRI), should be reappraised ... -
Mobility Control by CO2-foam Injection for Integrated EOR
(Master thesis, 2014-06-02)This thesis investigated integrated enhanced oil recovery (IEOR) methods in fractured carbonate rocks. The objective was to study the oil recovery by miscible CO2 injection in fractured rocks using different rock types and ... -
Mobility Control for CO2 EOR in Heterogeneous Reservoirs
(Master thesis, 2014-06-02)This experimental thesis investigates enhanced oil recovery (EOR) by secondary and tertiary CO2 and/or CO2-foam injections at miscible conditions in fractured and whole core plugs using different rock types. Injection of ... -
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 ... -
Model Construction with Support Vector Machines and Gaussian Processes through Kernel Search
(Master thesis, 2019-08-16) -
Model development for efficient simulation of CO2 storage
(Doctoral thesis, 2018-02-16)Carbon capture and storage (CCS) is an important component of several initiatives to reduce global greenhouse gas emissions by injecting and storing CO2 in underground reservoirs. Simulation technology plays an important ... -
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 hydrophobic protrusions on peripheral membrane proteins
(Peer reviewed; Journal article, 2018-07-26)With remarkable spatial and temporal specificities, peripheral membrane proteins bind to biological membranes. They do this without compromising solubility of the protein, and their binding sites are not easily distinguished. ... -
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, ... -
Model of mesopelagic fish predation on eggs and larvae shows benefits of tuna spawning under full moon
(Journal article; Peer reviewed, 2023)Most mesopelagic fish are small planktivores that migrate up at nightfall to feed in the safety of darkness and descend to depth at dawn to escape visual predators. However, the trophic roles can reverse since mesopelagic ... -
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 selection and parameter estimation for root architecture models using likelihood-free inference
(Peer reviewed; Journal article, 2019)Plant root systems play vital roles in the biosphere, environment and agriculture, but the quantitative principles governing their growth and architecture remain poorly understood. The ‘forward problem’ of what root forms ... -
Model selection in time series by Deep Learning
(Master thesis, 2020-06-30)In this thesis, we will explore the use of deep learning techniques for model selection in time series. We compare the results from this with more traditional approaches for model selection, namely the Akaike and Bayesian ... -
Model Spaces in Riemannian and Sub-Riemannian Geometries
(Master thesis, 2018-06-27)The development of Riemannian geometry has been highly influenced by certain spaces with maximal symmetry called model spaces. Following in the footsteps of Klein's Erlangen program, model spaces fit with the approach of ...