Blar i Department of Informatics på tittel
Viser treff 1-20 av 1199
-
A (2 + ε)-Factor Approximation Algorithm for Split Vertex Deletion
(Journal article; Peer reviewed, 2020)In the Split Vertex Deletion (SVD) problem, the input is an n-vertex undirected graph G and a weight function w: V(G) → ℕ, and the objective is to find a minimum weight subset S of vertices such that G-S is a split graph ... -
A 43k Kernel for Planar Dominating Set using Computer-Aided Reduction Rule Discovery
(Master thesis, 2016-02-15)In this thesis we explore the technique of Region Decomposition for finding kernels for Planar Dominating Set. We redefine some concepts used in earlier work, fixing some ambiguities on the way. From those concepts we end ... -
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 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 Super Resolution in Smart Meter Data Using Machine Learning Techniques
(Master thesis, 2024-03-18) -
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 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 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 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 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 Approach for Creating Web Applications with 3D Geology Using React and X3DOM
(Master thesis, 2019-06-29)The thesis details the work for creating a web application that allows a user to see a visualization for geological data like topography, seismic data and well measurements from the subsurface. This application uses the ... -
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 Snakemake workflow for analysing alternative splicing events from short-read RNA-seq data
(Master thesis, 2022-04-13)