Department of Informatics
Recent Submissions
-
Selected x86 Low-level Attacks and Mitigations
(Doctoral thesis, 2017)Low-level exploitation is an ongoing security issue. History has shown multiple methods to gain control over, and control, the flow of execution, as well as multiple methods and approaches to mitigate the same issue. This ... -
Decoding and constructions of codes in rank and Hamming metric
(Doctoral thesis, 2022-05-27)As coding theory plays an important role in data transmission, decoding algorithms for new families of error correction codes are of great interest. This dissertation is dedicated to the decoding algorithms for new families ... -
Order-Related Problems Parameterized by Width
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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 ...
RSS 2.0