home > book reviews > Susan Stepney
Google > Susan Stepney


Books

Short works

Books : reviews

Susan Stepney.
Relativistic Thermal Plasmas.
Institute of Astronomy, University of Cambridge. 1983

(read but not reviewed)

thesis details

Susan Stepney, Rosalind Barden, David Cooper, eds.
Object Orientation in Z.
Springer. 1992

(read but not reviewed)

book details

Contents

• Peter J. Whysall. Z Expression of Refinable Objects. 1992
• Silvio Lemos Meira, Ana L. C. Cavalcanti. MooZ Case Studies. 1992
• Gordon A. Rose. Object-Z. 1992
• Antonio J. Alencar, Joseph A. Goguen. OOZE. 1992
• Kevin C. Lano. Z++. 1992
• Elspeth Cusack, G. Hossein Bagherzadeh Rafsanjani. ZEST. 1992
• Alan Cameron Wills. Specification in Fresco. 1992

Susan Stepney.
High Integrity Compilation: a case study.
Prentice Hall. 1993

+

(read but not reviewed)

book details

Roy MacLean, Susan Stepney, Simon Smith, Nick Tordoff, David Gradwell, Tim Hoverd, Simon Katz.
Analysing Systems: determining requirements for object-oriented development.
Prentice Hall. 1994

+

(read but not reviewed)

book details

Rosalind Barden, Susan Stepney, David Cooper.
Z in Practice.
Prentice Hall. 1994

(read but not reviewed)

book details

Cristian S. Calude, Michael J. Dinneen, Gheorghe Paun, Grzegorz Rozenberg, Susan Stepney, eds.
Unconventional Computation, UC 2006: York, UK.
Springer. 2006

+

(read but not reviewed)

Contents

• Aurelie Goulon, Arthur Duprat, Gerard Dreyfus. Graph Machines and their applications to computer-aided drug design: a new approach to learning from structured data. 2006
• Michael C. Mozer. Rational models of cognitive control. 2006
• Erik Winfree. Fault-tolerance in biochemical systems (abstract). 2006
• Damien Woods. Optical computing and computational complexity. 2006
• Russ Abbott. If a tree casts a shadow is it telling the time?. 2006
• M. Sakthi Balan, Helmut Jurgensen. Peptide computing -- universality and theoretical model. 2006
• Monica Cardona, M. Angels Colomer, Mario J. Perez-Jimenez, Alba Zaragoza. Handling Markov Chains with Membrane Computing. 2006
• Uffe Flarup, Klaus Meer. Approximation classes for real number optimization problems. 2006
• Peter Hines. Physical systems as constructive logics. 2006
• Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun. On spiking neural P Systems and partially blind counter machines. 2006
• Yasuhiro Igarashi, Jerzy Gorecki, Joanna Natalia Gorecka. Chemical information processing devices constructed using a nonlinear medium with controlled excitability. 2006
• Natasha Jonoska, Gregory L. McColm. Flexible versus rigid tile assembly. 2006
• Shankara Narayanan Krishna. On pure catalytic P Systems. 2006
• William B. Langdon. Mapping non-conventional extensions of Genetic Programming. 2006
• Akihiro Mikoda, Shuichi Inokuchi, Yoshihiro Mizoguchi, Mitsuhiko Fujio. The number of ordits of periodic box-ball systems. 2006
• Jerzy Mycka, Francisco Coelho, Jose Felix Costa. The Euclid Abstract Machine: trisection of the angle and the Halting Problem. 2006
• Shigeru Ninagawa. 1/f noise in elementary cellular automaton rule 110. 2006
• Mihai Oltean. A light-based device for solving the Hamiltonian path problem. 2006
• Mikhail Prokopenko, Daniel Polani, Peter Wang. Optimizing potential information transfer with self-referential memory. 2006
• H. Ramesh, Shankara Narayanan Krishna, Raghavan Rama. On the power of bio-Turing machines. 2006
• Dylan A. Shell, Maja J. Mataric. Ergodic dynamics for large-scale distributed robot systems. 2006

Andrew Adamatzky, Lawrence Bull, Ben De Lacy Costello, Susan Stepney, Christof Teuscher, eds.
Unconventional Computing 2007.
Luniver Press. 2007

(read but not reviewed)

Contents

