Browse Publications

  1. 2013
  2. Publications content icon
    Published

    Optimisation of patch distribution strategies for AMR applications

    Stephen Jarvis, 2013, Computer Performance Engineering - 9th European Workshop, EPEW 2012, Revised Selected Papers. p. 210-223 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7587 LNCS).

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

  3. Publications content icon
    Published

    Performance modelling of magnetohydrodynamics codes

    Stephen Jarvis, 2013, Computer Performance Engineering - 9th European Workshop, EPEW 2012, Revised Selected Papers. p. 197-209 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7587 LNCS).

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

  4. Publications content icon
    Published

    Algorithmic solution of higher type equations

    Martin Escardo, Aug 2013, In: Journal of Logic and Computation. 23, 4, p. 839-854 16 p.

    Research output: Contribution to journalArticlepeer-review

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

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

  7. Publications content icon
    Published

    There is no upper bound for the diameter of the commuting graph of a finite group

    Chris Parker, 1 Sep 2013, In: Journal of Combinatorial Theory. Series A. 120, 7, p. 1600-1603 4 p.

    Research output: Contribution to journalArticlepeer-review

  8. 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 journalArticlepeer-review

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

  10. Publications content icon
    Published

    Simulations of PCB assembly optimisation based on the bees algorithm with TRIZ-inspired operators

    Duc Pham & , Nov 2013, Advances in Visual Informatics: Third International Visual Informatics Conference, IVIC 2013, Selangor, Malaysia, November 13-15, 2013. Proceedings. Zaman, H. B., Robinson, P., Olivier, P., Shih, T. K. & Velastin, S. (eds.). Springer, Vol. 8237. p. 335-346 12 p. (Lecture Notes in Computer Science; vol. 8237).

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

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

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