Department of Informatics
Recent Submissions
-
Antarstick: Extracting Snow Height From Time-Lapse Photography
(Journal article; Peer reviewed, 2024)The evolution and accumulation of snow cover are among the most important characteristics influencing Antarctica's climate and biotopes. The changes in Antarctica are also substantially impacting global climate change. ... -
Further improvements of the estimation of key enumeration with applications to solving LWE
(Journal article; Peer reviewed, 2024)In post-quantum cryptography, Learning With Errors (LWE) is one of the dominant underlying mathematical problems. The dual attack is one of the main strategies for solving the LWE problem, and it has recently gathered ... -
Via Order Markets Towards Price-Taking Equilibrium
(Journal article; Peer reviewed, 2024)Can order markets lead participants towards price-taking equilibrium? Viewing market sessions as steps of iterative algorithms, this paper indicates positive prospects for convergence. Mathematical arguments turn on ... -
Strong domination number of some operations on a graph
(Journal article; Peer reviewed, 2024)Let $G=(V(G),E(G))$ be a simple graph. A set $D\subseteq V(G)$ is a strong dominating set of $G$, if for every vertex $x\in V(G)\setminus D$ there is a vertex $y\in D$ with $xy\in E(G)$ and $\deg(x)\leq \deg(y)$. The strong ... -
Fundamentals of Norwegian CS1
(Journal article; Peer reviewed, 2024)The introductory programming course, known as CS1, has evolved considerably since its inception, with diverse opinions on the essential concepts that should be included. This study aims to identify the fundamental concepts ... -
EquinorQA: Large Language Models for Question Answering Over Proprietary Data
(Chapter, 2024)Large Language Models (LLMs) have become the state-of-the-art technology in a variety of language understanding tasks. Accordingly, many commercial organizations have been increasingly trying to integrate LLMs in multiple ... -
Characterising Modal Formulas with Examples
(Journal article; Peer reviewed, 2024)We study the existence of finite characterisations for modal formulas. A finite characterisation of a modal formula φ is a finite collection of positive and negative examples that distinguishes φ from every other, ... -
Optimal Robust Simplifications for Explaining Time Series Classifications
(Journal article; Peer reviewed, 2024)Given a Time Series Classifier (TSC) and three parameters that balance between error, simplicity and robustness, we define an optimization problem over all possible ways of simplifying a given time series ts into straight-line ... -
Arithmetization-oriented APN permutations
(Journal article; Peer reviewed, 2024)Recently, many cryptographic primitives such as homomorphic encryption (HE), multi-party computation (MPC) and zero-knowledge (ZK) protocols have been proposed in the literature which operate on the prime field \({\mathbb ... -
On the Square Root Computation in Liber Abaci and De Practica Geometrie by Fibonacci
(Journal article; Peer reviewed, 2024)We study the square root computation by Leonardo Fibonacci (or Leonardo of Pisa) in his MSS Liber Abaci from c1202 and c1228 and De Practica Geometrie from c1220. In this MSS, Fibonacci systematically describes finding the ... -
On the vector subspaces of \(\mathbb {F}_{2^n}\) over which the multiplicative inverse function sums to zero
(Journal article; Peer reviewed, 2024)We study the behavior of the multiplicative inverse function (which plays an important role in cryptography and in the study of finite fields), with respect to a recently introduced generalization of almost perfect ... -
Super domination: Graph classes, products and enumeration
(Journal article; Peer reviewed, 2024)The dominating set problem (DSP) is one of the most famous problems in combinatorial optimization. It is defined as follows. For a given graph G = (V , E), a dominating set of G is a subset S ⊆ V such that every vertex in ... -
Angle-Agnostic Radio Frequency Sensing Integrated into 5G-NR
(Journal article; Peer reviewed, 2024)The fusion of radio frequency (RF) sensing with cellular communication networks presents a revolutionary paradigm, enabling networks to seamlessly integrate communication and perception capabilities. Leveraging electromagnetic ... -
A Survey on Complexity Measures for Pseudo-Random Sequences
(Journal article; Peer reviewed, 2024)Since the introduction of the Kolmogorov complexity of binary sequences in the 1960s, there have been significant advancements on the topic of complexity measures for randomness assessment, which are of fundamental importance ... -
State Canonization and Early Pruning in Width-Based Automated Theorem Proving
(Journal article; Peer reviewed, 2024)Width-based automated theorem proving is a framework where counter-examples for graph theoretic conjectures are searched width-wise relative to some graph width measure, such as treewidth or pathwidth. In a recent work it ... -
Visual Support for the Loop Grafting Workflow on Proteins
(Journal article; Peer reviewed, 2025)In understanding and redesigning the function of proteins in modern biochemistry, protein engineers are increasingly focusing on exploring regions in proteins called loops. Analyzing various characteristics of these regions ... -
ReGaTE: Registration of galaxy tools in Elixir
(Journal article, 2017)Background: Bioinformaticians routinely use multiple software tools and data sources in their day-to-day work and have been guided in their choices by a number of cataloguing initiatives. The ELIXIR Tools and Data Services ... -
On coresets for fair clustering in metric and Euclidean spaces and their applications
(Journal article; Peer reviewed, 2024)Fair clustering is a constrained clustering problem where we need to partition a set of colored points. The fraction of points of each color in every cluster should be more or less equal to the fraction of points of this ... -
Prediction of causal genes at GWAS loci with pleiotropic gene regulatory effects using sets of correlated instrumental variables
(Journal article; Peer reviewed, 2024)Multivariate Mendelian randomization (MVMR) is a statistical technique that uses sets of genetic instruments to estimate the direct causal effects of multiple exposures on an outcome of interest. At genomic loci with ... -
Deciphering the impact of PROM1 alternative splicing on human photoreceptor development and maturation
(Journal article; Peer reviewed, 2024)Alternative splicing (AS) is a crucial mechanism contributing to proteomic diversity, which is highly regulated in tissue- and development-specific patterns. Retinal tissue exhibits one of the highest levels of AS. In ...
RSS 2.0