Department of Informatics
Recent Submissions
-
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 ... -
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 ... -
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 ... -
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 ... -
Development of two-photon polymerised scaffolds for optical interrogation and neurite guidance of human iPSC-derived cortical neuronal networks
(Journal article; Peer reviewed, 2020)Recent progress in the field of human induced pluripotent stem cells (iPSCs) has led to the efficient production of human neuronal cell models for in vitro study. This has the potential to enable the understanding of live ... -
Visual exploration of large normal mode spaces to study protein flexibility
(Journal article; Peer reviewed, 2020-05-22)When studying the function of proteins, biochemists utilize normal mode decomposition to enable the analysis of structural changes on time scales that are too long for molecular dynamics simulation. Such a decomposition ... -
Extending balance assessment for the generalized propensity score under multiple imputation
(Journal article; Peer reviewed, 2020)This manuscript extends the definition of the Absolute Standardized Mean Difference (ASMD) for binary exposure (M = 2) to cases for M > 2 on multiple imputed data sets. The Maximal Maximized Standardized Difference (MMSD) ... -
Towards a Polynomial Kernel for Directed Feedback Vertex Set
(Journal article; Peer reviewed, 2020)In the DIRECTED FEEDBACK VERTEX SET (DFVS) problem, the input is a directed graph D and an integer k. The objective is to determine whether there exists a set of at most k vertices intersecting every directed cycle of D. ... -
Mathematical Modeling and Simulation Provides Evidence for New Strategies of Ovarian Stimulation
(Journal article; Peer reviewed, 2021)New approaches to ovarian stimulation protocols, such as luteal start, random start or double stimulation, allow for flexibility in ovarian stimulation at different phases of the menstrual cycle. It has been proposed that ...
RSS 2.0