Department of Informatics
Recent Submissions
-
The parameterized complexity of finding minimum bounded chains
(Journal article; Peer reviewed, 2024)Finding the smallest d-chain with a specific (d − 1)-boundary in a simplicial complex is known as the Minimum Bounded Chain problem (MBCd). MBCd is NP-hard for all d ≥2. In this paper, we prove that it is also W[1]-hard ... -
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
(Journal article; Peer reviewed, 2024)Formal, mathematically rigorous programming language semantics are the essential prerequisite for the design of logics and calculi that permit automated reasoning about concurrent programs. We propose a novel modular ... -
An Inductive Bias for Emergent Communication in a Continuous Setting
(Journal article; Peer reviewed, 2024)We study emergent communication in a multi-agent reinforcement learning setting, where the agents solve cooperative tasks and have access to a communication channel. The communication channel may consist of either discrete ... -
Exploiting Redundant Designs with Side-Channel Attacks
(Doctoral thesis, 2024-09-09)Sidekanalsangrep (SKA) er en bred angrepsklasse der en angriper utnytter en uforventet informasjonslekkasje til å omgå et sikkerhetstiltak. Hvorfor skulle man orke å knekke en kryptert telefonsamtale når man kan stå i ... -
Model Predictive Control for Hybrid Energy Systems
(Master thesis, 2024-06-07)The global energy landscape has undergone increasing transformations in recent years, driven by the urgent need to adopt more sustainable and efficient energy sources. In Norway, offshore oil and gas installations have ... -
Monte Carlo Simulations in Cost Estimation Analysis
(Master thesis, 2024-06-03) -
A Comparative Analysis of Super Resolution in Smart Meter Data Using Machine Learning Techniques
(Master thesis, 2024-03-18) -
Exercise-induced Laryngeal Obstruction Diagnostics Using Machine Learning
(Master thesis, 2024-06-03)Exercise-induced laryngeal obstruction (EILO), characterized by laryngeal narrowing during physical exercise, poses a significant challenge, especially for athletes and active youth, impacting performance and quality of ... -
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 ... -
Developing AI Technology for Automatic Control of IoT Devices in Smart Homes
(Master thesis, 2024-06-03) -
VRETCreator: A Tool for Creation of VR Experiences used for Exposure Therapy of Phobia and Anxiety
(Master thesis, 2024-06-03)Roughly 20-25% of the population experience an anxiety disorder at some point in their lives, with the majority experiencing either specific or social phobias. Virtual Reality Exposure Therapy (VRET) has been used clinically ... -
BattleFit Commander: A Game Design Approach to Enhance Motivation for Exercise
(Master thesis, 2024-06-03)Physical activity provides numerous health benefits, while a sedentary lifestyle poses significant health risks. Despite this, inactivity is prevalent. Common reasons for not engaging in exercise include a lack of time and ... -
Turán's Theorem Through Algorithmic Lens
(Journal article; Peer reviewed, 2023) -
Towards Reusable GUI Structures
(Chapter, 2023)Graphical user interfaces present data as structures (lists, trees, grids). Convenient features to manipulate these structures are tedious to implement. We are working towards a GUI programming approach, where concise ... -
Compiler Support for Parallel Evaluation of C++ Constant Expressions
(Journal article; Peer reviewed, 2023)Metaprogramming, the practice of writing programs that manipulate other programs at compile-time, continues to impact software development; enabling new approaches to optimisation, static analysis, and reflection. Nevertheless, ... -
Computing Paths of Large Rank in Planar Frameworks Deterministically
(Journal article; Peer reviewed, 2023)A framework consists of an undirected graph G and a matroid M whose elements correspond to the vertices of G. Recently, Fomin et al. [SODA 2023] and Eiben et al. [ArXiV 2023] developed parameterized algorithms for computing ... -
Coset leaders of the first order Reed-Muller codes in the classes of Niho functions and Thershold functions
(Journal article; Peer reviewed, 2024)The notion of coset leader has applications in coding theory and cryptography. It has been studied in several papers. In this paper, we extend a recent study, made on the coset leaders of the first order Reed-Muller codes, ... -
Kernelization for Spreading Points
(Journal article; Peer reviewed, 2023)We consider the following problem about dispersing points. Given a set of points in the plane, the task is to identify whether by moving a small number of points by small distance, we can obtain an arrangement of points ... -
Strong bounds and exact solutions to the minimum broadcast time problem
(Journal article; Peer reviewed, 2025)Given a graph and a subset of its nodes, referred to as source nodes, the minimum broadcast time problem asks for the minimum number of steps in which a signal can be transmitted from the sources to all other nodes in the ... -
Compound Logics for Modification Problems
(Journal article; Peer reviewed, 2023)We introduce a novel model-theoretic framework inspired from graph modification and based on the interplay between model theory and algorithmic graph minors. The core of our framework is a new compound logic operating with ...