Search research publications and outputs

  1. 2020
  2. Domestic Crafts at the School of Arts

    Wigston Smith, C., May 2020, (Accepted/In press) Material Literacy in Eighteenth-Century Britain: A Nation of Makers. New York: Bloomsbury Academic

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

  3. Implications of biological research on intelligence for education and public policy

    Asbury, K. & Fields, D., 2020, (Accepted/In press) Cambridge Handbook of Intelligence and Cognitive Neuroscience. Cambridge University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. 2019
  5. Life-Writing

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  7. Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods

    Nemouchi, Y., Foster, S. D., Gleirscher, M. & Kelly, T. P., 16 Sep 2019, (Accepted/In press) Integrated Formal Methods: Proceedings of the 15th International Conference. 18 p. (LNCS).

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

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

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

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

    Hoare, T., Struth, G. & Woodcock, J. C. P., 22 Aug 2019, (Accepted/In press) 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

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

  12. Probabilistic Semantics for RoboChart A Weakest Completion Approach

    Woodcock, JAMES. C. P., Cavalcanti, A. L. C., Foster, S. D. & Mota, A., 22 Aug 2019, (Accepted/In press) 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

  13. “One of the baddies all along”: Moments that Challenge a Player’s Perspective

    Whitby, M. A., Deterding, C. S. & Iacovides, I., 20 Aug 2019, (Accepted/In press) CHI PLAY 2019. ACM

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

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

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

  16. “Horror, guilt and shame” - Uncomfortable Experiences in Digital Games

    Gowler, C. & Iacovides, I., 16 Aug 2019, (Accepted/In press) CHI PLAY 2019.

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

  17. "One world is not enough": the 'myth' of Roman Catholicism as a 'world religion'

    Ditchfield, S. R., 5 Aug 2019, (Accepted/In press) Converting Europe: British Protestant Missions (17th-19th centuries). Maghenzani, S. & Villani, S. (eds.). Abingdon: Routledge

    Research output: Chapter in Book/Report/Conference proceedingChapter

  18. Switching Parameters Characterization of Aged IGBTs by Thermo-Electrical Overstress

    Dimech, E. & Dawson, J. F., 14 Jul 2019, (Accepted/In press) IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society. Lisbon, Portugal

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

  19. The Reception of Newton's Theory of Matter and his Atomism

    Wilson, C., 2 Jul 2019, (Accepted/In press) The Reception of Isaac Newton in Europe. Mandelbrote, S. & Pulte, H. (eds.). Bloomsbury Academic

    Research output: Chapter in Book/Report/Conference proceedingChapter

  20. 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., 1 Jul 2019, (Accepted/In press) Proceedings of the 25th International Conference on Principles and Practice of Constraint Programming. Springer

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

  21. Cloud-based Integrated Process Planning and Scheduling Optimisation via Asynchronous Islands

    Zhao, S., Mei, H., Dziurzanski, P., Przewozniczek, M. W. & Soares Indrusiak, L., 1 Jul 2019, (Accepted/In press) 16th International Conference on the Economics of Grids, Clouds, Systems, and Services.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  22. Prosthesis

    Hall, A., 1 Jul 2019, (Accepted/In press) Cambridge Critical Concepts: Technology. Hammond, A. (ed.). Cambridge University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  23. On-the-fly Translation and Execution of OCL-like Queries on Simulink Models

    Sanchez Pina, B. A., Zolotas, A., Hoyos Rodriguez, H., Kolovos, D. & Paige, R. F., 19 Jun 2019, (Accepted/In press) Proceedings of the ACM/IEEE 22th International Conference on Model Driven Engineering Languages and Systems.

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

  24. How the tax system fits together

    Bradshaw, J. R., 13 Jun 2019, (Accepted/In press) Let's talk about tax: How the tax system works and how to change it. Bradshaw, J. (ed.). London: Child Poverty Action Group

    Research output: Chapter in Book/Report/Conference proceedingChapter

  25. International comparisons

    Bradshaw, J. R., 13 Jun 2019, (Accepted/In press) Let's talk about tax: How the tax system works and how to change it. Bradshaw, J. (ed.). Child Poverty Action Group

    Research output: Chapter in Book/Report/Conference proceedingChapter

  26. Introduction

    Bradshaw, J. R., 13 Jun 2019, (Accepted/In press) Let’s talk about tax: how the tax system works and how to change it. Bradshaw, J. (ed.). London: Child Poverty Action Group

    Research output: Chapter in Book/Report/Conference proceedingChapter

  27. The rich and the poor

    Bradshaw, J. R. & Keung, L. W., 13 Jun 2019, (Accepted/In press) Let's talk about tax: How the tax system works and how to change it. Bradshaw, J. (ed.). Child Poverty Action Group

    Research output: Chapter in Book/Report/Conference proceedingChapter

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