Browse Publications

  1. 2014
  2. Publications content icon
    Published

    Requirements-driven social adaptation: Expert survey

    Rami Bahsoon, 2014, Requirements Engineering: Foundation for Software Quality: 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings. Salinesi, C. & Van de Weerd, I. (eds.). Springer, Vol. 8396 LNCS. p. 72-87 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8396 LNCS).

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

  3. Publications content icon
    Published

    Role of fiber orientation in atrial arrythmogenesis

    Robert Stephenson, 2014, In : Computing in Cardiology. 41, January, p. 1041-1044 4 p., 7043224.

    Research output: Contribution to journalConference article

  4. Publications content icon
    Published

    Role of occlusion in non-coulombic slip of the finger pad

    Brygida Dzidek, Mike Adams, Zhibing Zhang, 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8618. p. 109-116 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8618).

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

  5. Publications content icon
    Published

    Systematic elaboration of compliance requirements using compliance debt and portfolio theory

    Rami Bahsoon, 2014, Requirements Engineering: Foundation for Software Quality : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings. Salinesi, C. & van de Weerd, I. (eds.). Springer, Vol. 8396 LNCS. p. 152-167 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8396 LNCS).

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

  6. Publications content icon
    Published

    The performance effects of interaction frequency in parallel cooperative coevolution

    Xin Yao, 2014, Simulated Evolution and Learning: 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, 2014. Proceedings. Dick, G., Browne, W. N., Whigham, P., Zhang, M., Bui, L. T., Ishibuchi, H., Jin, Y., Li, X., Shi, Y., Songh, P., Tan, K. C. & Tang, K. (eds.). Springer, Vol. 8886. p. 82-93 12 p. (Lecture Notes in Computer Science; vol. 8886).

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

  7. Publications content icon
    Published

    Towards an architecture for knowledge representation and reasoning in robotics

    Jeremy Wyatt, 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8755. p. 400-410 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8755).

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

  8. Publications content icon
    Published

    Understanding randomised search heuristics lessons from the evolution of theory: A case study

    Christine Zarges, 2014, Proceedings of the 20th International Conference on Soft Computing (MENDEL 2014) . Radek, M. (ed.). Brno University of Technology, p. 293-298 6 p.

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

  9. 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

  10. 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)

  11. Publications content icon
    Published
Previous 12 3 4 5 6 7 8 9 ...20 Next