Browse Publications

  1. 2014
  2. Publications content icon
    Published

    Verification of markov decision processes using learning algorithms

    David Parker, 2014, Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings. Cassez, F. & Raskin, J-F. (eds.). Springer, Vol. 8837. p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8837).

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

  3. Publications content icon
    Published

    Visualising uncertainty for open learner model users

    Susan Bull & Matthew Johnson, 2014, CEUR Proceedings (UMAP Posters): CEUR . CEUR, Vol. 1181. p. 9-12 4 p.

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

  4. Publications content icon
    Published
  5. Publications content icon
    Published

    Virtual natural environments for restoration and rehabilitation in healthcare

    Bob Stone, James Knight, Cheng Qian & Vish Shingari, 1 Jan 2014, In : Intelligent Systems Reference Library. 68, p. 497-521 25 p.

    Research output: Contribution to journalArticlepeer-review

  6. Publications content icon
    Published
  7. Publications content icon
    Published

    Diversity-driven selection of multiple crossover operators for the capacitated arc routing problem

    Xin Yao, 23 Apr 2014, Evolutionary Computation in Combinatorial Optimisation : 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers. Blum, C. & Ochoa, G. (eds.). Springer, Vol. 8600. p. 97-108 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8600).

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

  8. Publications content icon
    Published

    Economics-Driven Software Architecting for Cloud

    Rami Bahsoon, 18 Jun 2014, Economics-Driven Software Architecture. Elsevier, p. 83-103 21 p. Chapter 5

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Publications content icon
    Published

    Economics-Driven Software Architecture

    (ed.), Rami Bahsoon (ed.), (ed.) & (ed.), 18 Jun 2014, Elsevier. 341 p.

    Research output: Book/ReportBook

  10. Publications content icon
    Published

    Economics-Driven Software Architecture: Introduction

    Rami Bahsoon, 18 Jun 2014, Economics-Driven Software Architecture. Elsevier, p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  11. Publications content icon
    Published

    Sweet dreams and nightmares: Security in the internet of things

    David Oswald, 30 Jun 2014, Information Security Theory and Practice. Securing the Internet of Things: 8th IFIP WG 11.2 International Workshop, WISTP 2014, Heraklion, Crete, Greece, June 30 – July 2, 2014. Proceedings. Naccache, D. & Sauveron, D. (eds.). Springer, Vol. 8501 LNCS. p. 1-9 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8501 LNCS).

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

Previous 1...3 4 5 6 7 8 9 10 ...21 Next