Browsing Master theses by Title
Now showing items 2-21 of 218
-
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 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 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 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 Deep Reinforcement Learning - based Hyperheuristic for the Flexible Traveling Repairman Problem with Drones
(Master thesis, 2023-07-01) -
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 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 Functional Implementation of a Multiway Dataflow Constraint System Library
(Master thesis, 2023-06-16) -
A meta-analysis on the effectiveness of digital contact tracing solutions to date
(Master thesis, 2021-11-23) -
A Modular Integrated Development Environment for Coloured Petri Net Models
(Master thesis, 2023-06-02)Distributed software systems are becoming increasingly popular and used. Most of modern distributed systems provide the application of concurrency, also in- cluding resource sharing, communication and synchronization between ... -
A new parallel adaptive heuristic for combinatorial optimization problems
(Master thesis, 2023-02-17) -
A Weather/Mobility Analysis using Machine Learning
(Master thesis, 2020-08-25) -
A web-based dashboard to facilitate progress management of pathology workflows
(Master thesis, 2022-12-15)The Department of Pathology at Haukeland University Hospital in Bergen (HUS) has in recent years experienced a growing demand for their services. An aging population in combination with heightened use of personalized ... -
A Web-based Data-Driven Security Game for Teaching Software Security
(Master thesis, 2022-06-01) -
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 Algorithm for k-insertion into a Binary Heap
(Master thesis, 2023-06-01)In this thesis, we present an algorithm for k-insertion into a binary heap running in worst-case time O(k+log(k)·log(n+k)), improving the standard k-insertion algorithm for binary heaps in terms of worst-case running time. ... -
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 ...