Search research publications and outputs

  1. 2019
  2. Supporting engagement in research through a game design competition

    Iacovides, I., Cox, A. L., Furniss, D., Stawarz, K., Jennett, C. & Adams, A., 1 Feb 2019

    Article in Research for All

  3. Doing Better Statistics in Human-Computer Interaction

    Cairns, P. A., Feb 2019, Cambridge University Press. 250 p.

    Research output: Book/ReportBook

  4. Polar Transformation on Image Features for Orientation-Invariant Representations

    Chen, J., Lue, Z., Zhang, Z., Huang, F., Ye, Z., Tagiuchi, T. & Hancock, E. R., Feb 2019

    Article in IEEE Transactions on Multimedia

  5. A Team Based Player Versus Player Recommender Systems Framework For Player Improvement

    Joshi, R., Gupta, V., Li, X., Cui, Y., Wang, Z., Ravari, Y., klabjan, D., Sifa, R., Parsaianen, A., Drachen, A. & Demediuk, S. P., 29 Jan 2019, (Accepted/In press) Proceedings of ACSW.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Challenging AI: Evaluating the Effect of MCTS-Driven Dynamic Difficulty Adjustment on Player Enjoyment

    Demediuk, S. P., Tamassia, M., Li, X. & Raffe, W., 29 Jan 2019, Proceedings of ACSW.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Cross-modal Hashing with Semantic Deep Embedding

    Yan, C., Bai, X., Wang, S., Zhou, J. & Hancock, E. R., 23 Jan 2019

    Article in Neurocomputing

  8. Verified simulation for robotics

    Cavalcanti, A., Sampaio, A., Miyazawa, A., Ribeiro, P., Filho, M. C., Didier, A., Li, W. & Timmis, J., 11 Jan 2019

    Article in Science of Computer Programming

  9. A psychometric evaluation of emotional responses to horror music

    Williams, D., Wu, C. Y., Hodge, V. J., Murphy, D. & Cowling, P. I., 1 Jan 2019. 9 p.

    Research output: Contribution to conferencePaper

  10. Conditional channel simulation

    Pirandola, S., Laurenza, R. & Banchi, L., Jan 2019

    Article in Annals of Physics

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

    Gleirscher, M., Foster, S. D. & Nemouchi, Y., 2019, Software Engineering and Formal Methods. Springer, (Lecture Notes in Computer Science).

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

  12. Learning Aligned-Spatial Graph Convolutional Networks for Graph Classification

    Bai, L., Cui, L., Jiao, Y. & Hancock, E. R., 2019, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Würzburg, Germany, 16th - 20th of September 2019.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. Meet the Learning and Teaching Forum

    Penfold-Mounce, R. A., Quinn, S. V., Bramwell-Dicks, A. F. & Hurst, G., 2019, Forum Magazine.

    Research output: Contribution to specialist publicationFeatured article

  14. Socio-Cyber-Physical Systems: Models, Opportunities, Open Challenges

    Calinescu, R. C., Camara Moreno, J. & Paterson, C., 2019, (Accepted/In press) 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Using Unstructured Data to Improve the Continuous Planning of Critical Processes Involving Humans

    Paterson, C., Calinescu, R. C., Wang, D. & Manandhar, S. K., 2019, (Accepted/In press) 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. 2018
  17. New Opportunities for Integrated Formal Methods

    Gleirscher, M., Foster, S. & Woodcock, J., 25 Dec 2018, (arXiv).

    Research output: Working paper

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