Browsing Master theses by Title
Now showing items 1-20 of 100
-
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 ... -
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 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 meta-analysis on the effectiveness of digital contact tracing solutions to date
(Master thesis, 2021-11-23) -
A Weather/Mobility Analysis using Machine Learning
(Master thesis, 2020-08-25) -
Alias - Designing an application for creating personalised comics aimed for the Children and Youth Clinic at Haukeland University Hospital
(Master thesis, 2019-12)Information that is handed out by hospitals is not always personalised for patients and their motivation is often lacking. Communication between healthcare and patients is mostly textual and verbal, sometimes overwhelming, ... -
An Effective Generic Lasso Selection Tool for Multiselection
(Master thesis, 2020-06-20)Multiselection is widely available in the graphical user interfaces of common applications, often through rectangular or row-wise selection tools. Lasso selection, though often provided in image manipulation applications, ... -
An efficient implementation of a test for EA-equivalence
(Master thesis, 2022-06-01)We implement an algorithm for testing EA-equivalence between vectorial Boolean functions proposed by Kaleyski in the C programming language, and observe that it reduces the running time (as opposed to the original Magma ... -
An Experimental Evaluation of Software Frameworks for the Web-of-Things
(Master thesis, 2021-06-15)In this thesis we evaluate the Web of Things technology. The Research-based Innovation scheme in Norway has started a project named Smart Ocean, which explores new technologies to develop ocean monitoring solutions. This ... -
An Introduction to Information-Theoretic Private Information Retrieval (IT-PIR)
(Master thesis, 2019-06-26) -
Analysis of Word Embeddings: A Clustering and Topological Approach
(Master thesis, 2021-06-01)Over the last few years, advances in natural language processing (NLP) have enabled us to learn more from textual data. To this end, word embedding models learn vectorized representations of words by training on big sets ... -
Applications of Access Control Logics to Online Banking Systems
(Master thesis, 2021-11-22)Digitalisation has in many ways helped us become more productive and efficient. Technology has transformed the way we do banking. Online banking systems have made banking significantly simpler, and are offered by most ... -
Augmented Reality in Historical Museum: A case study at Fjell Fortress
(Master thesis, 2020-09-09)Over the years, there has been development in using the technologies in historical museums for various reasons. The recent development of smartphones and computer graphics has enabled us to provide a new way of interaction ... -
Automatic blurring of specific faces in video
(Master thesis, 2022-06-30)With the introduction of the General Data Protection Regulation (GDPR) into European Union law, it became more important than ever before to properly handle personal data. This is an issue for media companies which distribute ... -
Automatic Error Detection in 3D Pritning using Computer Vision
(Master thesis, 2020-02-01)During recent years Additive Manufacturing Technology, or 3D Printing, has become extremely popular. 3D printing is being actively used in fields ranging from rapid prototyping and rapid manufacturing to Bio-printing for ... -
Automating User Interfaces for a Multi-way Dataflow Constraint System
(Master thesis, 2022-06-01)A scriptable User Interface (UI) can be set to record the user’s actions into a script, and then play that recorded script back over different data. The purpose is to automate oft-occurring use patterns. Though such ... -
Building a flexible CBT model based on structured data for the COPE app
(Master thesis, 2020-10-07) -
Classification and computational search for planar functions in characteristic 3
(Master thesis, 2022-06-10) -
CO-expression Analysis of RNA-sequence Data from Parkinson's Disease Patients
(Master thesis, 2020-06-26)Parkinson’s disease is known as a progressive neurological disease characterized by motor symptoms. The motor symptoms are caused by neurodegeneration that causes dysfunctionalities in molecular functions crucial for ... -
Coded communication on the Internet
(Master thesis, 2019-06-26)The Internet is giving people many opportunities to interact, but for latency-sensitive activities, there is still room for improvement. It is not always good enough that messages arrive; some times they should arrive ...