Susan Stepney

Search results

• 2023

  Combining Multiple Inputs to a Delay-line Reservoir Computer: Control of a Forced Van der Pol Oscillator System

  Gan, T., Stepney, S. & Trefzer, M. A., 2 Aug 2023, 2023 International Joint Conference on Neural Networks (IJCNN). IEEE, 7 p. 10191630. (Proceedings of the International Joint Conference on Neural Networks).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Developmental Graph Cellular Automata

  Waldegrave, R., Stepney, S. & Trefzer, M. A., 24 Jul 2023, ALIFE 2023: Ghost in the Machine: Proceedings of the 2023 Artificial Life Conference. ACM, 9 p. 55

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Modelling and Evaluating Restricted ESNs

  Wringe, C., Stepney, S. & Trefzer, M. A., 1 Jun 2023, International Conference on Unconventional Computation and Natural Computation. p. 186-201 16 p. (Lecture Notes in Computer Science; vol. 14003).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Reservoir Computing with Nanowire Exchange-Coupled Spin Torque Oscillator Arrays

  Dale, M., Evans, R. F. L., Sebald, A. & Stepney, S., 1 Jun 2023, Unconventional Computation and Natural Computation - 20th International Conference, UCNC 2023, Proceedings. Genova, D. & Kari, J. (eds.). Springer Science and Business Media Deutschland GmbH, p. 64-78 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14003 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2021

  Computing with Magnetic Thin Films: Using Film Geometry to Improve Dynamics

  Dale, M., O'Keefe, S., Sebald, A., Stepney, S. & Trefzer, M. A., 11 Oct 2021, UCNC 2021: Unconventional Computation and Natural Computation. Springer, Vol. 12984. p. 19 34 p. (LNTCS; vol. 12984, no. 1).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Tradeoffs with physical delay feedback reservoir computing

  Gan, T., Stepney, S. & Trefzer, M. A., 5 Dec 2021, 2021 IEEE Symposium Series on Computational Intelligence (SSCI).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• What is a Parasite? Defining reaction and network properties in an open ended automata chemistry

  Stepney, S. & Hickinbotham, S. J., 19 Jul 2021, (E-pub ahead of print) Artificial Life Conference Proceedings: The 2021 Conference on Artificial Life. MIT Press , p. 598-606 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• “A Good Algorithm Does Not Steal – It Imitates”: The Originality Report as a Means of Measuring When a Music Generation Algorithm Copies Too Much

  Yin, Z., Reuben, F., Stepney, S. & Collins, T., 2 Apr 2021, Artificial Intelligence in Music, Sound, Art and Design. EvoMUSART 2021. Springer, Vol. 12693. p. 360-375 16 p. 24. (Lecture Notes in Computer Science).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2020

  Designing Computational Substrates using Open-Ended Evolution

  Dale, M., Stepney, S. & Trefzer, M. A., 1 Jul 2020, Artificial Life Conference Proceedings. MIT Press , p. 665-667 3 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2019

  Evolving Graphs with Horizontal Gene Transfer

  Plump, D., Atkinson, T. & Stepney, S., Jul 2019, Proceedings Genetic and Evolutionary Computation Conference (GECCO 2019). ACM, p. 968-976

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2018

  Evolving Graphs by Graph Programming

  Atkinson, T., Plump, D. & Stepney, S., 2018, Genetic Programming - 21st European Conference, EuroGP 2018, Proceedings. Cagnoni, S., Zhang, M., Garcia-Sanchez, P., Castelli, M. & Sekanina, L. (eds.). Springer, p. 35-51 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10781 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Probabilistic Graph Programs for Randomised and Evolutionary Algorithms

  Atkinson, T., Plump, D. & Stepney, S., 19 Jun 2018, Graph Transformation - 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Proceedings. Weber, J. & Lambers, L. (eds.). Springer, p. 63-78 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10887 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2017

  Probabilistic Graph Programming

  Plump, D., Atkinson, T. & Stepney, S., Jun 2017, Proceedings 8th International Workshop on Graph Computation Models (GCM 2017). Corradini, A. (ed.). p. 1-16 16 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

• Reservoir computing in materio: A computational framework for in materio computing

  Dale, M., Stepney, S., Miller, J. F. & Trefzer, M. A., 3 Jul 2017, International Joint Conference on Neural Networks (IJCNN). IEEE, p. 2178-2185

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2016

  Evolving Carbon Nanotube Reservoir Computers

  Dale, M. N., Miller, J. F., Stepney, S. & Trefzer, M. A., 15 Jun 2016, Unconventional Computation and Natural Computation: 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings. Amos, M. & Condon, A. (eds.). Springer, p. 49-61 13 p. (Lecture Notes in Computer Science; vol. 9726).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
