Search research publications and outputs

  1. Article › Research › Not peer-reviewed
  2. Article › Research › Peer-reviewed
  3. Cross-modal Hashing with Semantic Deep Embedding

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

    Article in Neurocomputing

  4. Dirichlet Densifiers for Improved Commute Times Estimation

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

    Article in Pattern Recognition

  5. Fine structure in the α decay of 223U

    Sun, M. D., Liu, Z., Huang, T. H., Zhang, W. Q., Andreyev, A. N., Ding, B., Wang, J. G., Liu, X. Y., Lu, H. Y., Hou, D. S., Gan, Z. G., Ma, L., Yang, H. B., Zhang, Z. Y., Yu, L., Jiang, J., Wang, K. L., Wang, Y. S., Liu, M. L., Li, Z. H. & 12 others, Li, J., Wang, X., Feng, A. H., Lin, C. J., Sun, L. J., Ma, N. R., Zuo, W., Xu, H. S., Zhou, X. H., Xiao, G. Q., Qi, C. & Zhang, F. S., 14 Nov 2019

    Article in Physics Letters B

  6. Learning Binary Code for Fast Nearest Subspace Search

    Zhou, L., Xiao, B., Liu, X., Zhou, J. & Hancock, E. R., 12 Sep 2019

    Article in Pattern Recognition

  7. Post-reproductive 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., 9 Dec 2019

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

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

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

  10. Editorial › Research › Peer-reviewed
  11. Special issue › Research › Peer-reviewed
  12. Conference contribution › Research
  13. DeepFault: Fault Localization for Deep Neural Networks

    Gerasimou, S., Eniser, H. F. & Sen, A., 15 Feb 2019, 22nd International Conference on Fundamental Approaches to Software Engineering. Springer-Verlag

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

  14. Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods

    Nemouchi, Y., Foster, S. D., Gleirscher, M. & Kelly, T. P., 22 Nov 2019, Integrated Formal Methods: Proceedings of the 15th International Conference. Springer International Publishing, Vol. 11918. p. 379-398 20 p. (LNCS).

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