The nature of the Extended Analog Computer

Physica D: Nonlinear Phenomena

Volumn 237, Issue 9, 2008, Pages 1235-1256

  Mills, Jonathan W ^a  

^a INDIANA UNIVERSITY   (United States)

Author keywords

Analog computing; Analogy diagrammatic semantics; Extended Analog Computer; Lukasiewicz logic

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; DIGITAL COMPUTERS; FORMAL LOGIC; SEMANTICS;

ANALOG COMPUTING; ANALOGY DIAGRAMMATIC SEMANTICS; EXTENDED ANALOG COMPUTER; LUKASIEWICZ LOGIC;

ANALOG COMPUTERS;

EID: 44349132681     PISSN: 01672789     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.physd.2008.03.041     Document Type: Article

References (60)

1. J. Mills, Kirchhoff-Lukasiewicz Machines, Internal Research Note, Indiana University, 1995. (This note is available from the corresponding author.)
2. Mills J.W., Beavers M.G., and Daffinger C.A. Lukasiewicz Logic Arrays. Proc. 20th Int. Symp. Multiple-Valued Logic (1990), IEEE Press
3. Mills J., and Daffinger C. CMOS VLSI Lukasiewicz Logic Arrays. Proc. Application Specific Array Processors (1990), Princeton, New Jersey
4. Mills J.W. Area-Efficient Implication Circuits for Very Dense Lukasiewicz Logic Arrays. Proc. 22nd Int. Symp. Multiple-Valued Logic (1992), IEEE Press, Sendai, Japan 291-298
5. B. Himebaugh, Design of EAC, 2005. www.cs.indiana.edu/~bhimebau
6. R. Varick, Building tools for the analog researcher: An interaction design challenge, Senior Research Project Report, Indiana University, 2006. (This paper is available from the corresponding author)
7. Feynman R. The Character of Physical Law (1967), MIT Press, Cambridge, MA
8. Bohm D. Causality and Chance in Modern Physics (1957), University of Pennsylvania Press, Philadelphia, PA
9. J. Mills, Polymer Processors, in: 2nd Int. Symp. Non-Silicon Computation, 2000
10. A. Adamatzky, From reaction-diffusion to Physarum computing, Physica D (2007) (submitted for publication)
11. J. Mills, B. Himebaugh, et al., Empty space computes: The evolution of an unconventional supercomputer, in: Proc. ACM Computing Frontiers Conf., [on IEEE CD of conference proceedings], 2006
12. Kirchhoff G. Flow of electric current through a plane, particularly through a circular disk. Ann. Phys. Chem. 64 (1845) 499 This citation is a translation from the original German by student Stephan Oberreichholz, 2004
13. Karplus W. Analog Simulation (1958), McGraw-Hill, NY
14. Abbott R. If a tree casts a shadow is it telling the time?. Unconventional Computing 2006. Lecture Notes in Computer Science vol. 4135 (2006), Springer
15. Feynman R. Simulating Physics with Computers. Int. J. Theoret. Phys. 21 6-7 (1982) 467-488
16. B. MacLennan, Field Computation: A theoretical framework for massively parallel analog computation, Parts I-IV, University of Tennessee, Knoxville, Department of Computer Science Technical Report CS-90-100, February 1990
17. S. Harding, J. Miller, E. Reitman, Evolution in materio: Exploiting the physics of materials for computation, 2006. Available at: http://arxiv.org/abs/cond-mat/0611462
18. Bekey G., and Karplus W. Hybrid Computation (1968), John Wiley, New York
19. J.F. Costa, J. Mycka, What lies beyond the mountains? Computational systems beyond the Turing limit, Technical report, Universidade Tecnica de Lisboa, Lisboa, Portugal, 2004. Available from: fgc@math.ist.utl.pt
20. Tucker J., and Zucker J. Computability of analog networks. Theoret. Comput. Sci. 371 1-2 (2007) 115-146
21. Nijhout F. Development and Evolution of Butterfly Wing Patterns (1991), Smithsonian Inst. Press, Wash., DC
22. Turing A. Morphogenesis. (in The Collected Works of A.M. Turing, P.T. Saunders, ed.) (1992), North-Holland, Amsterdam
23. Rubel L.A. The Extended Analog Computer. Adv. Appl. Math. 14 (1993) 39-50
24. H. Siegelmann, E. Sontag, On the computational power of neural nets, in: Proc. Fifth ACM Workshop on Computational Learning Theory, Pittsburgh, 1992
25. Landauer R. Wheeler's meaning circuit?. Foundations Phys. 16 6 (1986) 551-564
26. McNaughton R. A theorem about infinite-valued sentential logic. J. Symbolic Logic 16 (1950) 1-13
27. R. Eberhart, 2007, personal communication
28. J. Mills, The continuous retina: Image processing with a single-sensor artificial neural field network, in: Proc. IEEE Int. Conf. Neural Networks, vol. 2, 1996, pp. 886-891
29. Pierret R. Semiconductor Fundamentals. second ed. (1988), Addison-Wesley
30. In: Adamatzky A., Bull L., De Lacy Costello B., Stepney S., and Teuscher C. (Eds). Unconventional Computing 2007 (2007), Luniver Press
31. A. Adamatzky, Growing spanning trees in plasmodium machines, Kybernetes, 2007 (in press)
32. R. Montante, J.W. Mills, Measuring Information Capacity in a VLSI Analog Logic Circuit, Indiana University Computer Science Dept., TR 377, 1993
33. S. Bringsjord, J. Taylor, An Argument for P=NP, Technical Report. Available at: www.rpi.edu/~brings, 2005
34. Mills J., Walker T., and Himebaugh B. Lukasiewicz insect: Continuous-valued robotic control after ten years. Int. J. Multiple-Valued Logic (2003)
35. S. Aaronson, Limits on efficient computation in the physical world, Ph.D. Thesis, University of California, Berkeley, 2004
36. Harding S., Miller J., and Reitman E. Evolution in materio: Exploiting the physics of materials for computation. Int. J. Uncoventional Computing, Old City Publishing 4 2 (2008) 155-194
37. Rubel L.A. The brain as an analog computer. J. Theor. Neurobiol. 4 (1985)
38. Graca D. Some recent developments on Shannon 's general purpose analog computer. Math. Logic Quart. 50 4-5 (2004) 473-485
39. Mills J. A visual proof that satisfiability is NP-complete, (1985), annotations to M. R. Garey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-completeness (1979), W.H. Freeman, San Francisco
40. Wadge W., and Ashcroft E. Lucid, The Dataflow Programming Language (1985), Academic Press, London
41. Kuhn T. The Structure of Scientific Revolutions. second ed. (1970), U. Chicago Press, Chicago
42. Denning P. Great principles of computing. Comm. of the ACM 46 11 (2003) 15-20. http://cs.gmu.edu/cne/pjd/GP/overviews/ov%5Fcomputation.pdf (see also http://cs.gmu.edu/cne/pjd/GP/overviews/ov_computation.pdf, but note that the definition of analog computation there differs from that presented in this paper: it defines computation only in terms of ordinary or partial differential equations that are explicitly translated to the analog computer's structure, and does not include the semantic component of analogy)
43. Vergis A., Steiglitz K., and Dickinson B. The complexity of analog computation. Math. Comput. Simul. 28 (1986) 91-113
44. Fortnow L., and Santhanam R. Guest column: Recent work on hierarchies for semantic classes, SIGACT news complexity theory column 52. ACM SIGACT News 34 3 (2003)
45. Nyce J. In: Paton R. (Ed). Nature's Machines: Mimesis, the Analog Computer and the Rhetoric of Technology. Computing with Biological Metaphors (1994), Chapman & Hall, London 414-423
46. Blakey E. On the computational complexity of physical computing systems. In: Adamatzky A., et al. (Ed). Unconventional Computing 2007 (2007), Luniver Press 95-115
47. Gray P., and Meyer R. Analysis and Design of Analog Integrated Circuits. third ed. (1993), John Wiley & Sons, New York
48. Mendelson E. Introduction to Mathematical Logic. second ed. (1979), Wadsworth, Monterey, CA
49. B. Loff, J.F. Costa, Five views of hypercomputation, Int. J. Unconventional Comput., special issue on Hypercomputation (in press). Available from: fgc.math.ist.utl.pt/papers/fiveviews.pdf
50. Rogers E.M. Diffusion of Innovations. fourth ed. (1995), Free Press, Simon & Schuster, New York
51. The Numerical Algorithms Group library can be found at www.nag.com
52. Rubel L.A. A universal differential equation. Bull. Amer. Math. Soc. 4 N.S. (1981) 345-349
53. Toffoli T., and Margolus N. Cellular Automata Machines: A New Environment for Modeling (1987), MIT Press
54. Mead C. Analog VLSI & Neural Systems (1989), Addison-Wesley, Reading
55. A. Biswas, Some investigations with laser beams on an LLA retina, M.S. Thesis, Indiana University Computer Science Dept., 1994
56. B. Himebaugh, uEAC Wiki, including uEAC simulator and overview, 2007 at: https://cgi.cs.indiana.edu/~bhimebau/ueac_wiki/ueac_wiki.cgi
57. Dunn J.M. Gaggle theory: An abstraction of galois connections and residuation with applications to negation and various logical operations. Logics in AI, Proceedings European Workshop JELIA 1990. LNCS vol. 478 (1991), Springer Verlag
58. M.G. Beavers, Topics in Lukasiewicz logics, Ph.D., Indiana University, 1991
59. J. Mills, Area efficient implication circuits for very dense lukasiewicz logic arrays, United States Patent No. 5,770.966, 1998
60. A. Adamatzky, 2008. personal communication