Now showing items 1-10 of 35
Utvidelse og formell sikkerhetsanalyse av Dynamic Presentation Generator
(The University of Bergen, 2013-05-02)
Oppgaven omhandler sikkerhetsproblematikk i Dynamic Presentation Generator og undersøker muligheten for å bruke en single-sign-on via Mi side.
Inexact Solution of the Schur Complement Equation in a Primal-Dual Interior-Point Method for Semidefinite Programming
(The University of Bergen, 2002)
Protease-dependent fractional mass and peptide properties
(IM Publications, 2008-09-22)
Mass spectrometric analyses of peptides mainly rely on cleavage of proteins with proteases that have a defined specificity. The specificities of the proteases imply that there is not a random distribution of amino acids ...
Implementation of Broadcast Domination Algorithms for Interval Graphs, Series-Parallel Graphs, and Trees
(The University of Bergen, 2004)
Data Profiling to Reveal Meaningful Structures for Standardization
(The University of Bergen, 2009-11-20)
Today many organisations and enterprises are using data from several sources either for strategic decision making or other business goals such as data integration. Data quality problems are always a hindrance to effective ...
Interfacing concepts: Why declaration style shouldn't matter
<p>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 ...
Vekthierarkiet for nokre kodeklassar
(The University of Bergen, 1995)
A polynomial-time algorithm for LO based on generalized logarithmic barrier functions
(Academic Publications, 2008)
The State of the Art in Topology-based Visualization of Unsteady Flow
(Blackwell Publishing Ltd., 2011)
Vector fields are a common concept for the representation of many different kinds of flow phenomena in science and engineering. Methods based on vector field topology are known for their convenience for visualizing and ...
Diagram predicate framework: A formal approach to MDE
(The University of Bergen, 2010-11-29)
Model-driven engineering (MDE) is a software engineering discipline which promotes models as first-class entities. It represents a shift of paradigm in software development, from being code-centric to become model-centric. ...