Department of Informatics: Recent submissions
Now showing items 101-120 of 1124
-
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 ... -
A web-based dashboard to facilitate progress management of pathology workflows
(Master thesis, 2022-12-15)The Department of Pathology at Haukeland University Hospital in Bergen (HUS) has in recent years experienced a growing demand for their services. An aging population in combination with heightened use of personalized ... -
Prototyping and Evaluation of Sensor Data Integration in Cloud Platforms
(Master thesis, 2022-09-01)The SFI Smart Ocean centre has initiated a long-running project which consists of developing a wireless and autonomous marine observation system for monitoring of underwater environments and structures. The increasing ... -
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 ... -
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 ... -
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 ... -
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. -
Liquid Conductor: Animated Transitions Across Dimensions
(Master thesis, 2023-06-21)This thesis explores the power of visualization in conveying complex data through intuitive visual representations. It investigates the effectiveness of animated transitions in understanding correlations between different ... -
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 ... -
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) -
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, ... -
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 ...