Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 2019
  2. 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

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

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

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

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

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

  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

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

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

    Indrarathne, B., 1 Sep 2019, Pan Commonwealth Forum 9 (PCF9). Commonwealth of Learning, 7 p. 72

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

  14. Beyond Barbour: A Theology of Science from Ancient and Modern Thinkers

    McLeish, T. C., 1 Sep 2019, Science and Religion in Education. Billngsley, B., Chappell, K. & Reiss, M. (eds.). Switzerland: SPRINGER, p. 33-45 13 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

  22. Three Reasons Why: Framing the Challenges of Assuring AI

    Johnson, N. L. & Fang, X., 9 Aug 2019, Three Reasons Why: Framing the Challenges of Assuring AI.

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

  23. A SysML Profile for Fault Trees: Linking Safety Models to System Design

    Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 8 Aug 2019, Computer Safety, Reliability, and Security: SAFECOMP 2019. Romanovsky, A. & Troubitsyna, E. (eds.). Springer Nature , Vol. 11698. p. 85-93 (Lecture Notes in Computer Science; vol. 11698).

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

  24. Almyra Gray

    Broughton, T., 8 Aug 2019, Oxford Dictionary of National Biography. Oxford University Press

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  25. Crowdsourcing and Scholarly Culture: Understanding Expertise in an Age of Popularism

    Dix, A., Cowgill, R. E., Bashford, C., McVeigh, S. & Ridgewell, R., 7 Aug 2019, Macrotask Crowdsourcing. Khan, VJ., Papangelis, K., Lykourentzou, I. & Markopoulos, P. (eds.). Springer, p. 189-214 (Human-Computer Interaction).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  26. Modeling Voiced Stop Consonants Using the 3D Dynamic Digital Waveguide Mesh Vocal Tract Model

    Gully, A. J. & Tucker, B., 6 Aug 2019, Proceedings of the International Congress of Phonetic Sciences 2019. Australasian Speech Science and Technology Association Inc., 5 p. (International Congress of Phonetic Sciences).

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

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