Browsing Department of Informatics by Title
Now showing items 133-152 of 358
-
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 -
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 -
Independent Set on P5-free graphs, an empirical study
(The University of Bergen, 2015-11-20)We implement the recent polynomial time algorithm for the independent set problem on P5-free graphs, and study the performance of this algorithm on graphs of size up to 50. Our empirical results show that the algorithm ...Master thesis -
The index tracking problem with a limit on portfolio size
(The University of Bergen, 2014-11-19)For a passive fund manager tracking a benchmark, it is not uncommon to select some, and not all the assets in the index to his portfolio. In this thesis, we consider the problem of minimizing the tracking error under the ...Master thesis -
Inexact Solution of the Schur Complement Equation in a Primal-Dual Interior-Point Method for Semidefinite Programming
(The University of Bergen, 2002)Master thesis -
Inferring Required Permissions for Statically Composed Programs
(Springer, 2013)Permission-based security models are common in smartphone operating systems. Such models implement access control for sensitive APIs, introducing an additional concern for application developers. It is important for the ...Chapter -
-
Integrated Multi-aspect Visualization of 3D Fluid Flows
(The Eurographics Association, 2013)The motion of a fluid is affected by several intertwined flow aspects. Analyzing one aspect at a time can only yield partial information about the flow behavior. More details can be revealed by studying their interactions. ...Chapter -
Interactive Dynamic Volume Illumination with Refraction and Caustics
(The University of Bergen, 2017-08-15)In recent years, significant progress has been made in developing high-quality interactive methods for realistic volume illumination. However, refraction - despite being an important aspect of light propagation in participating ...Master thesis -
Interactive Exploration of Ligand Transportation through Protein Tunnels
(BioMed Central, 2017-02-15)Background: Protein structures and their interaction with ligands have been in the focus of biochemistry and structural biology research for decades. The transportation of ligand into the protein active site is often complex ...Journal article -
Interactive visual analysis of multi-faceted scientific data
(The University of Bergen, 2011-05-27)Visualization plays an important role in exploring, analyzing and presenting large and heterogeneous scientific data that arise in many disciplines of medicine, research, engineering, and others. We can see that model ...Doctoral thesis
