Journeys in non-classical computation II: initial journeys and waypoints

References

• Editorial article . 2002 . Nature Immunology , 3 ( 10 ) : 883
   Google Scholar
• Adamatzky, Andrew, 2001, Computing in Non-linear Media and Automata Collectives, (Bristol: IOP)
   Google Scholar
• Adamatzky , Andrew , ed. 2002 . Collision-Based Computing , Berlin : Springer .
   Google Scholar
• Adleman , Leonard M. 1994 . Molecular computation of solutions to combinatorial problems . Science , 266 : 1021 – 1024 .
   PubMed Web of Science ®Google Scholar
• Back , Thomas , Fogel , David B. and Michalewicz , Zbigniew , eds. 2000 . Evolutionary Computation 1: Basic Algorithms and Operators , Bristol : IOP Publishing Ltd .
   Google Scholar
• Bak , Per . 1997 . How Nature Works: The Science of Self-Organized Criticality , Oxford : OUP .
   Google Scholar
• Banzhaf , Wolfgang , Nordin , Peter , Keller , Robert E. and Francone , Frank D. 1998 . Genetic Programming, An Introduction: On the Automatic Evolution of Computer Programs and its Applications , San Mateo : Morgan Kaufmann .
   Google Scholar
• Barabasi , Albert-Laszlo . 2002 . Linked: The New Science of Networks , Cambridge : Perseus .
   Google Scholar
• Berry , G. and Boudol , G. 1992 . The chemical abstract machine . Theoretical Computer Science , 96 : 217 – 248 .
   Google Scholar
• Bersini , Hugues and Varela , FranciscoJ. 1991 . “ Hints for adaptive problem solving gleaned from immune networks ” . In Parallel Problem Solving from Nature , Edited by: Schwefel , H.P. and Mühlenbein , H. Berlin : Springer .
   Google Scholar
• Bishop , Christopher M. 1995 . Neural Networks for Pattern Recognition , Oxford : OUP .
   Google Scholar
• Bonabeau , EricW. , Dorigo , Marco and Theraulaz , Guy . 1999 . Swarm Intelligence: From Natural to Artificial Systems , Oxford : OUP .
   Google Scholar
• Bradley , Daryl W. and Tyrrell , Andy M. 2000 . “ Hardware Fault Tolerance: An Immunological Approach ” . In Proceedings of IEEE Conference on System, Man, and Cybernetics
   Google Scholar
• 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 .
   Web of Science ®Google Scholar
• Calude , Cristian S. and Paun , Gheorghe . 2001 . Computing with Cells and Atoms , New York : Taylor & Francis .
   Google Scholar
• Cardelli , L. and Gordon , A. 2000 . Mobile ambients . Theoretical Computer Science , 240 : 177 – 213 .
   Google Scholar
• Chari , Suresh , Jutla , Charanjit S. , Rao , Josyula R. and Rohatgi , Pankaj . 2003 . “ Power analysis: Attacks and Countermeasures ” . In Programming Methodology , Edited by: McIver , Annabelle and Morgan , Carroll . Berlin : Springer .
   Google Scholar
• Chopard , Bastine and Droz , Michel . 1998 . Cellular Automata Modeling of Physical Systems , Cambridge : CUP .
   Google Scholar
• Clark, John A., Stepney, Susan and Chivers, Howard, 2004, Technical Report YCS-2004-371, University of York Breaking The Model: Finalisation and a Taxonomy of Security Attacks.
   Google Scholar
• 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 .
   Google Scholar
• 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 .
   Google Scholar
• Corne , David W. , Dorigo , Marco and Glover , Fred , eds. 1999 . New Ideas in Optimization , New York : McGraw Hill .
   Google Scholar
• Crutchfield , J.P. 1994 . The Calculi of Emergence: Computation, Dynamics, and Induction . Physica D , 75 : 11 – 54 .
   Web of Science ®Google Scholar
• Dasgupta , Dipankar , ed. 1999 . Artificial Immune Systems and their Applications , Berlin : Springer .
   Google Scholar
