1922 search results - page 179 / 385 » Systems biology, models, and concurrency |
132
click to vote
ISAMI
2010
14 years 11 months ago
2010
Probabilistic models of languages are fundamental to understand and learn the profile of the subjacent code in order to estimate its entropy, enabling the verification and predicti...
DNA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Metabolic P systems, shortly MP systems, are a special class of P systems, introduced for expressing biological metabolism. Their dynamics are computed by metabolic algor...
119
click to vote
ICNC
2005
Springer
15 years 7 months ago
2005
Springer
We have developed a calculus, called Ipi, for describing the aberrance in biological models. Our approach extends the traditional pi calculus to handle aberrant process in the sign...
121
click to vote
EUROCAST
2007
Springer
15 years 5 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
195
click to vote
BIOCOMP
2010
14 years 11 months ago
2010
Abstract-- Modeling the intermolecular reactions in a single cell is a critical problem in computational biology. Biochemical reaction systems often involve species in both low and...