Browse Publications

  1. 2012
  2. Publications content icon
    Published

    Preferred features of open learner models for university students

    Susan Bull, 22 Jun 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cerri, SA. (ed.). Springer, Vol. 7315 LNCS. p. 411-421 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7315 LNCS).

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

  3. Publications content icon
    Published

    A system-level game semantics

    Dan Ghica, 24 Sep 2012, In : Electronic Notes in Theoretical Computer Science. 286, p. 191-211 21 p.

    Research output: Contribution to journalArticle

  4. Publications content icon
    Published

    Game semantics in the nominal model

    Dan Ghica, 24 Sep 2012, In : Electronic Notes in Theoretical Computer Science. 286, p. 173-189 17 p.

    Research output: Contribution to journalArticle

  5. Publications content icon
    Published

    Community detection in social and biological networks using differential evolution

    Mirco Musolesi, Daniel Tennant, Ralf Weber, John Heath & Shan He, 30 Oct 2012, Learning and Intelligent Optimization - 6th International Conference, LION 6, Revised Selected Papers. p. 71-85 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7219 LNCS).

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

  6. 2013
  7. Publications content icon
    Published

    Ontological extension of PROSA for manufacturing network formation

    Mozafar Saadat, 2013, Industrial Applications of Holonic and Multi-Agent Systems - 6th International Conference, HoloMAS 2013, Proceedings. p. 140-151 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8062 LNAI).

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

  8. Publications content icon
    Published

    Should cool be a design goal?

    Benjamin Cowan & Russell Beale, 1 Jan 2013, HCI 2013 - 27th International British Computer Society Human Computer Interaction Conference: The Internet of Things. British Computer Society

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

  9. Publications content icon
    Published

    The effect of positive feedback in a constraint-based intelligent tutoring system

    Devon Barrow, 1 Jan 2013, In : Computers and Education. 60, 1, p. 264-272 9 p.

    Research output: Contribution to journalArticle

  10. Publications content icon
    Published

    A tool for estimating information leakage

    Tom Chothia, Yusuke Kawamoto, 12 Aug 2013, Computer Aided Verification - 25th International Conference, CAV 2013, Proceedings. p. 690-695 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8044 LNCS).

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

  11. Publications content icon
    Published

    Models of gaze control for manipulation tasks

    Jeremy Wyatt, Oct 2013, In : ACM Transactions on Applied Perception. 10, 4, 20.

    Research output: Contribution to journalArticle

  12. Publications content icon
    Published

    Seamless distributed computing from the geometry of interaction

    Dan Ghica, 30 Oct 2013, Trustworthy Global Computing - 7th International Symposium, TGC 2012, Revised Selected Papers. p. 34-48 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8191 LNCS).

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

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