• de Castro , Leandro N. and Timmis , Jonathan . 2002 . Artificial Immune Systems: A New Computational Intelligence Approach , Berlin : Springer .
   Google Scholar
• de Castro, LeandroN. and von Zuben, FernandoJ., 2000, An evolutionary immune network for data clustering. IEEE. SBRN '00, Brazil, pp. 84–89.
   Google Scholar
• Delorme , Marianne and Mazoyer , Jacques , eds. 1999 . Cellular Automata: A Parallel Model , Dordrecht : Kluwer .
   Google Scholar
• Drexler , K. Eric. 1986 . Engines of Creation: The Coming Era of Nanotechnology , Garden City : Doubleday .
   Google Scholar
• Drexler , K. Eric . 1992 . Nanosystems: Molecular Machinery, Manufacturing and Computation , New York : Wiley .
   Google Scholar
• Farmer , J. Doyne , Packard , Norman H. and Perelson , Alan S. 1986 . The Immune System, Adaptation, and Machine Learning . Physica D , 22 : 187 – 204 .
   Web of Science ®Google Scholar
• Feynman , RichardP. 1982 . Simulating Physics with Computers . International Journal of Theoretical Physics , 21 ( 6/7 )
   Web of Science ®Google Scholar
• Floyd, R.W., 1967, Assigning meanings to programs. Mathematical Aspects of Computer Science, Proc. Symp. in Applied Mathematics. 19, AMS, pp. 19–32.
   Google Scholar
• Forrest , Stephanie , ed. 1991 . Emergent Computation: Self-Organizing, Collective, and Cooperative Phenomena in Natural and Computing Networks , Cambridge : MIT Press .
   Google Scholar
• Forrest, Stephanie, Perelson, Alan S., Allen, Lawrence and Cherukuri, Rajesh, 1994, Self-Nonself Discrimination in a Computer. Symposium on Research in Security and Privacy. IEEE, pp. 202–212.
   Google Scholar
• Gell-Mann , Murray . 1994 . The Quark and the Jaguar , Tunbridge Wells : Abacus .
   Google Scholar
• Goldberg , David E. 1989 . Genetic Algorithms in Search, Optimization, and Machine Learning , Glen View : Addison-Wesley .
   Google Scholar
• Gordon , M.J.C. 1987 . “ HOL: A proof generating system for higher-order logic ” . In VLSI Specification, Verification and Synthesis , Dordrecht : Kluwer .
   Google Scholar
• Hajela, Prabhat and Yoo, JunSun, Network Modelling in Design Optimization, In Ref. [ 22 ].
   Google Scholar
• Hart, Emma and Ross, Peter, The Evolution and Analysis of a Potential Antibody Library for Use in Job Shop Scheduling, In Ref. [22]
   Google Scholar
• Hoare , C.A.R. 1971 . An axiomatic basis for computer programming . CACM , 14 ( 1 ) : 39 – 45 .
   Google Scholar
• Hoare , C.A.R. 1985 . Communicating Sequential Processes , Englewood Cliffs : Prentice Hall .
   Google Scholar
• Holland , John H. 1995 . Hidden Order: How Adaptation Builds Complexity , Glen View : Addison-Wesley .
   Google Scholar
• Holland , John H. 1998 . Emergence: From Chaos to Order , Oxford : OUP .
   Google Scholar
• Ishida , Yoshitero . 1996 . Distributed and Autonomous Sensing Based on Immune Network , Proc Artificial Life and Robotics, Beppu Menlo Park : AAAI Press .
   Google Scholar
• Jensen , HenrikJeldtoft . 1998 . Self-Organized Criticality: emergent complex behaviour in physical and biological systems , Cambridge : CUP .
   Google Scholar
• Jerne , Niels K. 1974 . Towards a Network Theory of the Immune System. Annals of Immunology 125C . : 373 – 389 .
   Google Scholar
