Browsing Faculty of Mathematics and Natural Sciences by Title
Now showing items 41-60 of 9860
-
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 ... -
4D seismic history matching: Assessing the use of a dictionary learning based sparse representation method
(Journal article; Peer reviewed, 2020-12)It is possible to improve oil-reservoir simulation models by conditioning them on 4D seismic data. Computational issues may arise related to both storage and CPU time due to the size of the 4D seismic dataset. An approach ... -
4th Nordic Workshop on Cosmogenic Nuclides. Landscape development and geohazards
(Book of abstracts, 2018) -
4th Party Logistics Problem Optimizer
(Master thesis, 2020-02-17)This thesis considers a pickup and delivery problem with multiple time windows, a complex cost structure and factory constraints. We formulated the problem as a mathematical model and created an instance generator based ... -
60 years of scientific deep drilling in Colombia: The north Andean guide to the Quaternary
(Journal article; Peer reviewed, 2022)We sketch the initial history of collecting deep cores in terrestrial and marine sedimentary basins and ice cores to study environmental and climate change. Subsequently, we focus on the development of long records from ... -
9-Acridinemethanamine and Acridine-9-Carboxaldehyde as Potential Fluorescence Lifetime pH Indicators
(Journal article; Peer reviewed, 2020)A significant challenge concerning the development of fluorescence lifetime (FL) based pH sensors is the paucity of fluorophores with sufficiently large FL variation with pH. Acridine is amongst the indicators with highest ... -
A Case Study in Dependent Type Theory: Extracting a Certified Program from the Formal Proof of its Specification
(Master thesis, 2023-06-01)Proofs are an important part of mathematics, but they are not without their flaws. Most proofs are written by humans, and humans make mistakes. In this thesis, we explore the use of proof assistants to construct formal ... -
A Comparative Analysis of Ground Source and Air Source Heat Pumps for Heating of an Office Building in Bergen
(Master thesis, 2023-06-01) -
A comparative study of Doubly Fed Asynchronous and Synchronous Generators in a wind energy perspective
(Master thesis, 2019-06-15)Dette masterstudiet fokuserer på analyse av vindkraft-generatorer. Det er et sammenligningsstudie av den dobbel-matede asynkrongeneratoren og synkrongeneratorer, hvor effektivitet, driftsforhold og økonomiske perspektiv ... -
A Comparative Study of the Spawning Phenology of Cod (Gadus morhua), Saithe (Pollachius virens), and Haddock (Melanogrammus aeglefinus): a Geographical Perspective along the Norwegian Coast
(Master thesis, 2023-06-02)Reproductive traits are a fundamental aspect of an organism's life history and play a critical role in shaping population dynamics, as these traits can significantly influence offspring survival rates and, thereby, ... -
A comparative study on the free vibration characteristics of submerged pipe structures
(Master thesis, 2023-06-01)This thesis investigates the free vibration characteristics of submerged pipe-like structures using multiple added mass approaches. Traditional methods rely on constant added mass factors, which may lack accuracy for complex ... -
A comparison of egg investment in lesser black-backed gulls (Larus fuscus) from urban and non-urban colonies
(Master thesis, 2021-06-01)While the increasing worldwide urbanization generally has negative effects on biodiversity, some animals, like roof nesting gulls, are able to take advantage of these areas and have generated large populations in a number ... -
A Comparison of the local Gaussian correlation and the local dependence function
(Master thesis, 2022-06-01)Correlation is a method to measure the relation between two or more variables. In this thesis, a method of measuring correlation and a method of measuring dependence are used. These two methods, are the local Gaussian ... -
A comparison of the spatial ecology, trophic ecology, and hypoxia tolerance of Velvet belly lanternshark (Etmopterus spinax) and Blackmouth catshark (Galeus melastomus) in Norwegian fjords.
(Master thesis, 2022-06-01)Climate change and ocean warming are major drivers of deoxygenation in the ocean, and the effects of oxygen loss are more pronounced in fjords due to the basic fjord topography. Velvet belly lanternshark (Etmopterus spinax) ... -
A Compiler and Runtime Environment for Execution of Coloured Petri Net Models
(Master thesis, 2022-06-01)Reliance on software systems is ever increasing in our world. Alongside the application of concurrent software systems that embody communication, syn- chronization and resource sharing. Many problems in software engineering ... -
A Computational and Experimental Study of the Wave Load on a Horizontal Cylinder
(Master thesis, 2022-06-01)Denne studien tar sikte på å undersøke hvordan endring av bølge- og strømningsparametre påvirker bølgebelastningen på en delvis nedsenket sylinder, plassert horisontalt og på tvers mot bølgene i en fast posisjon. En 2D- ...