Blar i Department of Informatics på tittel
Viser treff 322 av 917

A DomainSpecific Language for the Development of Heterogeneous MultiRobot Systems
(Master thesis, 20190628)Robots are becoming more advanced each year and will increasingly become a bigger part of our lives. This thesis explores how modeldriven software engineering can be used in the development of heterogeneous multirobot ... 
A Modular Approach for Creating Web Applications with 3D Geology Using React and X3DOM
(Master thesis, 20190629)The thesis details the work for creating a web application that allows a user to see a visualization for geological data like topography, seismic data and well measurements from the subsurface. This application uses the ... 
A Snakemake workflow for analysing alternative splicing events from shortread RNAseq data
(Master thesis, 20220413) 
A Visual Analytics Dashboard for Mental Health Therapists
(Master thesis, 20190629)Mental health disorders are a significant problem throughout the western world. Cognitive Behavioral Therapy (CBT) is a common treatment form for these disorders. Internetbased Cognitive Behavioral Therapy (iCBT) provides ... 
A workflowintegrated brain tumor segmentation system based on fastai and MONAI
(Master thesis, 20220601)Artificial intelligence (AI) has achieved great results in medical imaging tasks and has the potential to improve the experiences of clinicians and patients in the future, but on the way toward AI integration in medicine, ... 
Abstractions for LanguageIndependent Program Transformations
(Doctoral thesis, 20070627) 
Accuracy and efficiency of germline variant calling pipelines for human genome data
(Journal article; Peer reviewed, 2020)Advances in nextgeneration sequencing technology have enabled whole genome sequencing (WGS) to be widely used for identification of causal variants in a spectrum of geneticrelated disorders, and provided new insight into ... 
Accurate analysis of genuine CRISPR editing events with ampliCan
(Peer reviewed; Journal article, 2019)We present ampliCan, an analysis tool for genome editing that unites highly precise quantification and visualization of genuine genome editing events. ampliCan features nucleaseoptimized alignments, filtering of experimental ... 
Acyclic, star, and injective colouring: bounding the diameter∗
(Journal article; Peer reviewed, 2022)We examine the effect of bounding the diameter for a number of natural and wellstudied variants of the COLOURING problem. A colouring is acyclic, star, or injective if any two colour classes induce a forest, star forest ... 
An adaptive heuristic for Feeder Network Design with optional transshipment
(Journal article; Peer reviewed, 2023)This paper studies the Feeder Network Design Problem (FNDP), which considers the design of a minimum cost liner shipping network for the transportation of cargo (containers) between a given hub port and a set of feeder ... 
Additive Schwarz preconditioner for the finite volume element discretization of symmetric elliptic problems
(Peer reviewed; Journal article, 20150925)A symmetric and a nonsymmetric variant of the additive Schwarz preconditioner are proposed for the solution of a class of finite volume element discretization of the symmetric elliptic problem in two dimensions, with large ... 
Algebraic Attack on Small Scale Variants of AES using Compressed Right Hand Sides
(Master thesis, 20180407)The Advanced Encryption Standard is probably the most used symmetric encryption cipher in use today, which makes it particularly interesting for cryptanalysis. This thesis attacks smallscale variants of AES through a ... 
Algebraic Attacks on the Encryption Scheme HADESMiMC
(Master thesis, 20231120)HADESMiMC is a recent symmetric cryptographic algorithm working with elements in a finite field. It is proposed as a candidate cipher for secure data transfers using Multiparty Computation (MPC). MPC is particularly useful ... 
Algebraic Cryptanalysis of Cryptographic Schemes with Extension Field Structure
(Doctoral thesis, 20210906)PostQuantum 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 ... 
Algebraic Reasoning About Timeliness
(Journal article; Peer reviewed, 2023)Designing distributed systems to have predictable performance under high load is difficult because of resource exhaustion, nonlinearity, and stochastic behaviour. Timeliness, i.e., delivering results within defined time ... 
Algorithmic Complexity of Clustering and LowRank Approximation Problems
(Doctoral thesis, 20210329)The two most popular unsupervised learning problems are kClustering and LowRank Approximation. Consider a set of n datapoints, in the kClustering problem, the objective is to partition these points into k clusters and ... 
An Algorithmic MetaTheorem for Graph Modification to Planarity and FOL
(Journal article; Peer reviewed, 2020)In general, a graph modification problem is defined by a graph modification operation ⊠ and a target graph property 𝒫. Typically, the modification operation ⊠ may be vertex removal, edge removal, edge contraction, or edge ... 
Algorithms for covering multiple submodular constraints and applications
(Journal article; Peer reviewed, 2022)We consider the problem of covering multiple submodular constraints. Given a finite ground set N, a weight function \(w: N \rightarrow \mathbb {R}_+\), r monotone submodular functions \(f_1,f_2,\ldots ,f_r\) over N and ... 
Algorithms for Linearly Ordered Boolean Formulas
(Master thesis, 20160630)This thesis considers a class of propositional boolean formulas on which various problems related to satisfiability are efficiently solvable by a dynamic programming algorithm. It mainly consists of two larger parts: the ... 
Algorithms for rainbow vertex colouring diametral path graphs
(Master thesis, 20220601)