Department of Informatics
Recent Submissions
-
Improving the Usability of Refactoring Tools for Software Change Tasks
(Doctoral thesis, 2021-12-22)All successful software gets changed. Developers undertake software change tasks by editing the software’s source code to meet new demands. Often, the edits they make are aligned with refactorings and can be performed ... -
Automatic interpretation of salmon scales using deep learning
(Journal article; Peer reviewed, 2021)For several fish species, age and other important biological information is manually inferred from visual scrutinization of scales, and reliable automatic methods are not widely available. Here, we apply Convolutional ... -
A deep learning-based method to identify and count pelagic and mesopelagic fishes from trawl camera images
(Journal article; Peer reviewed, 2021)Fish counts and species information can be obtained from images taken within trawls, which enables trawl surveys to operate without extracting fish from their habitat, yields distribution data at fine scale for better ... -
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 ...
RSS 2.0