Search research publications and outputs

  1. Article › Research › Not peer-reviewed
  2. Article › Research › Peer-reviewed
  3. A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems

    Maiza, C., Rihani, H., Rivas, J., goossens, J., Altmeyer, S. & Davis, R. I., Jul 2019

    Article in ACM Comput. Surv.

  4. Active versus expectant management for women in the third stage of labour

    Begley, C. M., Gyte, G. M., Devane, D., McGuire, W., Weeks, A. & Biesty, L. M., 13 Feb 2019

    Article in Cochrane Database of Systematic Reviews

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

  6. Conditional channel simulation

    Pirandola, S., Laurenza, R. & Banchi, L., Jan 2019

    Article in Annals of Physics

  7. Cross-modal Hashing with Semantic Deep Embedding

    Yan, C., Bai, X., Wang, S., Zhou, J. & Hancock, E. R., 23 Jan 2019

    Article in Neurocomputing

  8. Deep Supervised Hashing using Symmetric Relative Entropy

    Zhang, X., Zhou, L., Bai, X., Luan, X., Luo, J. & Hancock, E. R., 11 Jul 2019

    Article in Pattern Recognition Letters

  9. Dirichlet Densifiers for Improved Commute Times Estimation

    Curado, M., Escolano, F., Lozano, M. A. & Hancock, E. R., 19 Feb 2019

    Article in Pattern Recognition

  10. Do professional facial image comparison training courses work?

    Towler, A., Kemp, R. I., Mike Burton, A., Dunn, J. D., Wayne, T., Moreton, R. & White, D., 1 Feb 2019

    Article in PLoS ONE

  11. Enabled Players: the value of accessible digital games

    Cairns, P. A., Power, C., Barlet, M., Haynes, G., Kaufman, C. & Beeston, J. T., 12 Nov 2019, (Accepted/In press)

    Article in Games and Culture

  12. Femtosecond laser-heating effect on the magnetization dynamics in perpendicularly magnetized Ta/CoFeB/MgO film

    Liu, B., Yang, L., Ruan, X., Cai, J. W., He, L., Meng, H., Wu, J. & Xu, Y., 29 May 2019

    Article in New Journal of Physics

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

  14. High fusion performance in Super H-mode experiments on Alcator C-Mod and DIII-D

    Snyder, P. B., Hughes, J. W., Osborne, T. H., Paz-Soldan, C., Solomon, W. M., Knolker, M., Eldon, D., Evans, T., Golfinopoulos, T., Grierson, B. A., Groebner, R. J., Hubbard, A. E., Kolemen, E., Labombard, B., Laggner, F. M., Meneghini, O., Mordijck, S., Petrie, T., Scott, S., Wang, H. Q. & 2 others, Wilson, H. R. & Zhu, Y. B., 24 Jun 2019

    Article in Nuclear Fusion

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

  16. Multi-core cyclic executives for safety-critical systems

    Deutschbein, C., Fleming, T. D., Burns, A. & Baruah, S., 1 Mar 2019

    Article in Science of Computer Programming

  17. Multimillijoule coherent terahertz bursts from picosecond laser-irradiated metal foils

    Liao, G., Li, Y., Liu, H., Scott, G. G., Neely, D., Zhu, B., Armstrong, C., Zhang, Z., Zemaityte, E., Bradford, P., Huggard, P. G., Rusby, D. R., McKenna, P., Brenner, C. M., Woolsey, N. C., Zhang, Y., Wang, W., Sheng, Z. & Zhang, J., 5 Mar 2019

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

  18. Polar Transformation on Image Features for Orientation-Invariant Representations

    Chen, J., Lue, Z., Zhang, Z., Huang, F., Ye, Z., Tagiuchi, T. & Hancock, E. R., Feb 2019

    Article in IEEE Transactions on Multimedia

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

  20. Single Image Super Resolution via Neighbor Reconstruction

    Zhang, Z., Xu, C., Zhang, Z., Chen, G., Cai, Y., Wang, Z., Li, H. & Hancock, E. R., 22 Apr 2019

    Article in Pattern Recognition Letters

  21. Social preferences and network structure in a population of reef manta rays

    Perryman, R. J. Y., Venables, S. K., Tapilatu, R. F., Marshall, A. D., Brown, C. & Franks, D. W., 22 Aug 2019

    Article in Behavioral Ecology and Sociobiology

  22. Supporting engagement in research through a game design competition

    Iacovides, I., Cox, A. L., Furniss, D., Stawarz, K., Jennett, C. & Adams, A., 1 Feb 2019

    Article in Research for All

  23. Toward the limit of nuclear binding on the N=Z line: Spectroscopy of Cd 96

    Davies, P. J., Park, J., Grawe, H., Wadsworth, R., Gernhäuser, R., Krücken, R., Nowacki, F., Ahn, D. S., Ameil, F., Baba, H., Bäck, T., Blank, B., Blazhev, A., Boutachkov, P., Browne, F., Čeliković, I., Dewald, M., Doornenbal, P., Faestermann, T., Fang, Y. & 60 others, De France, G., Fukuda, N., Gengelbach, A., Gerl, J., Giovinazzo, J., Go, S., Goel, N., Górska, M., Gregor, E., Hotaka, H., Ilieva, S., Inabe, N., Isobe, T., Jenkins, D. G., Jolie, J., Jung, H. S., Jungclaus, A., Kameda, D., Kim, G. D., Kim, Y. K., Kojouharov, I., Kubo, T., Kurz, N., Lewitowicz, M., Lorusso, G., Lubos, D., Maier, L., Merchan, E., Moschner, K., Murai, D., Naqvi, F., Nishibata, H., Nishimura, D., Nishimura, S., Nishizuka, I., Patel, Z., Pietralla, N., Rajabali, M. M., Rice, S., Sakurai, H., Schaffner, H., Shimizu, Y., Sinclair, L. F., Söderström, P. A., Steiger, K., Sumikama, T., Suzuki, H., Takeda, H., Taprogge, J., Thöle, P., Valder, S., Wang, Z., Warr, N., Watanabe, H., Werner, V., Wu, J., Xu, Z. Y., Yagi, A., Yoshinaga, K. & Zhu, Y., 11 Feb 2019

    Article in Physical Review C

  24. Variability management in safety‐critical systems design and dependability analysis

    De Oliveira, A., Bessi, R., Masiero, P. C., Parker, D., Papadopoulos, Y., Habli, I. & Kelly, T., 12 Aug 2019

    Article in Journal of Software: Evolution and Process

  25. Verified simulation for robotics

    Cavalcanti, A., Sampaio, A., Miyazawa, A., Ribeiro, P., Filho, M. C., Didier, A., Li, W. & Timmis, J., 11 Jan 2019

    Article in Science of Computer Programming

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

  27. Special issue › Research › Peer-reviewed
  28. Book › Research
  29. Safety Assurance Objectives for Autonomous Systems

    Alexander, R., Ashmore, R., Banks, A., Bradshaw, B., Bragg, J., Clegg, J., Harper, C., Menon, C., Rivett, R. S., Ryan, P., Tudor, N., Tushingham, S., Birch, J., Burski, L., Coley, T., Lewis, N., Neal, K., Price, A., Reid, S., Simpson, A. & 1 others, Steel, R., Feb 2019, 1.0 ed. Safety Critical Systems Club. 66 p.

    Research output: Book/ReportBook

  30. Other report › Research
  31. Certification of Highly Automated Vehicles for Use on UK Roads: Creating An Industry-Wide Framework for Safety

    Koopman, P., Hierons, R., Khastgir, S., Clark, J., Fisher, M., Alexander, R., Eder, K., Thomas, P., Barrett, G., Torr, P., Blake, A., Ramamoorthy, S. & McDermid, J. A., Oct 2019, Five AI Ltd.

    Research output: Book/ReportOther report

Previous 1 2 Next