Programming Unconventional Computers: Dynamics, Development, Self-Reference

Entropy

Volumn 14, Issue 10, 2012, Pages 1939-1952

  Stepney, Susan ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

development and morphogenesis; self reference and reflection; unconventional computing

Indexed keywords

EID: 84894480740     PISSN: None     EISSN: 10994300     Source Type: Journal    
DOI: 10.3390/e14101939     Document Type: Article

References (80)

1. Copeland B.J. The Modern History of Computing The Stanford Encyclopedia of Philosophy 2008 ed. Zalta E.N. Archived online: http://plato.stanford.edu/archives/fall2008/entries/ computing-history/ (accessed on 6 August 2012)
2. Turing A.M. On computable numbers, with an application to the entscheidungsproblem Proc. Lond. Math. Soc. 1937 S2–S42 230 265 10.1112/plms/s2-42.1.230
3. Adamatzky A. Physarum Machines: Computers From Slime Mould World Scientific Singapore 2010
4. Tóth Á. Showalter K. Logic gates in excitable media J. Chem. Phys. 1995 103 2058 2066
5. Adamatzky A. de Lacy Costello B. Asai T. Reaction-Diffusion Computers Elsevier Amsterdam, The Netherlands 2005
6. Miller J.F. Downing K. Evolution in materio: Looking Beyond the Silicon Box Proceedings of NASA/DoD Conference on Evolvable Hardware Washington D.C., USA 15–18 July 2002 167 176
7. Stepney S. The neglected pillar of material computation Phys. D: Nonlinear Phenom. 2008 237 1157 1164 10.1016/j.physd.2008.01.028
8. Enz C.C. Vittoz E.A. CMOS Low-power Analog Circuit Design Emerging Technologies, Tutorial for 1996 International Symposium on Circuits and Systems IEEE Service Center Piscataway, NJ, USA 1996 79 133
9. Conrad M. The Price of Programmability The Universal Turing Machine Herken R. Oxford University Press Oxford, UK 1988 285 307
10. Sloman A. The Irrelevance of Turing Machines to Artificial Intelligence Computationalism: New Directions Scheutz M. MIT Press Cambridge, MA, USA 2002 87 127
11. Copeland B.J. Accelerating turing machines Minds Mach. 2002 12 281 300 10.1023/A:1015607401307
12. Deutsch D. Quantum theory, the Church-Turing principle and the universal quantum computer Proc. R. Soc. Lond. A Math. Phys. Sci. 1985 400 97 117 10.1098/rspa.1985.0070
13. Hogarth M. Does general relativity allow an observer to view an eternity in a finite time? Found. Phys. Lett. 1992 5 173 181 10.1007/BF00682813
14. NIST The NIST Reference on Constants, Units, and Uncertainty, 2011 Available online: http://physics.nist.gov/cuu/Constants/ (accessed on 6 August 2012)
15. NPL What is the most accurate measurement known? 2010 Available online: http://www.npl.co.uk/reference/faqs/what-is-the-most-accurate-measurement-known-(faq-quantum) (accessed on 6 August 2012)
16. Arndt J. Haenel C. π Unleashed Springer Berlin/Heidelberg, Germany 2001
17. Yee A.J. Kondo S. Round 2 …10 Trillion Digits of Pi 2011 Available online: http://www.numberworld.org/misc_runs/pi-10t/details.html (accessed on 6 August 2012)
18. Cassirer E. An Essay on Man Yale University Press New Haven, CT, USA 1944
19. Ingold T. An anthropologist looks at biology Man 1990 25 208 229 10.2307/2804561
20. Stepney S. Polack F. Turner H. Engineering Emergence Proceedings of the ICECCS 2006: 11th IEEE International Conference on Engineering of Complex Computer Systems Stanford, CA, USA 15–17 August 2006 89 97
21. Gilman C.P. Human Work McClure, Philips and Co New York, NY, USA 1904
22. Hoare C.A.R. Communicating Sequential Processes Prentice Hall Upper Saddle River, NJ, USA 1985
23. Milner R. A Calculus of Communicating Systems Springer Berlin/Heidelberg, Germany 1980
24. Milner R. Communication and Concurrency Prentice Hall Upper Saddle River, NJ, USA 1989
25. Milner R. Communicating and Mobile Systems: The π-Calculus Cambridge University Press Cambridge, UK 1999
26. Milner R. The Space and Motion of Communicating Agents Cambridge University Press Cambridge, UK 2009
27. Cardelli L. Gordon A.D. Mobile ambients Theor. Comput. Sci. 2000 240 177 213 10.1016/S0304-3975(99)00231-5
28. Hillston J. A Compositional Approach to Performance Modelling Cambridge University Press Cambridge, UK 1996
29. Baeten J.C.M. Weijland W.P. Process Algebra Cambridge University Press Cambridge, UK 1990
30. Ciocchetta F. Hillston J. Process Algebras in Systems Biology Formal Methods for Computational Systems Biology Springer Berlin/Heidelberg, Germany 2008 Volume 5016 265 312
31. Calder M. Hillston J. Process Algebra Modelling Styles for Biomolecular Processes Springer Berlin/Heidelberg, Germany 2009 Volume 5750 1 25
32. Schumann A. Adamatzky A. Logical Modelling of Physarum Polycephalum CoRR 2011 abs/1105.4060
33. Aczel P. Non-well-founded Sets CSLI Stanford, CA, USA 1988
34. Sangiorgi D. On the origins of bisimulation and coinduction ACM Trans. Progr. Lang. Syst. 2009 31 15:1 15:41 10.1145/1516507.1516510
35. Hawking S.W. A Brief History of Time Bantam Dell New York, NY, USA 1988
36. Barwise J. Etchemendy J. The Liar: An Essay on Truth and Circularity Oxford University Press Oxford, UK 1987
37. Jacobs B. Introduction to Coalgebra. Towards Mathematics of States and Observations draft v2.00. Available online: http://www.cs.ru.nl/B.Jacobs/CLG/JacobsCoalgebraIntro.pdf (accessed on 8 October 2012)
38. Maes P. Concepts and Experiments in Computational Reflection ACM Press New York, NY, USA 1987 147 155
39. Hickinbotham S. Stepney S. Nellis A. Clarke T. Clark E. Pay M. Young P. Embodied Genomes and Metaprogramming Advances in Artificial Life, ECAL 2011, Proceedings of the Eleventh European Conference on the Synthesis and Simulation of Living Systems Paris, France August 2011 MIT Press Cambridge, MA, USA 2011 334 341
40. Stepney S. Hoverd T. Reflecting on Open-Ended Evolution Advances in Artificial Life, ECAL 2011, Proceedings of the Eleventh European Conference on the Synthesis and Simulation of Living Systems Paris, France August 2011 MIT Press Cambridge, MA, USA 2011 781 788
41. Cuesta C. de la Fuente P. Barrio-Solórzano M. Beato E. Coordination in a Reflective Architecture Description Language Coordination Models and Languages Arbab F. Talcott C. Springer Berlin/Heidelberg, Germany 2002 Volume 2315 479 486
42. Cuesta C. Romay M. de la Fuente P. Barrio-Solórzano M. Reflection-Based, Aspect-Oriented Software Architecture Software Architecture Oquendo F. Warboys B. Morrison R. Springer Berlin/Heidelberg, Germany 2004 Volume 3047 43 56
43. Alligood K.T. Sauer T.D. Yorke J.A. Chaos: An Introduction to Dynamical Systems Springer Berlin/Heidelberg, Germany 1996
44. Strogatz S.H. Nonlinear Dynamics and Chaos Westview Press Boulder, CO, USA 1994
45. Beer R.D. A dynamical systems perspective on agent-environment interaction Artif. Intell. 1995 72 173 215 10.1016/0004-3702(94)00005-L
46. Stepney S. Nonclassical Computation: A Dynamical Systems Perspective Handbook of Natural Computing Rozenberg G. Bäck T. Kok J.N. Springer Berlin/Heidelberg, Germany 2012 Volume 4 Chapter 59 1979 2025
47. Pask G. The Natural History of Networks Self-Organzing Systems Yovits M.C. Cameron S. Pergamon Press Oxford, UK 1960
48. Cariani P. To evolve an ear: Epistemological implications of Gordon Pask’s electrochemical devices Syst. Res. 1993 10 19 33 10.1002/sres.3850100305
49. Thompson A. Layzell P.J. Zebulum R.S. Explorations in design space: Unconventional electronics design through artificial evolution IEEE Trans. Evol. Comput. 1999 3 167 196 10.1109/4235.788489
50. Harding S.L. Miller J.F. Rietman E.A. Evolution in Materio: Exploiting the physics of materials for computation IJUC 2008 4 155 194
51. Goldstein J. Emergence as a construct: History and issues Emergence 1999 1 49 72 10.1207/s15327000em0101_4
52. Abraham R.H. Dynamics and Self-Organization Self-organizing Systems: The Emergence of Order Yates F.E. Plenum New York, NY, USA 1987 599 613
53. Baguelin M. LeFevre J. Richard J.P. A Formalism for Models with a Metadynamically Varying Structure Proceedings of the European Control Conference Cambridge, UK 1–4 September 2003
54. Moulay E. Baguelin M. Meta-dynamical adaptive systems and their application to a fractal algorithm and a biological model Phys. D 2005 207 79 90 10.1016/j.physd.2005.05.013
55. Kuan C.Y. Roth K.A. Flavell R.A. Rakic P. Mechanisms of programmed cell death in the developing brain Trends Neurosci. 2000 23 291 297 10.1016/S0166-2236(00)01581-2
56. Pajni-Underwood S. Wilson C.P. Elder C. Mishina Y. Lewandoski M. BMP signals control limb bud interdigital programmed cell death by regulating FGF signaling Development 2007 134 2359 2368 10.1242/dev.001677 17537800
57. Fontana W. Algorithmic Chemistry Artificial Life II Addison-Wesley Boston, MA, USA 1991 159 209
58. Fontana W. Buss L.W. The Barrier of Objects: From Dynamical Systems to Bounded Organizations Boundaries and Barriers Casti J.L. Karlqvist A. Addison-Wesley Boston, MA, USA 1996 Chapter 4 56 116
59. Bagley R.J. Farmer J.D. Spontaneous Emergence of a Metabolism Artificial Life II Addison-Wesley Boston, MA, USA 1991 93 140
60. Simons P. Reasoning on a tight budget: Lesniewski’s nominalistic metalogic Erkenntnis 2002 56 99 122 10.1023/A:1014780217184
61. Prusinkiewicz P. Lindenmayer A. The Algorithmic Beauty of Plants Springer Berlin/Heidelberg, Germany 1990
62. Păun G. Computing with membranes J. Comput. Syst. Sci. 2000 61 108 143 10.1006/jcss.1999.1693
63. Giavitto J.L. Michel O. Data Structure as Topological Spaces Proceedings of the 3nd International Conference on Unconventional Models of Computation UMC02 Kobe, Japan 15–19 October 2002 Springer Berlin/Heidelberg, Germany 2002 Volume 2509 137 150
64. Giavitto J.L. Spicher A. Topological rewriting and the geometrization of programming Phys. D 2008 237 1302 1314 10.1016/j.physd.2008.03.039
65. Michel O. Banâtre J.P. Fradet P. Giavitto J.L. Challenging questions for the rationale of non-classical programming languages Int. J. Unconv. Comput. 2006 2 337 347
66. Doursat R. Organically Grown Architectures: Creating Decentralized, Autonomous Systems by Embryomorphic Engineering Organic Computing Würtz R.P. Springer Berlin/Heidelberg, Germany 2008 167 200
67. Doursat R. Sayama H. Michel O. Morphogenetic Engineering: Toward Programmable Complex Systems Springer Berlin/Heidelberg, Germany 2012 in press
68. MacLennan B.J. Models and Mechanisms for Artificial Morphogenesis Natural Computing, Proceedings in Information and Communications Technology Himeji, Japan September 2009 Peper F. Umeo H. Matsui N. Isokawa T. Springer Tokyo, Japan 2010 Volume 2 23 33
69. MacLennan B.J. Artificial morphogenesis as an example of embodied computation Int. J. Unconv. Comput. 2011 7 3 23
70. Tomita K. Murata S. Kurokawa H. Self-description for construction and computation on graph-rewriting automata Artif. Life 2007 13 383 396 10.1162/artl.2007.13.4.383 17716018
71. Harding S. Miller J.F. Banzhaf W. Self-modifying Cartesian Genetic Programming Proceedings of the GECCO 2007 London, UK 7–11 July 2007 Lipson H. ACM New York, NY, USA 2007 1021 1028
72. Harding S. Miller J.F. Banzhaf W. Self-modifying Cartesian Genetic Programming Cartesian Genetic Programming Miller J.F. Springer Berlin/Heidelberg, Germany 2011 chapter 4 101 124
73. Rosen R. Life Itself: A Comprehensive Enquiry Into the Nature, Origin, and Fabrication of Life Columbia University Press New York, NY, USA 1991
74. Maturana H.R. Varela F.J. Autopoeisis and Cognition: The Realization of the Living D. Reidel Publishing Company Boston, MA, USA 1980
75. Mingers J. Self-Producing Systems: Implications and Applications of Autopoiesis Plenum New York, NY, USA 1995
76. Danchin A. The Delphic Boat: What Genomes Tell Us Harvard University Press Cambridge, MA, USA 2002
77. McMullin B. Thirty years of computational autopoiesis: A review Artif. Life 2004 10 277 295 15245628
78. Laughlin R.B. A Different Universe: Reinventing Physics from the Bottom Down Basic Books New York, NY, USA 2005
79. Kampis G. Self-Modifying Systems Biology and Cognitive Science: A New Framework for Dynamics, Information, and Complexity Pergamon Press Oxford, UK 1991
80. Stepney S. Unconventional Computer Programming Proceedings of the Symposium on Natural/Unconventional Computing and Its Philosophical Significance Birmingham, UK 2–3 July 2012 Dodig-Crnkovic G. Giovagnoli R. 12 15