Blar i Department of Informatics på utgivelsesdato
Viser treff 41-60 av 1122
-
On a New, Efficient Framework for Falsifiable Non-interactive Zero-Knowledge Arguments
(Doctoral thesis, 2023-06-09)Et kunnskapsløst bevis er en protokoll mellom en bevisfører og en attestant. Bevisføreren har som mål å overbevise attestanten om at visse utsagn er korrekte, som besittelse av kortnummeret til et gyldig kredittkort, uten ... -
Enhanced protein identification through automated search parameter selection
(Master thesis, 2023-06-02)Mass spectrometry-based proteomics plays a critical role in identifying and quantifying proteins. Proteomics search engines, integral to this process, require meticulous parameter selection to achieve accurate results. ... -
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 ... -
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 ... -
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. -
Computational searches for quadratic APN functions with subfield coefficients
(Master thesis, 2023-06-01)Almost perfect nonlinear (APN) functions are important in fields such as algebra, combinatorics, cryptography, etc. Finding new APN functions is of special importance in cryptography. This is because when used in modern ...