Skip to main content
  • Book
  • © 2020

From Astrophysics to Unconventional Computation

Essays Presented to Susan Stepney on the Occasion of her 60th Birthday

  • Is a tribute to Susan Stepney’s ideas and achievements in the areas of computer science, complex systems, formal programming, unconventional computing, artificial chemistry and cybernetics
  • All chapters were written by internationally recognised leaders in computer science, physics, mathematics, and engineering
  • Shares fascinating ideas, algorithms and implementations related to the formal specification of programming languages and semantics, behavioural inheritance, modelling and analysis of complex systems, growing cities, parallel computing and non-universality, evolving artificial neural networks, artificial life and unconventional computing

Part of the book series: Emergence, Complexity and Computation (ECC, volume 35)

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (16 chapters)

  1. Front Matter

    Pages i-xiv
  2. Putting Natural Time into Science

    • Roger White, Wolfgang Banzhaf
    Pages 1-21
  3. Evolving Programs to Build Artificial Neural Networks

    • Julian F. Miller, Dennis G. Wilson, Sylvain Cussat-Blanc
    Pages 23-71
  4. Anti-heterotic Computing

    • Viv Kendon
    Pages 73-85
  5. Visual Analytics

    • Ian T. Nabney
    Pages 87-102
  6. Playing with Patterns

    • Fiona A. C. Polack
    Pages 103-122
  7. Understanding, Explaining, and Deriving Refinement

    • Eerke Boiten, John Derrick
    Pages 195-206
  8. Oblique Strategies for Artificial Life

    • Simon Hickinbotham
    Pages 207-214
  9. Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP

    • Kangfeng Ye, Simon Foster, Jim Woodcock
    Pages 215-254
  10. Sound and Relaxed Behavioural Inheritance

    • Nuno Amálio
    Pages 255-298
  11. Growing Smart Cities

    • Philip Garnett
    Pages 299-310
  12. On Buildings that Compute. A Proposal

    • Andrew Adamatzky, Konrad Szaciłowski, Zoran Konkoli, Liss C. Werner, Dawid Przyczyna, Georgios Ch. Sirakoulis
    Pages 311-335

About this book

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.


Editors and Affiliations

  • Unconventional Computing Laboratory, University of the West of England, Bristol, UK

    Andrew Adamatzky

  • Joint Quantum Centre, Durham University, Durham, UK

    Vivien Kendon

Bibliographic Information

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access