• Matthias Bechmann, John A. Clark, Angelika Sebald, Susan Stepney. Unentangling nuclear magnetic resonance computing. 2007
• Simon O'Keefe. Implementation of logical operations on a domino substrate. 2007
• William M. Stevens. A kinematic Turing machine. 2007
• Effirul I. Ramlan, Klaus-Peter Zauner. Nucleic acid enzymes: The fusion of self-assembly and conformational computing. 2007
• Ed Blakey. On the computational complexity of physical computing systems .. 2007
• Navneet Bhalla, Peter J. Bentley, Christian Jacob. Mapping virtual self-assembly rules to physical systems. 2007
• Willem Fouche, Johannes Heidema, Glyn Jones, Petrus H. Potgieter. Halting in quantum Turing computation. 2007
• Kohta Suzuki, Satoshi Murata. Design of DNA spike oscillator. 2007
• Kaoru Onodera. The computing power of structured molecules with gaps: Watson-Crick insertion systems. 2007
• Mike Stannett. Physical hypercomputation. 2007
• Jeff Jones, Mohammed Saeed. Collective perception of absolute brightness from relative contrast information -- an emergent pattern formation approach. 2007
• Masayuki Ikebe, Yusuke Kitauchi. Evaluation of a multi-path maze-solving cellular automata by using a virtual slime-mold model. 2007
• Takashi Morie, Takahiro Yamamoto. A cellular-automaton-based anisotropic diffusion algorithm for subjective contour generation and its digital VLSI implementation. 2007
• Xin-She Yang, Young Z. L. Yang. Cellular automata networks. 2007
• Eugene S. Kitamura, Yukio-Pegio Gunji. Wholeness based on gluing of incomplete information. 2007

Susan Stepney, Fiona Polack, Peter H. Welch, eds.
CoSMoS 2008.
Luniver Press. 2008

(read but not reviewed)

Contents

• Ognen Paunovski, George Eleftherakis, Tony Cowling. Framework for empirical exploration of emergence using multi-agent simulation. 2008
• Robert Alexander, Ruth Alexander-Bown, Tim Kelly. Engineering safety-critical complex systems. 2008
• Philip Garnett, Susan Stepney, Ottoline Leyser. Towards an executable model of auxin transport canalisation. 2008
• Paul S. Andrews, Fiona Polack, Adam T. Sampson, Jonathan Timmis, Lisa Scott, Mark Coles. Simulating biology: towards understanding what the simulation shows. 2008

Peter H. Welch, Susan Stepney, Fiona Polack, F. R. M. Barnes, Alistair A. McEwan, G. S. Stiles, Jan F. Broenink, Adam T. Sampson.
Communicating Process Architectures 2008: WOTUG-31.
IOS Press. 2008

(read but not reviewed)

Susan Stepney, Peter H. Welch, Paul S. Andrews, eds.
CoSMoS 2009.
Luniver Press. 2009

(read but not reviewed)

Contents

• Irun R. Cohen, David Harel. Two views of a Biology-Computer Science alliance. 2009
• Mark N. Read, Jonathan Timmis, Paul S. Andrews, Vipin Kumar. A domain model of Experimental Autoimmune Encephalomyelitis. 2009
• Andrew N. W. Hone. On non-standard numerical integration methods for biological oscillators. 2009
• Tim Hoverd, Susan Stepney. Environment Orientation: an architecture for simulating complex systems. 2009
• Anthony Nash, Sara Kalvala. A framework proposition fo cellular locality in Dictyostelium modelled in pi-calculus. 2009
• Teodor Ghetiu, Robert Alexander, Paul S. Andrews, Fiona Polack. Equivalence arguments for complex systems simulations -- a case-study. 2009

Susan Stepney, Peter H. Welch, Paul S. Andrews, Adam T. Sampson, eds.
CoSMoS 2010.
Luniver Press. 2010

(read but not reviewed)

Contents

• Paul Humphreys. Some Relations between Formal Structure and Conceptual Content in Simulations. 2010
• Philip Garnett, Susan Stepney, Francesca Day, Ottoline Leyser. Using the CoSMoS Process to Enhance an Executable Model of Auxin Transport Canalisation. 2010
• Amineh Ghorbani, Andreas Ligtvoet, Igor Nikolic, Gerard Dijkema. Using Institutional Frameworks to Conceptualize Agent-based Models of Socio-technical Systems. 2010
• Fiona Polack. Arguing Validation of Simulations in Science. 2010
• William M. Stevens. Adapting Gosper's Hashlife Algorithm for Kinematic Environments. 2010
• Paul S. Andrews, Teodor Ghetiu, Tim Hoverd, Jenny Owen, Adam T. Sampson, Douglas N. Warren, Antonio Gomez Zamorano. A Reflection on Complex Systems: Interesting and Challenging. 2010
• Arturo Araujo, Peter J. Bentley, Buzz Baum. Modelling the Role of Chromosome Missegregation in Cancer Therapies. 2010
• Daniel Jones, Mark d'Inverno, Tim Blackwell. Agent-based Modelling of the Haematopoetic Cellular System. 2010

Susan Stepney, Peter H. Welch, Paul S. Andrews, Carl G. Ritson, eds.
CoSMoS 2011.
Luniver Press. 2011

(read but not reviewed)

Contents

