Blar i Department of Informatics på utgivelsesdato
Viser treff 41-60 av 1081
-
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 ... -
Facilitating Extended Reality in Museums through a Web-Based Application
(Master thesis, 2023-06-01) -
Design of a Simulated Hospital Tour in a Scanned 3D Model for Children
(Master thesis, 2023-06-01)In today’s world it is important that all children have the right to have the most up-to date information presented to them in the easiest way possible. Working with members of Haukeland Hospital, and a lead psychiatrist ... -
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. -
Reinforcement Learning for Lifelong Multi-Agent Pathfinding in AutoStore system
(Master thesis, 2023-05-25)AutoStore (AS) uses a cubic system for warehouse automation, utilizing robots to retrieve and organize objects in a three-dimensional grid of bins in a Manhattan geometry environment. Lifelong Multi-Agent Pathfinding (LMAPF) ...