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

• Explorations of Physical Attacks Against Embedded Systems and Their Defences 

  Askeland, Amund (Doctoral thesis, 2025-02-05)

  Til dagleg omgir me oss med hundrevis av elektroniske system. Desse systema, som gjerne blir kalla innvevde system, finst i bilane me køyrer, i kritisk infrastruktur, og i heimane våre. Som brukarar tek me ofte for gitt ...

• Who Watches the Watchers: Attacking Glitch Detection Circuits 

  Askeland, Amund; Petkova-Nikova, Svetla Iordanova; Nikov, Ventzislav (Journal article, 2024)

  Over the last decades, fault injection attacks have been demonstrated to be an effective method for breaking the security of electronic devices. Some types of fault injection attacks, like clock and voltage glitching, ...

• Single-Cell Gene-Regulatory Networks of Advanced Symptomatic Atherosclerosis 

  Mocci, Giuseppe; Sukhavasi, Katyayani; Örd, Tiit; Bankier, Sean Alexander; Singha, Prosanta; Arasu, Uma Thanigai; Agbabiaje, Olayinka Oluwasegun; Mäkinen, Petri; Ma, Lijiang; Hodonsky, Chani J.; Aherrahrou, Redouane; Muhl, Lars; Liu, Jianping; Gustafsson, Sonja; Byandelger, Byambajav; Wang, Ying; Koplev, Simon; Lendahl, Urban; Owens, Gary K.; Leeper, Nicholas J.; Pasterkamp, Gerard; Vanlandewijck, Michael; Michoel, Tom; Ruusalepp, Arno; Hao, Ke; Ylä-Herttuala, Seppo; Väli, Marika; Järve, Heli; Mokry, Michal; Civelek, Mete; Miller, Clint J.; Kovacic, Jason C.; Kaikkonen, Minna U.; Betsholtz, Christer; Björkegren, Johan L.M. (Journal article; Peer reviewed, 2024)

  Background: While our understanding of the single-cell gene expression patterns underlying the transformation of vascular cell types during the progression of atherosclerosis is rapidly improving, the clinical and ...

• Automated cell type annotation and exploration of single-cell signaling dynamics using mass cytometry 

  Kleftogiannis, Dimitrios; Gavasso, Sonia; Tislevoll, Benedicte Sjo; van der Meer, Nisha; Motzfeldt, Inga Kirstine Flaaten; Hellesøy, Monica; Gullaksen, Stein-Erik; Griessinger, Emmanuel; Fagerholt, Oda Helen Eck; Lenartova, Andrea; Fløisand, Yngvar; Schuringa, Jan Jacob; Gjertsen, Bjørn Tore; Jonassen, Inge (Journal article; Peer reviewed, 2024)

  Mass cytometry by time-of-flight (CyTOF) is an emerging technology allowing for in-depth characterization of cellular heterogeneity in cancer and other diseases. Unfortunately, high-dimensional analyses of CyTOF data remain ...

• On planarity of graphs in homotopy type theory 

  Cubides, Jonathan Steven Prieto; Gylterud, Håkon Robbestad (Journal article; Peer reviewed, 2024)

  In this paper, we present a constructive and proof-relevant development of graph theory, including the notion of maps, their faces and maps of graphs embedded in the sphere, in homotopy type theory (HoTT). This allows us ...

• PRPF8-mediated dysregulation of hBrr2 helicase disrupts human spliceosome kinetics and 5´-splice-site selection causing tissue-specific defects 

  Atkinson, Robert; Georgiou, Maria; Yang, Chunbo; Szymanska, Katarzyna; Lahat, Albert; Vasconcelos, Elton J. R.; Ji, Yanlong; Moya Molina, Marina; Collin, Joseph; Queen, Rachel; Dorgau, Birthe; Watson, Avril; Kurzawa-Akanbi, Marzena; Laws, Ross; Saxena, Abhijit; Shyan Beh, Chia; Siachisumo, Chileleko; Görtler, Franziska Stilla Maria; Karwatka, Magdalena; Davey, Tracey; Inglehearn, Chris F.; McKibbin, Martin; Lührmann, Reinhard; Steel, David H.; Elliott, David J.; Armstrong, Lyle; Urlaub, Henning; Ali, Robin R.; Grellscheid, Sushma Nagaraja; Johnson, Colin A.; Mozaffari-Jovin, Sina; Lako, Majlinda (Journal article; Peer reviewed, 2024)

  The carboxy-terminus of the spliceosomal protein PRPF8, which regulates the RNA helicase Brr2, is a hotspot for mutations causing retinitis pigmentosa-type 13, with unclear role in human splicing and tissue-specificity ...

• The Structure of Paradoxes in a Logic of Sentential Operators 

  Walicki, Michal (Journal article; Peer reviewed, 2024)

  Any language L of classical logic, of first- or higher-order, is expanded with sentential quantifiers and operators. The resulting language L+, capable of self-reference without arithmetic or syntax encoding, can serve as ...

• XNLP-Completeness for Parameterized Problems on Graphs with a Linear Structure 

  Bodlaender, Hans L.; Groenland, Carla; Jacob, Hugo; Jaffke, Lars; Lima, Paloma T. (Journal article; Peer reviewed, 2024)

  In this paper, we showcase the class XNLP as a natural place for many hard problems parameterized by linear width measures. This strengthens existing W[1]-hardness proofs for these problems, since XNLP-hardness implies ...

• Finding 3-to-1 APN functions using Birthday Attacks 

  Folkestad, Silje (Master thesis, 2024-10-01)

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

View more