The analysis of dynamic of chemical reaction networks by computing Hopf bifurcation is a method to understand the qualitative behavior of the network due to its relation to the existence of oscillations. For low dimensional reaction systems without additional constraints Hopf bifurcation can be computed by reducing the question of its occurrence to quantifier elimination problems on real closed...

Markov jump processes are widely used to model interacting species in circumstances where discreteness and stochasticity are relevant. Such models have been particularly successful in computational cell biology, and in this case, the interactions are typically first-order. The Chemical Langevin Equation is a stochastic differential equation that can be regarded as an approximation to the underl...

All known life forms process information on molecular level. Biochemical information processing found in nature is known to be robust, self-organizing, adaptive, decentralized, asynchronous, fault-tolerant, and evolvable. In order to further exploit these properties new programming techniques are required. This thesis is on programming approaches to exploit the computational capabilities of che...

The dominance of atomic structure in modern chemistry has led to an emphasis of the atomic tradition which overshadows what the subject owes to the other traditions. But there are definite features of modern chemical theory which hark back to one or other of the anti-atomistic conceptions. Aristotle maintained that the appearance of genuinely new substances, with properties radically different ...