Recent Submissions

  • The parameterized complexity of finding minimum bounded chains 

    Blaser, Nello; Brun, Morten; Salbu, Lars Moberg; Vågset, Erlend Raa (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 

    Din, Crystal Chang; Hähnle, Reiner; Henrio, Ludovic; Johnsen, Einar Broch; Pun, Violet Ka I; Tapia Tarifa, Silvia Lizeth (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 

    Villanger, John Isak Fjellvang; Bojesen, Troels Arnfred (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 

    Costes, Nicolas (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 

    Kaavik, Sondre Ekkje (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 

    Herabakka, Ida (Master thesis, 2024-06-03)
  • Exercise-induced Laryngeal Obstruction Diagnostics Using Machine Learning 

    Mæstad, Rune Nordanger (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 

    Jonassen, Sebastian Misje; Nupen, Mathias (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 

    Bjerkan, Jørgen Aspehaug (Master thesis, 2024-06-03)
  • VRETCreator: A Tool for Creation of VR Experiences used for Exposure Therapy of Phobia and Anxiety 

    Eliassen, Lisa Maria; Pasichnyk, Olesya (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 

    Vaular, Simon; Kvilhaugsvik, Øystein (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 

    Fomin, Fedor; Golovach, Petr; Sagunov, Danil; Simonov, Kirill (Journal article; Peer reviewed, 2023)
  • Towards Reusable GUI Structures 

    Stokke, Knut Anders; Barash, Mikhail; Järvi, Jaakko (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 

    Gozillon, Andrew; Haeri, Seyed Hossein; Riordan, James; Keir, Paul (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 

    Fomin, Fedor; Golovach, Petr; Korhonen, Tuukka Matias Aleksanteri; Stamoulis, Giannos (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 

    Carlet, Claude Michael; Feukoua, Serge; Sălăgean, Ana (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 

    Fomin, Fedor; Golovach, Petr; Inamdar, Tanmay Nitin; Zehavi, Meirav (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 

    Ivanova, Marika; Haugland, Dag; Tvedt, Bård Hennning (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 

    Fomin, Fedor; Golovach, Petr; Sau, Ignasi; Stamoulis, Giannos; Thilikos, Dimitrios M. (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 ...

View more