Search research publications and outputs

  1. Conference article › Research › Peer-reviewed
  2. ALL IN ONE NETWORK FOR DRIVER ATTENTION MONITORING

    Yang, D., Li, X., Dai, X., Zhang, R., Qi, L., Zhang, W. & Jiang, Z., May 2020

    Conference article in Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing

  3. Scattering of halo nuclei on heavy targets at energies around the Coulomb barrier: The case of 11Be on 197Au

    Pesudo, V., Borge, M. J. G., Moro, A. M., Lay, J. A., Nácher, E., Gómez-Camacho, J., Tengblad, O., Acosta, L., Alcorta, M., Alvarez, M. A. G., Andreoiu, C., Bender, P. C., Braid, R., Cubero, M., Di Pietro, A., Fernández-García, J. P., Figuera, P., Fisichella, M., Fulton, B. R., Garnsworthy, A. B. & 18 others, Hackman, G., Hager, U., Kirsebom, O. S., Kuhn, K., Lattuada, M., Marquínez-Durán, G., Martel, I., Miller, D., Moukaddam, M., O'Malley, P. D., Perea, A., Rajabali, M. M., Sánchez-Benítez, A. M., Sarazin, F., Scuderi, V., Svensson, C. E., Unsworth, C. & Wang, Z. M., 22 Nov 2017

    Conference article in EPJ Web of Conferences

  4. Review article › Research › Peer-reviewed
  5. A magnetic evaluation of interaction and noise characteristics of CoNiCr thin films

    Mayo, P. I., O'Grady, K., Kelly, P. E., Cambridge, J., Sanders, I. L., Yogi, T. & Chantrell, R. W., 1991

    Review article in Journal of Applied Physics

  6. Advances in photonic quantum sensing

    Pirandola, S., Bardhan, B. R., Gehring, T., Weedbrook, C. & Lloyd, S., 1 Dec 2018

    Review article in Nature photonics

  7. Laser produced electromagnetic pulses: Generation, detection and mitigation

    Consoli, F., Tikhonchuk, V. T., Tikhonchuk, V. T., Bardon, M., Bradford, P., Carroll, D. C., Cikhardt, J., Cikhardt, J., Cipriani, M., Clarke, R. J., Cowan, T. E., Danson, C. N., Danson, C. N., Danson, C. N., De Angelis, R., De Marco, M., Dubois, J. L., Etchessahar, B., Garcia, A. L., Hillier, D. I. & 24 others, Hillier, D. I., Honsa, A., Jiang, W., Kmetik, V., Krása, J., Li, Y., Li, Y., Lubrano, F., McKenna, P., Metzkes-Ng, J., Poyé, A., Prencipe, I., Rączka, P., Smith, R. A., Vrana, R., Woolsey, N. C., Zemaityte, E., Zhang, Y., Zhang, Y., Zhang, Z., Zielbauer, B., Neely, D., Neely, D. & Neely, D., 9 Jun 2020

    Review article in High Power Laser Science and Engineering

  8. Chapter (peer-reviewed) › Research › Peer-reviewed
  9. A Metamodel for the Evolution of Evolution

    Andrews, PAUL. S. & Stepney, S., 2015, European Conference of Artificial Life 2015. MIT Press, p. 621-628

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  10. A Rule Chaining Architecture Using a Correlation Matrix Memory

    Austin, J., Hobson, S. J., Burles, N. J. & O'Keefe, S., 2012, Artificial Neural Networks and Machine Learning – ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I. PART 1 ed. SPRINGER-VERLAG BERLIN, Vol. 7552. p. 49-56 (Lecture Notes in Computer Science; vol. 7552).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  11. A Survey of Outlier Detection Methodologies

    Hodge, V. J. & Austin, J., 26 Sep 2013, Fundamentals of Regression Modeling. Babones, S. (ed.). (SAGE Benchmarks in Social Research Methods).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  12. Abstraction and representation in living organisms: when does a biological system compute?

    Horsman, D., Kendon, V., Stepney, S. & Young, P., 1 Sep 2017, Representation and Reality in Humans, Other Living Organisms and Intelligent Machines. Dodig-Crnkovic, G. & Giovagnoli, R. (eds.). Springer, p. 91-116

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  13. Abstraction/Representation Theory and the Natural Science of Computation

    Horsman, D., Kendon, V. & Stepney, S., 17 May 2018, Physical Perspectives on Computation, Computational Perspectives on Physics. Cuffaro, M. E. & Fletcher, S. C. (eds.). CAMBRIDGE UNIV PRESS, p. 127-149

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  14. Augmenting Live Coding with Evolved Patterns

    Hickinbotham, S. J. & Stepney, S., 2016, International Conference on Evolutionary and Biologically Inspired Music and Art; EvoMusArt 2016. Springer, Vol. 9596. p. 31–46 (Lecture Notes in Computer Science (LNCS)).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  15. Bio-Reflective Architectures for Evolutionary Innovation

    Hickinbotham, S. J. & Stepney, S., 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, p. 192–199

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  16. Checking Graph-Transformation Systems for Confluence

    Plump, D., 2010, Manipulation of Graphs, Algebras and Pictures: Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday. Drewes, F., Habel, A., Hoffmann, B. & Plump, D. (eds.). Technische Universität Berlin, 16 p. (Electronic Communications of the EASST; vol. 26).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  17. Clyde: A deep reinforcement learning DOOM playing agent

    Ratcliffe, D., Devlin, S., Kruschwitz, U. & Citi, L., 4 Feb 2017, What's Next For AI In Games: AAAI 2017 Workshop.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  18. Confluence of Graph Transformation Revisited

    Plump, D., 2005, Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. Middledorp, A., VanOostrom, V., VanRaamsdonk, F. & DeVrijer, R. (eds.). BERLIN: Springer, p. 280-308 29 p. (Lecture Notes in Computer Science; vol. 3838).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  19. Conservation of matter increases evolutionary activity

    Hickinbotham, S. J. & Stepney, S., 2015, European Conference on Artificial Life 2015. MIT Press, p. 98-105

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  20. Developing the Safety Case for MediPi: An Open-Source Platform for Self Management

    Habli, I., Carr, A., Murphy, D., Dugdale, I., Dyson, A. & Robinson, R., Apr 2017, Informatics for Health : Connected Citizen-Led Wellness and Population Health. Randell, R., Cornet, R., McCowan, C., Peek, N. & J. Scott, P. (eds.). IOS Press, p. 78-82 5 p. (Studies in Health Technology and Informatics; vol. 235).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  21. Embedded Dynamic Improvement

    Burles, N. J., Swan, J., Bowles, E., Brownlee, A. E. I., Kocsis, Z. A. & Veerapen, N., 2015, GECCO Companion '15: Proceedings of the Companion Publication of the 2015 on Genetic and Evolutionary Computation Conference. New York: ACM, p. 831-832

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  22. Emergent Bonding Properties in the Spiky RBN AChem

    Krastev, M. S., Sebald, A. A-M. & Stepney, S., 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, p. 600–607

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  23. Environmental bias forces parasitism in Tierra

    Hickinbotham, S. J. & Stepney, S., 2015, European Conference on Artificial Life 2015. MIT Press, p. 294-301

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  24. Evolution of Formal Model-based Assurance Cases for Autonomous Robots

    Gleirscher, M., Foster, S. D. & Nemouchi, Y., 9 Sep 2019, Software Engineering and Formal Methods. Springer, p. 87-104 18 p. (Lecture Notes in Computer Science; vol. 11724).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  25. Genome-wide mouse embryonic stem cell regulatory network self-organisation: a big data CoSMoS computational modelling approach.

    Greaves, R. B., Dietmann, S., Smith, A., Stepney, S. & Halley, J. D., 2015, CoSMoS workshop, York, UK, July 2015. Luniver Press, p. 31-66

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  26. Hybrid Relations in Isabelle/UTP

    Foster, S. D., 23 Sep 2019, 7th International Symposium on Unifying Theories of Programming (UTP). Springer, p. 130-153 24 p. (Lecture Notes in Computer Science; vol. 11885).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  27. Hypergraph Rewriting: Critical Pairs and Undecidability of Confluence

    Plump, D., 1993, Term Graph Rewriting: Theory and Practice. Sleep, R., Plasmeijer, R. & van Eekelen, M. (eds.). John Wiley, p. 201-213 13 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  28. Incorporating scale invariance into the cellular associative neural network

    Burles, N., O'Keefe, S. & Austin, J., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 8681 LNCS. p. 435-442 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8681 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  29. Isabelle/UTP: A Mechanised Theory Engineering Framework

    Foster, S., Zeyda, F. & Woodcock, J., 6 Jan 2015, Unifying Theories of Programming : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers. Naumann, D. (ed.). SPRINGER, Vol. 8963. p. 21-41 21 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  30. Jordan Algebra AChems: Exploiting Mathematical Richness for Open Ended Design

    Faulkner, P. S. M., Sebald, A. A-M. & Stepney, S., 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, p. 582–589

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  31. Modular Termination of Graph Transformation

    Plump, D., Feb 2018, Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Heckel, R. & Taentzer, G. (eds.). Springer, p. 231-244 14 p. (Lecture Notes in Computer Science; vol. 10800).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  32. Outlier Detection in Big Data

    Wang, J. (ed.) & Hodge, V. J., 1 Apr 2014, Encyclopedia of Business Analytics and Optimization. Wang, J. (ed.). Hershey, PA: IGI Global, p. 1762-1771 10 p. (Encyclopedia of Business Analytics and Optimization).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  33. Probabilistic Analysis

    Maxim, D., Cucu-Grosjean, L. & Davis, R. I., 18 Feb 2019, Handbook of Real-Time Computing. Springer, p. 1-23

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  34. Reservoir Computing in Materio: An Evaluation of Configuration through Evolution

    Dale, M. N., Stepney, S., Miller, J. F. & Trefzer, M. A., 2016, IEEE Symposium Series on Computational Intelligence (SSCI), 2016 . IEEE

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  35. Stochastic modeling, analysis and verification of mission-critical systems and processes

    Gerasimou, S., Mason, G. R., Paterson, C. A., Banks, A., Calinescu, R. C., Kudenko, D. & Rowe, S., 2015, 4th IMA Conference on Mathematics in Defence. 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  36. Sub-Symbolic Artificial Chemistries

    Faulkner, P. S. M., Krastev, M. S., Sebald, A. A-M. & Stepney, S., 27 Oct 2017, Inspired by Nature. Springer, p. 287-322 36 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  37. Synthesis and Verification of Self-aware Computing Systems

    Calinescu, R. C., Autili, M., Cámara, J., Di Marco, A., Gerasimou, S., Inverardi, P., Perucci, A., Jansen, N., Katoen, J-P., Kwiatkowska, M., Mengshoel, O. J., Spalazzese, R. & Tivoli, M., 2017, Self-Aware Computing Systems. SPRINGER, p. 337-373 37 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  38. Templar – A Framework for Template-Method Hyper-Heuristics

    Swan, J. & Burles, N. J., 2015, Genetic Programming: 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings. Machado, P., Heywood, M., McDermott, J., Castelli, M., Garcia-Sanchez, P., Burelli, P., Risi, S. & Sim, K. (eds.). Cham: Springer International Publishing, p. 205-216 (Lecture Notes in Computer Science; vol. 9025).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  39. Term Graph Rewriting

    Plump, D., 1999, Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools. Ehrig, H., Engels, G., Kreowski, H-J. & Rozenberg, G. (eds.). World Scientific Publishing, Vol. 2. p. 3-61

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  40. UTP By Example: Designs

    Woodcock, JAMES. C. P. & Foster, S. D., 6 Apr 2017, Engineering Trustworthy Software Systems: Second International School, SETSS 2016 Chongqing. Jonathan P., B., Liu, Z. & Zhang, Z. (eds.). Springer, Vol. LNCS 10215. p. 16-50 35 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  41. Wallace: An efficient generic evolutionary framework

    Timperley, C. S. & Stepney, S., 2015, European Conference on Artificial Life 2015. MIT Press, p. 365-372

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  42. Chapter (peer-reviewed) › Research › Not peer-reviewed
  43. An Information Theoretic Approach to Gender Feature Selection

    Zhang, Z., Hancock, E. R. & Wu, J., 2011, 2011 IEEE INTERNATIONAL CONFERENCE ON COMPUTER VISION WORKSHOPS (ICCV WORKSHOPS). NEW YORK: IEEE, p. - 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  44. Improving the associative rule chaining architecture

    Burles, N. J., O'Keefe, S. & Austin, J., 2013, Artificial Neural Networks and Machine Learning - ICANN 2013: 23rd International Conference on Artificial Neural Networks, Sofia, Bulgaria, September 2013. Proceedings.. Mladenov, V., Palm, G., Appollini, B., Koprinkova-Hristova, P., Villa, A. & Kasabov, N. (eds.). Berlin: Springer-Verlag, Vol. 8131 LNCS. p. 98-105 8 p. (Lecture Notes in Computer Science; vol. 8131).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Previous 1 2 3 4 5 6 7 8 ...132 Next