Blar i Department of Informatics på tittel
Viser treff 31-50 av 1130
-
Algebraic Cryptanalysis of Cryptographic Schemes with Extension Field Structure
(Doctoral thesis, 2021-09-06)Post-Quantum Cryptography studies cryptographic algorithms that quantum computers cannot break. Recent advances in quantum computing have made this kind of cryptography necessary, and research in the field has surged over ... -
Algebraic Reasoning About Timeliness
(Journal article; Peer reviewed, 2023)Designing distributed systems to have predictable performance under high load is difficult because of resource exhaustion, non-linearity, and stochastic behaviour. Timeliness, i.e., delivering results within defined time ... -
Algorithmic Complexity of Clustering and Low-Rank Approximation Problems
(Doctoral thesis, 2021-03-29)The two most popular unsupervised learning problems are k-Clustering and Low-Rank Approximation. Consider a set of n datapoints, in the k-Clustering problem, the objective is to partition these points into k clusters and ... -
An Algorithmic Meta-Theorem for Graph Modification to Planarity and FOL
(Journal article; Peer reviewed, 2020)In general, a graph modification problem is defined by a graph modification operation ⊠ and a target graph property 𝒫. Typically, the modification operation ⊠ may be vertex removal, edge removal, edge contraction, or edge ... -
Algorithms for covering multiple submodular constraints and applications
(Journal article; Peer reviewed, 2022)We consider the problem of covering multiple submodular constraints. Given a finite ground set N, a weight function \(w: N \rightarrow \mathbb {R}_+\), r monotone submodular functions \(f_1,f_2,\ldots ,f_r\) over N and ... -
Algorithms for Linearly Ordered Boolean Formulas
(Master thesis, 2016-06-30)This thesis considers a class of propositional boolean formulas on which various problems related to satisfiability are efficiently solvable by a dynamic programming algorithm. It mainly consists of two larger parts: the ... -
Algorithms for rainbow vertex colouring diametral path graphs
(Master thesis, 2022-06-01) -
Algorithms for the Rainbow Vertex Coloring Problem on Graph Classes
(Journal article; Peer reviewed, 2020)Given a vertex-colored graph, we say a path is a rainbow vertex path if all its internal vertices have distinct colors. The graph is rainbow vertex-connected if there is a rainbow vertex path between every pair of its ... -
Alias - Designing an application for creating personalised comics aimed for the Children and Youth Clinic at Haukeland University Hospital
(Master thesis, 2019-12)Information that is handed out by hospitals is not always personalised for patients and their motivation is often lacking. Communication between healthcare and patients is mostly textual and verbal, sometimes overwhelming, ... -
Aligning a Splice Graph to a Genomic Sequence
(Master thesis, 2005-06-01) -
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. ... -
An Automated Method for Converting 3D Meshes into Editable 2D Vector Graphics
(Master thesis, 2019-06-29) -
An Effective Generic Lasso Selection Tool for Multiselection
(Master thesis, 2020-06-20)Multiselection is widely available in the graphical user interfaces of common applications, often through rectangular or row-wise selection tools. Lasso selection, though often provided in image manipulation applications, ... -
An efficient implementation of a test for EA-equivalence
(Master thesis, 2022-06-01)We implement an algorithm for testing EA-equivalence between vectorial Boolean functions proposed by Kaleyski in the C programming language, and observe that it reduces the running time (as opposed to the original Magma ... -
An Experimental Evaluation of Software Frameworks for the Web-of-Things
(Master thesis, 2021-06-15)In this thesis we evaluate the Web of Things technology. The Research-based Innovation scheme in Norway has started a project named Smart Ocean, which explores new technologies to develop ocean monitoring solutions. This ... -
An Indoor/Outdoor Air Quality Relationship Analysis Using Internet of Things
(Master thesis, 2019-06-29)Exposure to high levels of air pollution is a significant cause of premature mortality. In Norway, people spend about 90% of their time indoors. Therefore, the relationship between indoor and outdoor concentrations of air ... -
An Introduction to Information-Theoretic Private Information Retrieval (IT-PIR)
(Master thesis, 2019-06-26) -
An Overview of Blockchain-Based Identity Management Systems.
(Master thesis, 2022-11-21) -
Analysis of Trivium Using Compressed Right Hand Side Equations
(Chapter; Peer reviewed, 2012)We study a new representation of non-linear multivariate equations for algebraic cryptanalysis. Using a combination of multiple right hand side equations and binary decision diagrams, our new representation allows a very ... -
Analysis of Word Embeddings: A Clustering and Topological Approach
(Master thesis, 2021-06-01)Over the last few years, advances in natural language processing (NLP) have enabled us to learn more from textual data. To this end, word embedding models learn vectorized representations of words by training on big sets ...