Logical Modelling of Physarum Polycephalum
作者： Andrew Adamatzky , Andrew Schumann
DOI:
关键词:
摘要: In the paper we proposed a novel model of unconventional computing where structural part computation is presented by dy- namics Plasmodium Physarum polycephalum, large single cell. We sketch new logical approach combining conventional logic with pro- cess calculus to demonstrate how employ formal methods in design media polycephalum.
harvard.edu
arxiv.org
arxiv-vanity.com
researchgate.net 参考文章(5)
Andrew Adamatzky, Steering plasmodium with light: Dynamical programming of Physarum machine arXiv: Pattern Formation and Solitons. ,(2009)
Andrew Schumann, Andrew Adamatzky, Toward semantical model of reaction‐diffusion computing Kybernetes. ,vol. 38, pp. 1518- 1531 ,(2009) , 10.1108/03684920910991504
Andrew Adamatzky, Physarum machines: encapsulating reaction-diffusion to compute spanning tree. Naturwissenschaften. ,vol. 94, pp. 975- 980 ,(2007) , 10.1007/S00114-007-0276-5
Gérard Berry, Gérard Boudol, The chemical abstract machine Theoretical Computer Science. ,vol. 96, pp. 217- 248 ,(1992) , 10.1016/0304-3975(92)90185-I
Andrew Schumann, Non-Well-Founded Probabilities and Coinductive Probability Logic symbolic and numeric algorithms for scientific computing. pp. 54- 57 ,(2008) , 10.1109/SYNASC.2008.29