Now showing items 71-80 of 302
Development and application of methods for the analysis of microarray gene expression data
(The University of Bergen, 2006-10-20)
WSDL Workshop: Semantic web application in HTML5 for the discovery, construction and analysis of workfows
(The University of Bergen, 2013)
WSDL-Workshop is a HTML5 web application for the discovery and exploration of web services and for analyzing the compatibility between web services. This is the result of a mathematical model developed from WSDL1.1. The ...
A Type System for Usage of Software Components
The aim of this article is to support component-based software engineering by modelling exclusive and inclusive usage of software components. Truong and Bezem describe in several papers abstract languages for component ...
User-configurable, high-level transformations with CodeBoost
(The University of Bergen, 2003)
Scalable design of large applications requires domain-specific, high-level abstraction. Classically, there has been a tension between abstraction and good performance. We demonstrate how to overcome this tension by ...
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 ...
Modelling migration patterns of fish using depth and temperature preferences
(The University of Bergen, 2012-04-27)
Time series of depth and temperature derived from electronic tagging of fish have been used to construct a stochastic model that aims at capturing main characteristics of the observations. Mixed Ornstein-Uhlenbeck process ...
Security analysis of electronic voting and online banking systems
(The University of Bergen, 2007-08-29)
The main focus of this dissertation is on security analysis of electronic voting and online banking systems. Six papers form the basis of the thesis and include the following topics: a model for analysis of voting systems, ...
Randomised Construction and Dynamic Decoding of LDPC Codes
(The University of Bergen, 2005-11-30)
Computational analysis of the evolutionary dynamics of proteins on a genomic scale
(The University of Bergen, 2007-01-16)
Biology is primarily concerned with the study of all phenotypic aspects of living organisms and evolutionary biology is more specifically interested in elucidating how different phenotypes evolved. Proteins (and RNA ...
Enhancing Content Management in DPG
(The University of Bergen, 2013-11-20)
This thesis analyzes the usability aspects of PCE and implements a new Single Page Application that attempts to solve this issues