Browse Publications

  1. Publications content icon
    Published

    Analysing an SQL application with a BSPlib call-graph profiling tool

    Stephen Jarvis, & , 1998, Euro-Par 1998 Parallel Processing - 4th International Conference, Proceedings. Springer Verlag, p. 157-164 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1470 LNCS).

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

  2. Publications content icon
    Published

    Analysing the reliability of actuation elements in series and parallel configurations for high-redundancy actuation

    Roger Dixon, 1 Aug 2013, In: International Journal of Systems Science. 44, 8, p. 1504-1521 18 p.

    Research output: Contribution to journalArticlepeer-review

  3. Publications content icon
    Published

    Assessing the impact of positive feedback in constraint-based tutors

    Devon Barrow, , & , 1 Dec 2008, Intelligent Tutoring Systems - 9th International Conference, ITS 2008, Proceedings. p. 250-259 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5091 LNCS).

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

  4. Publications content icon
    Published

    Automata-Theoretic Semantics of Idealized Algol with Passive Expressions

    Uday Reddy, 4 Nov 2013, p. 325-348. 24 p.

    Research output: Contribution to conference (unpublished)Paperpeer-review

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

  6. Publications content icon
    Published

    Automatic detection of meddies through texture analysis of sea surface temperature maps

    Marco Castellani & , 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3808 LNCS. p. 359-370 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3808 LNCS).

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

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

  8. Publications content icon
    Published

    Bayes optimality of human perception, action and learning: behavioural and neural evidence

    Ulrik Beierholm, 2014, Brain-Inspired Computing: Lecture Notes in Computer Science. Springer, Vol. 8603. p. 117-129 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8603).

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

  9. Publications content icon
    Published

    Black-box search by unbiased variation

    Per Kristian Lehre & , 2010, Proceedings of the 12th Annual Genetic and Evolutionary Computation Conference, GECCO '10. p. 1441-1448 8 p.

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

  10. Publications content icon
    Published

    Bounded linear types in a resource semiring

    Dan Ghica & , 2014, Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Springer, Vol. 8410. p. 331-350 20 p. (Lecture Notes in Computer Science ; vol. 8410).

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

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