Systemic computation: A model of interacting systems with natural characteristics

References

• Turing , A. 1965 . On computable numbers, with an application to the entscheidungsproblem . Proceedings of the London Mathematical Society , 42 ( 2 ) reprinted in M. David (Ed.), The Undecidable (Hewlett, NY: Raven Press), 1965
   Google Scholar
• Stepney , S. , Braunstein , S. , Clark , J. , Tyrrell , A. , Adamatzky , A. , Smith , R. , Addis , T. , Johnson , C. , Timmis , J. , Welch , P. , Milner , R. and Partridge , D. 2005 . Journeys in non-classical computation I: a grand challenge . International Journal of Parallel, Emergent and Distributed Systems , 20 ( 1 ) : 5 – 19 .
   Google Scholar
• Stepney , S. , Braunstein , S. , Clark , J. , Tyrrell , A. , Adamatzky , A. , Smith , R. , Addis , T. , Johnson , C. , Timmis , J. , Welch , P. , Milner , R. and Partridge , D. 2006 . Journeys in non-classical computation II: initial journeys and waypoints . International Journal of Parallel, Emergent and Distributed Systems , 21 ( 2 ) : 97 – 125 .
   Google Scholar
• Weiser, M., 1993, Some computer science problems in ubiquitous computing. Communications of the ACM, (July 1993); reprinted as “Ubiquitous Computing”. Nikkei Electronics; pp. 137–143, December 6.
   Google Scholar
• Gershenfeld , N. 2000 . When Things Start to Think , New York : Henry Holt and Company .
   Google Scholar
