Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 2019
  2. Access All Areas? Anglo-American Film Censorship and Cult Cinema in the Digital Era

    Pett, E. J., 7 Nov 2019, Routledge Companion to Cult Cinema. Mathijs, E. & Sexton, J. (eds.). Routledge, p. 180-189 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic

    Hoare, T., Struth, G. & Woodcock, J. C. P., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & A. S. (eds.). Lecture Notes in Computer Science, Vol. 11885.

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

  4. Probabilistic Semantics for RoboChart A Weakest Completion Approach

    Woodcock, JAMES. C. P., Cavalcanti, A. L. C., Foster, S. D. & Mota, A., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & Sampaio, A. (eds.). Lecture Notes in Computer Science, Vol. 11885.

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

  5. The Philosophy and Political Economy of Basic Income Revisisted

    Haagh, L. A., 31 Oct 2019, The Palgrave International Handbook of Basic Income. Torry, M. (ed.). Palgrave McMillan, p. 253-299 47 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. Integrating Existing Safety Analyses into SysML

    Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 11 Oct 2019, Model-Based Safety and Assessment (IMBSA) 2019: Lecture Notes in Computer Science. Papadopoulos, Y., Aslansefat, K. & Katsaros, P. (eds.). 2019 ed. Springer Nature , Vol. 11842. p. 63-77 15 p.

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

  7. Matter over Mind: The Resurrected Body in Rubens’ ‘Great Last Judgement’

    Van Wyhe, C. H., 10 Oct 2019, La Sovrabbondanza nel Barocco Atti del convegno tenutosi a Palermo il 22 Giugno 2018. La Delfa, R., Scordato, C. & Viola, V. (eds.). Siké Edizioni, p. 248-287

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

  8. Looking at complex agri-food systems from an actor perspective: the case of Northern Thailand

    Blake, D., Thiengburanathum, P., Thiengburanathum, P., Friend, R. M., Doherty, R. & Thankappan, S., 1 Oct 2019, Advances in Food Security and Sustainability. Barling, D. & Fanzo, J. (eds.). 1 ed. Oxford: Elsevier, Vol. 4.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Masters of the Universe: Viewers, the Media and Sherlock's Showrunners

    Poore, B., 1 Oct 2019, Adaptation in the Age of Media Covergence. Fehrle, J. & Schäfke, W. (eds.). University of Amsterdam Press, (Transmedia: Participatory Culture and Media Convergence).

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

  10. Analysing student talk moves in whole class teaching

    Hardman, J., Oct 2019, The Routledge International Handbook of Research on Dialogic Education. Mercer, N., Wegerif, R. & Major, L. (eds.). Routledge, p. 152-166 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

  18. Measurements and Power Balance Modelling of the Shielding Effectiveness of Partitioned Equipment Enclosures

    Marvin, A. C., Parker, S. L., Dawson, J. F. & Robinson, M. P., 2 Sep 2019, 2019 International Symposium on Electromagnetic Compatibility - EMC EUROPE. p. 158-162 5 p. (EMC Europe).

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

  19. Accommodating Learners with Specific Learning Difficulties in Educational Settings: Problems and Solutions

    Indrarathne, B., 1 Sep 2019, Pan Commonwealth Forum. Commonwealth of Learning, 7 p. 72

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

  20. Space In The Ambience: Is Ambient Music Socially Relevant?

    Field, A. E., 1 Sep 2019, Music Beyond Airports. Adkins, M. & Cummings, S. (eds.). Huddersfield: The University of Huddersfield, p. 21-50 29 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  21. Predicting Visual Memory Schemas with Variational Autoencoders

    Kyle-Davidson, C. P., Bors, A. G. & Evans, K., Sep 2019, Proc. British Machine Vision Conference (BMVC).

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

  22. Satire in the Age of the French Revolution

    Mee, J. A., Sep 2019, Oxford Handbook to Eighteenth-Century Satire. Oxford: Oxford: Oxford University Press, p. 661-679 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  23. Emotional Intentionality

    Ratcliffe, M. J., 20 Aug 2019, Royal Institute of Philosophy Supplement 85. p. 251-269

    Research output: Chapter in Book/Report/Conference proceedingChapter

  24. Secure Delegation to a Single Malicious Server: Exponentiation in RSA-type Groups

    Kahrobaei, D., Di Crescenzo, G., Khodjaeva, M. & Shpilrain, V., 19 Aug 2019, 2019 IEEE Conference on Communications and Network Security (CNS): Workshops: SPC: 5th IEEE Workshop on Security and Privacy in the Cloud 2019.

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

  25. Towards a Framework for Safety Assurance of Autonomous Systems

    McDermid, J. A., Jia, Y. & Habli, I., 11 Aug 2019, Artificial Intelligence Safety 2019. Espinoza, H., Yu, H., Huang, X., Lecue, F., Chen, C., Hernandex-Orallo, J., o hEigeartaigh, S. & Mallah, R. (eds.). CEUR Workshop Proceedings, Vol. 2419. p. 1-7 8 p.

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

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

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