Blar i Department of Mathematics på dokumenttype "Doctoral thesis"
Viser treff 1-20 av 93
-
4D Seismic History Matching Using the Ensemble Kalman Filter (EnKF): Possibilities and Challenges
(Doctoral thesis, 2010-05-27)This research endeavor presents a 4D seismic history matching work flow based on the ensemble Kalman filter (EnKF) methodology. The objective of this work is to investigate the sensitivity of different combinations of ... -
Analysis and Approximation of Coupled 1D-3D Flow Models
(Doctoral thesis, 2020-03-18)In this thesis, we consider a specific instance of mixed-dimensional partial differential equations (PDEs) commonly referred to as the coupled 1D-3D flow model. The model itself consists of the Poisson equation defined on ... -
Analysis of multi-beam sonar echos of herring schools by means of simulation
(Doctoral thesis; Peer reviewed, 2013-05-31)The synchronized behavior of large schools of fish can be a fascinating sight and has caught the attention of researchers for decades. Schools of thousands, or even millions of fish can seemingly function as a single entity, ... -
Analytical Methods for Upscaling of Fractured Geological Reservoirs
(Doctoral thesis, 2015-10-16)Numerical simulations have become an essential tool for planning well operations in the subsurface, whether the application is petroleum production, geothermal energy, groundwater utilization or waste disposal and leakage. ... -
Analytical, combinatorial and topological properties of quadratic differentials and their applications
(Doctoral thesis, 2017-12-13)Quadratic differentials first appeared in 1930s in works of Teichmuller in connection with moduli problem for Riemann surfaces. Later it was revealed that quadratic differ- entials and their trajectories give solutions to ... -
An approximate hybrid method for modeling of electromagnetic scattering from an underground target
(Doctoral thesis, 2010-12-09)The detection of a potential petroleum reservoir is achieved through inversion of electromagnetic data acquired in sea floor receivers. Inversion of electromagnetic data requires a number of repeated solves of the ... -
Assessment of Sequential and Simultaneous Ensemble-based History Matching Methods for Weakly Non-linear Problems
(Doctoral thesis, 2015-02-13)The ensemble Kalman filter (EnKF) has, since its introduction in 1994, gained much attention as a tool for sequential data assimilation in many scientific areas. In recent years, the EnKF has been utilized for estimating ... -
Bayesian and frequentist computation with application to data from the Medical Birth Registry of Norway
(Doctoral thesis, 2019-04-25)In chapter 1, the field of statistics is discussed in general terms. Then, Bayes’ theorem is presented together with the posterior distribution. Finally, we consider maximum likelihood estimation and its relation to ... -
Bayesian Variational Methods in Carbon Storage Monitoring
(Doctoral thesis, 2021-01-19)This thesis explores the use of deep learning and variational inference in Carbon Capture and Storage (CCS) monitoring. It consists of an introductory part and three scientific papers. The first chapter introduces CCS and ... -
Brauer groups of bielliptic surfaces and classification of irregular surfaces in positive characteristic
(Doctoral thesis, 2021-05-27)In this work we tackle three problems about surfaces. In Part I (Chapter 2) we study the Brauer groups of bielliptic surfaces in characteristic zero. More precisely, given a bielliptic surface X, we give explicit ... -
Brauer Groups of Bielliptic Surfaces and Twisted Derived Equivalences
(Doctoral thesis, 2021-08-30)This thesis focuses on two interrelated projects. The first project concerns the study of bielliptic surfaces, their Brauer groups and the pullback maps from their Brauer groups to those of their canonical covers. We prove ... -
Classical and Stochastic Slit Löwner Evolution
(Doctoral thesis, 2014-10-10) -
Coherence for Monoidal and Symmetric Monoidal Groupoids in Homotopy Type Theory
(Doctoral thesis, 2021-12-03)Homotopy Type Theory (HoTT) is a variant of Martin-Löf Type Theory (MLTT) developed in such a way that types can be interpreted as infinity-groupoids, where the iterated construction of identity types represents the different ... -
Compositional reservoir simulation with emphasis on the IMPSAT formulation
(Doctoral thesis, 2006-04-07) -
Computer-aided proofs and algorithms in analysis
(Doctoral thesis; Peer reviewed, 2013-06-14)The computational power has increased dramatically since the appearance of the first computers, making them a vital tool in the analysis of dynamical systems. We present further applications of those two basic ideas, namely ... -
Conditioning reservoir models on vast data sets
(Doctoral thesis, 2021-09-09)History matching is a valuable process to obtain better models and a more reliable forecast in oil reservoir applications. In such processes, one conditions the simulation models on the observed data from the field. One ... -
Conforming Discretizations of Mixed-Dimensional Partial Differential Equations
(Doctoral thesis, 2018-06-01)Mixed-dimensional partial differential equations (PDEs) are coupled equations defined on connected manifolds of different dimensionalities. Two main examples of mixed-dimensional PDEs are considered in this dissertation, ... -
Continuous Updating of a Coupled Reservoir-Seismic Model Using an Ensemble Kalman Filter Technique
(Doctoral thesis, 2007-03-29)This work presents the development of a method based on the ensemble Kalman filter (EnKF) for continuous reservoir model updating with respect to the combination of production data, 3D seismic data and time-lapse seismic ... -
Convective mixing in geological carbon storage
(Doctoral thesis, 2011-11-25)The industrial era has seen an exponential growth in the atmospheric concentration of carbon dioxide (CO2), resulting mainly from the burning of fossil fuels. This can cause changes in the climate that have severe impacts ... -
Derivation and numerical solution of fully nonlinear and fully dispersive water wave model equations
(Doctoral thesis, 2017-06-09)The water wave theory is a classical part of Fluid Mechanics. It has a long scientific history with a great number of mathematical results [10, 32]. The first studies in this field were done by Stokes in 1847 [34]. He ...