• Jozsa , Richard . 1991 . Characterising Classes of Functions Computable by Quantum Parallelism . Proceedings of the Royal Society of London Series B , A 435
   Google Scholar
• Kauffman , Stuart A. 1993 . The Origins of Order: Self-Organization and Selection in Evolution , Oxford : OUP .
   Google Scholar
• Kelso , J.A. Scott . 1995 . Dynamic Patterns: The Self-Organization of Brain and Behavior , Cambridge : MIT Press .
   Google Scholar
• Kennedy, John F., 1961, Announcement to the US Congress. 25 May.
   Google Scholar
• Kephart , Jeffrey O. 1994 . “ A Biologically Inspired Immune System for Computers ” . In Artificial Life IV , Edited by: Brooks , RodneyA. and Maes , Pattie . Cambridge : MIT Press .
   Google Scholar
• Kohonen , Teuvo . 1988 . Self-Organization and Associative Memory , Berlin : Springer .
   Google Scholar
• Koza , John R. 1992 . Genetic Programming: on the programming of computers by means of natural selection , Cambridge : MIT Press .
   Google Scholar
• Koza , John R. 1994 . Genetic Programming II: Automatic Discovery of Reusable Programs , Cambridge : MIT Press .
   Google Scholar
• Koza , John R. , Bennett , Forrest H. III , Andre , David and Keane , Martin A. 1999 . Genetic Programming III: Darwinian invention and problem solving , San Mateo : Morgan Kaufmann .
   Google Scholar
• Kozen , D. 1983 . Results on the propositional mu-calculus . Theoretical Computer Science , 27 : 333 – 354 .
   Web of Science ®Google Scholar
• Lakoff , George . 1986 . Women, Fire, and Dangerous Things , Chicago : University of Chicago Press .
   Google Scholar
• Lakoff , George and Johnson , Mark . 1980 . Metaphors We Live By , Chicago : University of Chicago Press .
   Google Scholar
• Lamport , Leslie . 1994 . The temporal logic of actions . ACM ToPLaS , 16 ( 3 ) : 872 – 923 .
   Google Scholar
• Landweber , L.F. and Winfree , E. , eds. 2002 . Evolution as Computation , Berlin : Springer .
   Google Scholar
• Langton, ChristopherG., Computation at the Edge of Chaos: phase transitions and emergent computation, In Ref. [33 ].
   Google Scholar
• Langton , Christopher G. , ed. 1995 . Artificial Life: An Overview , Cambridge : MIT Press .
   Google Scholar
• Mandelbrot , Benoit B. 1977 . The Fractal Geometry of Nature , San Francisco : Freeman .
   Google Scholar
• Milner , Robin . 1980 . A calculus of communicating systems , Berlin : Springer . LNCS 92
   Google Scholar
• Milner , Robin . 1999 . Communicating and Mobile Systems: the π-Calculus , Cambridge : CUP .
   Google Scholar
• Milner , Robin , Parrow , J. and Walker , D. 1992 . A calculus of mobile processes . Information and Computation , 100 ( 1 ) : 1 – 77 .
   Google Scholar
• Minsky , Marvin L. and Papert , Seymour A. 1988 . Perceptrons , Cambridge : MIT Press .
   Google Scholar
• Mitchell , Melanie . 1996 . An Introduction to Genetic Algorithms , Cambridge : MIT Press .
   Google Scholar
• Neal, Mark and Timmis, Jonathan, 2003, Timidity: A Useful Emotional Mechanism for Robot Control? Informatica: Special Issue on Perception and Emotion based Reasoning.
   Google Scholar
• von Neumann , John . 1966 . Theory of Self-Reproducing Automata , Edited by: Burks , A.W. Urbana : University of Illinois Press .
   Google Scholar
• Nielsen , Michael A. and Chuang , Isaac L. 2000 . Quantum Computation and Quantum Information , Cambridge : CUP .
   Google Scholar
• Oprea , Mihaela and Forrest , Stephanie . 1998 . “ Simulated evolution of antibody gene libraries under pathogen selection ” . In Systems, Man and Cybernetics IEEE
   Google Scholar
