Search research publications and outputs

  1. 2019
  2. Learning Aligned-Spatial Graph Convolutional Networks for Graph Classification

    Bai, L., Jiao, Y., Cui, L. & Hancock, E. R., 6 Apr 2019, (arXiv).

    Research output: Working paper

  3. Fused Lasso for Feature Selection using Structural Information

    Cui, L., Bai, L. & Hancock, E. R., 26 Feb 2019, (arXiv).

    Research output: Working paper

  4. Learning Vertex Convolutional Networks for Graph Classification

    Bai, L., Cui, L., Wu, S., Jiao, Y. & Hancock, E. R., 26 Feb 2019, (arXiv).

    Research output: Working paper

  5. Multilinear Cryptography using Nilpotent Groups

    Kahrobaei, D., Tortora, A. & Tota, M., 23 Feb 2019, de Gruyter.

    Research output: Working paper

  6. 2018
  7. Graph Convolutional Neural Networks based on Quantum Vertex Saliency

    Bai, L., Jiao, Y., Rossi, L., Cui, L., Cheng, J. & Hancock, E. R., 4 Sep 2018, (arXiv).

    Research output: Working paper

  8. Generalised Reactive Processes in Isabelle/UTP

    Foster, S. D. & Canham, S. J., 6 Apr 2018, (Unpublished) 56 p.

    Research output: Working paper

  9. Theory of Designs in Isabelle/UTP

    Foster, S. D., Nemouchi, Y. & Zeyda, F., 6 Apr 2018, (Unpublished) 47 p.

    Research output: Working paper

  10. Kleene Algebra in Unifying Theories of Programming

    Foster, S. D., 5 Apr 2018, (Unpublished) 6 p.

    Research output: Working paper

  11. Isabelle/UTP: Mechanised Theory Engineering for the UTP

    Foster, S. D., Zeyda, F., Nemouchi, Y., De Oliveira Salazar Ribeiro, P. F. & Wolff, B., 4 Apr 2018, (Unpublished) 162 p.

    Research output: Working paper

  12. 2017
  13. Evidence of coupling between magnon excitation and the Gilbert damping in half-metallic oxides

    Lu, X., Atkinson, L. J., Kuerbanjiang, B., Liu, B., Li, G., Wang, Y., Wang, J., Ruan, X., Wu, J., Evans, R. F. L., Lazarov, V. K., Chantrell, R. W. & Xu, Y., 30 Oct 2017, Arxiv (Cornell University).

    Research output: Working paper

  14. 2016
  15. Super-Additivity and Entanglement Assistance in Quantum Reading

    Lupo, C. & Pirandola, S., 4 Mar 2016.

    Research output: Working paper

  16. Thermal Quantum Metrology

    Spedalieri, G., Braunstein, S. L. & Pirandola, S., 18 Feb 2016.

    Research output: Working paper

Previous 1 2 3 4 Next