Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 25 out of 5,493Page size: 25
Sort by: Type
  1. Conference article › Research › Peer-reviewed

  2. Architecture for dynamically reconfigurable real-time lossless compression

    Carter, A. J. & Audsley, N. C., 1 Dec 2004

    Conference article in Proceedings of SPIE - The International Society for Optical Engineering

  3. Automated safety analysis for domain-specific languages

    Paige, R. F., Rose, L. M., Ge, X., Kolovos, D. S. & Brooke, P. J., 1 Dec 2008

    Conference article in CEUR Workshop Proceedings

  4. Spectral method for learning structural variations in graphs

    Luo, B., Wilson, R. & Hancock, E., 25 Sep 2003

    Conference article in ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings

  5. Spreadsheets are models too [position statement]

    Paige, R. F., Kolovos, D. S. & Matragkas, N., 2014

    Conference article in CEUR Workshop Proceedings

  6. Review article › Research › Peer-reviewed

  7. 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

  8. Advances in photonic quantum sensing

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

    Review article in Nature photonics

  9. Chemotherapy for advanced ovarian cancer

    Advanced Ovarian Cancer Trialists Group, 25 Jan 1999

    Review article in Cochrane Database of Systematic Reviews

  10. Chapter (peer-reviewed) › Research › Peer-reviewed

  11. 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 proceeding › Chapter (peer-reviewed) › peer-review

  12. 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 proceeding › Chapter (peer-reviewed) › peer-review

  13. 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 proceeding › Chapter (peer-reviewed) › peer-review

  14. 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 proceeding › Chapter (peer-reviewed) › peer-review

  15. 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 proceeding › Chapter (peer-reviewed) › peer-review

  16. 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 proceeding › Chapter (peer-reviewed) › peer-review

  17. 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 proceeding › Chapter (peer-reviewed) › peer-review

  18. 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 proceeding › Chapter (peer-reviewed) › peer-review

  19. 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 proceeding › Chapter (peer-reviewed) › peer-review

  20. 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 proceeding › Chapter (peer-reviewed) › peer-review

  21. 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 proceeding › Chapter (peer-reviewed) › peer-review

  22. 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 proceeding › Chapter (peer-reviewed) › peer-review

  23. 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 proceeding › Chapter (peer-reviewed) › peer-review

  24. 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 proceeding › Chapter (peer-reviewed) › peer-review

  25. 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 proceeding › Chapter (peer-reviewed) › peer-review

  26. 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 proceeding › Chapter (peer-reviewed) › peer-review

  27. 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 proceeding › Chapter (peer-reviewed) › peer-review

  28. 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 proceeding › Chapter (peer-reviewed) › peer-review

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