Department of Informatics: Recent submissions
Now showing items 181-200 of 1130
-
Revisiting Language Support for Generic Programming: When Genericity Is a Core Design Goal
(Journal article; Peer reviewed, 2022)Context Generic programming, as defined by Stepanov, is a methodology for writing efficient and reusable algorithms by considering only the required properties of their underlying data types and operations. Generic ... -
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins
(Journal article; Peer reviewed, 2022)Digital twin applications use digital artefacts to twin physical systems. The purpose is to continuously mirror the structure and behavior of the physical system, such that users can analyse the physical system by means ... -
Indexed and fibered structures for partial and total correctness assertions
(Journal article; Peer reviewed, 2022)Hoare Logic has a long tradition in formal verification and has been continuously developed and used to verify a broad class of programs, including sequential, object-oriented, and concurrent programs. Here we focus on ... -
Logics of Statements in Context-Category Independent Basics
(Journal article; Peer reviewed, 2022)Based on a formalization of open formulas as statements in context, the paper presents a freshly new and abstract view of logics and specification formalisms. Generalizing concepts like sets of generators in Group Theory, ... -
Composition of multilevel domain-specific modelling languages
(Journal article; Peer reviewed, 2023)Multilevel Modelling (MLM) approaches make it possible for designers and modellers to work with an unlimited number of abstraction levels to specify their domain-specific modelling languages (DSMLs). To fully exploit MLM ... -
Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach
(Journal article; Peer reviewed, 2022)Systematic and formally underpinned consistency checking of heterogeneously typed interdependent behavioural models requires a common metamodel, into which the involved models can be translated. And, if additional system ... -
New Key-Recovery Attack on Reduced-Round AES
(Journal article; Peer reviewed, 2022)A new fundamental 4-round property of AES, called the zero-difference property, was introduced by Rønjom, Bardeh and Helleseth at Asiacrypt 2017. Our work characterizes it in a simple way by exploiting the notion of related ... -
The Lagrangian, constraint qualifications and economics
(Journal article; Peer reviewed, 2022)Considering constrained choice, practitioners and theorists frequently invoke a Lagrangian to generate optimality conditions. Regular use of that vehicle requires, however, some constraint qualification. Yet many economists ... -
Some properties of K-convex mappings in variable ordering settings
(Journal article; Peer reviewed, 2022)We consider a generalization of standard vector optimization which is called vector optimization with variable ordering structures. The problem class under consideration is characterized by a point-dependent proper cone-valued ... -
An Overview of Blockchain-Based Identity Management Systems.
(Master thesis, 2022-11-21) -
Mining Distinct Representations of High-Utility Itemsets Using Particle Swarm Optimization
(Master thesis, 2022-10-17)Closed high-utility itemset mining (CHUIM) and top-k high-utility itemset mining (top-k HUIM) are techniques extensively applied in data analysis to discover patterns or relationships with potentially valuable information. ... -
FREJA: A framework for effectively creating programming assignments based on code transformations
(Master thesis, 2022-11-21)Programming assignments have become the prevalent method for evaluating programming skills and knowledge of students in computer science courses. Typically, a programming assignment is composed of several independent ... -
High-Resolution Mapping of Forest Structure From SAR and Optical Satellite Imagery Using Deep Learning
(Master thesis, 2022-11-21) -
SAR and Optical Satellite Imagery Automated Matching using Machine Learning
(Master thesis, 2022-11-21) -
Interactive Visual Exploration and Analysis of Multi-Modal Geospatial Data Collections
(Master thesis, 2022-10-24)This thesis presents PanoVis, a geovisualization web application for hikers looking for online hiking inspiration. Hikers can add panoramic imagery to the application, and annotations with information about the mountain ... -
Parameterized Complexity of Fair Graph Clustering
(Master thesis, 2022-08-29)The problem of $\alpha-$ \textsl{BALANCED CLUSTER VERTEX DELETION} where \(\alpha \geq 1 \) is some constant, asks whether it is possible to delete at most \(k\) vertecies from a vertex colored graph such that that it ... -
Comparative Visualization Of Longitudinal PET/CT Data For Acute Myeloid Leukemia Treatment Analysis
(Master thesis, 2022-09-01) -
Online learning through Reinforcement learning in a high-fidelity physics simulator
(Master thesis, 2022-11-21) -
Binary domain classification for Norwegian language in task-oriented dialogue systems
(Master thesis, 2022-09-01)Dialogue systems have gained more attention in recent years and have been called “the new app”. This is much due to the advancement in deep learning, more precisely in Natural Language Processing (NLP). An additional factor ... -
Sensitivity of Rotation Symmetric Boolean Functions
(Master thesis, 2021-12)