Now showing items 101-110 of 277
A type system for counting instances of software components
We identify an abstract language for component software based on process algebra. Besides the usual operators for sequential, alternative and parallel composition, it has primitives for instantiating components and for ...
Formulas as programs
Alma-0 is a programming language supporting declarative programming, which combines the advantages of imperative and logic programming paradigms. This work explores declarative programming by extending the interpretation ...
Characteristics of Pyrosequencing Data – Analysis, Methods, and Tools
(The University of Bergen, 2013-06-17)
The introduction of this thesis provides background knowledge on the 454 sequencing technology and a detailed review of the most relevant sequencing artifacts. Chapter 1 puts the 454 sequencing technology into a historical ...
Looking at the Stars
How to cope with incorrect HTML
(The University of Bergen, 2001)
A Model of Type Theory in Cubical Sets
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014)
We present a model of type theory with dependent product, sum, and identity, in cubical sets. We describe a universe and explain how to transform an equivalence between two types into an equality. We also explain how to ...
Binding Leverage as a Molecular Basis for Allosteric Regulation
(Public Library of Science, 2011-09-15)
Allosteric regulation involves conformational transitions or fluctuations between a few closely related states, caused by the binding of effector molecules. We introduce a quantity called binding leverage that measures ...
Floating Fault Analysis of Trivium
(Springer Berlin Heidelberg, 2008)
One of the eSTREAM final portfolio ciphers is the hardwareoriented stream cipher Trivium. It is based on 3 nonlinear feedback shift registers with a linear output function. Although Trivium has attached a lot of interest, ...
Type Systems for Resource Use in Component Software
(The University of Bergen, 2006)
In many situations a programmer must be concerned with resources which are not accounted and controlled completely by the programming language. These could be external physical resources, like a printer or a screen, it ...
MassAnalyzer, a program to help find labeled peptides and compare them to their unlabeled counterparts in a SILAC experiment
(The University of Bergen, 2008-11-27)
Mass spectrometry(MS) have become an increasingly popular analysis method for high throughput experiments on proteins in biology. SILAC(stable isotope labeling by amino acids in cell culture) is a method within MS that ...