Sciweavers

73 search results - page 15 / 15
» Deterministic and stochastic P systems for modelling cellula...
Sort
View
ICTAI
2007
IEEE
13 years 11 months ago
Establishing Logical Rules from Empirical Data
We review a method of generating logical rules, or axioms, from empirical data. This method, using closed set properties of formal concept analysis, has been previously described ...
John L. Pfaltz
NIPS
2003
13 years 6 months ago
The Diffusion-Limited Biochemical Signal-Relay Channel
Biochemical signal-transduction networks are the biological information-processing systems by which individual cells, from neurons to amoebae, perceive and respond to their chemic...
Peter J. Thomas, Donald J. Spencer, Sierra K. Hamp...
QEST
2005
IEEE
13 years 10 months ago
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
YoungMin Kwon, Gul A. Agha