Recent Submissions

  • MAP- and MLE-Based Teaching 

    Simon, Hans Ulrich; Telle, Jan Arne (Journal article; Peer reviewed, 2024)
    Imagine a learner L who tries to infer a hidden concept from a collection of observations. Building on the work of Ferri et al. (2022), we assume the learner to be parameterized by priors P (c) and by c-conditional likelihoods ...
  • Low-Complexity Hardware Architecture of APN Permutations Using TU-Decomposition 

    Budaghyan, Lilya; Imaña, José L.; Kaleyski, Nikolay Stoyanov (Journal article; Peer reviewed, 2024)
    Functions with good cryptographic properties which are used as S-boxes in the design of block ciphers have a fundamental importance to the security of these ciphers since they determine the resistance to various kinds of ...
  • FPT approximation and subexponential algorithms for covering few or many edges 

    Fomin, Fedor; Golovach, Petr; Inamdar, Tanmay; Koana, Tomohiro (Journal article; Peer reviewed, 2024)
    We study the 𝛼-FIXED CARDINALITY GRAPH PARTITIONING (𝛼-FCGP) problem, the generic local graph partitioning problem introduced by Bonnet et al. [Algorithmica 2015]. In this problem, we are given a graph 𝐺, two numbers ...
  • Fixed-Parameter Tractability of Maximum Colored Path and beyond 

    Fomin, Fedor; Golovach, Petr; Korhonen, Tuukka; Simonov, Kirill; Stamoulis, Giannos (Journal article; Peer reviewed, 2024)
    We introduce a general method for obtaining fixed-parameter algorithms for problems about finding paths in undirected graphs, where the length of the path could be unbounded in the parameter. The first application of our ...
  • (Re)packing Equal Disks into Rectangle 

    Fomin, Fedor; Golovach, Petr; Inamdar, Tanmay; Saurabh, Saket; Zehavi, Meirav (Journal article; Peer reviewed, 2024)
    The problem of packing of equal disks (or circles) into a rectangle is a fundamental geometric problem. (By a packing here we mean an arrangement of disks in a rectangle without overlapping.) We consider the following ...
  • Diverse Pairs of Matchings 

    Fomin, Fedor; Golovach, Petr; Jaffke, Lars; Philip, Geevarghese; Sagunov, Danil (Journal article; Peer reviewed, 2024)
    We initiate the study of the Diverse Pair of (Maximum/ Perfect) Matchings problems which given a graph G and an integer k, ask whether G has two (maxi- mum/perfect) matchings whose symmetric difference is at least k. Diverse ...
  • Parameterized complexity of broadcasting in graphs 

    Fomin, Fedor; Fraigniaud, Pierre; Golovach, Petr (Journal article; Peer reviewed, 2024)
    The task of the broadcast problem is, given a graph 𝐺 and a source vertex 𝑠, to compute the minimum number of rounds required to disseminate a piece of information from 𝑠 to all vertices in the graph. It is assumed that, ...
  • Approximating Long Cycle Above Dirac’s Guarantee 

    Fomin, Fedor; Golovach, Petr; Sagunov, Danil; Simonov, Kirill (Journal article; Peer reviewed, 2024)
    Parameterization above (or below) a guarantee is a successful concept in parameterized algorithms. The idea is that many computational problems admit “natural” guarantees bringing to algorithmic questions whether a better ...
  • Targeted Branching for the Maximum Independent Set Problem Using Graph Neural Networks 

    Langedal, Kenneth; Hespe, Demian; Sanders, Peter (Journal article; Peer reviewed, 2024)
    Identifying a maximum independent set is a fundamental NP-hard problem. This problem has several real-world applications and requires finding the largest possible set of vertices not adjacent to each other in an undirected ...
  • Graph Neural Networks in Algorithm Engineering 

    Langedal, Kenneth (Doctoral thesis, 2025-03-27)
    Graf Nevrale Nettverk (GNN) er ny teknologi innen kunstig intelligens. GNN viderefører de vellykkede ideene fra konvensjonell dyplæring til å fungere på grafer. For ulike grafteoretiske problemer har GNN blitt et nytt ...
  • PACE Solver Description: LUNCH - Linear Uncrossing Heuristics 

    Langedal, Kenneth; Bentert, Matthias; Blanco, Thorgal; Drange, Pål Grønås (Journal article; Peer reviewed, 2024)
    The 2024 PACE challenge is on One-Sided Crossing Minimization: Given a bipartite graph with one fixed and one free layer, compute an ordering of the vertices in the free layer that minimizes the number of edge crossings ...
  • The category of iterative sets in homotopy type theory and univalent foundations 

    Gratzer, Daniel; Gylterud, Håkon Robbestad; Mörtberg, Anders; Stenholm, Elisabeth (Journal article; Peer reviewed, 2024)
    When working in homotopy type theory and univalent foundations, the traditional role of the category of sets, Set, is replaced by the category hSet of homotopy sets (h-sets); types with h-propositional identity types. Many ...
  • First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications 

    Artale, Alessandro; Mazzullo, Andrea; Ozaki Rivera Castillo, Ana Helena (Journal article; Peer reviewed, 2024)
    Formalisms based on temporal logics interpreted over finite strict linear orders, known in the literature as finite traces, have been used for temporal specification in automated planning, process modelling, (runtime) ...
  • Tool-Augmented Human Creativity 

    Hole, Kjell Jørgen (Journal article; Peer reviewed, 2024)
    Creativity is the hallmark of human intelligence. Roli et al. (Frontiers in Ecology and Evolution 9:806283, 2022) state that algorithms cannot achieve human creativity. This paper analyzes cooperation between humans and ...
  • The Galaxy platform for accessible, reproducible, and collaborative data analyses: 2024 update 

    Abueg, Linelle Ann L.; Afgan, Enis; Allart, Olivier; Awan, Ahmed H.; Bacon, Wendi A.; Baker, Dannon; Bassetti, Madeline; Batut, Bérénice; Bernt, Matthias; Blankenberg, Daniel; Bombarely, Aureliano; Bretaudeau, Anthony; Bromhead, Catherine J.; Burke, Melissa L.; Capon, Patrick K.; Čech, Martin; Chavero-Díez, María; Chilton, John M.; Collins, Tyler J.; Coppens, Frederik; Coraor, Nate; Cuccuru, Gianmauro; Cumbo, Fabio; Davis, John; De Geest, Paul F.; de Koning, Willem; Demko, Martin; DeSanto, Assunta; Begines, José Manuel Domínguez; Doyle, Maria A.; Droesbeke, Bert; Erxleben-Eggenhofer, Anika; Föll, Melanie C.; Formenti, Giulio; Fouilloux, Anne; Gangazhe, Rendani; Genthon, Tanguy; Goecks, Jeremy; Gonzalez Beltran, Alejandra N.; Goonasekera, Nuwan A.; Goué, Nadia; Griffin, Timothy J.; Grüning, Björn A.; Guerler, Aysam; Gundersen, Sveinung; Gustafsson, Ove Johan Ragnar; Hall, Christina; Harrop, Thomas W.; Hecht, Helge; Heidari, Alireza; Heisner, Tillman; Heyl, Florian; Hiltemann, Saskia; Hotz, Hans-Rudolf; Hyde, Cameron J.; Jagtap, Pratik D.; Jakiela, Julia; Johnson, James E.; Joshi, Jayadev; Jossé, Marie; Jum’ah, Khaled; Kalaš, Matúš; Kamieniecka, Katarzyna; Kayikcioglu, Tunc; Konkol, Markus; Kostrykin, Leonid; Kucher, Natalie; Kumar, Anup; Kuntz, Mira; Lariviere, Delphine; Lazarus, Ross; Le Bras, Yvan; Le Corguillé, Gildas; Lee, Justin; Leo, Simone; Liborio, Leandro; Libouban, Romane; López Tabernero, David; Lopez-Delisle, Lucille; Los, Laila S.; Mahmoud, Alexandru; Makunin, Igor; Marin, Pierre; Mehta, Subina; Mok, Winnie; Moreno, Pablo A.; Morier-Genoud, François; Mosher, Stephen; Müller, Teresa; Nasr, Engy; Nekrutenko, Anton; Nelson, Tiffanie M.; Oba, Asime J.; Ostrovsky, Alexander; Polunina, Polina V.; Poterlowicz, Krzysztof; Price, Elliott J.; Price, Gareth R.; Rasche, Helena; Raubenolt, Bryan; Royaux, Coline; Sargent, Luke; Savage, Michelle T.; Savchenko, Volodymyr; Savchenko, Denys; Schatz, Michael C.; Seguineau, Pauline; Serrano-Solano, Beatriz; Soranzo, Nicola; Srikakulam, Sanjay Kumar; Suderman, Keith; Syme, Anna E.; Tangaro, Marco Antonio; Tedds, Jonathan A.; Tekman, Mehmet; Thang, Wai Cheng; Thanki, Anil S.; Uhl, Michael; van den Beek, Marius; Varshney, Deepti; Vessio, Jenn; Videm, Pavankumar; Von Kuster, Greg; Watson, Gregory R.; Whitaker-Allen, Natalie; Winter, Uwe; Wolstencroft, Martin; Zambelli, Federico; Zierep, Paul; Zoabi, Rand (Journal article; Peer reviewed, 2024)
    Galaxy (https://galaxyproject.org) is deployed globally, predominantly through free-to-use services, supporting user-driven research that broadens in scope each year. Users are attracted to public Galaxy services by platform ...
  • Integration of graph neural networks and genome-scale metabolic models for predicting gene essentiality 

    Hasibi, Ramin; Michoel, Tom Luk R; Oyarzún, Diego A. (Journal article; Peer reviewed, 2024)
    Genome-scale metabolic models are powerful tools for understanding cellular physiology. Flux balance analysis (FBA), in particular, is an optimization-based approach widely employed for predicting metabolic phenotypes. In ...
  • Poly(U) polymerase activity in Caenorhabditis elegans regulates abundance and tailing of sRNA and mRNA 

    Kelley, Leanne H.; Caldas, Ian V.; Sullenberger, Matthew T.; Yongblah, Kevin E.; Niazi, Adnan Muhammad; Iyer, Anoop; Li, Yini; Tran, Patrick Minty; Valen, Eivind; Ahmed-Braimah, Yasir H.; Maine, Eleanor M. (Journal article; Peer reviewed, 2024)
    Terminal nucleotidyltransferases add nucleotides to the 3′ end of RNA to modify their stability and function. In Caenorhabditis elegans, the terminal uridyltransferases/poly(U) polymerases PUP-1 (aka CID-1, CDE-1), PUP-2, ...
  • Mapping Graphs to Trees : Partition Trees, Leaf Powers and Decompositions 

    Høgemo, Svein (Doctoral thesis, 2025-02-27)
    Mange anvendelsar i informatikken kan kokast ned til å finne struktur i datamengder. Datamengder kan gjerne framstillast som grafar, og mange slags strukturar kan framstillast som tre. Difor er det ofte ønskjeleg å overføre ...
  • Electricity demand forecasting at distribution and household levels using explainable causal graph neural network 

    Miraki, Amir; Parviainen, Pekka; Arghandeh, Reza (Journal article; Peer reviewed, 2024)
    Forecasting electricity demand is an essential part of the smart grid to ensure a stable and reliable power grid. With the increasing integration of renewable energy resources into the grid, forecasting the demand for ...
  • Comprehensive contact tracing during an outbreak of alpha-variant SARS-CoV-2 in a rural community reveals less viral genomic diversity and higher household secondary attack rates than expected 

    Sivertsen, Audun; Mortensen, Nicolay; Solem, Unni; Valen, Eivind; Bullita, Marie Francoise; Wensaas, Knut-Arne; Litleskare, Sverre; Rørtveit, Guri; Grewal, Harleen; Ulvestad, Elling (Journal article; Peer reviewed, 2024)
    Sequencing of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) genomes throughout the COVID-19 pandemic has generated a wealth of data on viral evolution across populations, but only a few studies have so far ...

View more