Search research publications and outputs

  1. 2021
  2. InfoVAEGAN : Learning Joint Interpretable Representations by Information Maximization and Maximum Likelihood

    Ye, F. & Bors, A. G., 20 Sep 2021, Proc. IEEE International Conference on Image Processing. IEEE, 5 p.

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

  3. Lifelong Twin Generative Adversarial Networks

    Ye, F. & Bors, A. G., 20 Sep 2021, Proc. of IEEE International Conference on Image Processing (ICIP). IEEE, 5 p.

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

  4. Two-Pathway Style Embedding for Arbitrary Voice Conversion

    Xu, X., Shi, L., Chen, J., Chen, X., Lian, J., Lin, P., Zhang, Z. & Hancock, E. R., 1 Sep 2021, Proc. Interspeech 2021. p. 1364-1368 5 p.

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

  5. Not Very Effective: Validity Issues of the Effectance in Games Scale

    Ballou, N., Breitsohl, H., Kao, D., Gerling, K. & Deterding, C. S., 25 Aug 2021, (Accepted/In press) xtended Abstracts of the 2021 Annual Symposium on Computer-Human Interaction in Play (CHI PLAY ’21),. Association for Computing Machinery, Inc, 6 p.

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

  6. Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL

    Foster, S., Hur, C-K. & Woodcock, J., 13 Aug 2021, International Conference on Concurrency Theory (CONCUR 2021). (LIPIcs).

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

  7. Model-Driven Simulation-Based Analysis for Multi-Robot Systems

    Harbin, J. R., Gerasimou, S., Matragkas, N., Zolotas, A. & Calinescu, R., 1 Aug 2021, (E-pub ahead of print) MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS).

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

  8. Cryptanalysis of Semidirect Product Key Exchange Using Matrices Over Non-Commutative Rings

    Battarbee, C., Kahrobaei, D. & Shahandashti, S. F., 26 Jul 2021, (Accepted/In press) MathCrypt 2021.

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

  9. What is a Parasite? Defining reaction and network properties in an open ended automata chemistry

    Stepney, S. & Hickinbotham, S. J., 19 Jul 2021, Artificial Life Conference Proceedings. p. 598-606 9 p.

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

  10. Model-Based Development of Engine Control Systems: Experiences and Lessons Learnt

    Cooper, J., De La Vega, A., Paige, R. F., Kolovos, D., Michael, B., Brown, C., Sanchez Pina, B. A. & Hoyos Rodriguez, H., 11 Jul 2021, (Accepted/In press) ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems.

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

  11. Performance and Usability of Visual and Verbal Verification of Word-based Key Fingerprints

    Livsey, L., Petrie, H., Shahandashti, S. F. & Fray, A., 8 Jul 2021, (E-pub ahead of print) International Symposium on Human Aspects of Information Security & Assurance, Proceedings. Springer, Vol. 613. p. 199 210 p.

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

Previous 1 2 3 4 5 6 7 8 ...45 Next