Browsing Institutt for matematiske fag by Title
Now showing items 1847-1866 of 2558
-
Provable Security of Authenticated Encryption Schemes
(Bachelor thesis, 2022)Denne bacheloroppgaven ser på den bevisbare sikkerheten til randomized counter mode (RCM) og Galois counter mode (GCM). Dette gjøres ved å bruke sekvenser av spill for å strukturere bevisene. Vi vil bevise at randomized ... -
Proving Wedderburn's little theorem
(Bachelor thesis, 2020)Oppgaven handler om å bevise Wedderburn's lille teorem som sier at et hvert endelig integritetsområde er en endelig kropp. Oppgaven begynner med å bevise at endelige integritets områder er divisjonsringer. Etter det beskrives ... -
PRST - Python Reservoir Simulation Toolbox
(Master thesis, 2016)In this thesis I have developed a prototype for a software framework for the simulation of flow in porous media, based on the MATLAB Reservoir Simulation Toolkit (MRST). The software -- Python Reservoir Simulation Toolkit ... -
Pseudo-R2 for Generalized Linear Models - A Study of Various Pseudo-R2s for the Logit Model and the Log-Linear Poisson Model
(Master thesis, 2018)No equivalent measure to R2 for ordinary least square regression exist for generalized linear models to assess model fit. Therefore, this master's project addresses various pseudo-R2s for generalized linear models. Six ... -
Pseudomoments of the Riemann zeta function
(Journal article; Peer reviewed, 2018)The 2kth pseudomoments of the Riemann zeta function ζ ( s ) are, following Conrey and Gamburd, the 2 k th integral moments of the partial sums of ζ ( s ) on the critical line. For fixed k > 1 / 2 , these moments are known ... -
Psychosis and Psychotic-Like Symptoms Affect Cognitive Abilities but Not Motivation in a Foraging Task
(Peer reviewed; Journal article, 2020)Background and Objective: Goal-directed behavior is a central feature of human functioning. It requires goal appraisal and implicit cost-benefit analyses, i.e., how much effort to invest in the pursuit of a certain goal, ... -
Pure-minimal chain complexes
(Journal article; Peer reviewed, 2019)We introduce a notion of pure-minimality for chain complexes of modules and show that it coincides with (homotopic) minimality in standard settings, while being a more useful notion for complexes of flat modules. As ... -
Purely infinite crossed products by endomorphisms
(Journal article; Peer reviewed, 2014)We study the crossed product C*-algebra associated to injective endomorphisms, which turns out to be equivalent to study the crossed product by the dilated automorphism. We prove that the dilation of the Bernoulli p -shift ... -
Pursuing a Polynomial Invariant of 2-knots
(Master thesis, 2014)We construct an invariant of 2-knots akin to the Jones polynomial of a knot. To achieve this, we adopt a new point of view on the foundations of diagrammatic 2-knot theory, and introduce a series of ideas to address questions ... -
Quadratic Invariant-Preserving Runge-Kutta Methods for the Numerical Solution of Stochastic Differential Equations
(Master thesis, 2015)In this paper we consider stochastic Runge-Kutta methods and expand some results from the deterministic theory of invariants to a stochastic setting. Specifically we find the necessary conditions for conservation of quadratic ... -
Qualitative and quantitative experimental study of convective mixing process during storage of CO2 in heterogeneous saline aquifers
(Journal article; Peer reviewed, 2018)CO2 dissolution is considered as one of the most promising mechanisms for trapping of free-phase CO2 into brine. It causes an increased density of the brine and initiation of gravitational instability that eventually leads ... -
Quand des didacticiens de mathématiques français discutent des théories avec des chercheurs britanniques et européens
(Chapter, 2019)Ce texte est constitué de quatre parties correspondant à trois communications et une table ronde. Nous avons choisi de présenter ces contributions en un seul texte étant donné qu’elles rendent compte des travaux et des ... -
Quandle cohomology is a Quillen cohomology
(Journal article, 2018)Racks and quandles are fundamental algebraic structures related to the topology of knots, braids, and the Yang-Baxter equation. We show that the cohomology groups usually associated with racks and quandles agree with the ... -
Quantification of an Approximate forward-backward Algorithm applied to a Convolutional Model
(Master thesis, 2014)In this master thesis an approximated forward-backward algorithm for binary Markov random fields is applied to and evaluated for a convolutional Bayesian model. The Bayesian model is transformed into its unique corresponding ... -
Quantification of Reliability Performance: Analysis Methods for Safety Instrumented System
(Master thesis, 2013)The reliability performance of a safety instrumented system (SIS) can be determined by severalanalytical methods, such as simplified formulas, fault tree analysis and Markov analysis. Thesemethods are mentioned in annex B ... -
Quantifying Predictive Uncertainty in Artificial Neural Networks
(Master thesis, 2021)To metoder for å konstruere Bayesianske nevrale nettverk, MC Dropout og SGVB, er implementert og anvendt på et reelt datasett levert av det norske E\&P selskapet Aker BP. Datasettet består av brønndata hentet fra 34 brønner ... -
Quantile based modeling of diurnal temperature range with the five-parameter lambda distribution
(Peer reviewed; Journal article, 2022)Diurnal temperature range is an important variable in climate science that canprovide information regarding climate variability and climate change. Changesindiurnaltemperaturerangecanhaveimplicationsforhydrology,humanhealthand ... -
Quantitative genetic modeling and inference in the presence of nonignorable missing data
(Journal article; Peer reviewed, 2014)Natural selection is typically exerted at some specific life stages. If natural selection takes place before a trait can be measured, using conventional models can cause wrong inference about population parameters. When ... -
Quantitative Unique Continuation and Eigenvalue Bounds for the Laplacian
(Doctoral theses at NTNU;2021:285, Doctoral thesis, 2021)I denne avhandlingen skal vi studere flere aspekter ved laplaceoperatoren, spesielt med hensyn på egenverdier og egenfunksjoner. En stor del av avhandlingen er dedikert til kvantitativ unik utvidelse ulikheter for harmoniske ... -
Quantum Harmonic Analysis on Lattices and Gabor Multipliers
(Peer reviewed; Journal article, 2020)We develop a theory of quantum harmonic analysis on lattices in R2d. Convolutions of a sequence with an operator and of two operators are defined over a lattice, and using corresponding Fourier transforms of sequences and ...