Nye registreringer

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

Vis flere