Search research publications and outputs

  1. 2019
  2. 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

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

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

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

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

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

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

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

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

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

  13. Conditional channel simulation

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

    Article in Annals of Physics

  14. 2018
  15. Perceptually Validated Cross-Renderer Analytical BRDF Parameter Remapping

    Guarnera, D., Guarnera, G. C., Toscani, M., Glencross, M., Li, B., Hardeberg, J. Y. & Gegenfurtner, K., 14 Dec 2018

    Article in IEEE Transactions on Visualization and Computer Graphics

  16. Rapid Integration of CPS Security and Safety

    McDermid, J. A., Asplund, F., Oates, R. & Roberts, J., 5 Nov 2018

    Article in IEEE Embedded Systems Letters

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

  18. A review of literature on parallel constraint solving

    Gent, I. P., McCreesh, C., Miguel, I. J., Moore, N., Nightingale, P. W., Prosser, P. & Unsworth, C., Sep 2018

    Article in Theory and Practice of Logic Programming

  19. Interconversion of intrinsic defects in $SrTiO_3(001)$

    Chambers, S. A., Du, Y., Zhu, Z., Wang, J., Wahila, M. J., Piper, L. F. J., Prakash, A., Yue, J., Jalan, B., Spurgeon, S. R., Kepaptsoglou, D. M., Ramasse, Q. M. & Sushko, P. V., 12 Jun 2018

    Article in Physical Review B

  20. Gamma decay of pygmy states in 90,94Zr from inelastic scattering of light ions

    Crespi, F. C. L., Bracco, A., Tamii, A., Blasi, N., Camera, F., Wieland, O., Aoi, N., Balabanski, D., Bassauer, S., Brown, A. S., Carpenter, M. P., Carroll, J. J., Ciemala, M., Czeszumska, A., Davies, P. J., Donaldson, L., Fang, Y., Fujita, H., Gey, G., Hoang, T. H. & 28 others, Ichige, N., Ideguchi, E., Inoue, A., Isaak, J., Iwamoto, C., Jenkins, D. G., Jin, O. H., Klaus, T., Kobayashi, N., Koike, T., Krzysiek, M., Kumar Raju, M., Liu, M., Maj, A., Montanari, D., Morris, L., Noji, S., Pickstone, S. G., Savran, D., Spieker, M., Steinhilber, G., Sullivan, C., Wasilewska, B., Werner, V., Yamamoto, T., Yamamoto, Y., Zhou, X. & Zhu, S., 10 May 2018

    Article in Journal of Physics: Conference Series

  21. Controllable transport of a skyrmion in a ferromagnetic narrow channel with voltage-controlled magnetic anisotropy

    Wang, J., Xia, J., Zhang, X., Zhao, G. P., Ye, L., Wu, J., Xu, Y., Zhao, W., Zou, Z. & Zhou, Y., 25 Apr 2018

    Article in Journal of Physics D: Applied Physics

  22. How the Business Model of Customisable Card Games Influences Player Engagement

    Hodge, V. J., Sephton, N. J., Devlin, S. M., Cowling, P. I., Goumagias, N., Shao, J., Purvis, K., Cabras, I., Fernandes, K. & Li, F., 12 Mar 2018

    Article in IEEE Transactions on Games

  23. Postreproductive lifespans are rare in mammals

    Ellis, S., Franks, D. W., Nattrass, S., Cant, M. A., Bradley, D. L., Giles, D., Balcomb, K. C. & Croft, D., 5 Mar 2018

    Article in Ecology and Evolution

  24. Analyzing Player Networks in Destiny

    Pirker, J., Rattinger, A., Drachen, A. & Sifa, R., Mar 2018

    Article in Entertainment Computing

  25. Unconsciously interactive Films in a cinema environment—a demonstrative case study

    Kirke, A., Williams, D., Miranda, E. R., Bluglass, A., Whyte, C., Pruthi, R. & Eccleston, A., 12 Feb 2018

    Article in Digital Creativity

  26. Verifiable Classroom Voting in Practice

    Hao, F., Clarke, D., Randell, B. & Shahandashti, S. F., 6 Feb 2018

    Article in IEEE Security & Privacy

  27. Online-only friends, real-life friends or strangers? Differential associations with passion and social capital in video game play

    Perry, R., Drachen, A., Kearney, A., Krieglstein, S., Nacke, L. E., Sifa, R., Wallner, G. & Johnson, D., Feb 2018

    Article in Computers in Human Behavior

  28. An analytical framework in LEO mobile satellite systems servicing batched Poisson traffic

    Moscholios, I., Vasilakis, V., Sarigiannidis, P., Sagias, N. & Logothetis, M., 5 Jan 2018

    Article in Iet communications

  29. 2017
  30. Scattering of halo nuclei on heavy targets at energies around the Coulomb barrier: The case of 11Be on 197Au

    Pesudo, V., Borge, M. J. G., Moro, A. M., Lay, J. A., Nácher, E., Gómez-Camacho, J., Tengblad, O., Acosta, L., Alcorta, M., Alvarez, M. A. G., Andreoiu, C., Bender, P. C., Braid, R., Cubero, M., Di Pietro, A., Fernández-García, J. P., Figuera, P., Fisichella, M., Fulton, B. R., Garnsworthy, A. B. & 18 others, Hackman, G., Hager, U., Kirsebom, O. S., Kuhn, K., Lattuada, M., Marquínez-Durán, G., Martel, I., Miller, D., Moukaddam, M., O'Malley, P. D., Perea, A., Rajabali, M. M., Sánchez-Benítez, A. M., Sarazin, F., Scuderi, V., Svensson, C. E., Unsworth, C. & Wang, Z. M., 22 Nov 2017

    Conference article in EPJ Web of Conferences

  31. Exact Speedup Factors and Sub-Optimality for Non-Preemptive Scheduling

    Davis, R. I., Thekkilakattil, A., Gettings, O., Dobrin, R., Punnekkat, S. & Chen, J-J., 28 Oct 2017

    Article in Real-Time Systems

  32. Woven fabric model creation from a single image

    Guarnera, G. C., Hall, P., Chesnais, A. & Glencross, M., 1 Oct 2017

    Article in ACM Transactions on Graphics

  33. Automatically improving constraint models in Savile Row

    Nightingale, P., Akgün, Ö., Gent, I. P., Jefferson, C., Miguel, I. J. & Spracklen, P., Oct 2017

    Article in Artificial Intelligence

  34. Turning models inside out

    Yohannis, A., Kolovos, D. & Polack, F., 17 Sep 2017

    Conference article in CEUR Workshop Proceedings 1403

  35. Programmable dispersion on a photonic integrated circuit for classical and quantum applications

    Notaros, J., Mower, J., Heuck, M., Lupo, C., Harris, N. C., Steinbrecher, G. T., Bunandar, D., Baeher-Jones, T., Hochberg, M., Lloyd, S. & Englund, D., 4 Sep 2017

    Article in Optics Express

  36. Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time

    Jimenez Gil, S., Bate, I., Lima, G., Santinelli, L., Gogonel, A. & Cucu-Grosjean, L., 1 Sep 2017

    Article in IEEE Embedded Systems Letters

  37. Simulation of non-Pauli Channels

    Cope, T., Hetzel, L., Banchi, L. & Pirandola, S., 25 Aug 2017

    Article in Physical Review A

  38. Magnetic domain wall engineering in a nanoscale permalloy junction

    Wang, J., Zhang, X., Lu, X., Zhang, J., Yan, Y., Ling, H., Wu, J., Zhou, Y. & Xu, Y., 14 Aug 2017

    Article in Applied Physics Letters

  39. The Natural Science of Computing

    Horsman, D., Kendon, V. & Stepney, S., Aug 2017

    Article in Communications of the ACM

  40. An extensible framework for multicore response time analysis

    Davis, R. I., Altmeyer, S., Soares Indrusiak, L., Maiza, C., Nelis, V. & Reineke, J., 18 Jul 2017

    Article in Real-Time Systems

  41. Interactive numerals

    Thimbleby, H. & Cairns, P. A., 26 Apr 2017

    Article in Royal Society Open Science

  42. Scattering of the Halo Nucleus Be 11 on Au 197 at Energies around the Coulomb Barrier

    Pesudo, V., Borge, M. J. G., Moro, A. M., Lay, J. A., Nácher, E., Gómez-Camacho, J., Tengblad, O., Acosta, L., Alcorta, M., Alvarez, M. A. G., Andreoiu, C., Bender, P. C., Braid, R., Cubero, M., Di Pietro, A., Fernández-García, J. P., Figuera, P., Fisichella, M., Fulton, B. R., Garnsworthy, A. B. & 18 others, Hackman, G., Hager, U., Kirsebom, O. S., Kuhn, K., Lattuada, M., Marquínez-Durán, G., Martel, I., Miller, D., Moukaddam, M., O'Malley, P. D., Perea, A., Rajabali, M. M., Sánchez-Benítez, A. M., Sarazin, F., Scuderi, V., Svensson, C. E., Unsworth, C. & Wang, Z. M., 12 Apr 2017

    Article in Physical Review Letters

  43. Telephone-supported computerised cognitive-behavioural therapy: REEACT-2 large-scale pragmatic randomised controlled trial

    Gilbody, S., Brabyn, S., Lovell, K., Kessler, D., Devlin, T., Smith, L., Araya, R., Barkham, M., Bower, P., Cooper, C., Knowles, S., Littlewood, E., Richards, D. A., Tallon, D., White, D., Worthy, G. & REEACT collaborative, 2 Mar 2017

    Article in The British journal of psychiatry : the journal of mental science

  44. Fear of predation drives stable and differentiated social relationships in guppies

    Heathcote, R. J. P., Darden, S. K., Franks, D. W., Ramnarine, I. W. & Croft, D. P., 2 Feb 2017

    Article in Scientific Reports

  45. Reproductive Conflict and the Evolution of Menopause in Killer Whales

    Croft, D., Ellis, S., Franks, D. W., Nattrass, S., Johnstone, R. A., Brent, L. J. N., Mazzi, S., Balcomb, K. C., Ford, J. K. B. & Cant, M. A., 23 Jan 2017

    Article in Current Biology

  46. Improving Archaeologists' Online Archive Experiences Through User-Centred Design

    Power, C. D., Lewis, A., Petrie, H., Green, K., Richards, J. D., Eramian, M., Chan, B., Walia, E., Sijaranamual, I. & Rijke, M. D., 3 Jan 2017

    Article in ACM Journal on Computing and Cultural Heritage

  47. The mutual information between graphs

    Escolano, F., Hancock, E. R., Lozano, M. A. & Curado, M., 2017

    Article in Pattern Recognition Letters

  48. 2016
  49. Discriminative Lasso

    Zhang, Z., Xiahou, J., Bai, Z-J., Hancock, E. R., Zhou, D., Chen, S. & Chen, L., 8 Nov 2016

    Article in Cognitive Computation

  50. Exact Response Time Analysis for Fixed Priority Memory-Processor Co-scheduling

    Melani, A., Bertogna, M., Davis, R. I., Bonifaci, V., Marchetti-Spaccamela, A. & Buttazzo, G. C., 3 Oct 2016

    Article in IEEE Transactions on Computers

  51. Element specific spin and orbital moments of nanoscale CoFeB amorphous thin films on GaAs(100)

    Yan, Y., Lu, C., Tu, H., Lu, X., Liu, W., Wang, J., Ye, L., Will, I., Kuerbanjiang, B., Lazarov, V. K., Wu, J., Wong, J., You, B., Du, J., Zhang, R. & Xu, Y., 13 Sep 2016

    Article in RSC Advances

  52. Quantum enigma machine: Experimentally demonstrating quantum data locking

    Lum, D. J., Howell, J. C., Allman, M. S., Gerrits, T., Verma, V. B., Nam, S. W., Lupo, C. & Lloyd, S., 12 Aug 2016

    Article in Physical Review A

  53. Model-based specification of safety compliance needs for critical systems: A holistic generic metamodel

    de la Vara, J. L., Ruiz, A., Attwood, K., Espinoza, H., Panesar-Walawege, R. K., López, Á., del Río, I. & Kelly, T., Apr 2016

    Article in Information and Software Technology

  54. MONDO: Scalable modelling and model management on the Cloud

    Kolovos, D. S., Garcia-Dominguez, A., Paige, R. F., Guerra, E., Cuadrado, J. S., de Lara, J., Ráth, I., Varró, D., Sunyé, G. & Tisi, M., 2016

    Article in CEUR Workshop Proceedings 1403

  55. 2015
  56. CAINE: A Context-Aware Information-Centric Network Ecosystem

    Kamel, G., Wang, N., Vasilakis, V., Sun, Z., Navaratnam, P., Wang, C., Dong, L. & Tafazolli, R., 5 Aug 2015

    Article in Ieee communications magazine

  57. Bayesian spatial NBDA for diffusion data with home-base coordinates

    Nightingale, G. F., Laland, K. N., Hoppitt, W. J. E. & Nightingale, P., 2 Jul 2015

    Article in PLoS ONE

  58. Searching Multiregression Dynamic Models of Resting-State fMRI Networks Using Integer Programming

    Costa, L., Smith, J., Nichols, T., Cussens, J., Duff, E. P. & Makin, T. R., 1 Jun 2015

    Article in Bayesian Analysis

  59. Infusion device standardisation and dose error reduction software

    Iacovides, I., Blandford, A., Cox, A. L., Franklin, B. D., Lee, P. & Vincent, C. J., 9 Feb 2015

    Article in British Journal of Healthcare Management

  60. 2014
  61. The gaming involvement and informal learning framework

    Iacovides, I., McAndrew, P., Scanlon, E. & Aczel, J., 17 Dec 2014

    Article in Simulation & Gaming

  62. Infusion device standardisation and dose error reduction software

    Iacovides, I., Blandford, A., Cox, A. L., Franklin, B. D., Lee, P. & Vincent, C. J., 28 Aug 2014

    Article in British Journal of Nursing

  63. Generating custom propagators for arbitrary constraints

    Gent, I., Jefferson, C., Linton, S., Miguel, I. & Nightingale, P., 1 Jun 2014

    Article in Artificial Intelligence

  64. Qualitative modelling via constraint programming

    Kelsey, T. W., Kotthoff, L., Jefferson, C. A., Linton, S. A., Miguel, I. J., Nightingale, P. W. & Gent, I. P., 1 Apr 2014

    Article in Journal of Constraints

  65. 2013
  66. Parallel file system analysis through application I/O Tracing

    Wright, S. A., Hammond, S. D., Pennycook, S. J., Bird, R. F., Herdman, J. A., Miller, I., Vadgama, A., Bhalerao, A. & Jarvis, S. A., 1 Feb 2013

    Article in Computer Journal

  67. 2012
  68. On the acceleration of wavefront applications using distributed many-core architectures

    Pennycook, S. J., Hammond, S. D., Mudalige, G. R., Wright, S. A. & Jarvis, S. A., 1 Feb 2012

    Article in Computer Journal

  69. 2011
  70. 2010
  71. 2009
  72. 2008
  73. 2007
  74. 2006
  75. 2005
  76. 2004
  77. 2003
  78. 2002
  79. 2001
  80. Learning in multi-agent systems

    Alonso, E., D'Inverno, M., Kudenko, D., Luck, M. & Noble, J., Jun 2001

    Article in The Knowledge Engineering Review

  81. 2000
  82. 1999
  83. 1998
  84. 1997
  85. 1996
  86. 1995