Sciweavers

1922 search results - page 2 / 385
» Systems biology, models, and concurrency
Sort
View
FMSB
2008
130views Formal Methods» more  FMSB 2008»
13 years 9 months ago
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...
Elzbieta Krepska, Nicola Bonzanni, K. Anton Feenst...
ENTCS
2006
155views more  ENTCS 2006»
13 years 7 months ago
Biomolecular Agents as Multi-behavioural Concurrent Objects
In recent years, there has been increasing interest in computational models of biological systems based on various calculi of communicating processes, such as the stochastic pi-ca...
Denys Duchier, Céline Kuttler
ICLP
2009
Springer
14 years 8 months ago
Constraint Based Languages for Biological Reactions
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...
Marco Bottalico, Stefano Bistarelli
CONCURRENCY
2007
131views more  CONCURRENCY 2007»
13 years 7 months ago
A user reputation model for a user-interactive question answering system
Wei Chen, Qingtian Zeng, Liu Wenyin, Tianyong Hao
AB
2007
Springer
14 years 1 months ago
A Stochastic Pi Calculus for Concurrent Objects
We present SpiCO, a new modeling and simulation language for systems biology. SpiCO is based on the stochastic π-calculus. It supports higher level modeling via multi-profile con...
Céline Kuttler, Cédric Lhoussaine, J...