Department of Informatics: Nye registreringer
Viser treff 61-80 av 1130
-
λ' is Confluent
(Master thesis, 2023-11-20)The λ-calculus is a well-known model of computation, characterised by its simplicity and adapted for the implementation of functional programming languages. We present an extension of the λ-calculus proposed by ... -
Algebraic Attacks on the Encryption Scheme HADESMiMC
(Master thesis, 2023-11-20)HADESMiMC is a recent symmetric cryptographic algorithm working with elements in a finite field. It is proposed as a candidate cipher for secure data transfers using Multiparty Computation (MPC). MPC is particularly useful ... -
Chatbot Generation for Open Data Accessibility
(Master thesis, 2023-11-20)Open data, despite its availability, often remains inaccessible to the average person due to complex data formats and technical barriers. This challenge hinders the realization of open data’s transformative potential. ... -
Exploration of Linear-Algebra Graph Algorithms on the Graphcore IPU
(Master thesis, 2023-11-20)More specialized hardware is being created to improve the efficiency of demanding algorithms. Graphcore introduced their Intelligence processors: a specialized true MIMD architecture which specializes in machine learning ... -
Deep Learning and Deep Reinforcement Learning for Graph Based Applications
(Doctoral thesis, 2024-01-26)Dyp læring har gitt state-of-the-art ytelse i mange applikasjoner som datasyn, tekstanalyse, biologi, osv. Suksessen med dyp læring har også hjulpet fremveksten av dyp forsterkende læring for optimal beslutningstaking og ... -
On self-equivalences of APN functions
(Master thesis, 2023-10-16)In this thesis we investigate the structure of what we call extended linear self-equivalences for vectorial Boolean functions. That is, $(L_1, L_2, L)$ such that $L_1 \circ F \circ L_2 + L = F$ for some vectorial Boolean ... -
Macrophage phenotype transitions in a stochastic gene-regulatory network model
(Journal article; Peer reviewed, 2023)Polarization is the process by which a macrophage cell commits to a phenotype based on external signal stimulation. To know how this process is affected by random fluctuations and events within a cell is of utmost importance ... -
Integrating Wearable Technology for Enhanced Self-Assessment in Mental Health
(Master thesis, 2023-10-16)Mental health is a critical aspect of overall well-being and affects a large proportion of the world’s population. The first step of identifying possible issues in an individual is often using assessment method such as ... -
Topological Regularization of Support Vector Machines
(Master thesis, 2023-11-21)The unique functioning of Support Vector Machines (SVMs) can create undesirable behaviour, however this unique functioning in turn also allow for exploration of novel topological regularization methods. SVMs are a common ... -
Polyhedra and algorithms for problems bridging notions of connectivity and independence
(Doctoral thesis, 2023-12-21)I denne avhandlinga interesserer vi oss for å finne delgrafer som svarer til utvalgte modeller for begrepene sammenheng og uavhengighet. I korthet betyr dette stabile (også kalt uavhengige) mengder med gitt kardinalitet, ... -
Causal inference in drug discovery and development
(Journal article; Peer reviewed, 2023)To discover new drugs is to seek and to prove causality. As an emerging approach leveraging human knowledge and creativity, data, and machine intelligence, causal inference holds the promise of reducing cognitive bias and ... -
Multivariate Analysis of Clustering Problems with Constraints
(Doctoral thesis, 2023-12-14) -
Cryptology in the Crowd
(Doctoral thesis, 2023-12-08)Uhell skjer: Kanskje mistet du nøkkelen til huset, eller hadde PIN-koden til innbruddsalarmen skrevet på en dårlig plassert post-it lapp. Og kanskje endte de slik opp i hendene på feil person, som nå kan påføre livet ditt ... -
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 ... -
Gaussian Likelihoods in Bayesian Neural Networks
(Master thesis, 2023-10-02)Bayesian neural networks (BNNs) offer a promising probabilistic take on neural networks, allowing uncertainty quantification in both model predictions and parameters. Being a relatively new and evolving field of research, ... -
Balancing the Game: Comparative Analysis of Single Heuristics and Adaptive Heuristic Approaches for Sports Scheduling Problem
(Master thesis, 2023-10-02)Sport timetabling problems are Combinatorial Optimization problems which involve the creation of schedules that determine when and where teams compete against each other. One specific type of sports scheduling, the double ... -
Colorizing Scanning Electron Microscopy Images With Diffusion Models
(Master thesis, 2023-09-01) -
Simulating Private Information Retrieval on Amazon Web Services
(Master thesis, 2023-09-15)As our modern lives have gradually moved more and more online, companies and state actors have taken it upon themselves to gather and analyze our behavior online, and as these actors have gradually shown just how much they ... -
Scalable Learning of Bayesian Networks Using Feedback Arc Set-Based Heuristics
(Doctoral thesis, 2023-11-10)Bayesianske nettverk er en viktig klasse av probabilistiske grafiske modeller. De består av en struktur (en rettet asyklisk graf) som beskriver betingede uavhengighet mellom stokastiske variabler og deres parametere (lokale ... -
Computational search for isotopic semifields and planar functions in characteristic 3
(Master thesis, 2023-09-01)In this thesis, we investigate the possibility of finding new planar functions and corresponding semifields in characteristic 3 by the construction of isotopic semifields from the known families and sporadic instances of ...