Computational Complexity

2012 Edition
| Editors: Robert A. Meyers (Editor-in-Chief)


  • Hal Abelson
  • Jacob Beal
  • Gerald Jay Sussman
Reference work entry

Article Outline


Definition of the Subject


The Amorphous Computing Model

Programming Amorphous Systems

Amorphous Computing Paradigms

Primitives for Amorphous Computing

Means of Combination and Abstraction

Supporting Infrastructure and Services

Lessons for Engineering

Future Directions



Sensor Network Cellular Automaton Synthetic Biology Random Choice Genetic Regulatory Network 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in to check access.


Primary Literature

  1. 1.
    Bachrach J, Beal J (2006) Programming a sensor network as an amorphous medium.In: DCOSS 2006 Posters, June 2006Google Scholar
  2. 2.
    Bachrach J, Beal J, Fujiwara T (2007) Continuous space-time semantics allow adaptive program execution.In: IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2007Google Scholar
  3. 3.
    Bachrach J, Nagpal R, Salib M, Shrobe H (2003) Experimental results and theoretical analysis of a self-organizing global coordinate system for ad hoc sensor networks.Telecommun Syst J, Special Issue on Wireless System Networks 26(2–4):213–233Google Scholar
  4. 4.
    Beal J (2003) A robust amorphous hierarchy from persistent nodes. In: Commun Syst NetwGoogle Scholar
  5. 5.
    Beal J (2004) Programming an amorphous computational medium.In: Unconventional Programming Paradigms International Workshop, September 2004Google Scholar
  6. 6.
    Beal J (2005) Amorphous medium language.In: Large-Scale Multi-Agent Systems Workshop (LSMAS). Held in Conjunction with AAMAS-05Google Scholar
  7. 7.
    Beal J, Bachrach J (2006) Infrastructure for engineered emergence on sensor/actuator networks. In: IEEE Intelligent Systems, 2006Google Scholar
  8. 8.
    Beal J, Sussman G (2005) Biologically-inspired robust spatial programming. Technical Report AI Memo 2005-001, MIT, January 2005Google Scholar
  9. 9.
    Beebee W M68hc11 gunk api book. Accessed 31 May 2007
  10. 10.
    Butera W (2002) Programming a Paintable Computer. Ph D thesis, MITGoogle Scholar
  11. 11.
    Campbell J, Pillai P, Goldstein SC (2005) The robot is the tether: Active, adaptive power routing for modular robots with unary inter-robot connectors.In: IROS 2005Google Scholar
  12. 12.
    Clement L, Nagpal R (2003) Self-assembly and self-repairing topologies.In: Workshop on Adaptability in Multi-Agent Systems, RoboCup Australian Open, January 2003Google Scholar
  13. 13.
    Codd EF (1968) Cellular Automata.Academic Press, New YorkzbMATHGoogle Scholar
  14. 14.
    Coore D (1998) Establishing a coordinate system on an amorphous computer.In: MIT Student Workshop on High Performance Computing, 1998Google Scholar
  15. 15.
    Coore D (1999) Botanical Computing: A Developmental Approach to Generating Interconnect Topologies on an Amorphous Computer.Ph D thesis, MITGoogle Scholar
  16. 16.
    Coore D, Nagpal R, Weiss R (1997) Paradigms for structure in an amorphous computer.Technical Report AI Memo 1614, MITGoogle Scholar
  17. 17.
    Demers A, Greene D, Hauser C, Irish W, Larson J, Shenker S, Stuygis H, Swinehart D, Terry D (1987) Epidemic algorithms for replicated database maintenance.In: 7th ACM Symposium on Operating Systems Principles, 1987Google Scholar
  18. 18.
    D'Hondt E, D'Hondt T (2001) Amorphous geometry.In: ECAL 2001Google Scholar
  19. 19.
    D'Hondt E, D'Hondt T (2001) Experiments in amorphous geometry.In: 2001 International Conference on Artificial IntelligenceGoogle Scholar
  20. 20.
    Ganesan D, Krishnamachari B, Woo A, Culler D, Estrin D, Wicker S (2002) An empirical study of epidemic algorithms in large scale multihop wireless networks.Technical Report IRB-TR-02-003, Intel Research BerkeleyGoogle Scholar
  21. 21.
    Gayle O, Coore D (2006) Self-organizing text in an amorphous environment. In: ICCS 2006Google Scholar
  22. 22.
    Hill J, Szewcyk R, Woo A, Culler D, Hollar S, Pister K (2000) System architecture directions for networked sensors.In: ASPLOS, November 2000Google Scholar
  23. 23.
    Huzita H, Scimemi B (1989) The algebra of paper-folding.In: First International Meeting of Origami Science and Technology, 1989Google Scholar
  24. 24.
    igem 2006: international genetically engineered machine competition (2006) Accessed 31 May 2007
  25. 25.
    Intanagonwiwat C, Govindan R, Estrin D (2000) Directed diffusion: a scalable and robust communication paradigm for sensor networks.In: Mobile Computing and Networking, pp 56–67Google Scholar
  26. 26.
    Kahn JM, Katz RH, Pister KSJ (1999) Mobile networking for smart dust.In: ACM/IEEE Int. Conf. on Mobile Computing and Networking (MobiCom 99), August 1999Google Scholar
  27. 27.
    Katzenelson J (1999) Notes on amorphous computing.(Unpublished Draft)Google Scholar
  28. 28.
    Kleinrock L, Sylvester J (1978) Optimum transmission radii for packet radio networks or why six is a magic number.In: IEEE Natl Telecommun. Conf, December 1978, pp 4.3.1–4.3.5Google Scholar
  29. 29.
    Knight TF, Sussman GJ (1998) Cellular gate technology.In: First International Conference on Unconventional Models of Computation (UMC98)Google Scholar
  30. 30.
    Kondacs A (2003) Biologically-inspired self-assembly of 2d shapes, using global-to-local compilation.In: International Joint Conference on Artificial Intelligence (IJCAI)Google Scholar
  31. 31.
    Mamei M, Zambonelli F (2003) Spray computers: Frontiers of self-organization for pervasive computing.In: WOA 2003Google Scholar
  32. 32.
    Mamei M, Zambonelli F (2004) Spatial computing: the tota approach.In: WOA 2004, pp 126–142Google Scholar
  33. 33.
    Mamei M, Zambonelli F (2005) Physical deployment of digital pheromones through rfid technology.In: AAMAS 2005, pp 1353–1354Google Scholar
  34. 34.
    Margolus N (1988) Physics and Computation.Ph D thesis, MITGoogle Scholar
  35. 35.
    McLurkin J (2004) Stupid robot tricks: A behavior-based distributed algorithm library for programming swarms of robots.Master's thesis, MITGoogle Scholar
  36. 36.
    Mittal V, Demirbas M, Arora A (2003) Loci: Local clustering service for large scale wireless sensor networks.Technical Report OSU-CISRC-2/03-TR07, Ohio State UniversityGoogle Scholar
  37. 37.
    Nagpal R (1999) Organizing a global coordinate system from local information on an amorphous computer.Technical Report AI Memo 1666, MITGoogle Scholar
  38. 38.
    Nagpal R (2001) Programmable Self-Assembly: Constructing Global Shape using Biologically-inspired Local Interactions and Origami Mathematics.Ph D thesis, MITGoogle Scholar
  39. 39.
    Nagpal R, Mamei M (2004) Engineering amorphous computing systems.In: Bergenti F, Gleizes MP, Zambonelli F (eds) Methodologies and Software Engineering for Agent Systems, The Agent-Oriented Software Engineering Handbook. Kluwer, New York, pp 303–320CrossRefGoogle Scholar
  40. 40.
    Dust Networks. Accessed 31 May 2007
  41. 41.
    Newton R, Morrisett G, Welsh M (2007) The regiment macroprogramming system. In: International Conference on Information Processing in Sensor Networks (IPSN'07)Google Scholar
  42. 42.
    Newton R, Welsh M (2004) Region streams: Functional macroprogramming for sensor networks.In: First International Workshop on Data Management for Sensor Networks (DMSN), August 2004Google Scholar
  43. 43.
    Patel A, Nagpal R, Gibson M, Perrimon N (2006) The emergence of geometric order in proliferating metazoan epithelia.Nature 442:1038–1041CrossRefGoogle Scholar
  44. 44.
    Payton D, Daily M, Estowski R, Howard M, Lee C (2001) Pheromone robotics. Autonomous Robotics 11:319–324 zbMATHCrossRefGoogle Scholar
  45. 45.
    Priyantha N, Chakraborty A, Balakrishnan H (2000) The cricket location-support system.In: ACM International Conference on Mobile Computing and Networking (ACM MOBICOM), August 2000Google Scholar
  46. 46.
    Raffle H, Parkes A, Ishii H (2004) Topobo: A constructive assembly system with kinetic memory.CHIGoogle Scholar
  47. 47.
    Rauch E (1999) Discrete, amorphous physical models.Master's thesis, MITGoogle Scholar
  48. 48.
    Registry of standard biological parts. Accessed 31 May 2007
  49. 49.
    De Rosa M, Goldstein SC, Lee P, Campbell J, Pillai P (2006) Scalable shape sculpting via hole motion: Motion planning in lattice-constrained module robots.In: Proceedings of the 2006 IEEE International Conference on Robotics and Automation (ICRA ‘06), May 2006Google Scholar
  50. 50.
    Servat D, Drogoul A (2002) Combining amorphous computing and reactive agent-based systems: a paradigm for pervasive intelligence?In: AAMAS 2002Google Scholar
  51. 51.
    Stoy K (2003) Emergent Control of Self-Reconfigurable Robots.Ph D thesis, University of Southern DenmarkGoogle Scholar
  52. 52.
    Sutherland A (2003) Towards rseam: Resilient serial execution on amorphous machines.Master’s thesis, MITGoogle Scholar
  53. 53.
    von Neumann J (1951) The general and logical theory of automata.In: Jeffress L (ed) Cerebral Mechanisms for Behavior. Wiley, New York, p 16Google Scholar
  54. 54.
    Weiss R, Knight T (2000) Engineered communications for microbial robotics. In: Sixth International Meeting on DNA Based Computers (DNA6)Google Scholar
  55. 55.
    Weiss R (2001) Cellular Computation and Communications using Engineered Genetic Regular Networks.Ph D thesis, MITGoogle Scholar
  56. 56.
    Welsh M, Mainland G (2004) Programming sensor networks using abstract regions.In: Proceedings of the First USENIX/ACM Symposium on Networked Systems Design and Implementation (NSDI '04), March 2004Google Scholar
  57. 57.
    Werfel J, Bar-Yam Y, Nagpal R (2005) Building patterned structures with robot swarms.In: IJCAIGoogle Scholar
  58. 58.
    Whitehouse K, Sharp C, Brewer E, Culler D (2004) Hood: a neighborhood abstraction for sensor networks.In: Proceedings of the 2nd international conference on Mobile systems, applications, and services.Google Scholar
  59. 59.
    Abelson H, Sussman GJ, Sussman J (1996) Structure and Interpretation of Computer Programs, 2nd edn.MIT Press, CambridgezbMATHGoogle Scholar
  60. 60.
    Ashe HL, Briscoe J (2006) The interpretation of morphogen gradients. Development 133:385–94 CrossRefGoogle Scholar
  61. 61.
    Weiss R, Basu S, Hooshangi S, Kalmbach A, Karig D, Mehreja R, Netravali I (2003) Genetic circuit building blocks for cellular computation, communications, and signal processing.Natural Computing 2(1):47–84CrossRefGoogle Scholar

Books and Reviews

  1. 62.
    Abelson H, Allen D, Coore D, Hanson C, Homsy G, Knight T, Nagpal R, Rauch E, Sussman G, Weiss R (1999) Amorphous computing.Technical Report AIM-1665, MITGoogle Scholar

Copyright information

© Springer-Verlag 2012

Authors and Affiliations

  • Hal Abelson
    • 1
  • Jacob Beal
    • 1
  • Gerald Jay Sussman
    • 1
  1. 1.Computer Science and Artificial Intelligence LaboratoryMassachusetts Institute of TechnologyCambridgeUSA