Search research publications and outputs

  1. 2019
  2. Life-Writing

    Broughton, T., 31 Dec 2019, (Accepted/In press) Routledge Companion to Victorian Literature. Routledge

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. A Unary Semigroup Trace Algebra

    De Oliveira Salazar Ribeiro, P. F., 16 Dec 2019, (Accepted/In press) 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). Lecture Notes in Computer Science, 16 p.

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

  4. Automated Algebraic Reasoning for Collections and Local Variables with Lenses

    Foster, S. D. & Baxter, J., 16 Dec 2019, (Accepted/In press) 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). Lecture Notes in Computer Science, 16 p.

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

  5. Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL

    Munive, J. H. Y., Struth, G. & Foster, S. D., 16 Dec 2019, (Accepted/In press) 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). Lecture Notes in Computer Science, 16 p.

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

  6. English Towns in the Later Middle Ages: the Rules and the Realities of Population Mobility

    Rees Jones, S. R., 12 Dec 2019, (Accepted/In press) Migrants in Medieval England, c. 500–c. 1500 . Ormrod, W. M., Tyler, E. & Story, J. (eds.). British Academy

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. How Software Practitioners Use Informal Local Meetups to Share Software Engineering Knowledge

    Ingram, C. & Drachen, A., 9 Dec 2019, (Accepted/In press) 42nd International Conference on Software Engineering. ACM

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

  8. Nuclear power and environmental justice – the case for political equality

    Cotton, M. D., 2 Dec 2019, (Accepted/In press) Engaging the Atom. The History of Nuclear Energy and Society in Europe from the 1950s to the Present . Kaijser, A., Lehtonen, M., Meyer, J-H. & Rubio-Varas, M. (eds.). University of West Virginia Press, (Energy and Society Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Ethical Challenges in the Applications of Motivational Interviewing in HIV Care

    Black, I. & Forsberg, L., 24 Nov 2019, (Accepted/In press) Motivational Interviewing in HIV Care. Douaihy, A. & Amico, K. R. (eds.). Oxford University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. Surveillance

    Cooper, J. P. D., 19 Nov 2019, (Accepted/In press) Elizabeth and Mary: Two Queens in One Isle. Doran, S. (ed.). British Library

    Research output: Chapter in Book/Report/Conference proceedingChapter

  11. Naive Mesh-to-Mesh Coloured Model Generation using 3D GANs

    Spick, R. J., Demediuk, S. P. & Walker, J. A., 11 Nov 2019, (Accepted/In press) Proceedings of Australasian Computer Science Week (ACSW’20). ACM

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

  12. Relational Regulation: The Role of Contract and the Evolution of Habitat Protection Legislation

    Bell, S. J., 1 Nov 2019, (Accepted/In press) Contract Law and the Legislature: Autonomy, expectations and the making of legal doctrine. Steele, J. & Arvind, TT. (eds.). Hart Publishing

    Research output: Chapter in Book/Report/Conference proceedingChapter

  13. Mélusine voyage, les traductions de romans

    Zeldenrust, L., Nov 2019, (Accepted/In press) Mélusine, Secrets d'une fée. Vieille, K. (ed.). Silvana Editoriale, p. 95-101

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  14. Commodification, Control, and the Contractualisation of the Human Body

    Arvind, T. T. & McMahon, A., 31 Oct 2019, (Accepted/In press) The Limits of the Market: Interdisciplinary perspectives. Bertrand, E., Catto, M-X. & Mornington, A. (eds.). Mare & Martin

    Research output: Chapter in Book/Report/Conference proceedingChapter

  15. Realistic and Textured Terrain Generation using GANs

    Spick, R. J. & Walker, J. A., 15 Oct 2019, (Accepted/In press) The 16th ACM SIGGRAPH European Conference on Visual Media Production (CVMP). ACM

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

  16. Selden, Catherine. The English Nun.

    Major, E. J., 10 Oct 2019, (Accepted/In press) The Cambridge Guide to the Eighteenth-Century Novel 1660-1820. London, A. (ed.). CUP

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

  17. Selden, Catherine. The Sailors

    Major, E. J., 10 Oct 2019, (Accepted/In press) The Cambridge Guide to the Eighteenth-Century Novel 1660-1820. London, A. (ed.). CUP

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

  18. Sampling real algebraic varieties for topological data analysis

    Dufresne, E. S., Edwards, P. B., Harrington, H. A. & Hauenstein, J. D., 7 Oct 2019, (Accepted/In press) ICMLA 2019 conference proceedings . IEEE, 6 p.

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

  19. Semi-Clairvoyance in Mixed-Criticality Scheduling

    Agrawa, K., Baruah, S. & Burns, A., 7 Oct 2019, (Accepted/In press) Proceedings : 40th IEEE Real-Time Systems Symposium. I E E E

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

  20. Building a leaner corpus to address the instructional needs of L2 language learners in compulsory school programmes.

    Bell, P., Collins, L. & Marsden, E. J., 5 Oct 2019, (Accepted/In press) Learner Corpora and Second Language Acquisition. Pacquot, M. & Le Bruyn, B. (eds.). Cambridge: Cambridge University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  21. Synthesizing Real-Time Schedulability Tests using Evolutionary Algorithms: A Proof of Concept

    Dziurzanski, P., Davis, R. I. & Soares Indrusiak, L., 7 Sep 2019, (Accepted/In press) Proceedings of the 40th IEEE Real-Time Systems Symposium.

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

  22. Computing Optimal Assignments in Linear Time for Approximate Graph Matching

    Kriege, N., Giscard, P-L., Bause, F. & Wilson, R. C., 6 Sep 2019, (Accepted/In press) International Conference on Data Mining. IEEE Computer Society, 10 p.

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

  23. Chemometrics Applied to NMR Analysis (updated)

    Wilson, J. C., Beavis, G., Rusilowicz, M. J., Donarski, J. & Charlton, A., 3 Sep 2019, (Accepted/In press) Encycopedia of Analytical Chemistry. John Wiley & Sons;

    Research output: Chapter in Book/Report/Conference proceedingChapter

  24. Algebraic Quantum Field Theory: An introduction

    Fewster, C. J. & Rejzner, K. A., 22 Aug 2019, (Accepted/In press) Progress and Visions in Quantum Theory in View of Gravity. Finster, F., Giulini, D., Kleiner, J. & Tolksdorf, J. (eds.). 57 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  25. Ethereum Crypto-Games: Mechanics, Prevalence and Gambling Similarities

    Scholten, O. J., Hughes, N. G. J., Deterding, C. S., Drachen, A., Walker, J. A. & Zendle, D. I., 16 Aug 2019, (Accepted/In press) CHI PLAY 2019. ACM

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

  26. The Role of Uncertainty in Moment-to-Moment Player Motivation: A Grounded Theory

    Kumari, S., Deterding, C. S. & Freeman, J., 16 Aug 2019, (Accepted/In press) CHI PLAY'19. ACM

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

Previous 1 2 3 4 5 Next