Department of Informatics
Recent Submissions
-
Modelling Oscillatory Patterns in the Bovine Estrous Cycle with Boolean Delay Equations
(Journal article; Peer reviewed, 2021)Boolean delay equations (BDEs), with their relatively simple and intuitive mode of modelling, have been used in many research areas including, for example, climate dynamics and earthquake propagation. Their application to ... -
Clique-Based Neural Associative Memories
(Doctoral thesis, 2021-11-15)Auto-associative memories store a set of patterns and retrieve them by resorting to a part of their contents. This thesis focuses on developing and extending a type of associative memories relying on a sort of coded neural ... -
Interactive Multimodal Imaging Visualization for Multiple Sclerosis Lesion Analysis
(Journal article; Peer reviewed, 2021)Multiple Sclerosis (MS) is a brain disease that is diagnosed and monitored extensively through MRI scans. One of the criteria is the appearance of so-called brain lesions. The lesions show up on MRI scans as regions with ... -
Improving Interaction in Visual Analytics using Machine Learning
(Doctoral thesis, 2021-11-05)Interaction is one of the most fundamental components in visual analytical systems, which transforms people from mere viewers to active participants in the process of analyzing and understanding data. Therefore, fast and ... -
Selected Topics in Cryptanalysis of Symmetric Ciphers
(Doctoral thesis, 2021-10-27)It is well established that a symmetric cipher may be described as a system of Boolean polynomials, and that the security of the cipher cannot be better than the difficulty of solving said system. Compressed Right-Hand ... -
Mostar index and edge Mostar index of polymers
(Journal article; Peer reviewed, 2021)Let G=(V,E) be a graph and e=uv∈E. Define nu(e,G) be the number of vertices of G closer to u than to v. The number nv(e,G) can be defined in an analogous way. The Mostar index of G is a new graph invariant defined as ... -
Semantics of multiway dataflow constraint systems
(Journal article; Peer reviewed, 2021)Multiway dataflow constraint systems (MDCS) is a programming model where statements are not executed in a predetermined order. Rather, individual methods are selected from specific method sets and then executed to achieve ... -
Specifying with syntactic theory functors
(Journal article; Peer reviewed, 2020)We propose a framework, syntactic theory functors (STFs), for creating syntactic structuring mechanisms for specification languages. Good support for common reuse patterns is important for systematically developing ... -
b-Coloring Parameterized by Clique-Width
(Journal article; Peer reviewed, 2021)We provide a polynomial-time algorithm for b-Coloring on graphs of constant clique-width. This unifies and extends nearly all previously known polynomial-time results on graph classes, and answers open questions posed by ... -
Three problems on well-partitioned chordal graphs
(Journal article; Peer reviewed, 2021)In this work, we solve three problems on well-partitioned chordal graphs. First, we show that every connected (resp., 2-connected) well-partitioned chordal graph has a vertex that intersects all longest paths (resp., longest ... -
Typical Sequences Revisited - Computing Width Parameters of Graphs
(Journal article; Peer reviewed, 2021)In this work, we give a structural lemma on merges of typical sequences, a notion that was introduced in 1991 [Lagergren and Arnborg, Bodlaender and Kloks, both ICALP 1991] to obtain constructive linear time parameterized ... -
On properties of bent and almost perfect nonlinear functions
(Doctoral thesis, 2021-09-14)(Vectorial) Boolean functions play an important role in all domains related to computer science, and in particular, in cryptography. The safety of a cryptosystem is quantified via some characteristics of (vectorial) Boolean ... -
Population dynamic regulators in an empirical predator-prey system
(Journal article; Peer reviewed, 2021)Capelin (Mallotus villosus) is a short-lived (1–4 years) fish species, that plays a crucial role by dominating the intermediate trophic level in the Barents Sea. Several episodes of extreme biomass decline (collapse) have ... -
Algebraic Cryptanalysis of Cryptographic Schemes with Extension Field Structure
(Doctoral thesis, 2021-09-06)Post-Quantum Cryptography studies cryptographic algorithms that quantum computers cannot break. Recent advances in quantum computing have made this kind of cryptography necessary, and research in the field has surged over ... -
Design of sequences with good correlation properties
(Doctoral thesis, 2021-08-26)This thesis is dedicated to exploring sequences with good correlation properties. Periodic sequences with desirable correlation properties have numerous applications in communications. Ideally, one would like to have a set ... -
Development and Evaluation of a Software System for Fire Risk Prediction
(Master thesis, 2021-06-01) -
De-identification of medical images using object-detection models, generative adversarial networks and perceptual loss
(Master thesis, 2021-06-01)Medical images play an essential role in the process of diagnostics and detection of a variety of diseases. Whether it being anatomical features or molecular cells, medical imaging help visualize and gain insight into the ... -
Using Natural Language Processing with Deep Learning to Explore Clinical Notes
(Master thesis, 2021-06-02)In recent years, the deep learning community and technology have grown substantially, both in terms of research and applications. However, some application areas have lagged behind. The medical domain is an example of a ... -
Topological Quantum and Skein-Theoretic Aspects of Braided Fusion Categories
(Doctoral thesis, 2021-08-27)The first part of this thesis is dedicated to the study of anyons and exchange symmetry. We discuss the theory of identical particles and recap the standard algebraic framework for describing the exchange statistics of ... -
Towards a deeper understanding of APN functions and related longstanding problems
(Doctoral thesis, 2021-08-24)This dissertation is dedicated to the properties, construction and analysis of APN and AB functions. Being cryptographically optimal, these functions lack any general structure or patterns, which makes their study very ...
RSS 2.0