Browsing Faculty of Science and Technology by Title
Now showing items 74-93 of 10641
-
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 ... -
A customizable and modular VR game for use in pain distraction
(Master thesis, 2024-06-03)Chronic pain is defined as pain persisting for more than three months. The cause of these conditions varies from musculoskeletal issues to nerve damage. These issues may cause reduced movement, further impacting the patient's ... -
A Cylindrical Cavity Resonator System for Characterisation of Hydrogen Gas
(Master thesis, 2024-06-03) -
A Deep Reinforcement Learning - based Hyperheuristic for the Flexible Traveling Repairman Problem with Drones
(Master thesis, 2023-07-01) -
A deeper look; Does Heincke´s law apply to Atlantic cod (Gadus morhua) in the Barents Sea and what is the effect of eye size on prey encounter rate?
(Master thesis, 2019-05-28)The Atlantic cod (Gadus morhua) is arguably one of the most valuable fish we have, and the Barents Sea stock, Northeast Arctic cod (NEAC), is the largest stock in the world. Despite the long history of fishing and the ... -
A delayed SEIR-model of the Covid-19 pandemic
(Master thesis, 2022-06-01) -
A descriptive analysis of data from the Norwegian Coastal Reference Fleet and comparison with catch-per-unit-effort data from research surveys
(Master thesis, 2021-03-22)Catch quotas are used for the sustainable management of fish stocks and are based on official catch statistics and research surveys. However, these methods provide only partial information, as the official catch data does, ... -
A detailed field and geochemical investigation of the volcanic sequence in the Grimelid-area: The Solund-Stavfjord Ophiolite Complex
(Master thesis, 2021-12-30)This master thesis focuses on the volcanic sequence of the Solund-Stavfjord Ophiolite Complex (SSOC) in Grimelia, in order to provide more detailed information and a better understanding of the development. The SSOC (443 ... -
A detailed field and geochemical investigation of the volcanic sequence in the Våganes-area: The Solund-Stavfjord Ophiolite Complex
(Master thesis, 2021-06-01)The Solund-Stavfjord Ophiolite Complex (SSOC) is located within the western Norwegian Caledonides and represents a remnant of the youngest phase of oceanic crust formation, dated to Late Ordovician (443 Ma). Detailed field ... -
A developed 3(4) step synthesis strategy for radiolabeling Flumazenil with carbon-11 in the carbonyl position and establishment of a process for [11C]-methylation of Flumazenil
(Master thesis, 2023-06-02)Even though carbon-11 has some very interesting features for PET imaging, its potential has still not been fully exploited. Reasons for this could be that its short half-life requires an efficient and fast synthesis route, ... -
A Dimensional Modeling Approach to Internet-Delivered Psychological Treatments
(Master thesis, 2021-08-02)Mental health problems are becoming an increasingly significant public health concern on a global scale. While effective psychological treatments exist, they scale poorly to the number of people who require help, meaning ... -
A Dimensionality Reducing Extension of Bayesian Relevance Learning
(Master thesis, 2021-02-11)When modeling with big data and high dimensional data, the ability to extract the most important information from the data set and avoid overfitting is crucial. However, by using well developed sparse methods, we can ... -
A Domain-Specific Language for the Development of Heterogeneous Multi-Robot Systems
(Master thesis, 2019-06-28)Robots are becoming more advanced each year and will increasingly become a bigger part of our lives. This thesis explores how model-driven software engineering can be used in the development of heterogeneous multi-robot ... -
A Dual Binary System for Investigating Microenvionmental Influence on Metastasis in vivo
(Master thesis, 2024-06-03) -
A faster algorithm for computing c-closure
(Master thesis, 2023-06-13)Exploiting the structure of graphs is a well-known strategy for solving hard problems on complex graphs. In our studies we consider structural characteristics of social network graphs, in particular ways to exploit the ... -
A faunistic study of the amphipod-fauna of Hjeltefjord, West-Norway
(Master thesis, 2019-06-26)Amphipods are a large and highly diverse order of benthic invertebrates. Their great variety in habitat selection, morphology, geographical range and feeding strategies makes them an important ecological group in marine ... -
A Field Study on the Effects of Norwegian Aquaculture Farms on the Intertidal Rocky Shore Community
(Master thesis, 2021-09-13)The aquaculture industry has more than doubled since the early 2000s, and the growth is not predicted to stagnate any time soon. Norwegian salmonid aquaculture cages are usually open where waste is flushed from the cage ... -
A Field-scale Reservoir Simulation Study of CO2 Foam Generation in Enhanced Oil Recovery (EOR) Processes
(Master thesis, 2022-12)A numerical investigation of CO2 foam for enhanced oil recovery (EOR). Foam generation, foam strength and foam propagation were evaluated in a field-scale radial simulation model representing a completed CO2 foam field pilot. -
A Functional Implementation of a Multiway Dataflow Constraint System Library
(Master thesis, 2023-06-16) -
A high-resolution reconstruction of climate variability at Lagoa Negra Lake Flores, Azores
(Master thesis, 2023-02-07)