Recent Submissions

  • Investigations into Graph-theoretical Constructions in Homotopy Type Theory 

    Prieto-Cubides, Jonathan (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 

    Stenholm, Elisabeth (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 

    Chetioui, Benjamin (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 

    Sæther, Eirik Halvard; Yu, Ingrid Chieh; Din, Crystal Chang (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 

    Vågset, Erlend Raa (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 

    Waterhouse, Robert M.; Adam-Blondon, Anne-Françoise; Balech, Bachir; Barta, Endre; Ying Shi Chua, Physilia; Di Cola, Valeria; Heil, Katharina F.; Hughes, Graham M.; Jermiin, Lars S.; Kalaš, Matúš; Lanfear, Jerry; Pafilis, Evangelos; Palagi, Patricia M.; Papageorgiou, Aristotelis C.; Paupério, Joana; Psomopoulos, Fotis; Raes, Niels; Burgin, Josephine; Gabaldón, Toni (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 

    Yousefian, Maryam; Tonello, Elisa; Frank, Anna-Simone Josefine; Siebert, Heike; Röblitz, Susanna (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 

    Bentert, Matthias; Drange, Pål Grønås; Fomin, Fedor; Golovach, Petr; Korhonen, Tuukka (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 

    Bentert, Matthias; Crane, Alex; Drange, Pål Grønås; Reidl, Felix; Sullivan, Blair D. (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 

    Rudraiah, Pavitra Sokke; Camacho, Rafael; Fernandez-Rodriguez, Julia; Fixler, Dror; Grimm, Jan; Gruber, Florian; Kalaš, Matúš; Kremslehner, Christopher; Kuntner, Claudia; Kuzdas-Wood, Daniela; Lindblad, Joakim; Mannheim, Julia G.; Marchetti-Deschmann, Martina; Paul-Gilloteaux, Perrine; Sampaio, Paula; Sandbichler, Peter; Sartori-Rupp, Anna; Sladoje, Nataša; Verkade, Paul; Walter, Andreas; Zoratto, Samuele (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 

    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 ...
  • 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 ...
  • 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 ...
  • 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)

View more