Sciweavers

2167 search results - page 5 / 434
» Stochastic Process Algebras
Sort
View
GECCO
2009
Springer
128views Optimization» more  GECCO 2009»
14 years 7 days ago
Evolving stochastic processes using feature tests and genetic programming
The synthesis of stochastic processes using genetic programming is investigated. Stochastic process behaviours take the form of time series data, in which quantities of interest v...
Brian J. Ross, Janine H. Imada
DNA
2009
Springer
158views Bioinformatics» more  DNA 2009»
14 years 2 months ago
Design of a Biomolecular Device That Executes Process Algebra
Process algebras are widely used for defining the formal semantics of concurrent communicating processes. In process algebra, concurrent processes can be specified to execute di...
Urmi Majumder, John H. Reif
RP
2009
Springer
110views Control Systems» more  RP 2009»
14 years 2 months ago
Formalisms for Specifying Markovian Population Models
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
Thomas A. Henzinger, Barbara Jobstmann, Verena Wol...
ENTCS
2010
154views more  ENTCS 2010»
13 years 5 months ago
Process Algebra with Hooks for Models of Pattern Formation
We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers action, from biochemistry to tissue, and special synchronisations via hook actions ensur...
Andrea Degasperi, Muffy Calder
MPC
2010
Springer
181views Mathematics» more  MPC 2010»
14 years 12 days ago
Process Algebras for Collective Dynamics
d Abstract) Jane Hillston Laboratory for Foundations of Computer Science, The University of Edinburgh, Scotland Quantitative Analysis Stochastic process algebras extend classical p...
Jane Hillston