Browse Publications

  1. 2021
  2. Publications content icon
    Published

    Under the hood of SYCL – an initial performance analysis with an unstructured-mesh CFD application

    Stephen Jarvis & , 17 Jun 2021, High Performance Computing: 36th International Conference, ISC High Performance 2021, Virtual Event, June 24 – July 2, 2021, Proceedings. Chamberlain, B. L., Varbanescu, A-L., Ltaief, H. & Luszczek, P. (eds.). 1 ed. Springer, p. 391-410 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12728).

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

  3. Publications content icon
    Published

    SAFA: a semi-asynchronous protocol for fast federated learning with low overhead

    Stephen Jarvis, 1 May 2021, In: IEEE Transactions on Computers. 70, 5, p. 655-668 14 p., 9093123.

    Research output: Contribution to journalArticlepeer-review

  4. Publications content icon
    E-pub ahead of print

    Quantitative verification of Kalman filters

    Alexandros Evangelidis & David Parker, 5 Feb 2021, (E-pub ahead of print) In: Formal Aspects of Computing.

    Research output: Contribution to journalArticlepeer-review

  5. 2020
  6. Publications content icon
    Published

    Learning from Vulnerabilities - Categorising, Understanding and Detecting Weaknesses in Industrial Control Systems

    Richard J Thomas & Tom Chothia, 17 Dec 2020, Computer Security - ESORICS 2020 International Workshops, CyberICPS, SECPRE, and ADIoT, 2020, Revised Selected Papers. Katsikas, S., Cuppens, F., Cuppens, N., Lambrinoudakis, C., Kalloniatis, C., Mylopoulos, J., Antón, A., Gritzalis, S., Meng, W. & Furnell, S. (eds.). Springer, p. 100-116 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12501 LNCS).

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

  7. Publications content icon
    Published

    Parallel design of sparse deep belief network with multi-objective optimization

    Naresh Marturi, Sep 2020, In: Information Sciences. 533, p. 24-42 19 p.

    Research output: Contribution to journalArticlepeer-review

  8. Publications content icon
    Published

    Improving sampling in evolution strategies through mixture-based distributions built from past problem instances

    Stephen Friess, Peter Tino, , & Xin Yao, 31 Aug 2020, Parallel Problem Solving from Nature – PPSN XVI. Springer, p. 583-596 14 p. (Lecture Notes in Computer Science; vol. 12269).

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

  9. Publications content icon
    Published

    An unstructured CFD mini-application for the performance prediction of a production CFD code

    Stephen Jarvis, 25 May 2020, In: Concurrency Computation. 32, 10, e5443.

    Research output: Contribution to journalArticlepeer-review

  10. Publications content icon
    E-pub ahead of print

    Endogenous Queue Number Determination in G/M/s Systems

    Vasco Alves, 17 Apr 2020, (E-pub ahead of print) In: 4OR.

    Research output: Contribution to journalArticlepeer-review

  11. Publications content icon
    Published
  12. Publications content icon
    Published

    Combining character and word embeddings for affect in arabic informal social media microblogs

    Mark Lee, 2020, Natural Language Processing and Information Systems - 25th International Conference on Applications of Natural Language to Information Systems, NLDB 2020, Proceedings. Métais, E., Meziane, F., Horacek, H. & Cimiano, P. (eds.). Springer Vieweg, p. 213-224 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12089 LNCS).

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

  13. Publications content icon
    Published

    HEAT: Hyperbolic Embedding of Attributed Networks

    Shan He, 2020, Intelligent Data Engineering and Automated Learning – IDEAL 2020 - 21st International Conference, 2020, Proceedings. Analide, C., Novais, P., Camacho, D. & Yin, H. (eds.). Springer, p. 28-40 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12489 LNCS).

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

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

  15. Publications content icon
    Published

    SQISign: Compact Post-quantum Signatures from Quaternions and Isogenies

    Christophe Petit & , 2020, Advances in Cryptology – ASIACRYPT 2020 - 26th International Conference on the Theory and Application of Cryptology and Information Security, 2020, Proceedings. Moriai, S. & Wang, H. (eds.). Springer, p. 64-93 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12491 LNCS).

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

  16. Publications content icon
    Published

    Semi-commutative masking: A framework for isogeny-based protocols, with an application to fully secure two-round isogeny-based OT

    Christophe Petit & , 2020, Cryptology and Network Security - 19th International Conference, CANS 2020, Vienna, Austria, December 14–16, 2020, Proceedings. Krenn, S., Shulman, H. & Vaudenay, S. (eds.). Springer, p. 235-258 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12579 LNCS).

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

  17. 2019
  18. Publications content icon
    Published

    Connected chord diagrams and bridgeless maps

    Noam Zeilberger, 22 Nov 2019, In: The Electronic Journal of Combinatorics. 26, 4, p. 1-56 56 p., P4.37.

    Research output: Contribution to journalArticlepeer-review

  19. Publications content icon
    Published

    Classification of Maximum Hittings by Large Families

    Richard Mycroft, 16 Nov 2019, In: Graphs and Combinatorics. 36, p. 27-39 13 p.

    Research output: Contribution to journalArticlepeer-review

  20. Publications content icon
    Published

    Verification and control of turn-based probabilistic real-time games

    David Parker, 4 Nov 2019, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy: Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Springer, Vol. 11760. p. 379-396 16 p. (Lecture Notes in Computer Science).

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

  21. Publications content icon
    Published

    On the decomposition threshold of a given graph

    Stefan Glock, Daniela Kuhn, Allan Lo, Richard Montgomery & Deryk Osthus, Nov 2019, In: Journal of Combinatorial Theory. Series B. 139, p. 47-127 81 p.

    Research output: Contribution to journalArticlepeer-review

  22. Publications content icon
    Published

    Data efficient unsupervised domain adaptation for cross-modality image segmentation

    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. 669-677 9 p. (Lecture Notes in Computer Science ; vol. 11765).

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

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

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