Search
Now showing items 101-110 of 377
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 ...
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 ...
Generalized Bent and/or Negabent Constructions
(The University of Bergen, 2012-04-27)
In this thesis, we generalize the Maiorana-McFarland construction for bent, negabent and bent-negabent Boolean functions and describe a way to computationally search for constructions using these generalizations. We present ...
Automatic Differentiation of Third Order Derivatives using Forward Mode in C++
(The University of Bergen, 2009-01-07)
Automatic differentiation of third order derivatives is implemented in C++. The implementation uses uses object-orientation and operator overloading to perform the differentiation.
A short introduction to operator ...
Dynamic Content Manager for E-Learning
(The University of Bergen, 2008-11-18)
Dynamic content manager for E-Learning project is developed as the partial fulfillment of master studies under the supervision of yngve lamo Ph.D and Khalid Azim Mughal Ph.D.
Støtte for Geodata i Dynamic Presentation Generator
(The University of Bergen, 2012-01-27)
Diagram Predicate Framework meets Model Versioning and Deep Metamodelling
(The University of Bergen, 2011-12-07)
Model-driven engineering (MDE) is a branch of software engineering which aims at improving the productivity, quality and cost-effectiveness of software by shifting the paradigm from code-centric to model-centric. MDE ...
Naturlige nettverk
(The University of Bergen, 2008)
En innføring i naturlige nettverk. Vi forklarer og diskuterer begrepet naturlige nettverk og vurderer hvilke nettverk som bør kalles naturlige. Vi ser på forskjeller og likheter mellom tilfeldige, planlagte og naturlige ...
Randomised Construction and Dynamic Decoding of LDPC Codes
(The University of Bergen, 2005-11-30)
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 ...