22 search results - page 1 / 5 » Constraint Based Languages for Biological Reactions |
ICLP
2009
Springer
14 years 11 months ago
2009
Springer
In this paper, we study the modelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constra...
GECCO
1999
Springer
14 years 3 months ago
1999
Springer
Using the thermodynamics of DNA melting, a technique is proposed to choose a reaction temperature for the DNA computation that minimizes the potential for mishybridizations. Adlem...
CLEIEJ
2006
13 years 11 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
TCSB
2010
13 years 9 months ago
2010
Transcriptional attenuation at E.coli’s tryptophan operon is a prime example of RNA-mediated gene regulation. In this paper, we present a discrete stochastic model for this pheno...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Event-driven automation of reactive functionalities for complex event processing is an urgent need in today's distributed service-oriented architectures and Web-based event-d...