Search research publications and outputs

  1. 2020
  2. Semi-Supervised Face Frontalization in the Wild

    Zhang, Z., Liang, R., Chen, X., Xu, X., Hu, G., Zuo, W. & Hancock, E. R., 22 Sep 2020

    Article in Information Forensics and Security, IEEE Transactions on

  3. End-to-End Verifiable E-Voting Trial for Polling Station Voting

    Hao, F., Wang, S., Bag, S., Procter, R., Shahandashti, S. F., Mehrnezhad, M., Toreini, E., Metere, R. & Liu, L., 30 Jul 2020

    Article in IEEE Security & Privacy

  4. Calculating effect sizes in animal social network analysis

    Franks, D. W., Weiss, M. N., Silk, M. J., Perryman, R. J. Y. & Croft, D. P., 21 Jun 2020

    Article in Methods in ecology and evolution

  5. Laser produced electromagnetic pulses: Generation, detection and mitigation

    Consoli, F., Tikhonchuk, V. T., Tikhonchuk, V. T., Bardon, M., Bradford, P., Carroll, D. C., Cikhardt, J., Cikhardt, J., Cipriani, M., Clarke, R. J., Cowan, T. E., Danson, C. N., Danson, C. N., Danson, C. N., De Angelis, R., De Marco, M., Dubois, J. L., Etchessahar, B., Garcia, A. L., Hillier, D. I. & 24 others, Hillier, D. I., Honsa, A., Jiang, W., Kmetik, V., Krása, J., Li, Y., Li, Y., Lubrano, F., McKenna, P., Metzkes-Ng, J., Poyé, A., Prencipe, I., Rączka, P., Smith, R. A., Vrana, R., Woolsey, N. C., Zemaityte, E., Zhang, Y., Zhang, Y., Zhang, Z., Zielbauer, B., Neely, D., Neely, D. & Neely, D., 9 Jun 2020

    Review article in High Power Laser Science and Engineering

  6. Metagame Autobalancing for Competitive Multiplayer Games

    Hernandez, D., Gbadamosi, C., Goodman, J. & Walker, J. A., 5 Jun 2020, Proceedings of the IEEE Conference on Games 2020. IEEE, 8 p.

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

  7. Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles

    Calinescu, R., Cortelessa, V., Stefanakos, I. & Trubiani, C., 17 Mar 2020, 23rd International Conference on Fundamental Approaches to Software Engineering. p. 357-377 21 p.

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

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

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

  11. Dirichlet Densifiers for Improved Commute Times Estimation

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

    Article in Pattern Recognition

  12. Cross-modal Hashing with Semantic Deep Embedding

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

    Article in Neurocomputing

  13. 2018
  14. Quantum-based subgraph convolutional neural networks

    Zhang, Z., Chen, D., Wang, J., Bai, L. & Hancock, E. R., 6 Nov 2018

    Article in Pattern recognition

  15. Analysing RoboChart with probabilities

    Conserva Filho, M. S., Marinho, R., Mota, A. & Woodcock, J., 24 Oct 2018, Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. Massoni, T. & Mousavi, M. R. (eds.). Springer Verlag, p. 198-214 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11254 LNCS).

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

  16. Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems

    Chen, J-J., Nelissen, G., Huang, W-H. K., Yang, M., Brandenburg, B., Bletsas, K., Liu, C., Richard, P., Ridouard, F., Audsley, N. C., Rajkumar, R., de Niz, D. & von der Bruggen, G., 11 Sep 2018

    Article in Real-Time Systems

  17. Analyses of ovarian activity reveal repeated evolution of post-reproductive lifespans in toothed whales

    Ellis, S., Franks, D. W., Nattrass, S., Currie, T., Cant, M. A., Giles, D., Balcomb, K. C. & Croft, D. P., 27 Aug 2018

    Article in Scientific Reports

  18. Cherenkov radiation-based optical fibre diagnostics of fast electrons generated in intense laser-plasma interactions

    Liu, H., Liao, G. Q., Zhang, Y. H., Zhu, B. J., Zhang, Z., Li, Y. T., Scott, G. G., Rusby, D. R., Armstrong, C., Zemaityte, E., Carroll, D. C., Astbury, S., Bradford, P., Woolsey, N. C., McKenna, P. & Neely, D., 8 Aug 2018

    Article in Review of Scientific Instruments

  19. Indifferentiable Authenticated Encryption

    Barbosa, M. & Farshim, P., 25 Jul 2018, Advances in Cryptology – CRYPTO 2018. Vol. 10991. p. 187-220 24 p.

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

Previous 1 2 3 Next