• 2011

  Heterotic Computing

  Kendon, V., Sebald, A. A-M., Stepney, S., Bechmann, M. W., Hines, P., Wagner, R. C., Calude, C. S., Kari, J., Petre, I. & Rozenberg, G., 2011, Unconventional Computation: 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings. Springer, Vol. 6714. p. 113-124 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2010

  Reflections on the Simulation of Complex Systems for Science

  Polack, F. A. C., Andrews, P. S., Ghetiu, T., Read, M., Stepney, S., Timmis, J. & Sampson, A. T., 2010, Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on . IEEE, p. 276-285 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2009

  Grammatical Evolution of L-systems

  Beaumont, D. & Stepney, S., 2009, 2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-5. NEW YORK: IEEE, p. 2446-2453 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Representation and Structural biases in CGP

  Payne, A. J. & Stepney, S., 2009, 2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-5. NEW YORK: IEEE, p. 1064-1071 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• 2008

  Analogue circuit control through gene expression

  Clegg, K. & Stepney, S., 2008, APPLICATIONS OF EVOLUTIONARY COMPUTING, PROCEEDINGS. Giacobini, M. (ed.). BERLIN: Springer, Vol. 4974 LNCS. p. 154-163 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Complex Systems Models: Engineering Simulations

  Polack, F. A. C., Hoverd, T., Sampson, A. T., Stepney, S. & Timmis, J., 2008, Proceedings of the Eleventh International Conference on the Simulation and Synthesis of Living Systems. MIT Press, Cambridge, MA., p. 482-489

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Immuno-engineering

  Timmis, J., Hart, E., Hone, A., Neal, M., Robins, A., Stepney, S. & Tyrrell, A., 2008, BIOLOGICALLY-INSPIRED COLLABORATIVE COMPUTING. Hinchey, M., Pagnoni, A., Rammig, FJ. & Schmeck, H. (eds.). NEW YORK: Springer, p. 317 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• 2007

  Evolutionary search applied to reconfigurable analogue control

  Clegg, K., Stepney, S. & Clarke, T., 2007, 2007 INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLS 1 AND 2. Bertels, K., Najjar, W., VanGenderen, A. & Vassiliadis, S. (eds.). NEW YORK: IEEE, p. 593-596 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Folding protein-like structures with open L-systems

  Danks, G. B., Stepney, S. & Caves, L. S. D., 2007, Advances in Artificial Life, Proceedings. Costa, FAE., Rocha, LM., Costa, E., Harvey, I. & Coutinho, A. (eds.). BERLIN: Springer, p. 1100-1109 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Neutral emergence and coarse graining

  Weeks, A., Stepney, S. & Polack, F., 2007, Advances in Artificial Life, Proceedings. Costa, FAE., Rocha, LM., Costa, E., Harvey, I. & Coutinho, A. (eds.). BERLIN: Springer, p. 1131-1140 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• PLAZZMID: An evolutionary agent-based architecture inspired by bacteria and bees

  Stepney, S., Clarke, T. & Young, P., 2007, Advances in Artificial Life, Proceedings. Costa, FAE., Rocha, LM., Costa, E., Harvey, I. & Coutinho, A. (eds.). BERLIN: Springer, p. 1151-1160 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Using Feedback to Regulate Gene Expression in a Developmental Control Architecture

  Clegg, K., Stepney, S. & Clarke, T., 2007, GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2. NEW YORK: ACM, p. 966-973 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• 2006

  A formal template language enabling metaproof

  Amalio, N., Stepney, S. & Polack, F., 2006, FM 2006: FORMAL METHODS, PROCEEDINGS. Misra, J., Nipkow, T. & Sekerinski, E. (eds.). BERLIN: Springer, p. 252-267 16 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Engineering emergence

  Stepney, S., Polack, F. A. C. & Turner, H. R., 2006, ICECCS 2006: 11TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS. Kawada, S. (ed.). LOS ALAMITOS: IEEE Computer Society, p. 89-97 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Fusing Natural Computational Paradigms for Cryptanalysis: Or, Using Heuristic Search to Bring Cryptanalysis Problems within Quantum Computational Range

  Clark, J. A. & Stepney, S., 1 Dec 2006, CEC 2006. IEEE Congress on Evolutionary Computation, 2006. p. 200 -206

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2005

  A generic framework for population-based algorithms, implemented on multiple FPGAs

  Newborough, J. & Stepney, S., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: Springer, p. 43-55 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• An architecture for modelling emergence in CA-like systems

  Polack, F., Stepney, S., Turner, H., Welch, P. & Barnes, F., 2005, ADVANCES IN ARTIFICAL LIFE, PROCEEDINGS. Capcarrere, MS., Freitas, AA., Bentley, PJ., Johnson, CG. & Timmis, J. (eds.). BERLIN: Springer, p. 433-442 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• An object-oriented structuring for Z based on views

  Amalio, N., Polack, F. & Stepney, S., 2005, ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS. Treharne, H., King, S., Henson, M. & Schneider, S. (eds.). BERLIN: Springer, p. 262-278 17 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• "Devices are people too" - Using process patterns to elicit security requirements in novel domains: A ubiquitous healthcare example

  Liu, Y., Clark, J. A. & Stepney, S., 2005, SECURITY IN PERVASIVE COMPUTING, PROCEEDINGS. Hutter, D. & Ullmann, M. (eds.). BERLIN: Springer, p. 31-45 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Evolution of a human-competitive quantum fourier transform algorithm using genetic programming

  Massey, P., Clark, J. A. & Stepney, S., 2005, Proceedings of the 2005 Conference on Genetic and Evolutionary Computation. New York, NY, USA: ACM, p. 1657-1663 7 p. (GECCO '05).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Growing music: Musical interpretations of L-systems

  Worth, P. & Stepney, S., 2005, APPLICATIONS OF EVOLUTIONARY COMPUTING, PROCEEDINGS. Rothlauf, F., Branke, J., Cagnoni, S., Corne, DW., Drechsler, R., Jin, Y., Machado, P., Marchiori, E., Romero, J., Smith, GD. & Squillero, G. (eds.). BERLIN: Springer, p. 545-550 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Penrose life: Ash and oscillators

  Hill, M., Stepney, S. & Wan, R., 2005, ADVANCES IN ARTIFICAL LIFE, PROCEEDINGS. Capcarrere, MS., Freitas, AA., Bentley, PJ., Johnson, CG. & Timmis, J. (eds.). BERLIN: Springer, p. 471-480 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Requirements as conjectures: Intuitive DVD menu navigation

  Rossmorris, J. & Stepney, S., 2005, ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS. Treharne, H., King, S., Henson, M. & Schneider, S. (eds.). BERLIN: Springer, p. 172-186 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Retrenching the Purse: Finite sequence numbers, and the Tower Pattern

  Banach, R., Poppleton, M., Jeske, C. & Stepney, S., 2005, FM 2005: FORMAL METHODS, PROCEEDINGS. Fitzgerald, J., Hayes, IJ. & Tarlecki, A. (eds.). BERLIN: Springer, p. 382-398 17 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• 2004

  Design of s-boxes by simulated annealing

  Clark, J. A., Jacob, J. L. & Stepney, S., 2004, CEC2004: PROCEEDINGS OF THE 2004 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2. NEW YORK: IEEE, p. 1533-1537 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Evolving quantum circuits and programs through genetic programming

  Massey, P., Clark, J. A. & Stepney, S., 2004, GENETIC AND EVOLUTIONARY COMPUTATION GECCO 2004 , PT 2, PROCEEDINGS. Deb, K., Poli, R., Banzhaf, W., Beyer, HG., Burke, E., Darwen, P., Dasgupta, D., Floreano, D., Foster, O., Harman, M., Holland, O., Lanzi, PL., Spector, L., Tettamanzi, A., Thierens, D. & Tyrrell, A. (eds.). BERLIN: Springer, p. 569-580 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Searching for cost functions

  Clark, J. A., Jacob, J. L. & Stepney, S., 2004, CEC2004: PROCEEDINGS OF THE 2004 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2. NEW YORK: IEEE, p. 1517-1524 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Smart devices and software agents: The basics of good behaviour

  Chivers, H., Clark, J. A. & Stepney, S., 2004, SECURITY IN PERVASIVE COMPUTING. Hutter, D., Muller, G., Stephan, W. & Ullmann, M. (eds.). BERLIN: Springer, p. 39-52 14 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Towards a conceptual framework for artiflcial immune systems

  Stepney, S., Smith, R. E., Timmis, J. & Tyrrell, A. M., 2004, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Nicosia, G., Cutello, V., Bentley, PJ. & Timmis, J. (eds.). BERLIN: Springer, p. 53-64 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• 2003

  An outline pattern language for Z: Five illustrations and two tables

  Stepney, S., Polack, F. & Toyn, I., 2003, ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B. Bert, D., Bowen, JP., King, S. & Walden, M. (eds.). BERLIN: Springer, p. 219 18 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Artificial immune systems and the grand challenge for non-classical computation

  Stepney, S., Clark, J. A., Johnson, C. G., Partridge, D. & Smith, R. E., 2003, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Timmis, J., Bentley, P. & Hart, E. (eds.). BERLIN: Springer, p. 204-216 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Challenging formal specifications by mutation: a CSP security example

  Srivatanakul, T., Clark, J. A., Stepney, S. & Polack, F., 2003, ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS. Azada, D. (ed.). LOS ALAMITOS: IEEE Computer Society, p. 340-350 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Critical critical systems

  Stepney, S., 2003, FORMAL ASPECTS OF SECURITY. Abdallah, AE., Ryan, P. & Schneider, S. (eds.). BERLIN: Springer, p. 62-70 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Making the most of two heuristics: breaking transposition ciphers with ants

  Russell, M. D., Clark, J. A. & Stepney, S., 2003, CEC: 2003 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-4, PROCEEDINGS. NEW YORK: IEEE, p. 2653-2658 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Patterns to guide practical refactoring: Examples targetting promotion in Z

  Stepney, S., Polack, F. & Toyn, I., 2003, ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B. Bert, D., Bowen, JP., King, S. & Walden, M. (eds.). BERLIN: Springer, p. 20-39 20 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution