Department of Informatics: Nye registreringer
Viser treff 21-40 av 1119
-
Computational searches for quadratic APN functions with subfield coefficients
(Master thesis, 2023-06-01)Almost perfect nonlinear (APN) functions are important in fields such as algebra, combinatorics, cryptography, etc. Finding new APN functions is of special importance in cryptography. This is because when used in modern ... -
Applying Gamification and Virtual Reality to an MRSA Infection Control Guideline
(Master thesis, 2020-06-10)MRSA is a group of harmful bacteria with resistance to many important antibiotics. Infections are hard to treat and often result in prolonged hospital stays, leading to increased costs and mortality. Like with many other ... -
Resource Scheduling - Evaluating Solving Using Satisfiability Modulo Theory
(Master thesis, 2023-06-29) -
Specifying Actor-Based Computer Games
(Master thesis, 2023-08-15)The actor model provides a higher level of abstraction for writing concurrent and distributed systems. It alleviates the developer from having to deal with explicit locking and thread management, making it easier to implement ... -
Computer-Bridge
(2020-06-17) -
WiRoM: a High-level Mission Planning System for Heterogeneous Multi-Robot Simulations
(Master thesis, 2020-06)Robots are complicated machines. Today we have a lot of different types of robots, each with different types of sensors and actuators which have their own practical (and impractical) applications. Utilizing the benefits ... -
Assessment of the COPD-calculator using a customized version of the NHSx DTAC Framework
(Master thesis, 2021-08-02) -
Creating a Virtual Reality Orchestral Concert Experience With 3D Audio
(Master thesis, 2020-06-16)With the emergence of Virtual Reality (VR) and recent advancements on both the hardware and software side, VR is now available to the masses and a plethora of new experiences can be made and explored by people and researchers. ... -
Optimization of software for modeling acoustic monitoring systems
(Master thesis, 2020-06-16) -
Inferring Gene Expression Values In Causal Directed Acyclic Graphs Using Graph Neural Networks
(Master thesis, 2023-08-21)Inferring gene expression values is helpful in determining important characteristics about an individual. Existing methods in gene expression inference mostly rely on linear meth- ods creating separate models for each gene. ... -
A faster algorithm for computing c-closure
(Master thesis, 2023-06-13)Exploiting the structure of graphs is a well-known strategy for solving hard problems on complex graphs. In our studies we consider structural characteristics of social network graphs, in particular ways to exploit the ... -
Thickness Distribution of Boolean Functions in 4 and 5 Variables
(Master thesis, 2020-05-12)This thesis explores the distribution of algebraic thickness of Boolean functions in four and five variables, that is, the minimum number of terms in the ANF of the functions in the orbit of a Boolean function, through all ... -
Automatic Model Repair Using Machine Learning
(Master thesis, 2020-06-03) -
Mobility Index Algorithm: A construction of a mathematical based mobility measurement algorithm based on dynamic data with a design science research approach
(Master thesis, 2020-06-16)To have good mobility regarding public transport and to nearby facilities such as schools and shops is essential for reducing the use of private cars. One can only say how good mobility is for a given point by measure it. ... -
Batch Queue Interface for the JAliEn Grid Middleware
(Master thesis, 2020-06-16) -
Software to locate avalanche transceivers using drone
(Master thesis, 2020-06-08)Avalanches are dangerous events that can be lethal to victims caught by its devastating impacts. The survival chance of the victims decreases drastically with time, where after 10 minutes the chance for survival is slim. ... -
Implementing a Marker-less application for Kristkirken using Vuforia SDK
(Master thesis, 2019-11-20) -
Graph Algebras and Derived Graph Operations
(Journal article, 2023)We revise our former definition of graph operations and correspondingly adapt the construction of graph term algebras. As a first contribution to a prospective research field, Universal Graph Algebra, we generalize some ... -
Finding haplotypic signatures in proteins
(Journal article; Peer reviewed, 2023)Background The nonrandom distribution of alleles of common genomic variants produces haplotypes, which are fundamental in medical and population genetic studies. Consequently, protein-coding genes with different ... -
A Novel Evolutionary Solution Approach for Many-objective Reliability-Redundancy Allocation Problem Based on Objective Prioritization and Constraint Optimization
(Journal article; Peer reviewed, 2024)The reliability redundancy allocation problem (RRAP) has been mostly solved either as a single or as a multi-objective optimization problem. However, this problem also has numerous important constraints which play prominent ...