• Paul S. Andrews, Susan Stepney, Tim Hoverd, Fiona Polack, Adam T. Sampson, Jonathan Timmis. CoSMoS process, models and metamodels. 2011
• Jose Evora, Enrique Kremers, Susana Morales Cuevo, Mario Hernandez, Jose Juan Hernandez, Pablo Viejo. Agent-based modelling of electrical load at household level. 2011
• Chris H. McEwan, Hugues Bersini, David Klatzmann, Vernique Thomas-Vaslin, Adrien Six. A computational technique to scale mathematical models towards complex heterogeneous systems. 2011
• Andrew Guest, James Bown, Andrew Sapeluk, Alan F. T. Winfield, Mark Shovman. Plotting a catchy tune: tracing sound meme evolution through visualisation. 2011
• Alastair Droop, Philip Garnett, Fiona Polack, Susan Stepney. Multiple model simulation: modeling cell division and differentiation in the prostate. 2011
• Fiona Polack, Alastair Droop, Philip Garnett, Teodor Ghetiu, Susan Stepney. Simulation validation: exploring the suitability of a simulation of cell division and differentiation in the prostate. 2011

Susan Stepney, Paul S. Andrews, Mark N. Read, eds.
CoSMoS 2012.
Luniver Press. 2012

(read but not reviewed)

Contents

• Paul S. Andrews, Susan Stepney, Jonathan Timmis. Simulation as a scientific instrument. 2012
• Jose Evora, Jose Juan Hernandez, Mario Hernandez, Enrique Kremers. Asynchronous smart grid simulations. 2012
• Philip Garnett. Going around again -- modelling standing ovations with a flexible agent-based simulaton framework. 2012
• Richard B. Greaves, Fiona Polack, John Forrester. CoSMoS in the context of socio-ecological systems research. 2012
• Susan Stepney. A pattern language for scientific simulations. 2012
• Alexey Goltsov, Gregory Goltsov, Adam T. Sampson. Simulating the effects of anticoagulant drugs upon blood clotting dynamics. 2012

Susan Stepney, Paul S. Andrews, eds.
CoSMoS 2013.
Luniver Press. 2013

(read but not reviewed)

Contents

• Katie Barr, Toby Fleming, Viv Kendon. Simulation methods for quantum walks on graphs applied to perfect state transfer and formal language recognition. 2013
• Jose Evora, Jose Juan Hernandez, Mario Hernandez. Decision support for Complex Systems: a Smart Grid case. 2013
• Peter Feher, Tamas Meszaros, Pieter J. Mosterman, Laszlo Lengyel. Flattening Virtual Simulink Subsystems with Graph Transformation. 2013
• Philip Garnett. Bursting a Bubble: Abstract Banking Demographics to Understand Tipping Points?. 2013
• Ye Li, Adam T. Sampson, James Bown, Yusuf Deeni. Understanding tissue morphology: model repurposing using the CoSMoS process. 2013
• Susan Stepney. CoSMoS simulation experiment reproducibility and the ODD protocol. 2013
• Li Tao, Jiming Liu. Understanding Self-Organized Regularities: AOC-Based Modeling of Complex Healthcare Systems. 2013

Susan Stepney, Paul S. Andrews, eds.
CoSMoS 2014.
Luniver Press. 2014

(read but not reviewed)

Contents

• Ali Afshar Dodson, Susan Stepney, Emma Uprichard, Leo S. D. Caves. Using the CoSMoS approach to study Schelling's Bounded Neighbourhood Model. 2014
• Bassant E. Youssef, Mohamed R. M. Rizk. Effect of Arriving Nodes Connection-Standards on Models for the Generation of Heterogeneous Complex Networks. 2014
• Peter Banda, Drew Blount, Christof Teuscher. COEL: A Web-based Chemistry Simulation Framework. 2014
• Paul S. Andrews, Susan Stepney. Using CoSMoS to Reverse Engineer a Domain Model for Aevol. 2014
• Stefan Leijnen, Joris Dormans. Order of Battle: A Case Study for Designing Emergent Structure in Games (abstract). 2014
• Fabio Mavelli, Emiliano Altamura, Pasquale Stano. In Silico Minimal Cell Model Systems (abstract). 2014

Susan Stepney, Paul S. Andrews, eds.
CoSMoS 2015.
Luniver Press. 2015

(read but not reviewed)

The study of complex systems is growing rapidly and modelling and simulation tools are an important part of the process.

This volume brings together work from a multidisciplinary group of scientists, who are studying a variety of techniques and applications for modelling and simulating complex systems.

Building on the success of previous CoSMoS workshops, these proceedings explore a range of modelling and simulation techniques together with a selection of complex systems case-studies.

Contents

