Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 25 out of 5,584Page size: 25
Sort by: Type
  1. Preprint › Research

  2. A Manifesto for Applicable Formal Methods

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

    Research output: Working paper › Preprint

  3. Analysing Ultra-Wide Band Positioning for Geofencing in a Safety Assurance Context

    Hodge, V. J., Hawkins, R. D., Hilder, J. A. & Habli, I., 11 Mar 2022.

    Research output: Working paper › Preprint

  4. Automatic Modelling of 3D Craniofacial Form

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

    Research output: Working paper › Preprint

  5. 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 paper › Preprint

  6. 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 paper › Preprint

  7. 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 paper › Preprint

  8. Evaporating black holes have leaky horizons or exotic atmospheres

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

    Research output: Working paper › Preprint

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

  10. 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 paper › Preprint

  11. General Benchmarks for Quantum Repeaters

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

    Research output: Working paper › Preprint

  12. 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 › Preprint

  13. 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 paper › Preprint

  14. 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 paper › Preprint

  15. 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 › Preprint

  16. 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 paper › Preprint

  17. 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 › Preprint

  18. 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 paper › Preprint

  19. 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 paper › Preprint

  20. 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 paper › Preprint

  21. Super-Additivity and Entanglement Assistance in Quantum Reading

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

    Research output: Working paper › Preprint

  22. 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 paper › Preprint

  23. 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 paper › Preprint

  24. 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 paper › Preprint

  25. Conference article › Research › Peer-reviewed

  26. An approach for efficient querying of large relational datasets with OCL-based languages

    Kolovos, D. S., Wei, R. & Barmpis, K., 2013

    Conference article in CEUR Workshop Proceedings

  27. Architecture for dynamically reconfigurable real-time lossless compression

    Carter, A. J. & Audsley, N. C., 1 Dec 2004

    Conference article in Proceedings of SPIE - The International Society for Optical Engineering

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