Search research publications and outputs

  1. Conference contribution › Research
  2. Articulatory Text-to-Speech Synthesis Using the Digital Waveguide Mesh Driven by a Deep Neural Network

    Gully, A. J., Yoshimura, T., Murphy, D. T., Hashimoto, K., Nankaku, Y. & Tokuda, K., 2017, Interspeech 2017. ISCA-INST SPEECH COMMUNICATION ASSOC, p. 234-238 (INTERSPEECH).

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

  3. Artificial bee colony-inspired run-time task management for many-core systems

    Abuassal, A. M. A., Tempesti, G. & Trefzer, M. A., 30 Nov 2018, 2018 IEEE Symposium Series on Computational Intelligence (SSCI). USA: I E E E, p. 1084-1091 8 p.

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

  4. Assessing the performance of ZigBee in a reverberant environment using a mode stirred chamber

    Hope, D., Dawson, J., Marvin, A., Panitz, M., Christopoulos, C. & Sewell, P., 2008, IEEE INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC COMPATIBILITY 2008 . Detroit, USA: IEEE, Vol. 1-3. p. 609-614 6 p.

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

  5. Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems

    Picardi, C., Paterson, C., Hawkins, R. D., Calinescu, R. & Habli, I., 27 Feb 2020, Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2020). CEUR Workshop Proceedings, p. 23-30 (CEUR Workshop Proceedings; vol. 2560).

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

  6. Assured Reinforcement Learning for Safety-Critical Applications

    Mason, G. R., Calinescu, R. C., Kudenko, D. & Banks, A., 2017, Doctoral Consortium at the 10th International Conference on Agents and Artificial Intelligence. SciTePress, 8 p.

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

  7. Assured Reinforcement Learning with Formally Verified Abstract Policies

    Mason, G. R., Calinescu, R. C., Kudenko, D. & Banks, A., 2017, 9th International Conference on Agents and Artificial Intelligence (ICAART).

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

  8. Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence

    Attieh, S. W. A., Dang, N., Jefferson, C., Miguel, I. & Nightingale, P., 10 Aug 2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, p. 1056-1063 8 p.

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

  9. Atomic oxygen and hydroxyl density measurements in an atmospheric pressure RF-plasma with water admixtures using UV and synchrotron VUV absorption spectroscopy

    Schröter, S., Foucher, M., Niemi, K., Dedrick, J. P., de Oliveira, N., Joyeux, D., Nahon, L., Wagenaars, E., Gans, T., Booth, J-P. & O'Connell, D., 2015, Proc 22nd ISPC. 4 p.

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

  10. Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem

    Plump, D. & Hristakiev, I., 3 Dec 2016, Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops, Revised Selected Papers. Milazzo, P., Wimmer, M. & Varró, D. (eds.). Springer, Vol. 9946. p. 145-160 16 p. (Lecture Notes in Computer Science; vol. 9946).

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

  11. Authoring Object-Based Video Narratives

    Smith, D., Hook, J. D. & Ursu, M., 21 Jun 2018, Adjunct Proceedings of ACM TVX 2018.

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

Previous 1...4 5 6 7 8 9 10 11 ...59 Next