Search research publications and outputs

  1. 2014
  2. The gaming involvement and informal learning framework

    Iacovides, I., McAndrew, P., Scanlon, E. & Aczel, J., 17 Dec 2014

    Article in Simulation & Gaming

  3. The Use of Controlled Vocabularies and Structured Expressions in the Assurance of CPS

    Attwood, K. C., Kelly, T. & Conmy, P., Dec 2014, Ada User Journal, 35, 4, p. 251-258 7 p.

    Research output: Contribution to specialist publicationArticle

  4. Monitoring, analysis and optimisation of I/O in parallel applications

    Wright, S. A., 1 Nov 2014

    Research output: ThesisDoctoral Thesis

  5. Player strategies: achieving breakthroughs and progressing in single-player and cooperative games

    Iacovides, I., Cox, A. L., Avakian, A. & Knoll, T., 1 Oct 2014, Proceedings of the first ACM SIGCHI annual symposium on Computer-human interaction in play - CHI PLAY '14. New York, USA: ACM, p. 131-140 10 p.

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

  6. Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination

    Nightingale, P., Akgun, O., Gent, I. P., Jefferson, C. & Miguel, I., 8 Sep 2014, Principles and Practice of Constraint Programming. Cham: SPRINGER, p. 590-605 16 p. (Lecture Notes in Computer Science; vol. 8656).

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

  7. Discriminating instance generation for automated constraint model selection

    Gent, I. P., Hussain, B. S., Jefferson, C., Kotthoff, L., Miguel, I., Nightingale, G. F. & Nightingale, P., 8 Sep 2014, Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Proceedings. Springer Verlag, p. 356-365 10 p.

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

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