Browse Publications

  1. 2015
  2. Publications content icon
    Published

    A new semantic model for domain-ontology learning

    John Barnden, 4 Mar 2015, Human Centred Computing: First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers. Zu, Q., Hu, B., Gu, N. & Seng, S. (eds.). Springer, Vol. 8944. p. 140-155 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8944).

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

  3. Publications content icon
    Published

    Learning analytics for the academic: An action perspective

    Alan Dix & , 1 Jan 2015, In: Journal of Universal Computer Science. 21, 1, p. 48-65 18 p.

    Research output: Contribution to journalArticlepeer-review

  4. Publications content icon
    Published

    New methods for the condition monitoring of level crossings

    1 Jan 2015, In: International Journal of Systems Science. 46, 5, p. 878-884 7 p.

    Research output: Contribution to journalArticlepeer-review

  5. Publications content icon
    Published
  6. Publications content icon
    Published

    Preface

    Martin Escardo & , Jan 2015, In: Journal of Logical and Algebraic Methods in Programming. 84, 1, p. 107 1 p.

    Research output: Contribution to journalEditorialpeer-review

  7. Publications content icon
    Published

    A logical approach for behavioural composition of scenario-based models

    Behzad Bordbar & , 2015, Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Editor, M., Conchon, S. & Zaidi, F. (eds.). Springer, Vol. 9407. p. 252-269 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9407).

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

  8. Publications content icon
    Published

    Automated detection of galaxy groups through probabilistic hough transform

    Peter Tino, , Trevor Ponman & , 2015, Neural Information Processing : 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings Part III. Arik, S., Huang, T., Lai, W. K. & Lui, Q. (eds.). Springer, Vol. 9491. p. 323-331 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9491).

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

  9. Publications content icon
    Published

    Automatically calculating quantitative integrity measures for imperative programs

    Tom Chothia, Chris Novakovic & , 2015, Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance : 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers. Garcia-Alfaro, J., Herrera-Joancomartí, J. & Lupu, E. (eds.). Springer, Vol. 8872. p. 250-265 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8872).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. Publications content icon
    Published

    Categorisation of 3D objects in range images using compositional hierarchies of parts based on MDL and entropy selection criteria

    Krzysztof Walas & Ales Leonardis, 2015, Image Analysis: 19th Scandinavian Conference, SCIA 2015, Copenhagen, Denmark, June 15-17, 2015. Proceedings. Paulsen, R. R. & Pedersen, K. S. (eds.). Springer, Vol. 9127. p. 289-301 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9127).

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

  11. Publications content icon
    Published

    Design and usability evaluation of adaptive e-learning systems based on learner knowledge and learning style

    Robert Hendley, 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (eds.). Springer, Vol. 9297. p. 584-591 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9297).

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

Previous 1...7 8 9 10 11 12 13 14 ...25 Next