Browsing Department of Informatics by Title
Now showing items 133-152 of 378
-
Guaranteeing Resource Bounds for Component Software
(Springer Berlin Heidelberg, 2005-06-15)Component software is software that has been assembled from various pieces of standardized, reusable computer programs, so-called components. Executing component software creates instances of these components. For several ...Journal article -
Hash functions in Cryptography
(The University of Bergen, 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 ...Master thesis -
-
A Hierarchical Splitting Scheme to Reveal Insight into Highly Self-Occluded Integral Surfaces
(Václav Skala - UNION Agency, 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 ...Journal article -
High-performance design patterns for modern Fortran
(Hindawi, 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 ...Journal article -
Highlights from the Eighth International Society for Computational Biology (ISCB) Student Council Symposium 2012
(BioMed Central, 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 ...Journal article -
-
Hybrid visibility compositing and masking for illustrative rendering
(Elsevier, 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 ...Journal article -
Identifying elemental genomic track types and representing them uniformly
(BioMed Central, 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 ...Journal article -
Illustrative Flow Visualization: State of the Art, Trends and Challenges
(The Eurographics Association, 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 ...Journal article -
Implementasjon av attributtbasert tilgangskontroll i elektroniske helsesystemer
(The University of Bergen, 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 ...Master thesis -
An implementation of a Feedback Vertex Set algorithm.
(The University of Bergen, 2013-06-03)An implementation, improvements to implementation and empirical results. Feedback Vertex Set on undirected and unweighted graphs.Master thesis -
Implementation of Broadcast Domination Algorithms for Interval Graphs, Series-Parallel Graphs, and Trees
(The University of Bergen, 2004)Master thesis -
Implementering og evaluering av en HL7 FHIR integrasjonsbuss for kommunikasjon mellom klientapplikasjoner og e-helsesystemer
(The University of Bergen, 2017-07-11)Bakgrunn: Den økende digitaliseringen av helsetjenestene krever at informasjonen i de elektroniske pasientjournalene er klinisk strukturerte ved hjelp av datastandarder og kliniske terminologier for riktig prosessering ...Master thesis -
An improved workflow for image- and laser-based virtual geological outcrop modelling
(The University of Bergen, 2013-03-15)Photorealistic 3D models, representing an object’s surface geometry textured with conventional photography, are used for visualization, interpretation and spatial measurement in many disparate fields, such as cultural ...Doctoral thesis -
Improvements and extensions to the configuration tools of the TaskManager HLT software in the ALICE experiment at CERN
(The University of Bergen, 2007)This thesis concerns work done to improve andextend software that is used to configure nodesand trigger software in HLT under the ALICEexperiment at CERN. HLT is a large computercluster that will be used to reduce data ...Master thesis -
Improving Efficiency in Parameter Estimation Using the Hamiltonian Monte Carlo Algorithm
(The University of Bergen, 2008)This thesis investigates three approaches to improve the performance of the Hamiltonian Monte Carlo algorithm. The first approach enhances the Hamiltonian Monte Carlo by suppressing random walk in the Gibbs sampling using ...Master thesis -
Improving Parallel Sparse Matrix-vector Multiplication
(The University of Bergen, 2013-12-19)Sparse Matrix-vector Multiplication (SMvM) is a mathematical technique encountered in many programs and computations and is often heavily used. Solving SMvM in parallel allows for bigger instances to be solved, and problems ...Master thesis -
The Inclusion Problem for Regular Expressions
(Springer, 2010)This paper presents a new polynomial-time algorithm for the inclusion problem for certain pairs of regular expressions. The algorithm is not based on construction of finite automata, and can therefore be faster than the ...Peer reviewedChapter -
Incompleteness of the Inference System BNeg
(The University of Bergen, 2016-05-31)Any propositional discourse can be represented as a propositional theory in a specific form in such a way that the theory is inconsistent if and only if the discourse is paradoxical. Propositional theories in this form ...Master thesis
