Search research publications and outputs

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

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

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

  5. Cross-modal Hashing with Semantic Deep Embedding

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

    Article in Neurocomputing