Search research publications and outputs

  1. Preprint › Research
  2. A Manifesto for Applicable Formal Methods

    Gleirscher, M., Pol, J. V. D. & Woodcock, J., 23 Dec 2021.

    Research output: Working paperPreprint

  3. Automatic Modelling of 3D Craniofacial Form

    Pears, N. E. & Duncan, C., 22 Jan 2016, p. 1-57, 57 p.

    Research output: Working paperPreprint

  4. CV-MDI-QKD: One-mode Gaussian attacks are not enough

    Pirandola, S., Ottaviani, C., Spedalieri, G. & Braunstein, S. L., 14 Sep 2015, p. 1-3, 3 p.

    Research output: Working paperPreprint

  5. Cryptanalysis of Song's advanced smart card based password authentication protocol

    Tapiador, J. E., Hernandez-Castro, J. C., Peris-Lopez, P. & Clark, J. A., 11 Nov 2011.

    Research output: Working paperPreprint

  6. Entropic Dynamic Time Warping Kernels for Co-evolving Financial Time Series Analysis

    Bai, L., Cui, L., Xu, L., Wang, Y., Zhang, Z. & Hancock, E. R., 21 Oct 2019, Arxiv (Cornell University).

    Research output: Working paperPreprint

  7. Evaporating black holes have leaky horizons or exotic atmospheres

    L. Braunstein, S. & Pirandola, S., 6 Nov 2013, p. 1-6.

    Research output: Working paperPreprint

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

  9. Fundamental Limits of Repeaterless Quantum Communications

    Pirandola, S., Laurenza, R., Ottaviani, C. & Banchi, L., 29 Oct 2015, p. 1-34, 34 p.

    Research output: Working paperPreprint

  10. General Benchmarks for Quantum Repeaters

    Pirandola, S. & Laurenza, R., 15 Dec 2015, p. 1-12, 12 p.

    Research output: Working paperPreprint

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

  12. How Discord underlies the Noise Resilience of Quantum Illumination

    Weedbrook, C., Pirandola, S., Thompson, J., Vedral, V. & Gu, M., 11 Dec 2013, p. 1-7.

    Research output: Working paperPreprint

  13. Interpreting the von Neumann entropy of graph Laplacians, and coentropic graphs

    de Beaudrap, N., Giovannetti, V., Severini, S. & Wilson, R., 30 Apr 2013, p. 1-7.

    Research output: Working paperPreprint

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

  15. Learning Safe Neural Network Controllers with Barrier Certificates

    Zhao, H., Zeng, X., Chen, T., Liu, Z. & Woodcock, J., 18 Sep 2020, (CoRR).

    Research output: Working paperPreprint

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

  17. Metrics for Computing Trust in a Multi-Agent Environment

    Bista, S. K., Dahal, K. P., Cowling, P. I. & Tuladhar, B. M., 2013.

    Research output: Working paperPreprint

  18. Modular Dynamics of Financial Market Networks

    Silva, F. N., Comin, C. H., Peron, T. K. D., Rodrigues, F. A., Ye, C., Wilson, R. C., Hancock, E. & Costa, L. . F., 21 Jan 2015, p. 1-13, 13 p.

    Research output: Working paperPreprint

  19. Non-Markovian Reactivation of Quantum Relays

    Pirandola, S., Ottaviani, C., Jacobsen, C. S., Spedalieri, G., Braunstein, S. L., Gehring, T. & Andersen, U. L., 27 May 2015, p. 1-7, 7 p.

    Research output: Working paperPreprint

  20. Super-Additivity and Entanglement Assistance in Quantum Reading

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

    Research output: Working paperPreprint

  21. Synthetic Neural Vision System Design for Motion Pattern Recognition in Dynamic Robot Scenes

    Fu, Q., Hu, C., Liu, P. & Yue, S., 2019.

    Research output: Working paperPreprint

  22. Unified framework for the adaptive operator selection of discrete parameters

    Sharma, M., López-Ibáñez, M. & Kazakov, D. L., 12 May 2020, 36 p. (arXiv).

    Research output: Working paperPreprint

  23. Unraveling the Evolution of Defectors in Online Business Games

    Bista, S. K., Dahal, K. P., Cowling, P. I. & Tuladhar, B. M., 2013.

    Research output: Working paperPreprint

  24. Conference article › Research › Peer-reviewed
Previous 1 2 3 4 5 6 7 8 ...221 Next