• Arvind , D.K. and Wong , K.J. 2004 . Speckled computing: disruptive technology for networked information appliances . Proceeding of the IEEE International Symposium on Consumer Electronics , : 219 – 223 . (ISCE'04) (UK), September,
   Google Scholar
• Kephart , J. and Chess , D. 2003 . The vision of autonomic computing . Computer Magazine , : 41 – 50 . 0018-9162/03 IEEE
   Google Scholar
• Wolfram , S. 2002 . A New Kind of Science , Champaign, IL : Wolfram Media, Inc. . ISBN 1579550088, May 14
   Google Scholar
• Polack , F. , Stepney , S. , Turner , H. , Welch , P. and Barnes , F. 2005 . “ An architecture for modelling emergence in CA-like systems ” . In Proceedings of ECAL'05 , Kent UK : LNCS. Springer . September
   Google Scholar
• Holland , J.H. 1998 . Emergence. From Chaos to Order , New York, NY : Oxford University Press .
   Google Scholar
• Adamatzky , A. 2001 . Computing in Nonlinear Media and Automata Collectives , 410 pp. Bristol : IoP Publishing . ISBN 075030751X
   Google Scholar
• von Neumann , J. 1956 . “ Probabilistic logics and the synthesis of reliable organisms from unreliable components ” . In Automata Studies 43 – 98 .
   Google Scholar
• von Neumann , J. 1966 . The Theory of Self-Reproducing Automata , Edited by: Burks , A.W. Urbana, IL : University of Illinois Press .
   Google Scholar
• Aspray , W. 1990 . John Von Neumann and the Origins of Modern Computing , Cambridge, MA : The MIT Press .
   Google Scholar
• Lindenmayer , A. 1968 . Mathematical models for cellular interaction in development, parts I and II . Journal of Theoretical Biology , 18 : 280 – 315 .
   PubMed Web of Science ®Google Scholar
• Varela , F.J. , Maturana , H.R. and Uribe , R. 1974 . Autopoiesis: the organization of living systems, its characterization and a model . BioSystems , 5 : 187 – 196 .
   Google Scholar
• Tyrrell , Andy M. , Sanchez , Eduardo , Floreano , Dario , Tempesti , Gianluca , Mange , Daniel , Moreno , Juan-Manuel , Rosenberg , Jay and Villa , Alessandro E.P. 2003 . “ POEtic tissue: an integrated architecture for bio-inspired hardware ” . In Proc of the International Conference on Evolvable Systems (ICES 2003), , Edited by: Tyrrell , A.M. , Haddow , P.C. and Torresen , J. Berlin Heidelberg : Springer-Verlag . LNCS 2606
   Google Scholar
• Fogel , G.B. and Corne , D.W. , eds. 2003 . Evolutionary Computation in Bioinformatics , San Fransisco, CA : Morgan Kaufmann Pub . ISBN: 1558607978
   Google Scholar
• Siegelmann , H.T. 1996 . The simple dynamics of super Turing theories . Theoretical Computer Science , 168 ( 2 ) : 461 – 472 . (20 November 1996)
   Google Scholar
• Carlson , R. 2003 . The pace and proliferation of biological technologies . Biosecurity and Bioterrorism: Biodefense Strategy, Practice, and Science , 1 : 3 August
   Google Scholar
• von Neumann, J., 1945, First draft of a report on the EDVAC, Moore School of Engineering (University of Pennsylvania).
   Google Scholar
• Brainerd , W.S. and Landweber , L.H. 1974 . Theory of Computation , New York : Wiley .
   Google Scholar
• Milner , R. 1993 . “ The polyadic pi-calculus: a tutorial ” . In Logic and Algebra of Specification , Edited by: Hamer , F.L. , Brauer , W. and Schwichtenberg , H. Berlin Heidelberg : Springer-Verlag .
   Google Scholar
• Milner , R. 2005 . Axioms for biographical structure . Journal of Mathematical Structures in Computer Science , v15 : 1005 – 1032 .
   Google Scholar
• Eriksson , D. 1997 . A principal exposition of Jean-Louis Le Moigne's systemic theory . Review Cybernetics and Human Knowing , 4 : 2 – 3 .
   Google Scholar
• Adamatzky , A. , ed. 2002 . Collision-based Computing , Vol. XXVII , Berlin Heidelberg : Springer-Verlag . 556 pp; ISBN 1-85233-540-8
   Google Scholar
• McMullin, B. and Varela, F.J., 1997, Rediscovering computational autopoiesis. Proceedings of European Conference on Artificial Life (ECAL 1997), Brighton, UK (July).
   Google Scholar
• Wheeler , M. and Clark , A. 1999 . Genic representation: reconciling content and causal complexity . British Journal for Philosophy of Science , 50 : 103135
   Google Scholar
• Hamming , R.W. 1950 . Error detecting and error correcting codes . Bell System Technical Journal , 29 ( 2 ) : 147 – 160 .
   Google Scholar
• Adami , C. , Lenski , R.E. , Ofria , C. and Pennock , R.T. 2003 . Selective pressures on genomes in molecular evolution . Nature , 423 : 139 – 145 .
   Google Scholar
• Adami , C. , Wilke , C.O. , Wang , J.L. , Ofria , C. and Lenski , R.E. 2001 . Interaction between directional epistasis and average mutational effects . Nature , 412 : 331 – 333 .
   Google Scholar
• Bentley , P.J. 2004 . Evolving beyond perfection: an investigation of the effects of long-term evolution on fractal gene regulatory networks . BioSystems , 76 : 291 – 301 .
   Google Scholar
• Bentley , P.J. 2005 . Investigations into graceful degradation of evolutionary developmental software . Journal of Natural Computing , 4 : 41 Springer, London
   Google Scholar
• Cook , M. 2004 . Universality in elementary cellular automata . Complex Systems , 15 : 1
   Google Scholar
• Francez , N. , Hoare , C. , Lehmann , D. and de Roever , W. 1979 . Semantics of nondeterminism, concurrency, and communication . Journal of Computer and System Sciences , : 290 – 308 . December
   Google Scholar
• Barak , B. , Shaltiel , R. and Tromer , E. 2003 . True random number generators secure in a changing environment . Proceeding of Cryptographic Hardness and Embedded Systems, (CHES) ,
   Google Scholar
• Karp , R.M. 1972 . “ Reducibility among combinatorial problems ” . In Complexity of Computer Computations , Edited by: Miller , R.E. and Thatcher , J.W. 85 – 103 . New York : Plenum Press .
   Google Scholar
• Cardelli , L. 2005 . “ Brane calculi interactions of biological membranes ” . In Computational Methods in Systems Biology (CMSB'04) , 257 – 280 . New York : Springer . LNCS 3082
   Google Scholar
• Matsuno , H. , Doi , A. , Nagasaki , M. and Miyano , S. 2000 . “ Hybrid Petri net representation of gene regulatory network ” . In Pacific Symposium on Biocomputing , 341 – 352 . Singapore : World Scientific Press .
   Google Scholar
• Barbuti , R. , Maggiolo-Schettini , A. , Milazzo , P. and Troina , A. 2006 . “ A calculus of looping sequences for modelling microbiological systems ” . In Fundamenta Informaticae XX , 1 – 15 . Amsterdam : IOS Press .
   Google Scholar
• Douglas , K. 2003 . Super-Turing Computation: A Case Study Analysis , Pittsburgh, PA : Carnegie Mellon University .
   Google Scholar