Now showing items 31-40 of 273
The Inclusion Problem for Regular Expressions
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 ...
A polynomial-time algorithm for LO based on generalized logarithmic barrier functions
(Academic Publications, 2008)
A database for boolean functions and constructions of generalized pairs
(The University of Bergen, 2009-03-26)
In this thesis, we study spectral measures of Boolean functions. In the first half of thesis, we study the Walsh spectrum and the periodic autocorrelation spectrum of a Boolean function. A database of Boolean functions is ...
BioHackathon series in 2011 and 2012: penetration of ontology and linked data in life science domains
(BioMed Central, 2014-02-05)
Abstract The application of semantic technologies to the integration of biological data and the interoperability of bioinformatics analysis and visualization tools has been the common theme of a series of annual ...
Interfacing concepts: Why declaration style shouldn't matter
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 ...
Programming with Explicit Dependencies. A Framework for Portable Parallel Programming
Computational devices are rapidly evolving into massively parallel systems. Multicore processors are already standard; high performance processors such as the Cell/BE processor, graphics processing units (GPUs) ...
Network coding in Bluetooth networks
(The University of Bergen, 2009-10-01)
This thesis discusses the possibility to apply network coding to a Bluetooth piconet. A protocol is proposed. This protocol is based on using deterministic linear network coding. The proposed alphabet size is binary, and ...
Hybrid visibility compositing and masking for illustrative rendering
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 ...
Selvstabiliserende algoritmer for frekvensallokering
(The University of Bergen, 2004)
Visualisering av optimaliserte digitale bilder av hudsykdommer
(The University of Bergen, 2008)
Denne oppgaven ble gjort i samarbeid med firmaet Balter Medical som har utviklet en ny metode for diagnostisering av hudkreft. De siste seksti årene har det vært en dramatisk økning i antall tilfeller av føflekkreft. Per ...