Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 50 out of 7,013Page size: 50
Sort by: Type
  1. Preprint › Research

  2. A Hierarchical Transitive-Aligned Graph Kernel for Un-attributed Graphs

    Bai, L., Cui, L. & Hancock, E. R., 8 Feb 2020, 8 p. (arXiv).

    Research output: Working paper › Preprint

  3. A Manifesto for Applicable Formal Methods

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

    Research output: Working paper › Preprint

  4. A Pattern-based deadlock-freedom analysis strategy for concurrent systems

    Antonino, P., Sampaio, A. & Woodcock, J., 18 Jul 2022, Arxiv (Cornell University).

    Research output: Working paper › Preprint

  5. A Substrate-Independent Framework to Characterise Reservoir Computers

    Dale, M., Miller, J. F., Stepney, S. & Trefzer, M. A., 16 Oct 2018, arXiv, 19 p.

    Research output: Working paper › Preprint

  6. A Survey of Horse Racing Opinions and Perceptions

    Patterson, H. & Hodge, V. J., 7 Jan 2022, SportRxiv.

    Research output: Working paper › Preprint

  7. A Survey of Practical Formal Methods for Security

    Kulik, T., Dongol, B., Larsen, P. G., Macedo, H. D., Schneider, S., Tran-Jørgensen, P. W. V. & Woodcock, J., 3 Sep 2021.

    Research output: Working paper › Preprint

  8. An Evaluation of Classification and Outlier Detection Algorithms

    Hodge, V. J. & Austin, J., 2 May 2018, 4 p.

    Research output: Working paper › Preprint

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

  10. Analytical Methods for High-Rate Global Quantum Networks

    Harney, C. & Pirandola, S., 24 Jan 2022, arXiv.

    Research output: Working paper › Preprint

  11. Automated Verification of Reactive and Concurrent Programs by Calculation

    Foster, S., Ye, K., Cavalcanti, A. & Woodcock, J., 27 Jul 2020.

    Research output: Working paper › Preprint

  12. Automatic Modelling of 3D Craniofacial Form

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

    Research output: Working paper › Preprint

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

  14. Co-evolution of networks and quantum dynamics: a generalization of the Barabási-Albert model of preferential attachment

    Hancock, E., Konno, N., Latora, V., Machida, T., Nicosia, V., Severini, S. & Wilson, R., 4 Feb 2013, Arxiv (Cornell University), 10 p.

    Research output: Working paper › Preprint

  15. Collaborative Knowledge Graph Fusion by Exploiting the Open Corpus

    Wang, Y., Wan, Y., Bai, L., Cui, L., Xu, Z., Li, M., Yu, P. S. & Hancock, E. R., 15 Jun 2022, Arxiv (Cornell University).

    Research output: Working paper › Preprint

  16. Concentric Symmetry

    Silva, F. N., Comin, C. H., Peron, T. K. D., Rodrigues, F. A., Ye, C., Wilson, R. C., Hancock, E. & Costa, L. . F., 1 Jul 2014.

    Research output: Working paper › Preprint

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

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

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

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

  21. From Pluralistic Normative Principles to Autonomous-Agent Rules

    Townsend, B., Paterson, C., Arvind, T. T., Nemirovsky, G., Calinescu, R., Cavalcanti, A. L. C., Habli, I. & Thomas, A. P., 1 May 2022, (Submitted).

    Research output: Working paper › Preprint

  22. From Quantum Graph Computing to Quantum Graph Learning: A Survey

    Tang, Y., Yan, J. & Hancock, E. R., 19 Feb 2022, (CoRR).

    Research output: Working paper › Preprint

  23. From Theory to Behaviour: Towards a General Model of Engagement

    Bonometti, V., Ringer, C., Ruiz, M., Wade, A. & Drachen, A., 27 Apr 2020, 8 p.

    Research output: Working paper › Preprint

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

  25. General Benchmarks for Quantum Repeaters

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

    Research output: Working paper › Preprint

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

  27. HMFlow: Hybrid Matching Optical Flow Network for Small and Fast-Moving Objects

    Yu, S., Zhang, Y., Wang, C., Bai, X., Zhang, L. & Hancock, E. R., 19 Nov 2020.

    Research output: Working paper › Preprint

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

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

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

  31. Learning Safe Neural Network Controllers with Barrier Certificates

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

    Research output: Working paper › Preprint

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

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

  34. MedPerf: Open Benchmarking Platform for Medical Artificial Intelligence using Federated Evaluation

    Karargyris, A., Umeton, R., Sheller, M. J., Aristizabal, A., George, J., Bala, S., Beutel, D. J., Bittorf, V., Chaudhari, A., Chowdhury, A., Coleman, C., Desinghu, B., Diamos, G., Dutta, D., Feddema, D., Fursin, G., Guo, J., Huang, X., Kanter, D., Kashyap, S. & 22 others, Lane, N., Mallick, I., Mascagni, P., Mehta, V., Natarajan, V., Nikolov, N., Padoy, N., Pekhimenko, G., Reddi, V. J., Reina, G. A., Ribalta, P., Rosenthal, J., Singh, A., Thiagarajan, J. J., Wuest, A., Xenochristou, M., Xu, D., Yadav, P., Rosenthal, M., Loda, M., Johnson, J. M. & Mattson, P., 29 Sep 2021, arXiv.

    Research output: Working paper › Preprint

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

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

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

  38. Quantum channel position finding using single photons

    Karsa, A., Carolan, J. & Pirandola, S., 10 Jan 2022.

    Research output: Working paper › Preprint

  39. Reservoir Computing with Thin-film Ferromagnetic Devices

    Dale, M., Evans, R. F. L., Jenkins, S., O'Keefe, S., Sebald, A., Stepney, S., Torre, F. & Trefzer, M., 29 Jan 2021, (arXiv).

    Research output: Working paper › Preprint

  40. Revisiting Domain Generalized Stereo Matching Networks from a Feature Consistency Perspective

    Zhang, J., Wang, X., Bai, X., Wang, C., Huang, L., Chen, Y., Gu, L., Harada, T. & Hancock, E. R., 21 Mar 2022, 17 p.

    Research output: Working paper › Preprint

  41. Revisiting IoT Device Identification

    Kolcun, R., Popescu, D. A., Safronov, V., Yadav, P., Mandalari, A. M., Mortier, R. & Haddadi, H., 14 Sep 2021, IFIP - International Federation for Information Processing.

    Research output: Working paper › Preprint

  42. Situation Coverage Testing for a Simulated Autonomous Car -- an Initial Case Study

    Hawkins, H. R. & Alexander, R., 15 Nov 2019, arXiv.

    Research output: Working paper › Preprint

  43. Super-Additivity and Entanglement Assistance in Quantum Reading

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

    Research output: Working paper › Preprint

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

  45. System Safety Practice: An Interrogation of Practitioners about Their Activities, Challenges, and Views with a Focus on the European Region

    Gleirscher, M. & Nyokabi, A., 2019, (Submitted) (arXiv).

    Research output: Working paper › Preprint

  46. Two-level Graph Neural Network

    Ai, X., Sun, C., Zhang, Z. & Hancock, E. R., 3 Jan 2022.

    Research output: Working paper › Preprint

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

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

  49. Win Prediction in Esports: Mixed-Rank Match Prediction in Multi-player Online Battle Arena Games

    Hodge, V. J., Devlin, S. M., Sephton, N. J., Block, F. O., Drachen, A. & Cowling, P. I., 17 Nov 2017, 1711.06498 ed., arXiv, 7 p.

    Research output: Working paper › Preprint

  50. Conference article › Research › Peer-reviewed

  51. ALL IN ONE NETWORK FOR DRIVER ATTENTION MONITORING

    Yang, D., Li, X., Dai, X., Zhang, R., Qi, L., Zhang, W. & Jiang, Z., May 2020

    Conference article in Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing

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

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