Browsing Institutt for matematiske fag by Title
Now showing items 1282-1301 of 2558
-
Machine checked proofs for MLWE based encryption using EasyCrypt
(Master thesis, 2023)Med den truende faren til kvantedatamaskiner trenger vi offentlig nøkkel-kryptografi som ikke avhenger av diskret logaritme-problemet og andre problemer som kan løses effektivt på kvantedatamaskiner. En fremgangsmåte er å ... -
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co
(Chapter, 2022)Privacy is a notoriously difficult property to achieve in complicated systems and especially in electronic voting schemes. Moreover, electronic voting schemes is a class of systems that require very high assurance. The ... -
Machine-learning algorithms for the computation of upscaled permeabilities
(Master thesis, 2018)In full-scale reservoir simulation models, the characteristics of the rock are not fully resolved. Upscaled permeabilities are used to account for the effective behaviour of a composite region. By averaging the fine ... -
MACPET: model-based analysis for ChIA-PET
(Journal article; Peer reviewed, 2019)We present model-based analysis for ChIA-PET (MACPET), which analyzes paired-end read sequences provided by ChIA-PET for finding binding sites of a protein of interest. MACPET uses information from both tags of each PET ... -
Macronutrient Distribution in Relation to Waste Emission from Aquaculture Activities: A field study in Trondheimsfjorden
(Master thesis, 2013)The production of farmed fish has increased globally almost 12-fold since the 1980s. And in 2010, aquaculture production food fish reached an all-time high at 60 million tonnes. This activity releases large amounts of ... -
Malicious cryptography
(Doctoral theses at NTNU;2020:116, Doctoral thesis, 2020) -
Malware, Encryption, and Rerandomization - Everything is Under Attack
(Journal article; Peer reviewed, 2017)A malware author constructing malware wishes to infect a specific location in the network. The author will then infect n initial nodes with n different variations of his malicious code. The malware continues to infect ... -
Manifolds.jl: An Extensible Julia Framework for Data Analysis on Manifolds
(Peer reviewed; Journal article, 2023)We present the Julia package Manifolds.jl, providing a fast and easy-to-use library of Riemannian manifolds and Lie groups. This package enables working with data defined on a Riemannian manifold, such as the circle, the ... -
Manopt.jl: Optimization on Manifolds in Julia
(Journal article; Peer reviewed, 2022)Manopt.jl provides a set of optimization algorithms for optimization problems given on a Riemannian manifold M. Based on a generic optimization framework, together with the interface ManifoldsBase.jl for Riemannian manifolds, ... -
Manual Hyperparameter Tuning for Optimal Regression Uncertainty Estimates in Bayesian Deep Learning
(Master thesis, 2021)Kunstige nevrale nettverksmodeller har vært populære i forskjellige applikasjoner i det siste. De prediktive evnene til disse tilnærmingene har vært ekstremt lovende. Likevel har det ikke vært lett å lage pålitelige ... -
Map matching using hidden Markov models
(Master thesis, 2020)Kartmatching refererer til prosessen der en sekvens med posisjonsmålinger brukes til å estimere en sammenhengende rute på et veinettverk. Posisjonsmålinger som brukes til kartmatching er typisk innhentet ved hjelp av en ... -
Market Risk in Turbulent Markets
(Master thesis, 2009)In this thesis we study market risk in turbulent markets over different risk horizons. We construct portfolios which represent possible investments for a life assurance fund. The portfolios consist of equities, fixed income ... -
Markov Chain Monte Carlo Algorithms and their Applications to Petroleum Reservoir Characterization
(Dr. ingeniøravhandling, 0809-103X; 2003:75, Doctoral thesis, 2003)This thesis consists of papers on stochastic reservoir characterization and Markov chain Monte Carlo algorithms. Stochastic reservoir models are very complex and naturally spatial and high dimensional. This makes them hard ... -
Markov chain Monte Carlo updating schemes for hidden Gaussian Markov random field models
(Dr. ingeniøravhandling, 0809-103X; 2003:89, Doctoral thesis, 2003)Part I discusses how to construct approximations to the posterior distribution π(x|y, θ) of a latent Gaussian Markov random field on a graph of dimension n when data are considered conditionally mutually independent and ... -
Markov process applied to degradation modelling: Different modelling alternatives and their properties
(Master thesis, 2013)New scientific methods are required in industry to avoid loss of money and human lives and provide more profit. The purpose of this paper is to study stochastic models and statistical methods for analysis of lifetimes. ... -
Markov Random Field Modelling of Diagenetic Facies in Carbonate Reservoirs
(Master thesis, 2010)Bayesian inversion is performed on real observations to predict the diagenetic classes of a carbonate reservoir where the proportions of carbonate rock and depositional properties are known. The complete solution is the ... -
Markov random fields in prestack seismic inversion into lithology/fluid classes
(Doktoravhandlinger ved NTNU, 1503-8181; 2009:185, Doctoral thesis, 2009) -
Markov Representation of Matérn Fields in one Dimension
(Master thesis, 2009)In this thesis we study Markov representations of Matern Gaussian fields in one dimension. In particular, we discuss how boundary conditions could be imposed to control the marginal properties of the Markov field. -
MARTA: Matematikk som redskap for tanken. Integrasjon av matematikk i ingeniørutdanning
(Research report, 2023) -
Massey products and Linking
(Master thesis, 2012)This master's thesis is focussed around investigating Massey products as tools for studying properties of links, in particular the Brunnian property. In the literature, there are only a few examples of the Massey product ...