Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 2019
  2. Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints

    Ansótegui, C., Bofill, M., Coll, J., Dang, N., Esteban, J. L., Miguel, I. J., Nightingale, P., Salamon, A. Z., Suy, J. & Villaret, M., 30 Sep 2019, Proceedings of the 25th International Conference on Principles and Practice of Constraint Programming. Springer, p. 20-36 17 p.

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

  3. New Directions: The Passion of Cleopatra: Her Sexuality, Suffering and Resurrections in The Mummy and Ramses the Damned

    Olive, S. E., 30 Sep 2019, Antony and Cleopatra: A Critical Reader. Arden Shakespeare

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Hybrid Relations in Isabelle/UTP

    Foster, S. D., 23 Sep 2019, 7th International Symposium on Unifying Theories of Programming (UTP). Springer, p. 130-153 24 p. (Lecture Notes in Computer Science; vol. 11885).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  5. Telling the Time: Communication and Temporality in Nordic New Music

    Howell, T. & Powell, R., 20 Sep 2019, The Nature of Nordic Music. Howell, T. (ed.). Abingdon UK and New York: Routledge, 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. Extreme ultra-violet laser ablation of solid targets

    Tallents, G. J., Wilson, S. A., Aslanyan, V., West, A., Rossall, A. K., Solis Meza, E., Wagenaars, E., Menoni, C. & Rocca, J., 19 Sep 2019, Proc. SPIE conference series. Vol. 11111. 7 p.

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

  7. Myths of Masculinity in the Martial Arts

    Benesch, O., 15 Sep 2019, The Routledge Companion to Gender and Japanese Culture. Coates, J., Fraser, L. & Pendleton, M. (eds.). Abingdon: Routledge

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Testing the distinctiveness of intonational tunes: Evidence from imitative productions in American English

    Chodroff, E. & Cole, J., 15 Sep 2019, Proceedings of INTERSPEECH 2019. International Speech Communication Association, p. 1966-1970 (Interspeech).

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

  9. Evolution of Formal Model-based Assurance Cases for Autonomous Robots

    Gleirscher, M., Foster, S. D. & Nemouchi, Y., 9 Sep 2019, Software Engineering and Formal Methods. Springer, p. 87-104 18 p. (Lecture Notes in Computer Science; vol. 11724).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  10. Collaborative mobile industrial manipulator: a review of system architecture and applications

    Yang, M., Yang, E. F., Zante, R. C., Post, M. A. & Liu, X. F., 6 Sep 2019, Proceedings of the 25th International Conference on Automation & Computing, Newcastle University, Newcastle upon Tyne, UK. 6 p.

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

  11. ARIADNE and ARIADNEplus

    Richards, J. D. & Niccolucci, F., 4 Sep 2019, The ARIADNE Impact. Richards, J. & Niccolucci, F. (eds.). Budapest: Archaeolingua, p. 7-25

    Research output: Chapter in Book/Report/Conference proceedingChapter

Previous 1...3 4 5 6 7 8 9 10 ...1117 Next