• Paul S. Andrews, Susan Stepney. The CoSMoS Domain Experiment Model. 2015
• Keith De'Bell. Towards a Network Model of Community Empowerment for Public Health Outcomes. 2015
• Richard B. Greaves, Sabine Dietmann, Austin Smith, Susan Stepney, Julianne D. Halley. Genome-wide mouse embryonic stem cell regulatory network self-organisation. 2015
• Jose Juan Hernandez, Jose Evora, Enrique Kremers, Johannes Schauble. Action horizon: on the controllability of complex systems. 2015
• Sebastian von Mammen, Sarah Edenhofer, Jorg Hahner. CoSMoS in the Interactive Simulation Curriculum. 2015
• Richard A. Williams, Jonathan Timmis, Eva Qwarnstrom. Towards a Platform Model of the IL-1 Stimulated NF-kB Signalling Pathway using UML and Communicating Stream X-Machines. 2015

Susan Stepney, Steen Rasmussen, Martyn Amos.
Computational Matter.
Springer. 2018

+

(read but not reviewed)

This book is concerned with computing in materio: that is, unconventional computing performed by directly harnessing the physical properties of materials. It offers an overview of the field, covering four main areas of interest: theory, practice, applications and implications. Each chapter synthesizes current understanding by deliberately bringing together researchers across a collection of related research projects.

The book is useful for graduate students, researchers in the field, and the general scientific reader who is interested in inherently interdisciplinary research at the intersections of computer science, biology, chemistry, physics, engineering and mathematics.

Susan Stepney, Fiona Polack, Kieran Alden, Paul S. Andrews, James Bown, Alastair Droop, Richard B. Greaves, Mark N. Read, Adam T. Sampson, Jonathan Timmis, Alan F. T. Winfield.
Engineering Simulations as Scientific Instruments: a pattern language.
Springer. 2018

+

(read but not reviewed)

This book describes CoSMoS (Complex Systems Modelling and Simulation), a pattern-based approach to engineering trustworthy simulations that are both scientifically useful to the researcher and scientifically credible to third parties. This approach emphasises three key aspects to this development of a simulation as a scientific instrument: the use of explicit models to capture the scientific domain, the engineered simulation platform, and the experimental results of running simulations; the use of arguments to provide evidence that the scientific instrument is fit for purpose; and the close co-working of domain scientists and simulation software engineers.

In Part I the authors provide a managerial overview: the rationale for and benefits of using the CoSMoS approach, and a small worked example to demonstrate it in action. Part II is a catalogue of the core patterns. Part III lists more specific “helper” patterns, showing possible routes to a simulation. Finally Part IV documents CellBranch, a substantial case study developed using the CoSMoS approach.

Susan Stepney, Andrew Adamatzky.
Inspired by Nature: essays presented to Julian F. Miller on the occasion of his 60th birthday.
Springer. 2018

+

(read but not reviewed)

This book is a tribute to Julian Francis Miller’s ideas and achievements in computer science, evolutionary algorithms and genetic programming, electronics, unconventional computing, artificial chemistry and theoretical biology. Leading international experts in computing inspired by nature offer their insights into the principles of information processing and optimisation in simulated and experimental living, physical and chemical substrates. Miller invented Cartesian Genetic Programming (CGP) in 1999, from a representation of electronic circuits he devised with Thomson a few years earlier. The book presents a number of CGP’s wide applications, including multi-step ahead forecasting, solving artificial neural networks dogma, approximate computing, medical informatics, control engineering, evolvable hardware, and multi-objective evolutionary optimisations. The book addresses in depth the technique of ‘Evolution in Materio’, a term coined by Miller and Downing, using a range of examples of experimental prototypes of computing in disordered ensembles of graphene nanotubes, slime mould, plants, and reaction diffusion chemical systems. Advances in sub-symbolic artificial chemistries, artificial bio-inspired development, code evolution with genetic programming, and using Reed-Muller expansions in the synthesis of Boolean quantum circuits add a unique flavour to the content. The book is a pleasure to explore for readers from all walks of life, from undergraduate students to university professors, from mathematicians, computer scientists and engineers to chemists and biologists.

Richard Walsh, Susan Stepney.
Narrating Complexity.
Springer. 2018

(read but not reviewed)

This book stages a dialogue between international researchers from the broad fields of complexity science and narrative studies. It presents an edited collection of chapters on aspects of how narrative theory from the humanities may be exploited to understand, explain, describe, and communicate aspects of complex systems, such as their emergent properties, feedbacks, and downwards causation; and how ideas from complexity science can inform narrative theory, and help explain, understand, and construct new, more complex models of narrative as a cognitive faculty and as a pervasive cultural form in new and old media.

The book is suitable for academics, practitioners, and professionals, and postgraduates in complex systems, narrative theory, literary and film studies, new media and game studies, and science communication.

Susan Stepney, Sergey Verlan.
Unconventional Computation and Natural Computation, UCNC 2018: Fontainebleau, France.
Springer. 2018

+

(read but not reviewed)