Browsing Department of Informatics by Title
Now showing items 98117 of 256

An implementation of a Feedback Vertex Set algorithm.
(The University of Bergen, 20130603)An implementation, improvements to implementation and empirical results. Feedback Vertex Set on undirected and unweighted graphs. 
Implementation of Broadcast Domination Algorithms for Interval Graphs, SeriesParallel Graphs, and Trees
(The University of Bergen, 2004) 
An improved workflow for image and laserbased virtual geological outcrop modelling
(The University of Bergen, 20130315)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 ... 
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 ... 
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 ... 
Improving Parallel Sparse Matrixvector Multiplication
(The University of Bergen, 20131219)Sparse Matrixvector 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 ... 
The Inclusion Problem for Regular Expressions
(Springer, 2010)This paper presents a new polynomialtime 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 ... 
The index tracking problem with a limit on portfolio size
(The University of Bergen, 20141119)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 ... 
Inexact Solution of the Schur Complement Equation in a PrimalDual InteriorPoint Method for Semidefinite Programming
(The University of Bergen, 2002) 
Inferring Required Permissions for Statically Composed Programs
(Springer, 2013)Permissionbased 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 ... 
Integral Cryptanalysis
(The University of Bergen, 2002) 
Integrated Multiaspect 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. ... 
Interactive visual analysis of multifaceted scientific data
(The University of Bergen, 20110527)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 ... 
Interactive Visual Analysis of Process Data
(The University of Bergen, 20111130)Data gathered from processes, or process data, contains many different aspects that a visualization system should also convey. Aspects such as, temporal coherence, spatial connectivity, streaming data, and the need for ... 
Interactive Visual Analysis of Timedependent Flows: Physics and Statisticsbased Semantics
(The University of Bergen, 20120622)With the increasing use of numerical simulations in the fluid mechanics community in recent years flow visualization increasingly gains importance as an advanced analysis tool for the simulation output. Up to now, ... 
Interactive Visualization of Streaming Data with Kernel Density Estimation
(IEEE, 2011)In this paper, we discuss the extension and integration of the statistical concept of Kernel Density Estimation (KDE) in a scatterplotlike visualization for dynamic data at interactive rates. We present a line kernel ... 
Interactively illustrating polymerization using threelevel model fusion
(BioMed Central, 20141014)Background: Research in cell biology is steadily contributing new knowledge about many aspects of physiological processes, both with respect to the involved molecular structures as well as their related function. Illustrations ... 
Interaksjon og Søk i Dynamic Presentation Generator
(The University of Bergen, 201006)Denne oppgaven handler om hvordan interaksjon og søk kan integreres i Dynamic Presentation Generator. Dette innholdshåndteringssystemet benytter seg av presentasjonsmønstre, en ide som går ut på å skille struktur og innhold. ... 
Interaktive bridgetjenester for Internett og Mobil
(The University of Bergen, 2008)Denne rapporten presenterer utviklingen av to forskjellige systemer til bruk i forbindelse med kortspillet bridge. Det første systemet er et webbasert administrasjonssystem for bridgeturneringer, mens det andre systemet ... 
Interfacing concepts: Why declaration style shouldn't matter
(Elsevier, 20100917)A concept (or signature) describes the interface of a set of abstract types by listing the operations that should be supported for those types. When implementing a generic operation, such as sorting, we may then specify ...