author : Susan Stepney

thesis details

book details

Contents

• Peter J. Whysall.

Z Expression of Refinable Objects

• Silvio Lemos Meira, Ana L. C. Cavalcanti.

MooZ Case Studies

• Gordon A. Rose.

Object-Z

• Antonio J. Alencar, Joseph A. Goguen.

OOZE

• Kevin C. Lano.

Z++

• Elspeth Cusack, G. Hossein Bagherzadeh Rafsanjani.

ZEST

• Alan Cameron Wills.

Specification in Fresco

book details

book details

book details

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

• Michael C. Mozer.

Rational models of cognitive control

• Erik Winfree.

Fault-tolerance in biochemical systems (abstract)

• Damien Woods.

Optical computing and computational complexity

• Russ Abbott.

If a tree casts a shadow is it telling the time?

• M. Sakthi Balan, Helmut Jurgensen.

Peptide computing -- universality and theoretical model

• Monica Cardona, M. Angels Colomer, Mario J. Perez-Jimenez, Alba Zaragoza.

Handling Markov Chains with Membrane Computing

• Uffe Flarup, Klaus Meer.

Approximation classes for real number optimization problems

• Peter Hines.

Physical systems as constructive logics

• Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun.

On spiking neural P Systems and partially blind counter machines

• Yasuhiro Igarashi, Jerzy Gorecki, Joanna Natalia Gorecka.

Chemical information processing devices constructed using a nonlinear medium with controlled excitability

• Natasha Jonoska, Gregory L. McColm.

Flexible versus rigid tile assembly

• Shankara Narayanan Krishna.

On pure catalytic P Systems

• William B. Langdon.

Mapping non-conventional extensions of Genetic Programming

• Akihiro Mikoda, Shuichi Inokuchi, Yoshihiro Mizoguchi, Mitsuhiko Fujio.

The number of ordits of periodic box-ball systems

• Jerzy Mycka, Francisco Coelho, Jose Felix Costa.

The Euclid Abstract Machine: trisection of the angle and the Halting Problem

• Shigeru Ninagawa.

1/f noise in elementary cellular automaton rule 110

• Mihai Oltean.

A light-based device for solving the Hamiltonian path problem

• Mikhail Prokopenko, Daniel Polani, Peter Wang.

Optimizing potential information transfer with self-referential memory

• H. Ramesh, Shankara Narayanan Krishna, Raghavan Rama.

On the power of bio-Turing machines

• Dylan A. Shell, Maja J. Mataric.

Ergodic dynamics for large-scale distributed robot systems

Contents

• Matthias Bechmann, John A. Clark, Angelika Sebald, Susan Stepney.

Unentangling nuclear magnetic resonance computing

• Simon O'Keefe.

Implementation of logical operations on a domino substrate

• William M. Stevens.

A kinematic Turing machine

• Effirul I. Ramlan, Klaus-Peter Zauner.

Nucleic acid enzymes: The fusion of self-assembly and conformational computing

• Ed Blakey.

On the computational complexity of physical computing systems .

• Navneet Bhalla, Peter J. Bentley, Christian Jacob.

Mapping virtual self-assembly rules to physical systems

• Willem Fouche, Johannes Heidema, Glyn Jones, Petrus H. Potgieter.

Halting in quantum Turing computation

• Kohta Suzuki, Satoshi Murata.

Design of DNA spike oscillator

• Kaoru Onodera.

The computing power of structured molecules with gaps: Watson-Crick insertion systems

• Mike Stannett.

Physical hypercomputation

• Jeff Jones, Mohammed Saeed.

Collective perception of absolute brightness from relative contrast information -- an emergent pattern formation approach

• Masayuki Ikebe, Yusuke Kitauchi.

Evaluation of a multi-path maze-solving cellular automata by using a virtual slime-mold model

• Takashi Morie, Takahiro Yamamoto.

A cellular-automaton-based anisotropic diffusion algorithm for subjective contour generation and its digital VLSI implementation

• Xin-She Yang, Young Z. L. Yang.

Cellular automata networks

• Eugene S. Kitamura, Yukio-Pegio Gunji.

Wholeness based on gluing of incomplete information

Contents

• Ognen Paunovski, George Eleftherakis, Tony Cowling.

Framework for empirical exploration of emergence using multi-agent simulation

• Robert Alexander, Ruth Alexander-Bown, Tim Kelly.

Engineering safety-critical complex systems

• Philip Garnett, Susan Stepney, Ottoline Leyser.

Towards an executable model of auxin transport canalisation

• Paul S. Andrews, Fiona Polack, Adam T. Sampson, Jonathan Timmis, Lisa Scott, Mark Coles.

Simulating biology: towards understanding what the simulation shows

Contents

• Irun R. Cohen, David Harel.

Two views of a Biology-Computer Science alliance

• Mark Read, Jonathan Timmis, Paul S. Andrews, Vipin Kumar.

A domain model of Experimental Autoimmune Encephalomyelitis

• Andrew N. W. Hone.

On non-standard numerical integration methods for biological oscillators

• Tim Hoverd, Susan Stepney.

Environment Orientation: an architecture for simulating complex systems

• Anthony Nash, Sara Kalvala.

A framework proposition fo cellular locality in Dictyostelium modelled in pi-calculus

• Teodor Ghetiu, Robert Alexander, Paul S. Andrews, Fiona Polack.

Equivalence arguments for complex systems simulations -- a case-study

Contents

• Paul Humphreys.

Some Relations between Formal Structure and Conceptual Content in Simulations

• Philip Garnett, Susan Stepney, Francesca Day, Ottoline Leyser.

Using the CoSMoS Process to Enhance an Executable Model of Auxin Transport Canalisation

• Amineh Ghorbani, Andreas Ligtvoet, Igor Nikolic, Gerard Dijkema.

Using Institutional Frameworks to Conceptualize Agent-based Models of Socio-technical Systems

• Fiona Polack.

Arguing Validation of Simulations in Science

• William M. Stevens.

Adapting Gosper's Hashlife Algorithm for Kinematic Environments

• 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

• Arturo Araujo, Peter J. Bentley, Buzz Baum.

Modelling the Role of Chromosome Missegregation in Cancer Therapies

• Daniel Jones, Mark d'Inverno, Tim Blackwell.

Agent-based Modelling of the Haematopoetic Cellular System

Contents

• Paul S. Andrews, Susan Stepney, Tim Hoverd, Fiona Polack, Adam T. Sampson, Jonathan Timmis.

CoSMoS process, models and metamodels

• Jose Evora, Enrique Kremers, Susana Morales Cuevo, Mario Hernandez, Jose Juan Hernandez, Pablo Viejo.

Agent-based modelling of electrical load at household level

• Chris H. McEwan, Hugues Bersini, David Klatzmann, Vernique Thomas-Vaslin, Adrien Six.

A computational technique to scale mathematical models towards complex heterogeneous systems

• Andrew Guest, James Bown, Andrew Sapeluk, Alan Winfield, Mark Shovman.

Plotting a catchy tune: tracing sound meme evolution through visualisation

• Alastair Droop, Philip Garnett, Fiona Polack, Susan Stepney.

Multiple model simulation: modeling cell division and differentiation in the prostate

• 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