Journeys in non-classical computation I: A grand challenge for computing research

International Journal of Parallel, Emergent and Distributed Systems

Volumn 20, Issue 1, 2005, Pages 5-19

  Stepney, Susan ^a   Braunstein, Samuel L ^a   Clark, John A ^a   Tyrrell, Andy ^a   Adamatzky, Andrew ^b   Smith, Robert E ^b   Addis, Tom ^c   Johnson, Colin ^d   Timmis, Jonathan ^d   Welch, Peter ^d   Milner, Robin ^e   Partridge, Derek ^f  

^a UNIVERSITY OF YORK   (United Kingdom)

^b UNIVERSITY OF THE WEST OF ENGLAND   (United Kingdom)

^c UNIVERSITY OF PORTSMOUTH   (United Kingdom)

^d UNIVERSITY OF KENT   (United Kingdom)

^e UNIVERSITY OF CAMBRIDGE   (United Kingdom)

^f UNIVERSITY OF EXETER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 22844444640     PISSN: 17445760     EISSN: None     Source Type: Journal    
DOI: 10.1080/17445760500033291     Document Type: Conference Paper

References (95)

1. Editorial article, 2002, Nature Immunology, 3(10), 883, October.
2. Andrew Adamatzky, 2001, Computing in Nonlinear Media and Automata Collectives (IoP).
3. Andrew Adamatzky (Ed.), 2002, Collision-Based Computing (Springer).
4. Adleman, Leonard M., 1994, Molecular computation of solutions to combinatorial problems, Science, 266, 1021-1024, November.
5. Thomas Back, Fogel, David B., Zbigniew Michalewicz (Eds.), 2000, Evolutionary Computation 1: Basic Algorithms and Operators (IoP).
6. Per Bak, 1997, How Nature Works: The Science of Self-Organized Criticality (OUP).
7. Wolfgang Banzhaf, Peter Nordin, Keller, Robert E. and Francone, Frank D., 1998, Genetic Programming, An Introduction: On the Automatic Evolution of Computer Programs and its Applications (Morgan Kaufmann).
8. Albert-Laszlo Barabasi, 2002, Linked: The New Science of Networks (Perseus).
9. Berry, G. and Boudol, G., 1992, The chemical abstract machine, Theoretical Computer Science, 96, 217-248.
10. Hugues Bersini and Varela, Francisco J., 1991, Hints for adaptive problem solving gleaned from immune networks. In: H.P. Schwefel and H. Mühlenbein (Eds.) Parallel Problem Solving from Nature (Springer).
11. Bishop, Christopher M., 1995, Neural Networks for Pattern Recognition (OUP).
12. Bonabeau, Eric W., Marco Dorigo and Guy Theraulaz, 1999, Swarm Intelligence: From Natural to Artificial Systems (OUP).
13. Bradley, Daryl W. and Tyrrell. Andy M., 2000, Hardware fault tolerance: An immunological approach. Proc IEEE Conf on System, Man, and Cybernetics.
14. Brookes, S.D., Hoare, C.A.R. and Roscoe, A.W., 1984, A theory of communicating sequential processes, Journal of the ACM, 31, 560-699.
15. Calude, Cristian S. and Gheorghe Paun, 2001, Computing with Cells and Atoms (Taylor & Francis).
16. Cardelli, L. and Gordon, A., 2000, Mobile ambients, Theoretical Computer Science, 240, 177-213.
17. Suresh Chari, Jutla, Charanjit S., Rao, Josyula R. and Pankaj Rohatgi, 2003, Power analysis: Attacks and countermeasures. In: Annabelle McIver and Carroll Morgan (Eds.) Programming Methodology (Springer).
18. Bastine Chopard and Michel Droz, 1998, Cellular Automata Modeling of Physical Systems (CUP).
19. Clark, John A., Susan Stepney and Howard Olivers, 2004, Breaking the model: Finalisation and A Taxonomy of Security Attacks, Technical Report YCS-2004-371 (University of York).
20. Clarke, E.M., Emerson, E.A. and Sistla, A.P., 1986, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM ToPLaS, 8(2), 244-263.
21. Cleaveland, R., Parrow, J. and Steffen, B., 1993, The concurrency workbench: A semantics based tool for the verification of concurrent systems, ACM ToPLaS, 15, 36-72.
22. Corne, David W., Marco Dorigo, Fred Glover (Eds.), 1999, New ideas in Optimization (McGraw Hill).
23. Crutchfield, J.P., 1994, The calculi of emergence: Computation, dynamics, and induction, Physica D, 75, 11-54.
24. Dipankar Dasgupta (Ed.), 1999, Artificial Immune Systems and their Applications (Springer).
25. de Castro, Leandro N. and Jonathan Timmis, 2002, Artificial Immune Systems: A New Computational intelligence Approach (Springer).
26. de Castro, Leandro N. and von Zuben, Fernando J., 2000, An evolutionary immune network for data clustering. SBRN'00, Brazil (IEEE), pp. 84-89.
27. Marianne Delorme, Jacques Mazoyer (Eds.), 1999, Cellular Automata: A Parallel Model (Kluwer).
28. Drexler, K. Eric., 1986, Engines of Creation: The Coming Era of Nanotechnology (Doubleday).
29. Drexler, K. Eric, 1992, Nanosystems: Molecular Machinery, Manufacturing and Computation (Wiley).
30. Farmer, J. Doyne, Packard, Norman H. and Perelson, Alan S., 1986, The immune system, adaptation, and machine learning, Physica D, 22, 187-204.
31. Feynman, Richard P., 1982, Simulating physics with computers, International Journal of Theoretical Physics, 21(6/7).
32. Floyd, R.W., 1967, Assigning meanings to programs, Mathematical Aspects of Computer Science, Proceedings Sympoium in Applied Mathematics 19, 19-32, AMS.
33. Stephanie Forrest (Ed.), 1991, Emergent Computation: Self-Organizing, Collective, and Cooperative Phenomena in Natural and Computing Networks (MIT Press).
34. Stephanie Forrest, Perelson, Alan S., Lawrence Allen and Rajesh Cherukuri, 1994, Self-nonself discrimination in a computer. Symposium on Research in Security and Privacy (IEEE), pp. 202-212.
35. Murray Gell-Mann, 1994, The Quark and the Jaguar (Abacus).
36. Goldberg, David E., 1989, Genetic Algorithms in Search, Optimization, and Machine Learning (Addison-Wesley).
37. Gordon, M.J.C., 1987, HOL: A proof generating system for higher-order logic. VLSI Specification, Verification and Synthesis (Kluwer).
38. Prabhat Hajela, Jun Sun Yoo. Immune Network Modelling in Design Optimization. In [22]
39. Emma Hart, Peter Ross. The Evolution and Analysis of a Potential Antibody Library for Use in Job Shop Scheduling. In [22]
40. Hoare, C.A.R., 1971, An axiomatic basis for computer programming, CACM, 4(1), 39-45.
41. Hoare, C.A.R., 1985, Communicating Sequential Processes (Prentice Hall).
42. Holland, John H., 1995, Hidden Order: How Adaptation Builds Complexity (Addison-Wesley).
43. Holland, John H., 1998, Emergence: From Chaos to Order (OUP).
44. Yoshi tero Ishida, 1996. Distributed and autonomous sensing based on immune network. Proc Artificial Life and Robotics, Beppu (AAAI Press).
45. Henrik Jeldtoft Jensen, 1998, Self-Organized Criticality: Emergent Complex Behaviour in Physical and Biological Systems (CUP).
46. Jerne, Niels K., 1974, Towards a network theory of the immune system, Annals of Immunology, 125C, 373-389.
47. Richard Jozsa, 1991, Characterising classes of functions computable by quantum parallelism, Proceedings of the Royal Society of London. A, 435.
48. Kauffman, Stuart A., 1993, The Origins of Order: Self-Organization and Selection in Evolution (OUP).
49. Scott Kelso, J.A., 1995, Dynamic Patterns: The Self-Organization of Brain and Behavior (MIT Press).
50. Kennedy, John F., 1961, Announcement to the US Congress, 25 May.
51. Kephart, Jeffrey O., 1994, A biologically inspired immune system for computers. In: Rodney A. Brooks and Pattie Maes (Eds.) Artificial Life IV (MIT Press).
52. Teuvo Kohonen, 1988, Self-Organization and Associative Memory (Springer).
53. Koza, John R., 1992, Genetic Programming: On the Programming of Computers by Means of Natural Selection (MIT Press).
54. Koza, John R., 1994, Genetic Programming II: Automatic Discovery of Reusable Programs (MIT Press).
55. Koza, John R., Bennett III, Forrest H., David Andre and Keane, Martin A., 1999, Genetic Programming III: Darwinian Invention and Problem Solving (Morgan Kaufmann).
56. Kozen, D., 1983, Results on the propositional mu-calculus, Theoretical Computer Science, 27, 333-354.
57. George Lakoff, 1986, Women, Fire, and Dangerous Things (University of Chicago Press).
58. George Lakoff and Mark Johnson, 1980, Metaphors We Live By (University of Chicago Press).
59. Leslie Lamport, 1994, The temporal logic of actions, ACM ToPLaS, 16(3), 872-923.
60. Landweber, L.F. and Winfree, E. (Eds.), 2002, Evolution as Computation (Springer).
61. Christopher G. Langton. Computation at the Edge of Chaos: Phase transitions and emergent computation. In [33]
62. Langton, Christopher G. (Ed.), 1995, Artificial Life: An Overview (MIT Press).
63. Mandelbrot, Benoit B., 1977, The Fractal Geometry of Nature (Freeman).
64. Robin Milner, 1980, A Calculus of Communicating Systems, LNCS 92 (Springer).
65. Robin Milner, 1999, Communicating and Mobile Systems: The π -Calculus (CUP).
66. Robin Milner, Parrow, J. and Walker, D., 1992, A calculus of mobile processes. Information and Computation, 100(1), 1-77.
67. Minsky, Marvin L. and Papert, Seymour A., 1988, Perceptrons (MIT Press).
68. Melanie Mitchell, 1996, An Introduction to Genetic Algorithms (MIT Press).
69. Mark Neal and Jonathan Timmis, 2003, Timidity: A useful emotional mechanism for robot control? Informatica: Special Issue on Perception and Emotion Based Reasoning.
70. John von Neumann, 1966, In: A.W. Burks (Ed.) Theory of Self-Reproducing Automata (University of Illinois Press).
71. Nielsen, Michael A. and Chuang, Isaac L., 2000, Quantum Computation and Quantum Information (CUP).
72. Mihaela Oprea and Stephanie Forrest, Simulated evolution of antibody gene libraries under pathogen selection. Systems, Man and Cybernetics (IEEE).
73. Derek Partridge, 1995, On the difficulty of really considering a radical novelty, Minds and Machines, 5(3), 391-410.
74. Derek Partridge, 2000, Non-programmed computation, CACM, 43, 293-301.
75. Derek Partridge, Bailey, T.C., Everson, R.M., Hernandes, A., Krzanowski, W.J., Fieldsend, J.E. and Schetinin, V., 2004, A Bayesian computer, http://www.cs.york.ac.uk/nature/gc7/partridge.pdf.
76. Gheorghe Paun, 2002, Membrane Computing: An Introduction (Springer).
77. Heinz-Otto Peitgen and Richter, Peter H., 1986, The Beauty of Fractals: Images of Complex Dynamical Systems (Springer).
78. Petri, C.A., Kommunikation Mit Automaten, PhD Thesis, Technical report, Institut fur Instrumentelle Mathemematik, Bonn.
79. Pnueli, A., 1977, The temporal logic of programs. Proceedings of FOCS (IEEE), pp. 46-77.
80. Pratt, V.R., 1976, Semantical considerations on floyd-hoare logic. Proc. 17th Symp. Foundations of Computer Science (IEEE), pp. 109-121.
81. Przemyslaw Prusinkiewicz and Aristid Lindenmayer, 1990, The Algorithmic Beauty of Plants (Springer).
82. Reynolds, J.C., 1974, Towards a theory of type structure. Proc. Paris Symposium on Programming, LNCS 16, (Springer), pp. 408-425.
83. Rumelhart, David E. and McClelland, James L., 1986, Parallel Distributed Processing (MIT Press).
84. Scott, D.S. and Strachey, C., 1971, Towards a mathematical semantics for computer languages. Proc. Symposia on Computers and Automata, Microwave Research Institute Symposia 21, pp. 19-46.
85. Tanya Sienko, Andrew Adamatzky. Rambidi, Nicholas G., Michael Conrad (Eds.), 2003, Molecular Computing (MIT Press).
86. Derek J. Smith, Stephanie Forrest, David H. Ackley, Alan S. Perelson. Modeling the effects of prior infection on vaccine efficacy. In [24]
87. Susan Stepney, 2003, Critical critical systems. Formal Aspects of Security, FASeC'02, LNCS 2629 (Springer).
88. Tommaso Toffoli and Margolus, Norman H., 1985, Cellular Automata Machines (MIT Press).
89. Watts, Duncan J., 1999, Small Worlds: The Dynamics of Networks Between Order and Randomness (Princeton University Press).
90. Peter Wegner, 1997, Why interaction is more powerful than algorithms, CACM, 40(5).
91. Welch, P.M., et al., 2004, Concurrency Research Group, www.cs.kent.ac.uk/research/groups/crg/.
92. Wittgenstein, L., 1921, Tractatus Logico-Phllosophicus.
93. Wittgenstein, L., 1953, Philosophical Investigations (Blackwells).
94. Stephen Wolfram, 1994, Cellular Automata and Complexity: Collected Papers (Addison-Wesley).
95. Andrew Wuensche and Mike Lesser, 1992, The Global Dynamics of Cellular Automata (Addison-Wesley).