From astrophysics to unconventional computation : essays presented to Susan Stepney on the occasion of her 60th birthday

"This Festschrift is a tribute to Susan Stepney's ideas and achievements in the areas of computer science, formal specifications and proofs, complex systems, unconventional computing, artificial chemistry, and artificial life. All chapters were written by internationally recognised leaders in computer science, physics, mathematics, and engineering. The book shares fascinating ideas, algorithms and implementations related to the formal specification of programming languages and applications, behavioural inheritance, modelling and analysis of complex systems, parallel computing and non-universality, growing cities, artificial life, evolving artificial neural networks, and unconventional computing. Accordingly, it offers an insightful and enjoyable work for readers from all walks of life, from undergraduate students to university professors, from mathematicians, computers scientists and engineers to physicists, chemists and biologists." - Prové de l'editor Front Matter ....Pages i-xiv Putting Natural Time into Science (Roger White, Wolfgang Banzhaf)....Pages 1-21 Evolving Programs to Build Artificial Neural Networks (Julian F. Miller, Dennis G. Wilson, Sylvain Cussat-Blanc)....Pages 23-71 Anti-heterotic Computing (Viv Kendon)....Pages 73-85 Visual Analytics (Ian T. Nabney)....Pages 87-102 Playing with Patterns (Fiona A. C. Polack)....Pages 103-122 From Parallelism to Nonuniversality: An Unconventional Trajectory (Selim G. Akl)....Pages 123-156 A Simple Hybrid Event-B Model of an Active Control System for Earthquake Protection (Richard Banach, John Baugh)....Pages 157-194 Understanding, Explaining, and Deriving Refinement (Eerke Boiten, John Derrick)....Pages 195-206 Oblique Strategies for Artificial Life (Simon Hickinbotham)....Pages 207-214 Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP (Kangfeng Ye, Simon Foster, Jim Woodcock)....Pages 215-254 Sound and Relaxed Behavioural Inheritance (Nuno Amálio)....Pages 255-298 Growing Smart Cities (Philip Garnett)....Pages 299-310 On Buildings that Compute. A Proposal (Andrew Adamatzky, Konrad Szaciłowski, Zoran Konkoli, Liss C. Werner, Dawid Przyczyna, Georgios Ch. Sirakoulis)....Pages 311-335 Complex Systems of Knowledge Integration: A Pragmatic Proposal for Coordinating and Enhancing Inter/Transdisciplinarity (Ana Teixeira de Melo, Leo Simon Dominic Caves)....Pages 337-362 On the Emergence of Interdisciplinary Culture: The York Centre for Complex Systems Analysis (YCCSA) and the TRANSIT Project (Leo S. D. Caves)....Pages 363-395 On the Simulation (and Energy Costs) of Human Intelligence, the Singularity and Simulationism (Alan F. T. Winfield)....Pages 397-407