Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 25 out of 5,872Page size: 25
  1. 2018

  2. Converse bounds for quantum and private communication over Holevo-Werner channels

    Cope, T. P. W., Goodenough, K. & Pirandola, S. 18 Oct 2018 (Accepted/In press)

    Article in Journal of Physics A: Mathematical and Theoretical

  3. Thermal quantum metrology in memoryless and correlated environments

    Spedalieri, G., Lupo, C., Braunstein, S. L. & Pirandola, S. 16 Oct 2018

    Article in Quantum Sci. Technol.

  4. Finite-resource teleportation stretching for continuous-variable systems

    Laurenza, R., Braunstein, S. L. & Pirandola, S. 15 Oct 2018

    Article in Scientific Reports

  5. TACO: An industrial case study of Test Automation for COverage

    Lesage, B. M. J-R., Law, S. A. & Bate, I. J. 10 Oct 2018 Proceedings of the 26th International Conference on Real-Time Networks and Systems. ACM, p. 114-124 11 p. (RTNS'18)

    Research output: Research › Conference contribution

  6. Angelic Processes for CSP via the UTP

    De Oliveira Salazar Ribeiro, P. F. & Cavalcanti, A. L. C. 8 Oct 2018 (Accepted/In press)

    Article in Theoretical Computer Science

  7. Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

    Foster, S. D., Baxter, J. E., Cavalcanti, A. L. C., Miyazawa, A. H. & Woodcock, J. A. M. E. S. C. P. 5 Oct 2018 15th International Conference on Formal Aspects of Component Software. Lecture Notes in Computer Science, 18 p.

    Research output: Research › Conference contribution

  8. Pointers Inside Lambda Closure Objects in OpenMP Target Offload Regions

    Truby, D., Bertolli, C., Wright, S. A., Bercea, G-T., O'Brien, K. & Jarvis, S. 1 Oct 2018 (Accepted/In press) Proceedings of the Fifth Workshop on the LLVM Compiler Infrastructure in HPC: Workshop held in conjunction with SC18. 8 p. (Technical Consortium on High Performance Computing)

    Research output: Research › Conference contribution

  9. A Game that Makes You Question...” Exploring the Role of Reflection for the Player Experience

    Mekler, E., Iacovides, I. & Bopp, J. Oct 2018 Proceedings of the annual ACM Conference CHI Play 2018. ACM

    Research output: Research › Conference contribution

  10. Thermodynamic Analysis of Time Evolving Networks

    Ye, C., Wilson, R. C., Rossi, L., Torsello, A. & Hancock, E. R. 28 Sep 2018 (Accepted/In press)

    Article in Entropy

  11. Teleportation simulation of bosonic Gaussian channels: Strong and uniform convergence

    Pirandola, S., Laurenza, R. & Braunstein, S. L. 25 Sep 2018

    Article in EUROPEAN PHYSICAL JOURNAL D

  12. Requirements in digital forensics method definition: Observations from a UK study

    Marshall, A. M. & Paige, R. 20 Sep 2018

    Article in Digital Investigation

  13. The Moral Responsibility Gap and the Increasing Autonomy of Systems

    Porter, Z. L. M., Habli, I., Monkhouse, H. E. & Bragg, J. E. 18 Sep 2018

    Research output: Research - peer-review › Paper

  14. Validity Threats in Quantitative Data Collection with Games: A Narrative Survey

    Gundry, D. E. & Deterding, C. S. 17 Sep 2018 (Accepted/In press)

    Article in Simulation & Gaming

  15. Non-rigid 3D Shape Registration using an Adaptive Template

    Dai, H., Pears, N. E. & Smith, W. A. P. 14 Sep 2018 15 p.

    Research output: Research - peer-review › Paper

  16. Supporting engagement in research through a game design competition

    Iacovides, I. 12 Sep 2018 (Accepted/In press)

    Article in Research for All

  17. Gaussian one-way thermal quantum cryptography with finite-size effects

    Papanastasiou, P., Ottaviani, C. & Pirandola, S. 11 Sep 2018

    Article in Physical Review A

  18. Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems

    Chen, J-J., Nelissen, G., Huang, W-H. K., Yang, M., Brandenburg, B., Bletsas, K., Liu, C., Richard, P., Ridouard, F., Audsley, N. C., Rajkumar, R., de Niz, D. & von der Bruggen, G. 11 Sep 2018

    Article in Real-Time Systems

  19. BookLeaf: An Unstructured Hydrodynamics Mini-application

    Truby, D., Wright, S. A., Kevis, R., Maheswaran, S., Herdman, A. & Jarvis, S. A. 10 Sep 2018 8 p.

    Research output: Research - peer-review › Paper

  20. Lost at the Edge of Uncertainty: Measuring Player Experience in Digital Games

    Power, C. D., Cairns, P. A., Denisova, A., Papaioannou, T. & Gultrom, R. 10 Sep 2018

    Article in International Journal of Human-Computer Interaction

  21. Service Level Agreements for Safe and Configurable Production Environments

    Ashjaei, M., Clegg, K., Corneo, L., Hawkins, R. D., Jaradat, O. T. S., Gulisano, V. & Nikolakopoulos, Y. 7 Sep 2018 International Conference on Emerging Technologies and Factory Automation: Work in Progress Session (ETFA-WiP'18). IEEE, p. 1-4 4 p.

    Research output: Research › Conference contribution

  22. What is the Safety Case for Health IT? A Study of Assurance Practices in England

    Habli, I., White, S. P., Sujan, M., Harrison, S. & Ugarte, M. 7 Sep 2018

    Article in Safety science

  23. A Wave Packet Signature for Complex Networks

    Aziz, F., Wilson, R. C. & Hancock, E. R. 5 Sep 2018

    Article in Journal of Complex Networks

  24. Quantum enhanced measurements without entanglement

    Braun, D., Adesso, G., Benatti, F., Floreanini, R., Marzolino, U., Mitchell, M. W. & Pirandola, S. 5 Sep 2018

    Article in Reviews of Modern Physics

  25. Performance Assessment of Recursive Probability Matching for Adaptive Operator Selection in Differential Evolution

    Sharma, M., López-Ibáñez, M. & Kazakov, D. L. Sep 2018 15th Intl Conf. on Parallel Problem Solving from Nature: (PPSN 2018). SPRINGER-VERLAG BERLIN, p. 321-333 13 p. (LNCS)

    Research output: Research › Chapter

  26. What is Acceptably Safe for Reinforcement Learning?

    Bragg, J. E. & Habli, I. Sep 2018

    Research output: Research - peer-review › Paper

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