Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 34 out of 34Page size: 50
Sort by: Type
  1. Conference contribution › Research

  2. Analysing RoboChart with probabilities

    Conserva Filho, M. S., Marinho, R., Mota, A. & Woodcock, J., 24 Oct 2018, (E-pub ahead of print) Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. Massoni, T. & Mousavi, M. R. (eds.). Springer-Verlag, p. 198-214 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11254 LNCS).

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

  3. Bragg Diffraction Patterns as Graph Characteristics

    Escolano, F. & Hancock, E. R., 22 Mar 2018, (E-pub ahead of print) Eleventh International Conference on Energy Minimisation Methods in Computer Vision and Pattern Recognition. Springer Nature, Vol. 10746. p. 59-72 13 p. (Lecture Notes in Computer Science).

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

  4. Engineering bidirectional transformations

    Paige, R. F., 28 Mar 2018, (E-pub ahead of print) Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures. Gibbons, J. & Stevens, P. (eds.). Springer-Verlag, Vol. 9715 LNCS. p. 151-187 37 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9715 LNCS).

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

  5. Evolving Graphs by Graph Programming

    Atkinson, T., Plump, D. & Stepney, S., 2 Mar 2018, (E-pub ahead of print) Proceedings 21st European Conference on Genetic Programming (EuroGP 2018). Springer, 16 p. (Lecture Notes in Computer Science; vol. 10781).

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

  6. GPU-Accelerated Hypothesis Cover Set Testing for Learning in Logic

    Algahtani, E. & Kazakov, D. L., 2018, (E-pub ahead of print) CEUR Proceedings of the 28th International Conference on Inductive Logic Programming. CEUR Workshop Proceedings

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

  7. Towards a framework for writing executable natural language rules

    Barmpis, K., Kolovos, D. & Hingorani, J., 29 May 2018, (E-pub ahead of print) Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer-Verlag, Vol. 10890 LNCS. p. 251-263 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10890 LNCS).

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

  8. Towards efficient loading of change-based models

    Yohannis, A., Rodriguez, H. H., Polack, F. & Kolovos, D., 29 May 2018, (E-pub ahead of print) Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer-Verlag, Vol. 10890 LNCS. p. 235-250 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10890 LNCS).

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

  9. eSport vs irlSport

    McCutcheon, C., Hitchens, M. & Drachen, A., 21 Feb 2018, (E-pub ahead of print) Advances in Computer Entertainment Technology: 14th International Conference, ACE 2017, London, UK, December 14-16, 2017, Proceedings. Vol. 10714. p. 531-542 12 p. (Lecture Notes in Computer Science).

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

  10. Editorial › Research › Peer-reviewed

  11. Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems

    Wright, S. A., 10 Dec 2018, (E-pub ahead of print)

    Editorial in Future generation computer systems

  12. Article › Research › Peer-reviewed

  13. A Novel Multi-objective Optimisation Algorithm for Routability and Timing Driven Circuit Clustering on FPGAs

    Wang, Y., Trefzer, M. A., Bale, S. J., Walker, J. A. & Tyrrell, A. M., 17 Dec 2018, (E-pub ahead of print)

    Article in IET Computers and Digital Techniques

  14. A Wave Packet Signature for Complex Networks

    Aziz, F., Wilson, R. C. & Hancock, E. R., 5 Sep 2018, (E-pub ahead of print)

    Article in Journal of Complex Networks

  15. Analyses of ovarian activity reveal repeated evolution of post-reproductive lifespans in toothed whales

    Ellis, S., Franks, D. W., Nattrass, S., Currie, T., Cant, M. A., Giles, D., Balcomb, K. C. & Croft, D. P., 27 Aug 2018, (E-pub ahead of print)

    Article in Scientific Reports

  16. Angelic Processes for CSP via the UTP

    De Oliveira Salazar Ribeiro, P. F. & Cavalcanti, A. L. C., 15 Oct 2018, (E-pub ahead of print)

    Article in Theoretical Computer Science

  17. Channel Simulation in Quantum Metrology

    Laurenza, R., Lupo, C., Spedalieri, G., Braunstein, S. L. & Pirandola, S., 4 Apr 2018, (E-pub ahead of print)

    Article in Quantum Measurements and Quantum Metrology

  18. Cherenkov radiation-based optical fibre diagnostics of fast electrons generated in intense laser-plasma interactions

    Liu, H., Liao, G. Q., Zhang, Y. H., Zhu, B. J., Zhang, Z., Li, Y. T., Scott, G. G., Rusby, D. R., Armstrong, C., Zemaityte, E., Carroll, D. C., Astbury, S., Bradford, P., Woolsey, N. C., McKenna, P. & Neely, D., 8 Aug 2018, (E-pub ahead of print)

    Article in Review of Scientific Instruments

  19. Compositional and Local Livelock Analysis for CSP

    Filho, M. S. C., Oliveira, M. V. M., Sampaio, A. C. A. & Cavalcanti, A. L. C., 12 Jan 2018, (E-pub ahead of print)

    Article in Information Processing Letters

  20. Curvature-based spectral signatures for non-rigid shape retrieval

    Limberger, F. A. & Wilson, R. C., 17 Apr 2018, (E-pub ahead of print)

    Article in Computer Vision and Image Understanding

  21. Directed and Undirected Network Evolution from Euler-Lagrange Dynamics

    Wang, J., Wilson, R. C. & Hancock, E. R., 30 Mar 2018, (E-pub ahead of print)

    Article in Pattern Recognition Letters

  22. Dynamic selection of environmental variables to improve the prediction of aphid phenology: a machine learning approach

    Holloway, P., Kudenko, D. & James, B., 19 Feb 2018, (E-pub ahead of print)

    Article in Ecological Indicators

  23. Errors and discrepancies in the administration of intravenous infusions: a mixed methods multihospital observational study

    Lyons, I., Furniss, D., Blandford, A., Chumbley, G., Iacovides, I., Wei, L., Cox, A. L., Mayer, A., Vos, J., Galal-Edeen, G. H., Schnock, K. O., Dykes, P. C., Bates, D. W. & Franklin, B. D., 7 Apr 2018, (E-pub ahead of print)

    Article in BMJ Quality & Safety

  24. Identifying the most informative features using a structurally interacting elastic net

    Cui, L., Bai, L., Zhang, Z., Wang, Y. & Hancock, E. R., 3 Nov 2018, (E-pub ahead of print)

    Article in Neurocomputing

  25. Incremental execution of model-to-text transformations using property access traces

    Ogunyomi, B., Rose, L. M. & Kolovos, D. S., 28 Mar 2018, (E-pub ahead of print)

    Article in International Journal on Software & Systems Modelling

  26. Local-global nested graph kernels using nested complexity traces

    Bai, L., Cui, L., Rossi, L., xu, L., Xiao, B. & Hancock, E. R., 19 Jun 2018, (E-pub ahead of print)

    Article in Pattern Recognition Letters

  27. Lost at the Edge of Uncertainty: Measuring Player Experience in Digital Games

    Power, C. D., Cairns, P. A., Denisova, A., Papaioannou, T. & Gultrom, R., 10 Sep 2018, (E-pub ahead of print)

    Article in International Journal of Human-Computer Interaction

  28. Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems

    Chen, J-J., Nelissen, G., Huang, W-H. K., Yang, M., Brandenburg, B., Bletsas, K., Liu, C., Richard, P., Ridouard, F., Audsley, N. C., Rajkumar, R., de Niz, D. & von der Bruggen, G., 11 Sep 2018, (E-pub ahead of print)

    Article in Real-Time Systems

  29. Navigating the Windows Mail database

    Chivers, H. R., 21 Mar 2018, (E-pub ahead of print)

    Article in Digital Investigation

  30. Quantum-based subgraph convolutional neural networks

    Zhang, Z., Chen, D., Wang, J., Bai, L. & Hancock, E. R., 6 Nov 2018, (E-pub ahead of print)

    Article in Pattern recognition

  31. Requirements in digital forensics method definition: Observations from a UK study

    Marshall, A. M. & Paige, R., 20 Sep 2018, (E-pub ahead of print)

    Article in Digital Investigation

  32. Strategies for calibrating models of biology

    Read, M. N., Alden, K., Timmis, J. & Andrews, P. S., 18 Sep 2018, (E-pub ahead of print)

    Article in Briefings in bioinformatics

  33. Synthesis of Probabilistic Models for Quality-of-Service Software Engineering

    Gerasimou, S., Calinescu, R. C. & Tamburrelli, G., 17 May 2018, (E-pub ahead of print)

    Article in Automated Software Engineering

  34. The Anatomical Society's core anatomy syllabus for undergraduate nursing

    Connolly, S. A., Gillingwater, T. H., Chandler, C., Grant, A. W., Greig, J., Meskell, M., Ross, M. T., Smith, C. F., Wood, A. F. & Finn, G. M., 7 Feb 2018, (E-pub ahead of print)

    Article in Journal of Anatomy

  35. Tree Structured Dirichlet Processes for Hierarchical Morphological Segmentation

    Manandhar, S. K. & Can, B., 4 Apr 2018, (E-pub ahead of print)

    Article in Computational linguistics

  36. Turning a Digital Camera into an Absolute 2D Tele-Colorimeter

    Guarnera, G. C., Bianco, S. & Schettini, R., 10 Apr 2018, (E-pub ahead of print)

    Article in Computer graphics forum

  37. Vertex-Level Three-Dimensional Shape Deformability Measurement Based on Line Segment Advection

    Li, C. & Hancock, E. R., 11 Jan 2018, (E-pub ahead of print)

    Article in IET Computer Vision