Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 2021
  2. A Small-Step Operational Semantics for GP 2

    Courtehoute, B. & Plump, D., 21 Dec 2021, Graph Computation Models (GCM 2021), Revised Selected Papers. Hofmann, B. & Minas, M. (eds.). p. 89–110 22 p. (Electronic Proceedings in Theoretical Computer Science ; vol. 350).

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

  3. Implementation of Reduced Precision Integer Epigenetic Networks in Hardware

    Walter, A., Bale, S. J. & Tyrrell, A., 6 Dec 2021, IEEE International Conference on Evolvable Systems. Orlando: IEEE

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

  4. Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving

    Ye, K., Foster, S. & Woodcock, J., 22 Oct 2021, Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Proceedings. Fahrenberg, U., Gehrke, M., Santocanale, L. & Winter, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 465-482 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13027 LNCS).

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

  5. Decision-Tree Based Transceiver Selection for Medium Access Control in Wireless Sensor Networks

    Chau, A., Dawson, J. & Mitchell, P. D., 20 Oct 2021, The 12th International Conference on ICT Convergence. Ramada Plaza Hotel, Jeju Island, Korea, 6 p.

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

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

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

  8. Acoustic Atlas - Auralisation in the Browser

    Van Tonder, C. & Lopez, M. J., 9 Sep 2021, The International Conference on Immersive and 3D Audio: Immersive and 3D Audio: from Architecture to Automotive. IEEE, 5 p.

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

  9. SASSI: Safety Analysis using Simulation-based Situation Coverage for Cobot Systems

    Lesage, B. M. J-R. & Alexander, R., 7 Sep 2021, Proceedings of SafeComp 2021. p. 195-209 (Lecture Notes in Computer Science; vol. 12852).

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

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

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

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

  13. A brief history of short wavelength coherent radiation sources

    Tallents, G. J., 8 Jul 2021, Proceedings: International Conference on X-Ray Lasers 2020. Bleiner, D. (ed.). 7 p. 1188605. (Proceedings of SPIE; vol. 11886).

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

  14. The role of photo-ionization in extreme ultraviolet ablation interactions

    Lolley, J. & Tallents, G. J., 8 Jul 2021, PROCEEDINGS: XVII INTERNATIONAL CONFERENCE ON X-RAY LASERS. 10 p. 118860T. (Proceedings of SPIE; vol. 11886).

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

  15. Time-of-flight mass spectrometer to determine plasma temperature from ablated target surfaces

    Solis Meza, E., Rush, L., Wagenaars, E., Tallents, G. J., Menoni, C. & Rocca, J., 8 Jul 2021, Proceedings: International Conference on X-Ray Lasers 2020: International Conference on X-Ray Lasers 2020. SPIE, Vol. 11886. 8 p. 1188610. (Proceedings of SPIE; vol. 11886).

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

  16. Verifying Graph Programs with Monadic Second-Order Logic

    Wulandari, G. & Plump, D., 18 Jun 2021, Proceedings 14th International Conference on Graph Transformation (ICGT 2021). Gadducci, F. & Kehrer, T. (eds.). Springer, p. 240-261 22 p. (Lecture Notes in Computer Science; vol. 12741).

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

  17. Enhancing the Value of Counterfactual Explanations for Deep Learning

    Jia, Y., McDermid, J. A. & Habli, I., 15 Jun 2021, AIME 2021 : Artificial Intelligence in Medicine in Europe.

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

  18. On the Ethical Limits of Natural Language Processing on Legal Text

    Tsarapatsanis, D. & Aletras, N., 1 Jun 2021, ACL Findings 2021. 10 p.

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

  19. Classification of Failures in the Perception of Conversational Agents (CAs) and their Implications on Patient Safety

    Aftab, H., Hammad Hussain Shah, S. & Habli, I., 29 May 2021, Public Health and Informatics: Proceedings of MIE 2021. Mantas, J., Stoicu-Tivadar, L., Chronaki, C. C., Hasman, A., Weber, P., Gallos, P., Crişan-Vida, M., Zoulias, E. & Sorina Chirila, O. (eds.). IOS Press, Vol. 281. p. 659-663 5 p. (Studies in Health Technology and Informatics).

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

  20. Discounting older disabled people in care homes during the COVID-19 pandemic: The English government’s breaches of care, equality and human rights laws

    Westwood, S., 26 May 2021, Law and Society Association.

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

  21. Are Neural Networks Really the Holy Grail? A Comparison of Multivariate Calibration for Low-cost Environmental Sensors

    Fang, X., Bate, I. J. & Griffin, D. J., 21 May 2021, Science and Technologies for Smart Cities: 6th EAI International Conference, SmartCity360°, Virtual Event, December 2-4, 2020, Proceedings. 1 ed. LNICST: Springer, Vol. 372. p. 442-461

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

  22. Wait, But Why? Assessing Behavior Explanation Strategies for Real-Time Strategy Games

    Robertson, J., Kokkinakis, A., Hook, J. D., Kirman, B., Block, F. O., Ursu, M., Patra, S., Demediuk, S. P., Drachen, A. & Olarewaju, O., 13 May 2021, Proceedings of the 2021 IUI Annual Conference of Intelligent User Interfaces. Association for Computing Machinery (ACM)

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

  23. A Special Interest Group on Designed and Engineered Friction in Interaction

    Gould, S. J. J., Chuang, L. L., Iacovides, I., Garaialde, D., Cecchinato, M. E., Cowan, B. R. & Cox, A. L., 8 May 2021, Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, CHI EA 2021. Association for Computing Machinery (ACM), 4 p. 158. (Conference on Human Factors in Computing Systems - Proceedings).

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

  24. Fast Parametric Model Checking through Model Fragmentation

    Fang, X., Calinescu, R., Gerasimou, S. & Alhwikem, F., 7 May 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). ACM

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

  25. Cross-Supervised Joint-Event-Extraction with Heterogeneous Information Networks

    Wang, Y., Xu, Z., Bai, L., Wan, Y., Cui, L., Zhao, Q., Hancock, E. R. & Yu, P. S., 6 May 2021, 2020 25th International Conference on Pattern Recognition (ICPR). p. 278-285 8 p.

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

  26. Fast Subspace Clustering Based on the Kronecker Product

    Zhou, L., Bai, X., Zhang, L., Zhou, J. & Hancock, E., 6 May 2021, Proceedings 25th International Conference on Pattern Recognition, ICPR 2021, Milan, Italy, January 10-15, 2021. p. 1558-1565 8 p. (International Conference on Pattern Recognition).

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

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