10435 search results - page 55 / 2087 » Computational Biology and Language |
CF
2006
ACM
15 years 3 months ago
2006
ACM
In this paper, we present a programming language viewpoint for morphogenesis, the process of shape formation during embryological development. Specifically, we model morphogenesi...
EACL
2009
ACL Anthology
15 years 10 months ago
2009
ACL Anthology
ENTCS
2006
14 years 10 months ago
2006
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...
ECCB
2002
IEEE
15 years 2 months ago
2002
IEEE
ASM
2010
ASM
15 years 8 days ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...