• Partridge , Derek . 1995 . On the difficulty of really considering a radical novelty . Minds and Machines , 5 ( 3 ) : 391 – 410 .
   Google Scholar
• Partridge , Derek . 2000 . Non-programmed computation . CACM , 43 : 293 – 301 .
   Google Scholar
• Partridge, Derek, Bailey, T.C., Everson, R.M., Hernandes, A., Krzanowski, W.J., Fieldsend, J.E. and Schetinin, V., 2004, http://www.cs.york.ac.uk/nature/gc7/partridge.pdf . A Bayesian computer.
   Google Scholar
• Paun , Gheorghe . 2002 . Membrane Computing: An Introduction , Berlin : Springer .
   Google Scholar
• Peitgen , Heinz-Otto and Richter , Peter H. 1986 . The Beauty of Fractals: Images of Complex Dynamical Systems , Berlin : Springer .
   Google Scholar
• Petri, C.A., 1962, Kommunikation mit automaten. PhD Thesis, Technical Report 2, Institut fur Instrumentelle Mathemematik, Bonn.
   Google Scholar
• Pnueli, A., 1977, The temporal logic of programs. Proceedings of FOCS. IEEE, pp. 46–77.
   Google Scholar
• Pratt, V.R., 1976, Semantical considerations on Floyd-Hoare logic. Proc. 17th Symp. Foundations of Computer Science. IEEE, pp. 109–121.
   Google Scholar
• Prusinkiewicz , Przemyslaw and Lindenmayer , Aristid . 1990 . The Algorithmic Beauty of Plants , Berlin : Springer .
   Google Scholar
• Reynolds , J.C. 1974 . “ Towards a theory of type structure ” . In Proc. Paris Symposium on Programming , Vol. 16 , 408 – 425 . Berlin : Springer . LNCS
   Google Scholar
• Rumelhart , David E. and McClelland , James L. 1986 . Parallel Distributed Processing , Cambridge : MIT Press .
   Google Scholar
• Scott , D.S. and Strachey , C. 1971 . Towards a mathematical semantics for computer languages . Proceedings of the Symposia on Computers and Automata, Microwave Research institute Symposia , 21 : 19 – 46 .
   Google Scholar
• Sienko , Tanya , Adamatzky , Andrew , Rambidi , NicholasG. and Conrad , Michael , eds. 2003 . Molecular Computing , Cambridge : MIT Press .
   Google Scholar
• Smith, Derek J., Forrest, Stephanie, Ackley, David H. and Perelson, Alan S., Modeling the effects of prior infection on vaccine efficacy, In Ref [ 24 ].
   Google Scholar
• Stepney , Susan . 2003 . “ Critical Critical Systems ” . In Formal Aspects of Security , Berlin : Springer . FASeC'02. LNCS 2629
   Google Scholar
• Toffoli , Tommaso and Margolus , Norman H. 1985 . Cellular Automata Machines , Cambridge : MIT Press .
   Google Scholar
• Watts , DuncanJ. 1999 . Small Worlds: The Dynamics of Networks Between Order and Randomness , Princeton : Princeton University Press .
   Google Scholar
• Wegner , Peter . 1997 . Why interaction is more powerful than algorithms . CACM , 40 ( 5 )
   Google Scholar
• Welch, P.H., et al., 2004, Concurrency Research Group. www.cs.kent.ac.uk/research/groups/crg/ .
   Google Scholar
• Wittgenstein, L., 1921, Tractatus Logico-Philosophicus.
   Google Scholar
• Wittgenstein , L. 1953 . Philosophical Investigations , Oxford : Blackwells .
   Google Scholar
• Wolfram , Stephen . 1994 . Cellular Automata and Complexity: Collected Papers , Reading : Addison-Wesley .
   Google Scholar
• Wuensche , Andrew and Lesser , Mike . 1992 . The Global Dynamics of Cellular Automata , Reading : Addison-Wesley .
   Google Scholar