Department of Informatics
Recent Submissions
-
Investigations into Graph-theoretical Constructions in Homotopy Type Theory
(Doctoral thesis, 2024-12-13)Denne avhandlingen presenterer en konstruktiv og bevisrelevant utvikling av grafteorikonsepter innen Homotopi-typeteori (HoTT). HoTT er en utvidelse av Martin-Löfs intuisjonistiske typeteori og inkorporerer nyskapende ... -
Material Set Theory in Homotopy Type Theory
(Doctoral thesis, 2024-11-29)Denne avhandlingen undersøker modeller av materiell mengdelære i homotopi typeteori (HoTT), det vil si, tolkninger av språket for mengdelære inn i HoTT slik at tolkningene av aksiomene i mengdelære kan vises å holde. En ... -
Towards Practical High-Quality Software
(Doctoral thesis, 2024-11-27)Høy programvarekvalitet er viktig. Dette blir tydeligere ettersom samfunnet blir stadig mer digitalisert. For eksempel anslås dårlig programvarekvalitet å ha kostet det amerikanske samfunnet $2.41 billioner i 2022. Dårlig ... -
Semantics-Based Version Control for Feature Model Evolution Plans
(Journal article; Peer reviewed, 2023)A software product line (SPL) models closely related software systems by capitalizing on the high similarity of the products by organizing them into common and variable parts. To ensure successful long-term development, ... -
Optimal Parameterized Algorithms for Solving NP-Hard Problems in Topology
(Doctoral thesis, 2024-11-22)Denne avhandlingen fokuserer på tre sentrale utfordringer innen algoritmisk topologi: homologibeliggenhetsproblemet, det minste omkransede kjedeproblemet og underflategjenkjenningsproblemet. Selv om disse problemene er ... -
The ELIXIR Biodiversity Community: Understanding short- and long-term changes in biodiversity
(Journal article; Peer reviewed, 2024)Biodiversity loss is now recognised as one of the major challenges for humankind to address over the next few decades. Unless major actions are taken, the sixth mass extinction will lead to catastrophic effects on the ... -
Uncovering dynamic structures within cyclic attractors of asynchronous Boolean networks with spectral clustering
(Journal article; Peer reviewed, 2024)Boolean models provide an intuitive framework for the investigation of complex biological networks. Dynamics that implement asynchronous update rules, in particular, can help embody the complexity arising from non-deterministic ... -
Two-Sets Cut-Uncut on Planar Graphs
(Journal article; Peer reviewed, 2024)We study Two-Sets Cut-Uncut on planar graphs. Therein, one is given an undirected planar graph G and two disjoint sets S and T of vertices as input. The question is, what is the minimum number of edges to remove from G, ... -
Correlation Clustering with Vertex Splitting
(Journal article; Peer reviewed, 2024)We explore CLUSTER EDITING and its generalization CORRELATION CLUSTERING with a new operation called permissive vertex splitting which addresses finding overlapping clusters in the face of uncertain information. We determine ... -
Correlated multimodal imaging in life sciences: lessons learnt
(Journal article; Peer reviewed, 2024-07-30)Correlated Multimodal Imaging (CMI) gathers information about the same specimen with two or more modalities that–combined–create a composite and complementary view of the sample (including insights into structure, function, ... -
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 ... -
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 ... -
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 ... -
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)