Now showing items 1-10 of 257
Obscurance-based Volume Rendering Framework
(The Eurographics Association, 2008)
lighting effects in a faster way than global illumination. Its application in volume visualization is of special interest since it permits us to generate a high quality rendering at a low cost. In this paper, we propose ...
A New Generating Set Search Algorithm for Partially Separable Functions
A new derivative-free optimization method for unconstrained optimization of partially separable functions is presented. Using average curvature information computed from sampled function values the method generates an ...
Proofs, Types and Lambda Calculus - datasets
Exploring the evolution of protein function in Archaea
(BioMed Central, 2012-05-30)
<p>Background: Despite recent progress in studies of the evolution of protein function, the questions what were the first functional protein domains and what were their basic building blocks remain unresolved. Previously, ...
En studie av mesh-traverseringsmønstre for Sophus-biblioteket og kjøretids variasjoner på SGI Origin
(The University of Bergen, 2002)
CCZ-equivalence of bent vectorial functions and related constructions
We observe that the CCZ-equivalence of bent vectorial functions over F2nFn2 (n even) reduces to their EA-equivalence. Then we show that in spite of this fact, CCZ-equivalence can be used for constructing bent functions ...
Domain-Specific Languages for Composable Editor Plugins
Modern IDEs increase developer productivity by incorporating many different kinds of editor services. These can be purely syntactic, such as syntax highlighting, code folding, and an outline for navigation; or they can be ...
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.
Type Systems for Guaranteeing Resource Bounds of Component Software
(The University of Bergen, 2006-05-15)
Since the early days of the development of programming languages, people have been developing various methods to reduce the runtime errors of software programs. These methods range from static analysis, testing to runtime ...
Comparison of Solving Techniques for Non-linear Sparse Equations over Finite Fields with Application in Cryptanalysis
(The University of Bergen, 2008)
The work on this thesis gives a summary of the Gluing/Agreeing techniques, as well as a reference implementation of this methods. Furthermore widely used SAT-solving techniques are explained and a short insight to the ...