Blar i Department of Informatics på tittel
Viser treff 4-23 av 1074
-
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 Compiler and Runtime Environment for Execution of Coloured Petri Net Models
(Master thesis, 2022-06-01)Reliance on software systems is ever increasing in our world. Alongside the application of concurrent software systems that embody communication, syn- chronization and resource sharing. Many problems in software engineering ... -
A Computational Search for Cubic-Like Bent Functions
(Master thesis, 2023-10-02)Boolean functions are a central topic in computer science. A subset of Boolean functions, Bent Boolean functions, provide optimal resistance to various cryptographical attack vectors, making them an interesting subject for ... -
A Cubical Implementation of Homotopical Patch Theory
(Master thesis, 2022-06-01)We consider theoretical models of version control systems based on Homotopy Type Theory (HoTT). The main contribution is an implementation of Angiuli et al.’s Homotopical Patch Theory in Cubical Agda. Additionally the first ... -
A Deep Reinforcement Learning - based Hyperheuristic for the Flexible Traveling Repairman Problem with Drones
(Master thesis, 2023-07-01) -
A Dimensional Modeling Approach to Internet-Delivered Psychological Treatments
(Master thesis, 2021-08-02)Mental health problems are becoming an increasingly significant public health concern on a global scale. While effective psychological treatments exist, they scale poorly to the number of people who require help, meaning ... -
A Domain-Specific Language for the Development of Heterogeneous Multi-Robot Systems
(Master thesis, 2019-06-28)Robots are becoming more advanced each year and will increasingly become a bigger part of our lives. This thesis explores how model-driven software engineering can be used in the development of heterogeneous multi-robot ... -
A Functional Implementation of a Multiway Dataflow Constraint System Library
(Master thesis, 2023-06-16) -
A meta-analysis on the effectiveness of digital contact tracing solutions to date
(Master thesis, 2021-11-23) -
A Modular Approach for Creating Web Applications with 3D Geology Using React and X3DOM
(Master thesis, 2019-06-29)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 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 ... -
A new parallel adaptive heuristic for combinatorial optimization problems
(Master thesis, 2023-02-17) -
A Snakemake workflow for analysing alternative splicing events from short-read RNA-seq data
(Master thesis, 2022-04-13) -
A Visual Analytics Dashboard for Mental Health Therapists
(Master thesis, 2019-06-29)Mental health disorders are a significant problem throughout the western world. Cognitive Behavioral Therapy (CBT) is a common treatment form for these disorders. Internet-based Cognitive Behavioral Therapy (iCBT) provides ... -
A Weather/Mobility Analysis using Machine Learning
(Master thesis, 2020-08-25) -
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 ... -
A Web-based Data-Driven Security Game for Teaching Software Security
(Master thesis, 2022-06-01) -
A workflow-integrated brain tumor segmentation system based on fastai and MONAI
(Master thesis, 2022-06-01)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 Language-Independent Program Transformations
(Doctoral thesis, 2007-06-27) -
Accuracy and efficiency of germline variant calling pipelines for human genome data
(Journal article; Peer reviewed, 2020)Advances in next-generation sequencing technology have enabled whole genome sequencing (WGS) to be widely used for identification of causal variants in a spectrum of genetic-related disorders, and provided new insight into ...