Browsing Faculty of Science and Technology by Title
Now showing items 54-73 of 10607
-
A Benchmarking Suite for Persistent Homology
(Master thesis, 2024-06-03) -
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 Analysis of Super Resolution in Smart Meter Data Using Machine Learning Techniques
(Master thesis, 2024-03-18) -
A Comparative Study of Different Hydrogen Delivery and Storage Systems for Industrial Applications
(Master thesis, 2024-06-03)Reducing greenhouse gas emissions is crucial to addressing global warming. In response, emission-intensive industries with significant emissions prioritize efforts to cut their greenhouse gas emissions and adapt to a ... -
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- ... -
A Computational Search for Cubic-Like Bent Functions
(Master thesis, 2023-10-02)Boolean functions are a central topic in computer science. A subset of Boolean functions, Bent Boolean functions, provide optimal resistance to various cryptographical attack vectors, making them an interesting subject for ... -
A concept study on offshore floating hydrogen production, storage, and offloading
(Master thesis, 2022-06-01) -
A Cubical Implementation of Homotopical Patch Theory
(Master thesis, 2022-06-01)We consider theoretical models of version control systems based on Homotopy Type Theory (HoTT). The main contribution is an implementation of Angiuli et al.’s Homotopical Patch Theory in Cubical Agda. Additionally the first ...