Search research publications and outputs

  1. 2020
  2. Convex optimization of programmable quantum computers

    Banchi, L., Pereira, J., Lloyd, S. & Pirandola, S., 19 May 2020

    Article in npj Quantum Information

  3. Microwave quantum illumination using a digital receiver

    Barzanjeh, S., Pirandola, S., Vitali, D. & Fink, J., 8 May 2020

    Article in Science Advances

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

  5. Learning Spatio-Temporal Representations with Temporal Squeeze Pooling

    Huang, G. & Bors, A. G., May 2020, Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP). IEEE, 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Learning Aligned-Spatial Graph Convolutional Networks for Graph Classification

    Bai, L., Jiao, Y., Cui, L. & Hancock, E. R., 30 Apr 2020, Machine Learning and Knowledge Discovery in Databases. Brefeld, U., Fromont, E., Hotho, A., Knobbe, A., Maathuis, M. & Robardet, C. (eds.). Cham: Springer International Publishing, p. 464-482 19 p. (Lecture Notes in Computer Science; vol. 11906).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. MCS-IOV: Real-time I/o virtualization for mixed-criticality systems

    Jiang, Z., Audsley, N., Dong, P., Guan, N., Dai, X. & Wei, L., 3 Apr 2020, Proceedings - 2019 IEEE 40th Real-Time Systems Symposium, RTSS 2019. Institute of Electrical and Electronics Engineers Inc., p. 326-338 13 p. 9052193. (Proceedings - Real-Time Systems Symposium; vol. 2019-December).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Automated Algebraic Reasoning for Collections and Local Variables with Lenses

    Foster, S. D. & Baxter, J., 1 Apr 2020, 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). Lecture Notes in Computer Science, 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL

    Munive, J. H. Y., Struth, G. & Foster, S. D., 1 Apr 2020, 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). Lecture Notes in Computer Science, 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Global inorganic nitrate production mechanisms: comparison of a global model with nitrate isotope observations

    Alexander, B., Sherwen, T., D Holmes, C., A Fisher, J., Chen, Q., J Evans, M. & Kasibhatla, P., 31 Mar 2020

    Article in Atmospheric Chemistry and Physics

  11. CPS-oriented modeling and control of traffic signals using adaptive back pressure

    Chang, W., Roy, D., Zhao, S., Annaswamy, A. & Chakraborty, S., 13 Mar 2020, Design, Automation and Test in Europe Conference (DATE).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. Terahertz quantum cryptography

    Ottaviani, C., Woolley, M. J., Erementchouk, M., Federici, J. F., Mazumder, P., Pirandola, S. & Weedbrook, C., Mar 2020

    Article in IEEE Journal on Selected Areas in Communication

  13. Effects of Sea Salt Aerosol Emissions for Marine Cloud Brightening on Atmospheric Chemistry: Implications for Radiative Forcing

    Horowitz, H. M., Holmes, C., Wright, A., Sherwen, T., Wang, X., Evans, M., Huang, J., Jaeglé, L., Chen, Q., Zhai, S. & Alexander, B., 28 Feb 2020

    Article in Geophysical Research Letters

  14. Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems

    Picardi, C., Paterson, C., Hawkins, R. D., Calinescu, R. & Habli, I., 27 Feb 2020, Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2020). CEUR Workshop Proceedings, p. 23-30 (CEUR Workshop Proceedings; vol. 2560).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Multilinear cryptography using nilpotent groups

    Kahrobaei, D., Tortora, A. & Tota, M., 26 Feb 2020, Elementary Theory of Groups and Group Rings, and Related Topics: Proceedings of the Conference held at Fairfield University and at the Graduate Center, CUNY, November 1-2, 2018. Baginski, P., Fine, B., Moldenhauer, A., Rosenberger, G. & Vladimir, S. (eds.). de Gruyter, p. 127-134 (De Gruyter Proceedings in Mathematics).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

  17. Human Factors of Using Artificial Intelligence in Healthcare: Challenges That Stretch Across Industries

    Sujan, M., Furniss, D., Hawkins, R. D. & Habli, I., Feb 2020, Safety-Critical Systems Symposium.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. Modular Safety Cases for the Assurance of Industry 4.0

    Jaradat, O., Sljivo, I., Hawkins, R. D. & Habli, I., Feb 2020, Safety-Critical Systems Symposium.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. Safety Assurance Objectives for Autonomous Systems

    Alexander, R., Asgari, H., Ashmore, R., Banks, A., Bongirwar, R., Bradshaw, B., Bragg, J., Clegg, J., Fenn, J., Harper, C., Harvey, D., Johnson, N., Menon, C., Rivett, R. S., Ryan, P., Sujan, M., Tudor, N. & Tushingham, S., Feb 2020, 2.0 ed. Safety Critical Systems Club. 112 p.

    Research output: Book/ReportBook

  20. How Players Learn Team-versus-Team Esports: First Results from A Grounded Theory Study

    Hesketh, J., Deterding, C. S. & Gow, J., 31 Jan 2020, DiGRA'20 Abstract - Proceedings of the 2020 DiGRA International Conference. Tampere, (DiGRA conference proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. InverseRenderNet: Learning single image inverse rendering

    Yu, Y. & Smith, W. A. P., 9 Jan 2020, IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). p. 3150-3159 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. Importance-Driven Deep Learning System Testing

    Gerasimou, S., Eniser, H. F. & Sen, A., 2020, 42nd International Conference on Software Engineering.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. Secure and Efficient Delegation of Elliptic-Curve Pairing

    Kahrobaei, D., Di Crescenzo, G., Khodjaeva, M. & Shpilrain, V., 2020, ACNS 2020, Applied Cryptography and Network Security. Lecture Notes in Computer Science 682, Springer-Verlag, 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. 2019
  25. Postreproductive Killer Whale Grandmothers Improve the Survival of their Grandoffspring

    Nattrass, S., Croft, D. P., Ellis, S., Cant, M. A., Weiss, M. N., Wright, B., Stredulinsky, E., Doniol-Valcroze, T., Ford, J. K. B., Balcomb, K. C. & Franks, D. W., 26 Dec 2019

    Article in Proceedings of the National Academy of Sciences of the United States of America

  26. Work-In-Progress: Real-Time RPC for Hybrid Dual-OS System

    Pan, D., Jiang, Z., Burns, A., Ding, Y. & Ma, J., 15 Dec 2019, 2019 IEEE Real-Time Systems Symposium (RTSS). IEEE, p. 1-4 4 p. (Real-Time Systems Symposium (RTSS)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  27. Co-created evaluation: Identifying how games support police learning

    Adams, A., Hart, J., Iacovides, I., Beavers, S., Oliveira, M. & Magroudi, M., 1 Dec 2019

    Article in International Journal of Human Computer Studies

  28. Human factors challenges for the safe use of artificial intelligence in patient care

    Sujan, M., White, S., Furniss, D., Habli, I., Grundy, K., Grundy, H., Nelson, D., Elliott, M. & Reynolds, N., 27 Nov 2019

    Article in BMJ Health and Care Informatics

  29. Why is it so difficult to govern mobile apps in healthcare?

    Magrabi, F., Habli, I., Sujan, M., Wong, D., Thimbleby, H., Baker, M. & Coiera, E., 18 Nov 2019

    Article in BMJ Health and Care Informatics

  30. A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic

    Hoare, T., Struth, G. & Woodcock, J. C. P., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & A. S. (eds.). Lecture Notes in Computer Science, Vol. 11885.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  31. Probabilistic Semantics for RoboChart A Weakest Completion Approach

    Woodcock, JAMES. C. P., Cavalcanti, A. L. C., Foster, S. D. & Mota, A., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & Sampaio, A. (eds.). Lecture Notes in Computer Science, Vol. 11885.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  32. “Horror, guilt and shame” – Uncomfortable Experiences in Digital Games

    Gowler, C. P. R. & Iacovides, I., 17 Oct 2019, CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 325-337 13 p. (CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  33. “One of the baddies all along”: Moments that challenge a player’s perspective

    Whitby, M. A., Deterding, S. & Iacovides, I., 17 Oct 2019, CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 339-350 12 p. (CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  34. Half-lives of Sr 73 and y 76 and the consequences for the proton dripline

    Sinclair, L., Wadsworth, R., Dobaczewski, J., Pastore, A., Lorusso, G., Suzuki, H., Ahn, D. S., Baba, H., Browne, F., Davies, P. J., Doornenbal, P., Estrade, A., Fang, Y., Fukuda, N., Henderson, J., Isobe, T., Jenkins, D. G., Kubono, S., Li, Z., Lubos, D. & 14 others, Nishimura, S., Nishizuka, I., Patel, Z., Rice, S., Sakurai, H., Shimizu, Y., Schury, P., Takeda, H., Söderström, P. A., Sumikama, T., Watanabe, H., Werner, V., Wu, J. & Xu, Z. Y., 16 Oct 2019

    Article in Physical Review C

  35. Integrating Existing Safety Analyses into SysML

    Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 11 Oct 2019, Model-Based Safety and Assessment (IMBSA) 2019: Lecture Notes in Computer Science. Papadopoulos, Y., Aslansefat, K. & Katsaros, P. (eds.). 2019 ed. Springer Nature , Vol. 11842. p. 63-77 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

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