Browse Publications

  1. 2021
  2. Publications content icon
    Published

    Graph characterisation using graphlet-based entropies

    Furqan Aziz, , , , & Georgios Gkoutos, Jul 2021, In: Pattern Recognition Letters. 147, p. 100-107 8 p.

    Research output: Contribution to journalArticlepeer-review

  3. Publications content icon
    Published

    Interference probability matrix for disassembly sequence planning under uncertain interference

    Yongjing Wang Wang & , Jul 2021, In: Journal of Manufacturing Systems. 60, p. 214-225 12 p.

    Research output: Contribution to journalArticlepeer-review

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

  5. Publications content icon
    Published

    Powder-based laser hybrid additive manufacturing of metals: a review

    Prveen Bidare, , , Stefan Dimov & Khamis Essa, May 2021, In: The International Journal of Advanced Manufacturing Technology. 114, 1-2, p. 63-96 34 p.

    Research output: Contribution to journalArticlepeer-review

  6. Publications content icon
    Published

    Tilings in randomly perturbed graphs: bridging the gap between Hajnal-Szemerédi and Johansson-Kahn-Vu

    Andrew Treglown, May 2021, In: Random Structures and Algorithms. 58, 3, p. 480-516 37 p.

    Research output: Contribution to journalArticlepeer-review

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

  8. Publications content icon
    Published

    Open data from the first and second observing runs of Advanced LIGO and Advanced Virgo

    Alberto Vecchio, Kazuhiro Agatsuma, Andreas Freise & Will Farr, 23 Jan 2021, In: SoftwareX. 13, 100658.

    Research output: Contribution to journalArticlepeer-review

  9. Publications content icon
    Published

    Domain theory in constructive and predicative univalent foundations

    Martin Escardo, 13 Jan 2021, 29th EACSL Annual Conference on Computer Science Logic, CSL 2021. Baier, C. & Goubault-Larrecq, J. (eds.). Schloss Dagstuhl, 18 p. 28. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 183).

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

  10. Publications content icon
    Published
  11. Publications content icon
    Published
Previous 1 2 3 4 5 6 7 8 ...31 Next