Master theses: Recent submissions
Now showing items 41-60 of 197
-
Exploring Multiway Dataflow Constraint Systems for programming Robotic Autonomous Systems
(Master thesis, 2023-06-01)Denne avhandlingen utforsker programmering av robot-systemer ved hjelp av en programmeringsmodell som heter Multiway Dataflow Constraint Systems. -
SmartSwarm - A Multi-Agent Reinforcement Learning based Particle Swarm Optimization Algorithm
(Master thesis, 2023-06-01)Particle Swarm Optimization is a renowned continuous optimization method that utilizes Swarm Intelligence to find solutions to complex non-linear optimization problems efficiently. Since its proposal, many developments ... -
Improving Stability of Tree-Based Models
(Master thesis, 2023-06-01)Motivated by the instability of tree-based methods experienced by the insurance industry, this thesis provides innovative and novel methods for updating regression trees in a stable manner. All methods are shown to increase ... -
A Case Study in Dependent Type Theory: Extracting a Certified Program from the Formal Proof of its Specification
(Master thesis, 2023-06-01)Proofs are an important part of mathematics, but they are not without their flaws. Most proofs are written by humans, and humans make mistakes. In this thesis, we explore the use of proof assistants to construct formal ... -
A Functional Implementation of a Multiway Dataflow Constraint System Library
(Master thesis, 2023-06-16) -
Object Tracking Approach for Catch Estimation on Trawl Surveys
(Master thesis, 2023-06-16)In the Norwegian Sea, coordinated multinational surveys are regularly undertaken with the aim of assessing the size and composition of marine life populations - a fundamental practice for ensuring long-term ecological ... -
An Algorithm for k-insertion into a Binary Heap
(Master thesis, 2023-06-01)In this thesis, we present an algorithm for k-insertion into a binary heap running in worst-case time O(k+log(k)·log(n+k)), improving the standard k-insertion algorithm for binary heaps in terms of worst-case running time. ... -
Deep Learning Approach To Gene Network Inference
(Master thesis, 2023-06-01)Gene regulatory network(GRN) inference remains a challenging problem in the field of bioinformatics. GRN contain valuable information needed to get a deeper understanding of the regulatory network. This could lead to ... -
Generic programming using Higher Kinded Data
(Master thesis, 2023-06-28)This thesis describes datatype-generic programming, what it is, and how it is done in Scala. The thesis covers ways of thinking about datatype-generic programming and today's tools and libraries for datatype-generic ... -
Building a finite state automaton for physical processes using queries and counterexamples on long short-term memory models
(Master thesis, 2023-06-01)Most neural networks (NN) are commonly used as black-box functions. A network takes an input and produces an output, without the user knowing what rules and system dynamics have produced the specific output. In some ... -
Line Harp: Importance-Driven Sonification for Dense Line Charts
(Master thesis, 2023-06-01) -
Multi-List Recommendations for Personalizing Streaming Content
(Master thesis, 2023-06-01)The decision behind choosing a recommender system that yields accurate recommendations yet allows users to explore more content has been a topic of research in the last decades. This work attempts to find a recommender ... -
Parallel Community Detection in Incremental Graphs
(Master thesis, 2023-06-02)The problem of community detection in large, expanding real-world networks presents significant challenges due to the scale and complexity of these networks. Traditional algorithms struggle to provide optimal solutions or ... -
Lattice Sieving With G6K
(Master thesis, 2023-06-01)Recent advances in quantum computing threaten the cryptography we use today. This has led to a need for new cryptographic algorithms that are safe against quantum computers. The American standardization organization NIST ... -
Combining Query Rewriting and Knowledge Graph Embeddings for Complex Query Answering
(Master thesis, 2023-06-01)The field of complex query answering using Knowledge Graphs (KGs) has seen substantial advancements in recent years, primarily through the utilization of Knowledge Graph Embeddings (KGEs). However, these methodologies often ... -
Enhanced biomedical data extraction from scientific publications
(Master thesis, 2023-06-01)The field of scientific research is constantly expanding, with thousands of new articles being published every day. As online databases grow, so does the need for technologies capable of navigating and extracting key ... -
Consistency of LSO with syntactic equality
(Master thesis, 2023-06-01)LSO, Logic of Sentential Operators, is defined by extending first- order logic by sentential quantification and sentential operators. Its semantics is defined by a digraph, with kernels reflecting consistent valuations of ... -
Tail-biting Codes for Lattice Wiretap Coding
(Master thesis, 2023-06-01)The secrecy gain of Construction A lattices obtained by tail-biting rate 1/2 convolutional codes is studied to evaluate the secrecy performance of a lattice in a wiretap channel communication. The higher the secrecy gain, ... -
Rule learning of the Atomic dataset using Transformers
(Master thesis, 2023-06-02)Models used for machine learning are used for a multitude of tasks that require some type of reasoning. Language models have been very capable of capturing patterns and regularities found in natural language, but their ... -
Introduction to Lattices and Its Applications in Compute-and-Forward Strategy
(Master thesis, 2023-06-01)The Compute-and-Forward (CF) strategy was proposed as a physical layer network coding (PNC) framework by Nazer and Gastpar in 2011. CF exploits interference to obtain higher rates between users in a network. This thesis ...