1090 search results - page 80 / 218 » The Equivalence between Biology and Computation |
113
click to vote
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Bisimulation equivalence is decidable in polynomial time for both sequential and commutative normed context-free processes, known as BPA and BPP, respectively. Despite apparent sim...
101
Voted
FOSSACS
2004
Springer
15 years 6 months ago
2004
Springer
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper presents an innovative, adaptive variant of Kohonen’s selforganizing maps called ASOM, which is an unsupervised clustering method that adaptively decides on ...
108
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. As for other ambient calculi static...
105
click to vote
IJCAI
2001
15 years 2 months ago
2001
Computer modeling and simulation are indispensable for understanding the functioning of an organism on a molecular level. We present an implemented method for the qualitative simu...