Browsing Department of Informatics by Title
Now showing items 322-341 of 882
-
Hard Mathematical Problems in Cryptography and Coding Theory
(Doctoral thesis, 2020-04-28)In this thesis, we are concerned with certain interesting computationally hard problems and the complexities of their associated algorithms. All of these problems share a common feature in that they all arise from, or have ... -
Hash functions in Cryptography
(Master thesis, 2008)This thesis is concerned with giving both an overview of the application of hash functions in cryptography and a presentation of today's standard cryptographic hash functions. Cryptographic hash functions are a valuable ... -
Hashfunksjoner for bruk i Digitale Signaturer
(Master thesis, 1995) -
Hierarchical clusterings of unweighted graphs
(Journal article; Peer reviewed, 2020)We study the complexity of finding an optimal hierarchical clustering of an unweighted similarity graph under the recently introduced Dasgupta objective function. We introduce a proof technique, called the normalization ... -
A Hierarchical Splitting Scheme to Reveal Insight into Highly Self-Occluded Integral Surfaces
(Peer reviewed; Journal article, 2012)In flow visualization, integral surfaces are of particular interest for their ability to describe trajectories of massless particles. In areas of swirling motion, integral surfaces can become very complex and difficult to ... -
High-Dimensional Bayesian Network Inference From Systems Genetics Data Using Genetic Node Ordering
(Journal article; Peer reviewed, 2019)Studying the impact of genetic variation on gene regulatory networks is essential to understand the biological mechanisms by which genetic variation causes variation in phenotypes. Bayesian networks provide an elegant ... -
High-performance design patterns for modern Fortran
(Peer reviewed; Journal article, 2015)This paper presents ideas for using coordinate-free numerics in modern Fortran to achieve code flexibility in the partial differential equation (PDE) domain. We also show how Fortran, over the last few decades, has changed ... -
High-Resolution Mapping of Forest Structure From SAR and Optical Satellite Imagery Using Deep Learning
(Master thesis, 2022-11-21) -
Highlights from the Eighth International Society for Computational Biology (ISCB) Student Council Symposium 2012
(Peer reviewed; Journal article, 2012-12-14)Abstract The report summarizes the scientific content of the annual symposium organized by the Student Council of the International Society for Computational Biology (ISCB) held in conjunction with the Intelligent Systems ... -
Hitting Topological Minor Models in Planar Graphs is Fixed Parameter Tractable
(Journal article; Peer reviewed, 2020)For a finite collection of graphs F, the F-TM-Deletion problem has as input an n-vertex graph G and an integer k and asks whether there exists a set S ⊆ V(G) with |S| ≤ k such that G \ S does not contain any of the graphs ... -
Honeycomb Plots: Visual Enhancements for Hexagonal Maps
(Chapter, 2022)Aggregation through binning is a commonly used technique for visualizing large, dense, and overplotted two-dimensional data sets. However, aggregation can hide nuanced data-distribution features and complicates the display ... -
Hormonal regulation of ovarian follicle growth in humans: Model-based exploration of cycle variability and parameter sensitivities
(Journal article; Peer reviewed, 2022)We present a modelling and simulation framework for the dynamics of ovarian follicles and key hormones along the hypothalamic-pituitary–gonadal axis throughout consecutive human menstrual cycles. All simulation results ... -
How to cope with incorrect HTML
(Master thesis, 2001) -
Hybrid visibility compositing and masking for illustrative rendering
(Peer reviewed; Journal article, 2010-08)In this paper, we introduce a novel framework for the compositing of interactively rendered 3D layers tailored to the needs of scientific illustration. Currently, traditional scientific illustrations are produced in a ... -
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking
(Journal article; Peer reviewed, 2022)Static analysers are traditionally used to check various correctness properties of software. In the face of refactorings that can have adverse effects on correctness, developers need to analyse the code after refactoring ... -
Identifying elemental genomic track types and representing them uniformly
(Peer reviewed; Journal article, 2011-12-30)Background: With the recent advances and availability of various high-throughput sequencing technologies, data on many molecular aspects, such as gene regulation, chromatin dynamics, and the three-dimensional organization ... -
Illustrative Flow Visualization: State of the Art, Trends and Challenges
(Peer reviewed; Journal article, 2012)Flow visualization is a well established branch of scientific visualization and it currently represents an invaluable resource to many fields, like automotive design, meteorology and medical imaging. Thanks to the capabilities ... -
Impact of physical obstacles on the structural and effective connectivity of in silico neuronal circuits
(Journal article; Peer reviewed, 2020)Scaffolds and patterned substrates are among the most successful strategies to dictate the connectivity between neurons in culture. Here, we used numerical simulations to investigate the capacity of physical obstacles ... -
Impacts of Covid-19 on Norwegian salmon exports: A firm-level analysis
(Journal article; Peer reviewed, 2022)A rapidly growing literature investigates how the recent Covid-19 pandemic has affected international seafood trade along multiple dimensions, creating opportunities as well as challenges. This suggests that many of the ... -
Implementasjon av attributtbasert tilgangskontroll i elektroniske helsesystemer
(Master thesis, 2015-05-28)Tilgangskontroll er et av de viktigste temaene innenfor informasjonssikkerhet[10]. Sensitiv data bør bare kunne aksesseres av autoriserte brukere eller programmer. Denne oppgaven har som hovedmål å undersøke den nåværende ...