Blar i Department of Informatics på utgivelsesdato
Viser treff 41-60 av 1114
-
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 ... -
A Modular Integrated Development Environment for Coloured Petri Net Models
(Master thesis, 2023-06-02)Distributed software systems are becoming increasingly popular and used. Most of modern distributed systems provide the application of concurrency, also in- cluding resource sharing, communication and synchronization between ... -
Multi-step Ahead Inflow Forecasting for a Norwegian Hydro-Power Use-Case, Based on Spatial-Temporal Attention Mechanism
(Master thesis, 2023-06-02)Hydrological forecasting has been an ongoing area of research due to its importance to improve decision making on water resource management, flood management, and climate change mitigation. With the increasing availability ... -
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, ... -
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 ... -
Loss-function learning for cell type mapping of spatial transcriptomics using single-cell RNA-seq data
(Master thesis, 2023-06-01)Breast cancers are complex cellular ecosystems consisting of multiple cell types. Heterotypic interactions and their unique gene expression profiles play central roles in cancer progression and response to therapy. However, ... -
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 ... -
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 ... -
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 ... -
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 ... -
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 ... -
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 ... -
Speech-to-text models to transcribe emergency calls
(Master thesis, 2023-06-01)This thesis is part of the larger project “AI-Support in Medical Emergency Calls (AISMEC)”, which aims to develop a decision support system for Emergency Medical Communication Center (EMCC) operators to better identify and ... -
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) -
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 ... -
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 ... -
Designing a Simulation showcasing the Pharmacological Effects of Beta-2-Agonists in Asthma Treatment; Virtual Reality as a supplement to traditional teaching methods
(Master thesis, 2023-06-01)As educational technology evolves, there is a growing interest in applying VR in teaching complex scientific concepts that benefit from a visual and immersive learning environment. Motivated by the promising results of VR ...