Recent Submissions

  • Order-Related Problems Parameterized by Width 

    Arrighi, Emmanuel (Doctoral thesis, 2022-05-25)
    In the main body of this thesis, we study two different order theoretic problems. The first problem, called Completion of an Ordering, asks to extend a given finite partial order to a complete linear order while respecting ...
  • Towards a Spreadsheet-Based Language Workbench 

    Barash, Mikhail (Chapter, 2021)
    Spreadsheets are widely used across industries for various purposes, including for storing and manipulating data in a structured form. Such structured forms—expressed using tabular notation—have found their way in language ...
  • The salmon louse genome may be much larger than sequencing suggests 

    Wyngaard, Grace; Skern-Mauritzen, Rasmus; Malde, Ketil; Prendergast, Rachel; Peruzzi, Stefano (Journal article; Peer reviewed, 2022)
    The genome size of organisms impacts their evolution and biology and is often assumed to be characteristic of a species. Here we present the first published estimates of genome size of the ecologically and economically ...
  • Unitary Branching Programs: Learnability and Lower Bounds 

    Diaz Andino, Fidel Ernesto; Kokkou, Maria; Oliveira, Mateus De Oliveira; Vadiee, Farhad (Journal article; Peer reviewed, 2021)
    Bounded width branching programs are a formalism that can be used to capture the notion of non-uniform constant-space computation. In this work, we study a generalized version of bounded width branching programs where ...
  • On Supergraphs Satisfying CMSO Properties 

    Oliveira, Mateus De Oliveira (Journal article; Peer reviewed, 2021)
    Let CMSO denote the counting monadic second order logic of graphs. We give a constructive proof that for some computable function f, there is an algorithm A that takes as input a CMSO sentence φ, a positive integer t, and ...
  • On the IND-CCA1 Security of FHE Schemes 

    Hovd, Martha Norberg; Fauzi, Prastudy; Raddum, Håvard (Journal article; Peer reviewed, 2022)
    Fully homomorphic encryption (FHE) is a powerful tool in cryptography that allows one to perform arbitrary computations on encrypted material without having to decrypt it first. There are numerous FHE schemes, all of which ...
  • Bounds on the nonlinearity of differentially uniform functions by means of their image set size, and on their distance to affine functions 

    Carlet, Claude Michael (Journal article; Peer reviewed, 2021)
    We revisit and take a closer look at a (not so well known) result of a 2017 paper, showing that the differential uniformity of any vectorial function is bounded from below by an expression depending on the size of its image ...
  • On Neural Associative Memory Structures: Storage and Retrieval of Sequences in a Chain of Tournaments 

    Abolpour Mofrad, Asieh; Abolpour Mofrad, Samaneh; Yazidi, Anis; Parker, Matthew Geoffrey (Journal article; Peer reviewed, 2021)
    Associative memories enjoy many interesting properties in terms of error correction capabilities, robustness to noise, storage capacity, and retrieval performance, and their usage spans over a large set of applications. ...
  • Parameterized Complexity of Directed Spanner Problems 

    Fomin, Fedor; Golovach, Petr; Lochet, William Alexandre; Misra, Pranabendu; Saurabh, Saket; Sharma, Roohani (Journal article; Peer reviewed, 2021)
    We initiate the parameterized complexity study of minimum t-spanner problems on directed graphs. For a positive integer t, a multiplicative t-spanner of a (directed) graph G is a spanning subgraph H such that the distance ...
  • DimLift: Interactive Hierarchical Data Exploration through Dimensional Bundling 

    Garrison, Laura Ann; Müller, Juliane; Schreiber, Stefanie; Oeltze-Jafra, Steffen; Hauser, Helwig; Bruckner, Stefan (Journal article; Peer reviewed, 2021)
    The identification of interesting patterns and relationships is essential to exploratory data analysis. This becomes increasingly difficult in high dimensional datasets. While dimensionality reduction techniques can be ...
  • Variation in the SERPINA6/SERPINA1 locus alters morning plasma cortisol, hepatic corticosteroid binding globulin expression, gene expression in peripheral tissues, and risk of cardiovascular disease 

    Crawford, Andrew A.; Bankier, Sean; Altmaier, Elisabeth; Barnes, Catriona L. K.; Clark, David W.; Ermel, Raili; Friedrich, Nele; van der Harst, Pim; Joshi, Peter K.; Karhunen, Ville; Lahti, Jari; Mahajan, Anubha; Mangino, Massimo; Nethander, Maria; Neumann, Alexander; Pietzner, Maik; Sukhavasi, Katyayani; Wang, Carol A.; Bakker, Stephan J. L.; Bjorkegren, Johan L. M.; Campbell, Harry; Eriksson, Johan G.; Gieger, Christian; Hayward, Caroline; Jarvelin, Marjo-Riitta; McLachlan, Stela; Morris, Andrew P.; Ohlsson, Claes; Pennell, Craig E.; Price, Jackie; Rudan, Igor; Ruusalepp, Arno; Spector, Tim; Tiemeier, Henning; Völzke, Henry; Wilson, James F.; Michoel, Tom Luk Robert; Timpson, Nicolas J.; Smith, George Davey; Walker, Brian R. (Journal article; Peer reviewed, 2021)
    The stress hormone cortisol modulates fuel metabolism, cardiovascular homoeostasis, mood, inflammation and cognition. The CORtisol NETwork (CORNET) consortium previously identified a single locus associated with morning ...
  • Metric Dimension Parameterized By Treewidth 

    Bonnet, Édouard; Purohit, Nidhi (Journal article; Peer reviewed, 2021)
    A resolving set S of a graph G is a subset of its vertices such that no two vertices of G have the same distance vector to S. The METRIC DIMENSION problem asks for a resolving set of minimum size, and in its decision form, ...
  • Cost-sensitive ensemble learning: a unifying framework 

    Petrides, George; Verbeke, Wouter (Journal article; Peer reviewed, 2022)
    Over the years, a plethora of cost-sensitive methods have been proposed for learning on data when different types of misclassification errors incur different costs. Our contribution is a unifying framework that provides a ...
  • A Graph Feature Auto-Encoder for the Prediction of Unobserved Node Features on Biological Networks 

    Hasibi, Ramin; Michoel, Tom (Journal article; Peer reviewed, 2021)
    Background Molecular interaction networks summarize complex biological processes as graphs, whose structure is informative of biological function at multiple scales. Simultaneously, omics technologies measure the variation ...
  • Neutrophils induce paracrine telomere dysfunction and senescence in ROS-dependent manner 

    Lagnado, Anthony; Leslie, Jack; Ruchaud-Sparagano, Marie-Helene; Victorelli, Stella; Hirsova, Petra; Ogrodnik, Mikolaj; Collins, Amy L; Vizioli, Maria Grazia; Habiballa, Leena; Saretzki, Gabriele; Evans, Shane A; Salmonowicz, Hanna; Hruby, Adam; Geh, Daniel; Pavelko, Kevin D; Dolan, David William Peter; Reeves, Helen L; Grellscheid, Sushma Nagaraja; Wilson, Colin H; Pandanaboyana, Sanjay; Doolittle, Madison; von Zglinicki, Thomas; Oakley, Fiona; Gallage, Suchira; Wilson, Caroline L; Birch, Jodie; Carroll, Bernadette; Chapman, James; Heikenwalder, Mathias; Neretti, Nicola; Khosla, Sundeep; Masuda, Claudio Akio; Tchkonia, Tamar; Kirkland, James L; Jurk, Diana; Mann, Derek A.; Passos, João F (Journal article; Peer reviewed, 2021)
    Cellular senescence is characterized by an irreversible cell cycle arrest as well as a pro-inflammatory phenotype, thought to contribute to aging and age-related diseases. Neutrophils have essential roles in inflammatory ...
  • Changes in the gene expression profile during spontaneous migraine attacks 

    Kogelman, Lisette J.A.; Falkenberg, Katrine; Buil, Alfonso; Erola, Pau; Courraud, Julie; Laursen, Susan Svane; Michoel, Tom Luk Robert; Olesen, Jes; Hansen, Thomas F. (Journal article; Peer reviewed, 2021)
    Migraine attacks are delimited, allowing investigation of changes during and outside attack. Gene expression fluctuates according to environmental and endogenous events and therefore, we hypothesized that changes in RNA ...
  • A General Methodology for Internalising Multi-level Model Typing 

    König, Harald; Wolter, Uwe Egbert (Chapter, 2021)
    Multilevel Modelling approaches allow for an arbitrary number of abstraction levels in typing chains. In this paper, a transformation of a multi-level typing chain into a single all-covering representing model is proposed. ...
  • Fusion structure from exchange symmetry in (2+1)-dimensions 

    Valera, Sachin Jayesh (Journal article; Peer reviewed, 2021)
    Until recently, a careful derivation of the fusion structure of anyons from some underlying physical principles has been lacking. In Shi et al. (2020), the authors achieved this goal by starting from a conjectured form of ...
  • A Practical Adaptive Key Recovery Attack on the LGM (GSW-like) Cryptosystem 

    Fauzi, Prastudy; Hovd, Martha Norberg; Raddum, Håvard (Chapter, 2021)
    We present an adaptive key recovery attack on the leveled homomorphic encryption scheme suggested by Li, Galbraith and Ma (Provsec 2016), which itself is a modification of the GSW cryptosystem designed to resist key recovery ...
  • EDAM: the bioscientific data analysis ontology (update 2021) [version 1; not peer reviewed] 

    Black, Melissa; Lamothe, Lucie; Eldakroury, Hager; Kierkegaard, Mads; Priya, Ankita; Machinda, Anne; Singh Khanduja, Uttam; Patoliya, Drashti; Rathi, Rashika; Che Nico, Tawah Peggy; Umutesi, Gloria; Blankenburg, Claudia; Op, Anita; Chieke, Precious; Babatunde, Omodolapo; Laurie, Steve; Neumann, Steffen; Schwämmle, Veit; Kuzmin, Ivan; Hunter, Chris; Karr, Jonathan; Ison, Jon; Gaignard, Alban; Brancotte, Bryan; Ménager, Hervé; Kalaš, Matúš (Others, 2021)
    EDAM [1] is a domain ontology of data analysis and data management in bio- and other sciences, and science-based applications. It comprises concepts related to analysis, modelling, optimisation, and data life-cycle. ...

View more