Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 2020
  2. Prosodic systems: North Africa and the Middle East

    Hellmuth, S. & Pearce, M., 31 Dec 2020, The Oxford Handbook of Language Prosody. Gussenhoven, C. & Chen, A. (eds.). Oxford University Press, p. 195-206 12 p.

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

  3. Legal Considerations for a Circular Economy

    Thomas, S. R., 28 Dec 2020, Routledge Handbook of Waste, Resources and the Circular Economy. Tudor, T. & Dutra, C. (eds.). Routledge, 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Technology: Making things in Medieval Europe

    Ashby, S., 24 Dec 2020, A Cultural History of Objects in the Medieval Age. Semple, S. & J. L. (eds.). Bloomsbury, (A Cultural History of Objects).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Fast Parametric Model Checking through Model Fragmentation

    Fang, X., Calinescu, R., Gerasimou, S. & Alhwikem, F., 18 Dec 2020, (Accepted/In press) 43rd International Conference on Software Engineering. ACM

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

  6. Introduction to Second Language Acquisition

    Behney, J. & Marsden, E., 17 Dec 2020, The Routledge Handbook of Second Language Acquisition and Corpora (1st ed.). Tracy-Ventura, N. & Paquot, M. (eds.). Routledge, p. 37-49 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Separated Families and Child Support Policies in Times of Social Change: A Comparative Analysis

    Skinner, C. & Hakovirta, M., 15 Dec 2020, The Palgrave Handbook of Family Policy. Nieuwenhuis, R. & Van Lancker, W. (eds.). Palgrave Macmillan, p. 267-301 35 p.

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

  8. Capacity and Consent in the Civil and Criminal Contexts

    O'Loughlin, A., 11 Dec 2020, (Accepted/In press) Cambridge Handbook of Forensic Psychology . 2nd ed. Cambridge University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Equal Pay as a Precondition of Justice?

    Sinnicks, M. & Pointon, D., 9 Dec 2020, Debating Equal Pay for All: Economy, Practicability and Ethics. Örtenblad, A. (ed.). Palgrave

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. An Initial Framework Assessing the Safety of Complex Systems

    Burton, S., McDermid, J. A., Garnett, P. & Weaver, R., 7 Dec 2020, CCS2020 - Conference on Complex System 2020. Zenodo, p. 69 1 p.

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

  11. Missionaries as Merchants and Mercenaries: Religious Controversies over Commerce in Southeast Asia

    Alberts, T. M. A., 7 Dec 2020, Trade and Finance in Global Missions (16th-18th Centuries). Vu Thanh, H. & Županov, I. G. (eds.). Brill Academic Publishers, p. 237-268 32 p. (Studies in Christian Mission; vol. 57).

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

  12. Yap: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments

    Gleirscher, M., 7 Dec 2020, Second Workshop on Formal Methods for Autonomous Systems (FMAS2020). Open Publishing Association, Vol. 329. p. 31 47 p. (Electronic Proceedings in Theoretical Computer Science; vol. 329).

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

  13. A Fast Graph Program for Computing Minimum Spanning Trees

    Courtehoute, B. & Plump, D., 3 Dec 2020, Graph Computation Models (GCM 2020), Revised Selected Papers. p. 163-180 18 p. (Electronic Proceedings in Theoretical Computer Science; vol. 330).

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

  14. Verifying Graph Programs with First-Order Logic

    Wulandari, G. & Plump, D., 3 Dec 2020, Graph Computation Models (GCM 2020), Revised Selected Papers. p. 181-200 20 p. (Electronic Proceedings in Theoretical Computer Science; vol. 330).

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

  15. An Empirical Survey-based Study into Industry Practice in Real-time Systems

    Akesson, B., Nasri, M., Nelissen, G., Altmeyer, S. & Davis, R. I., 1 Dec 2020, 2020 IEEE Real-Time Systems Symposium (Proceedings). 9 p.

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

  16. Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests

    Griffin, D. J., Bate, I. J. & Davis, R. I., 1 Dec 2020, 2020 IEEE Real-Time Systems Symposium (proceedings). 13 p.

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

  17. Mutational signature modelling in vitro recapitulates bladder cancer initiation

    Baker, S. C., Mason, A. S. & Southgate, J., 1 Dec 2020, Mutational signature modelling in vitro recapitulates bladder cancer initiation. 12 ed. Urologic Oncology Seminars and Original Investigations, Vol. 38. p. 909 1 p.

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

  18. Pair Trading with an Ontology of SEC Financial Reports

    Erten, C., Chotai, N. & Kazakov, D. L., 1 Dec 2020, The 2020 IEEE Symposium Series on Computational Intelligence: IEEE Symposium on Computational Intelligence for Financial Engineeting and Economics (CIFEr 2020). 8 p.

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

  19. Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance

    Burns, A. & Davis, R. I., 1 Dec 2020, 2020 IEEE Real-Time Systems Symposium (Proceedings). 13 p.

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

  20. Selden, Catherine. The English Nun.

    Major, E. J., Dec 2020, 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

  21. Safe Reinforcement Learning for Sepsis Treatment

    Jia, Y., Burden, J., Lawton, T. & Habli, I., 30 Nov 2020, 8th IEEE International Conference on Healthcare Informatics .

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

  22. The role of biodiversity in the maintenance of ecosystem services in human-dominated landscapes: Evidence from the Terai Plains of Nepal

    Thorn, J. P. R., Willis, K. J., Helfgott, A. & Thornton, T. F., 30 Nov 2020, The Routledge Handbook of Indigenous Environmental Knowledge. Thornton, T. F. & Bhagwat, S. A. (eds.). UK: Routledge , 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  23. Are Neural Networks Really the Holy Grail? A Comparison of Multivariate Calibration for Low-cost Environmental Sensors

    Fang, X., Bate, I. J. & Griffin, D. J., 26 Nov 2020, (Accepted/In press) 11th EAI International Conference on Sensor Systems and Software.

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

  24. Order in Court: Talk-in-interaction in the judicial process

    Drew, P. & Ferraz de Almeida, F., 25 Nov 2020, The Routledge Handbook of Forensic Linguistics. Coulthard, M., May, A. & Sousa-Silva, R. (eds.). 2nd ed. London: Routledge , p. 177-191 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  25. Dilemmas in the ethics of tanpa pamrih (selflessness): Risk and human rights activism in Indonesia

    Nah, A. M. & Hernawan, B., 23 Nov 2020, Protecting Human Rights Defenders at Risk. Tah, A. M. (ed.). Routledge, p. 34-60

    Research output: Chapter in Book/Report/Conference proceedingChapter

  26. Fallen heroes, terrorists, spies, or unrealistic dreamers?: Repression and the defence of human rights in Egypt

    Nah, A. M. & Husseiny, E., 23 Nov 2020, Protecting Human Rights Defenders at Risk. Nah, A. M. (ed.). Routledge, p. 61-83

    Research output: Chapter in Book/Report/Conference proceedingChapter

  27. Introduction: Protecting human rights defenders at risk

    Nah, A. M., 23 Nov 2020, Protecting Human Rights Defenders at Risk. Nah, A. M. (ed.). Routledge, p. 1-33 (Routledge Studies in Human Rights).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  28. Protection into the future

    Nah, A. M., 23 Nov 2020, Protecting Human Rights Defenders at Risk. Nah, A. M. (ed.). Routledge, p. 158-187 (Routledge Studies in Human Rights).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  29. Competition Between Native and Non-native Plants

    Wandrag, L. & Catford, J., 20 Nov 2020, Plant Invasions: The Role of Biotic Interactions. Traveset, A. & Richardson, D. M. (eds.). CABI, (CABI Invasives Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  30. Raymond Williams, Industrialism, and Romanticism, 1780-1840

    Mee, J. A., KLancher, J. (ed.) & Sachs, J. (ed.), 20 Nov 2020, Raymond Williams and Romanticism. (Romantic Circles Praxis Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  31. Archive Fever Revisited: Algorithmic archons and the ordering of social media

    Beer, D. G., 17 Nov 2020, The Handbook of Digital Media and Communication. Lievrouw, L. & Loader, B. (eds.). Routledge, p. 99-112 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  32. Position paper: A systematic framework for categorising IoT device fingerprinting mechanisms

    Yadav, P., Feraudo, A., Arief, B., Shahandashti, S. F. & Vassilakis, V. G., 16 Nov 2020, AIChallengeIoT '20: Proceedings of the 2nd International Workshop on Challenges in Artificial Intelligence and Machine Learning for Internet of Things. Association for Computing Machinery (ACM), p. 62–68 7 p.

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

  33. A Review of Motion Planning Algorithms for Robotic Arm Systems

    Liu, S. & Liu, P., 15 Nov 2020, (Accepted/In press) 8th International Conference on Robot Intelligence Technology and Applications (proceedings). IEEE

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

  34. Model-based and Model-Free Robot Control: A Review

    Zhang, B. & Liu, P., 15 Nov 2020, (Accepted/In press) 8th International Conference on Robot Intelligence Technology and Applications (proceedings). IEEE

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

  35. Service Humanoid Robotics: Review and Design of A Novel Bionic-Companionship Framework

    Yang, J., Chew, E. & Liu, P., 15 Nov 2020, (Accepted/In press) 8th International Conference on Robot Intelligence Technology and Applications (proceedings). IEEE

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

  36. Learning latent representations across multiple data domains using Lifelong VAEGAN

    Ye, F. & Bors, A. G., 12 Nov 2020, European Conference in Computer Vision (ECCV). Manchester, UK: Springer, 18 p. (Lecture Notes in Computer Science).

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

  37. Making memories in post-Reformation English Catholic musical miscellanies

    Murphy, E. K. M., 12 Nov 2020, Memory and the English Reformation. Walsham, A., Wallace, B., Law, C. & Cummings, B. (eds.). Cambridge University Pres, p. 403-421 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  38. Utopian Universities of the British Commonwealth

    Taylor, M. (ed.), 12 Nov 2020, Utopian Universities: A Global History of the New Campuses of the 1960s. Pellew, J. & Taylor, M. (eds.). London: Bloomsbury Academic, p. 269–286

    Research output: Chapter in Book/Report/Conference proceedingChapter

  39. Lifelong learning of interpretable image representations

    Ye, F. & Bors, A. G., 10 Nov 2020, Proc. Int. Conf. on Image Processing, Theory, Tools and Applications (IPTA). Paris, France: IEEE, 6 p.

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

  40. Mixtures of Variational Autoencoders

    Ye, F. & Bors, A. G., 10 Nov 2020, Proc. Int. Conf. on Image Processing, Theory, Tools and Applications (IPTA) . Paris, France: IEEE, 6 p.

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

  41. Advances in the chemistry of metal–metal quadruple bonds 2015–2020

    Wilkinson, L. A., 9 Nov 2020, Organometallic Chemistry. Patmore, N. J. & Elliott, P. I. P. (eds.). Royal Society of Chemistry, p. 111–143 33 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  42. Virtual Network Function Embedding under Nodal Outage using Reinforcement Learning

    Chetty, S. B., Ahmadi, H. & Nag, A., 9 Nov 2020, (Accepted/In press) IEEE International Conference on Advanced Networks and Telecommunications System. Institute of Electrical and Electronics Engineers Inc.

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

  43. The role of community in defining 21st-century creative practice: A design-led approach

    Field, A. E., 5 Nov 2020, Creative and Critical Projects in Classroom Music: Fifty Years of Sound and Silence. Finney, J., Philpott, C. & Spruce, G. (eds.). Taylor & Francis;, 11 p. 8

    Research output: Chapter in Book/Report/Conference proceedingChapter

  44. Computational Studies of the Solid-State Molecular Organometallic (SMOM) Chemistry of Rh !-Alkane Complexes

    Algarra, A. G., Burnage, A. L., Iannuzzi, M., Krämer, T., Macgregor, S. A., Pirie, R. E. M., Tegner, B. & Weller, A. S., 3 Nov 2020, Structure and Bonding. Springer Science and Business Media Deutschland GmbH, p. 183-228 46 p. (Structure and Bonding; vol. 186).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  45. A Grounded Analysis of Player-Described Board Game Immersion

    Farkas, T., Wiseman, S., Cairns, P. A. & Fiebrink, R., 2 Nov 2020, Proceedings of ACM CHI Play 2020. p. 427-437 11 p.

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

  46. Shape from semantic segmentation via the geometric Renyi divergence

    Koizumi, T. & Smith, W. A. P., 2 Nov 2020, IEEE Winter Conference on Applications of Computer Vision (WACV) (proceedings).

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

  47. Concurrent Design: Building composition through co-design

    Field, A. E., 1 Nov 2020, Creative and Critical Projects in Classroom Music: Fifty Years of Sound and Silence. Taylor & Francis;, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  48. Environment, Economy and Subsistence: Landscape reconstruction

    Stratigos, M. J., 1 Nov 2020, Darkness Visible: The Sculptor's Cave, Covesea, from the Bronze Age to the Picts. Edinburgh: Society of Antiquaries of Scotland, p. 215-220 6 p.

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

  49. Introduction: Memory and the English Reformation

    Cummings, B., Walsham, A. & Law, C., 1 Nov 2020, Memory and the English Reformation. Cummings, B., Walsham, A., Law, C. & Wallace, B. (eds.). Cambridge: Cambridge University Press, p. 1-45 46 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  50. Potato late blight follows crowding and impoverishment

    Bruneel, D., Cottyn, H. D. G. J. & Beeckaert, E., 1 Nov 2020, Feral Atlas. Tsing, A. L., Deger, J., Keleman Saxena, A. & Zhou, F. (eds.). Stanford University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  51. Reforming Judicial Review Costs Rules in an Age of Austerity

    Tomlinson, J., 1 Nov 2020, The Civil Procedure Rules Twenty Years On . Higgins, A. (ed.). Oxford: Oxford University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  52. The Wounded Missal: Iconoclasm, Ritual and Memory in Reformation Yorkshire

    Cummings, B., 1 Nov 2020, Memory and the English Reformation. Cummings, B., Walsham, A., Law, C. & Wallace, B. (eds.). Cambridge: Cambridge University Press, p. 353-371 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  53. Political Theatre and the Beckett Problem

    Morin, E., Nov 2020, Beckett and Politics. Bailey, H. & Davies, W. (eds.). Palgrave Macmillan, p. 177-193 17 p.

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

  54. Warwick Data Store: A Data Structure Abstraction Library

    Kirk, R. O., Nolten, M., Kevis, R., Law, T. R., Maheswaran, S., Wright, S. A., Powell, S., Mudalige, G. R. & Jarvis, S. A., Nov 2020, Proceedings of PMBS 2020: Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, Held in conjunction with SC 2020: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 71-85 15 p. 9307883. (Proceedings of PMBS 2020: Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, Held in conjunction with SC 2020: The International Conference for High Performance Computing, Networking, Storage and Analysis).

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

  55. 78Ni revealed as a doubly magic stronghold against nuclear deformation

    Taniuchi, R., Santamaria, C., Doornenbal, P., Obertelli, A. & Yoneda, K., 30 Oct 2020, RIKEN Accelerator Progress Report 2019. Vol. 53. p. 3 1 p.

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

  56. Gender in Merovingian Gaul

    Halsall, G. R. W., 29 Oct 2020, The Oxford Handbook of the Merovingian World. Effros, B. & Moreira, I. (eds.). Oxford: Oxford University Press, p. 164-185 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  57. Safety Controller Synthesis for Collaborative Robots

    Gleirscher, M. & Calinescu, R., 28 Oct 2020, Proceedings of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS).

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

  58. Efficiently Querying Large-Scale Heterogeneous Models

    Ali, Q. U. A., Kolovos, D. & Barmpis, K., 27 Oct 2020, Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. New York, NY, USA: Association for Computing Machinery (ACM), (MODELS '20).

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

  59. Capability Brown, Royal Gardener and Placemaker in Northern Europe

    Finch, J. C. & Woudstra, J., 26 Oct 2020, Capability Brown, Royal Gardener: The Business of Place-Making in Northern Europe. White Rose University Press

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

  60. Lancelot ‘Capability’ Brown: An Eighteenth-Century Life

    Finch, J. C. & Woudstra, J., 26 Oct 2020, Capability Brown, Royal Gardener: The Business of Place-Making in Northern Europe. Finch, J. C. & Woudstra, J. (eds.). White Rose University Press

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

  61. Place-Making: Capability Brown and the Landscaping of Harewood House, West Yorkshire

    Finch, J. C., 26 Oct 2020, Capability Brown, Royal Gardener: The Business of Place-Making in Northern Europe. Finch, J. & Woudstra, J. (eds.). White Rose University Press

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

  62. Research and Development, Innovations and Sustainability: A Theoretical Perspective.

    Datta, B., 24 Oct 2020, Industry, Innovation and Infrastructure. Leal Filho, W., Azul, A. M., Brandli, L., Lange Salvia, A. & Wall, T. (eds.). SPRINGER, (Encyclopedia of the UN Sustainable Development Goals).

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

  63. Correlating cepstra with formant frequencies: implications for phonetically-informed forensic voice comparison

    Hughes, V., Clermont, F. & Harrison, P., 23 Oct 2020, Proceedings of Interspeech 2020. p. 1858-1862 5 p.

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

  64. The Pi-puck Ecosystem: Hardware and Software Support for the e-puck and e-puck2

    Allen, J., Joyce, R. A., Millard, A. G. & Gray, I., 23 Oct 2020, Swarm Intelligence. ANTS 2020.. Dorigo, M., Stützle, T., Blesa, M. J., Blum, C., Hamann, H., Heinrich, M. K. & Strobel, V. (eds.). Cham: Springer, p. 243-255 13 p. (Lecture Notes in Computer Science; vol. 12421).

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

  65. Towards Model-Based Development of Decentralised Peer-to-Peer Data Vaults

    Yohannis, A., De La Vega, A., Kahrobaei, D. & Kolovos, D., 18 Oct 2020, ACM / IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS). 8 p.

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

  66. To build, or not to build: ModelFlow, a build solution for MDE projects

    Sanchez, B., Kolovos, D. & Paige, R., 16 Oct 2020, Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2020. Association for Computing Machinery, Inc, p. 1-11 11 p. (Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2020).

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

  67. Improving postgraduate outcomes

    Wakeling, P., 12 Oct 2020, The Future of Student Outcomes. Atherton, G. (ed.). London: National Education Opportunities Network, p. 16-17 2 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  68. Psychophysiology of Meditation

    Dorjee, D., 8 Oct 2020, Oxford Handbook of Meditation.

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

  69. Transnational Movements and Peaceful Change

    Peña, A. M., 8 Oct 2020, Oxford Handbook on Peaceful Change in International Relations. Paul, T. V., Welch Larson, D., Trinkunas, H., Wivel, A. & Emmers, R. (eds.). Oxford: Oxford University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  70. “It’s just part of being a person”— Sincerity, Support & Self Expression in Vignette Games

    Henderson, T. & Iacovides, J., 8 Oct 2020, Proceedings of DiGRA 2020.

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

  71. Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study

    Foster, S. D., Nemouchi, Y., O'Halloran, C., Tudor, N. & Stephenson, K., 7 Oct 2020, FormaliSE '20: Proceedings of the 8th International Conference on Formal Methods in Software Engineering. ACM

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

  72. Domestic Crafts at the School of Arts

    Wigston Smith, C., 1 Oct 2020, Material Literacy in Eighteenth-Century Britain: A Nation of Makers. New York: Bloomsbury Academic, p. 51-66

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

  73. The Western European kingdoms, 600-1000

    Halsall, G. R. W., 1 Oct 2020, The Cambridge History of War. Curry, A. (ed.). Cambridge: Cambridge University Press, Vol. 2. p. 50-82 33 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  74. Catatonia, Intercorporeality, and the Question of Phenomenological Specificity

    Ratcliffe, M. J., Oct 2020, Tine and Body: Phenomenological and Psychopathological Approaches. Stanghellini, G. & Tewes, C. (eds.). Cambridge University Press, p. 363-366 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  75. Health by social variables

    Love-Koh, J. & Mirelman, A., Oct 2020, Distributional Cost-Effectiveness Analysis: Quantifying Health Equity Impacts and Trade-Offs. Cookson, R., Griffin, S., Norheim, O. F. & Culyer, A. J. (eds.). Oxford: Oxford University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  76. Health opportunity costs

    Love-Koh, J., Oct 2020, Distributional Cost-Effectiveness Analysis: Quantifying Health Equity Impacts and Trade-Offs. Cookson, R., Griffin, S., Norheim, O. F. & Culyer, A. J. (eds.). Oxford: Oxford University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  77. Polyglot and Distributed Software Repository Mining with Crossflow

    Matragkas, N., Kolovos, D., Barmpis, K., Neubauer, P. & Paige, R., Oct 2020, MSR '20: Proceedings of the 17th International Conference on Mining Software Repositories. p. 374-384 11 p.

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

  78. Prison Writing and the Algerian War of Independence

    Morin, E., Oct 2020, Prison Writing and the Literary World: Imprisonment, Institutionality and Questions of Literary Practice. Kelly, M. & Westall, C. (eds.). Routledge, p. 77-92 16 p.

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

  79. Re-Thinking Mixed-Criticality Architecture for Automotive Industry

    Jiang, Z., Zhao, S., Dong, P., Yang, D., Wei, R., Guan, N. & Audsley, N., Oct 2020, Proceedings - 2020 IEEE 38th International Conference on Computer Design, ICCD 2020. Institute of Electrical and Electronics Engineers Inc., p. 510-517 8 p. 9283545. (Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors; vol. 2020-October).

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

  80. Basic concepts for quantum optics and quantum technologies

    D'Amico, I., 28 Sep 2020, Proceedings of the International School of Physics "Enrico Fermi": Nanoscale Quantum Optics. Agio, M., D'Amico, I. & Zia, R. (eds.). IOS Press BV, p. 1-18 18 p. (Proceedings of the International School of Physics "Enrico Fermi"; vol. 204).

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

  81. Changing Places: Tracing the Viking Great Army in the Anglo-Saxon Countryside

    Hadley, D. & Richards, J. D., 25 Sep 2020, Viking Encounters : Proceedings of the Eighteenth Viking Congress. Sindbaek, S. & Pedersen, A. (eds.). Aarhus: Aarhus Universitetsforlag, p. 112-133

    Research output: Chapter in Book/Report/Conference proceedingChapter

  82. An Experimental Study of the Variability of the Shielding Effectiveness of Circuit Board Shields

    Marvin, A., Dawson, J., Dawson, L., Xie, H. & Hunasanahalli Venkateshaiah, A., 23 Sep 2020, 2020 International Symposium on Electromagnetic Compatibility - EMC EUROPE. 5 p. (EMC Europe).

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

  83. Coupling of Energy Into PCB Traces in a Reverberant Environment: Absorption Cross-section and Probability of Susceptibility

    Hunasanahalli Venkateshaiah, A., Xie, H., Dawson, J. F., Marvin, A. C., Dawson, L. & Robinson, M. P., 23 Sep 2020, 2020 International Symposium on Electromagnetic Compatibility - EMC EUROPE. 6 p. (EMC Europe).

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

  84. The EPSRC Quantum Communications Hub

    Spiller, T. P., 20 Sep 2020, Proceedings, Emerging Imaging and Sensing Technologies for Security and Defence V. Vol. 11540. 1154005. (Proceedings of SPIE - International Society for Optical Engineering; vol. 11540).

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

  85. Evolution of Diverse, Manufacturable Robot Body Plans

    Buchanan Berumen, E., Le Goff, L., Hart, E., Eiben, G., De Carlo, M., Li, W., Hale, M., Woolley, R., Winfield, A., Timmis, J. & Tyrrell, A., 18 Sep 2020, (Accepted/In press) 2020 IEEE Symposium Series on Computational Intelligence.

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

  86. Hardware Design for Autonomous Robot Evolution

    Hale, M., Buchanan Berumen, E., Li, W., Woolley, R., Le Goff, L., De Carlo, M., Timmis, J., Winfield, A., Hart, E., Eiben, G. & Tyrrell, A., 18 Sep 2020, (Accepted/In press) 2020 IEEE Symposium Series on Computational Intelligence.

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

  87. Reactive caching of viral content in 5G networks

    Ahangary, S., chitsaz, H., Mohajerzadeh, A., Yaghmaee, M. H. & Ahmadi, H., 18 Sep 2020, 2020 3rd International Conference on Advanced Communication Technologies and Networking (CommNet). Institute of Electrical and Electronics Engineers Inc., 7 p.

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

  88. A Visual Notation for the Representation of Assurance Cases using SACM

    Selviandro, N., Hawkins, R. D. & Habli, I., 16 Sep 2020, International Symposium on Model-Based Safety and Assessment. SPRINGER, p. 3-18 (LNCS; vol. 12297).

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

  89. Reconstructing Creative Lego Models

    Tattersall, G., Zhu, D., Smith, W. A. P., Deterding, C. S. & Huber, P., 16 Sep 2020, (Accepted/In press) Computer Vision – ACCV 2020.

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

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

    Ditchfield, S. R., 15 Sep 2020, Converting Europe: British Protestant Missions (17th-19th centuries). Maghenzani, S. & Villani, S. (eds.). Abingdon: Routledge

    Research output: Chapter in Book/Report/Conference proceedingChapter

  91. A Structured Argument for Assuring Safety of the Intended Functionality (SOTIF)

    Birch, J., Blackburn, D., Botham, J., Habli, I., Higham, D., Monkhouse, H., Price, G. & Ratiu, N., 15 Sep 2020, International Workshop on Artificial Intelligence Safety Engineering . SPRINGER, p. 408-414 (Lecture Notes in Computer Science; vol. 12235).

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

  92. A Real-Time CAN-CAN Gateway with Tight Latency Analysis and Targeted Priority Assignment

    Xie, G., Gong, H., Han, Y., Chakraborty, S. & Chang, W., 14 Sep 2020, (Accepted/In press) IEEE Real-Time Systems Symposium (RTSS).

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

  93. 3D Face Recognition

    Pears, N. E. & Mian, A., 12 Sep 2020, 3D Imaging, Analysis and Applications. Second ed. Springer Nature Switzerland AG, p. 569-630 55 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  94. 3D Morphable Models: The Face, Ear and Head

    Dai, H., Pears, N. E., Huber, P. & Smith, W. A. P., 12 Sep 2020, 3D Imaging, Analysis and Applications. 2 ed. Springer International Publishing

    Research output: Chapter in Book/Report/Conference proceedingChapter

  95. Introduction to 3D Imaging, Analysis and Applications

    Brunger, J., Koch, R., Pears, N. E., Liu, Y. & Rosin, P., 12 Sep 2020, 3D Imaging, Analysis and Applications. Second ed. London: Springer Nature Switzerland AG, p. 1-36 36 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  96. Passive 3D Imaging

    Se, S. & Pears, N. E., 12 Sep 2020, 3D Imaging, Analysis and Applications. Second ed. Springer Nature Switzerland AG, p. 39-107 60 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  97. Sustainable supply chain management in fast moving consumer goods organizations

    Chen, Y. & Huaccho Huatuco, L. D., 11 Sep 2020, Proceedings of the Sustainable Design and Manufacturing 2020 Conference. Scholz, S. G., Howlett, R. J. & Setchi, R. (eds.). SPRINGER, p. 41-51 11 p. (Smart Innovation, Systems and Technologies; vol. 200).

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

  98. Effective Encodings of Constraint Programming Models to SMT

    Davidson, E., Akgün, Ö., Espasa, J. & Nightingale, P., 7 Sep 2020, Proceedings of the 26th International Conference on Principles and Practice of Constraint Programming. Springer, p. 143-159 17 p. (Lecture Notes in Computer Science; vol. 12333).

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

  99. Estimating Facial Aging Using Light Scattering Photometry

    Dahlan, H. A. & Hancock, E. R., 1 Sep 2020, Advances in Photometric 3D-Reconstruction. Durou, J-D., Falcone, M., Quéau, Y. & Tozza, S. (eds.). Cham: Springer International Publishing, p. 205-232 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  100. Introduction to the Handbook on Society and Social Policy

    Ellison, N., 1 Sep 2020, Handbook on Society and Social Policy. Ellison, N. & Haux, T. (eds.). 1 ed. Cheltenham, Vol. 1. p. 1-21 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  101. Kingdom and colony: the dual contexts of the Irish lord deputyship in the sixteenth-century

    Hutchinson, M. A., 1 Sep 2020, (Unpublished) Les alter ego des souverains. Vice-rois et lieutenants généraux en Europe et dans les Amériques (xive-xviie siècle). Chareyre, P., Lerga, Á. A. & Harai, D. (eds.). Pau: Presses de l’Université de Pau et des Pays de l’Adour, 40 p.

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

Previous 1 2 3 4 Next