Browse Publications

  1. Publications content icon
    Published

    On nested sequents for constructive modal logics

    Anupam Das & , 3 Sep 2015, In: Logical Methods in Computer Science. 11, 3, 33 p., 7.

    Research output: Contribution to journalArticlepeer-review

  2. Publications content icon
    Published

    Resource management of enterprise cloud systems using layered queuing and historical performance models

    Stephen Jarvis, 2010, Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2010. 5470782. (Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2010).

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

  3. Publications content icon
    Published

    An investigation into the application of different performance prediction methods to distributed enterprise applications

    Stephen Jarvis, , , & , Nov 2005, In: Journal of Supercomputing. 34, 2, p. 93-111 19 p.

    Research output: Contribution to journalArticlepeer-review

  4. Publications content icon
    Published

    Unbiased black-box complexity of parallel search

    Per Kristian Lehre & , 24 Sep 2014, Parallel Problem Solving from Nature – PPSN XIII: 13th International Conference Ljubljana, Slovenia, September 13-17, 2014 Proceedings. Bartz-Beielstein, T., Branke, J., Filipic, B. & Smith, J. (eds.). 1 ed. Springer, p. 892-901 10 p. (Lecture Notes in Computer Science ; vol. 8672).

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

  5. Publications content icon
    Published

    Self-supervised learning for cardiac MR image segmentation by anatomical position prediction

    Jinming Duan, , , , & , 10 Oct 2019, Medical Image Computing and Computer Assisted Intervention – MICCAI 2019: 22nd International Conference, Shenzhen, China, October 13–17, 2019, Proceedings, Part II. Shen, D., Liu, T., Peters, T. M., Staib, L. H., Essert, C., Zhou, S., Yap, P-T. & Khan, A. (eds.). Springer, p. 541-549 9 p. (Lecture Notes in Computer Science ; vol. ecture Notes in Computer Science ).

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

  6. Publications content icon
    Published

    Tilings in randomly perturbed dense graphs

    Andrew Treglown & , Mar 2019, In: Combinatorics, Probability and Computing. 28, 2, p. 159-176 18 p.

    Research output: Contribution to journalArticlepeer-review

  7. Publications content icon
    Published

    Algorithms and hardness results for nearest neighbor problems in bicolored point sets

    Rajesh Chitnis, 13 Mar 2018, LATIN 2018 -Theoretical Informatics: 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings. Mosteiro, M. A., Bender, M. A. & Farach-Colton, M. (eds.). Springer Verlag, p. 80-93 (Lecture Notes in Computer Science ; vol. 10807).

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

  8. Publications content icon
    Published

    An implemented context system that combines belief reasoning, metaphor-based reasoning and uncertainty handling

    John Barnden & Mark Lee, 1 Jan 1999, Modeling and Using Context - 2nd International and Interdisciplinary Conference, CONTEXT 1999, Proceedings. Springer Verlag, p. 28-41 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1688).

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

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

  10. Publications content icon
    Published

    On adaptive attacks against jao-urbanik’s isogeny-based protocol

    Peter Kutas, , Christophe Petit & , 2020, Progress in Cryptology - AFRICACRYPT 2020 - 12th International Conference on Cryptology in Africa, Proceedings. Nitaj, A. & Youssef, A. (eds.). Springer Vieweg, p. 195-213 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12174 LNCS).

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

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