Search research publications and outputs

  1. Conference article › Research › Peer-reviewed
  2. Review article › Research › Peer-reviewed
  3. Interventions to prevent Lyme disease in humans: A systematic review

    Richardson, M., Khouja, C. & Sutcliffe, K., 5 Nov 2018, (Accepted/In press)

    Review article in Prev Med.

  4. Chapter (peer-reviewed) › Research › Peer-reviewed
  5. Shared Digital Experiences Supporting Collaborative Meaning-Making at Heritage Sites

    Perry, S. E., Roussou, M., Mirashrafi, S., Katifori, A. & McKinney, S., 2019, (Accepted/In press) The Routledge International Handbook of New Digital Practices in Galleries, Libraries, Archives, Museums and Heritage Sites. Lewi, H., Smith, W., Cooke, S. & vom Lehn, D. (eds.). Routledge, (Routledge International Handbook).

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

  6. Featured article › Research
  7. Teaching grammar in foreign language and English: Cross-over and collaboration?

    Association for Language Learning & National Association for Teachers of English, Nov 2015, (Accepted/In press) Languages Today.

    Research output: Contribution to specialist publicationFeatured article

  8. Working paper › Research
  9. Cubic hypersurfaces and a version of the circle method for number fields

    Browning, T. & Vishe, P., 10 Jul 2012, (Accepted/In press) Arxiv (Cornell University), 45 p.

    Research output: Working paper

  10. The Hausdorff and dynamical dimensions of self-affine sponges: a dimension gap result

    Simmons, D. S. & Das, T., 25 Mar 2017, (Accepted/In press) 42 p.

    Research output: Working paper

  11. Conference contribution › Research
  12. "Look Ma, no landmarks!" - Unsupervised, model-based dense face alignment

    Koizumi, T. & Smith, W. A. P., 2 Jul 2020, (Accepted/In press) 16th European Conference on Computer Vision (ECCV 2020) Proceedings. Springer-Verlag, (LNCS).

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

  13. A 1.3 GHz, High Voltage Mesoband Dipole Antenna for IEMI Testing

    Dawson, J. F., Rees, T., Petit, B., Hoad, R., Bale, S., Hough, M., Dawson, L., Robinson, M., Marvin, A., Will, I. & Porter, S., 4 May 2021, (Accepted/In press) Joint IEEE International Symposium on Electromagnetic Compatibility, Signal Power Integrity and EMC Europe. 1 p.

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

  14. A 150MHz, High Voltage Mesoband Dipole Antenna for IEMI Testing

    Bale, S., Hoad, R., Petit, B., Rees, T., Robinson, M., Hough, M., Porter, S., Dawson, L., Marvin, A., Dawson, J. F. & Will, I., 4 May 2021, (Accepted/In press) Joint IEEE International Symposium on Electromagnetic Compatibility, Signal Power Integrity and EMC Europe. 1 p.

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

  15. A Lightweight, Compact, High voltage Hyperband Antenna for IEMI Testing

    Dawson, J. F., Hoad, R., Petit, B., Rees, T., Robinson, M., Bale, S., Hough, M., Dawson, L., Marvin, A. & Will, I., 4 May 2021, (Accepted/In press) Joint IEEE International Symposium on Electromagnetic Compatibility, Signal Power Integrity and EMC Europe. 1 p.

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

  16. A Morphable Face Albedo Model

    Smith, W. A. P., Seck, A., Dee, H., Tiddeman, B., Tenenbaum, J. & Egger, B., 27 Feb 2020, (Accepted/In press) Proceeding of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR 2020) . IEEE

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

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

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

  19. A Team Based Player Versus Player Recommender Systems Framework For Player Improvement

    Joshi, R., Gupta, V., Li, X., Cui, Y., Wang, Z., Ravari, Y., klabjan, D., Sifa, R., Parsaianen, A., Drachen, A. & Demediuk, S. P., 29 Jan 2019, (Accepted/In press) Proceedings of ACSW.

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

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

  21. Accept All: The Landscape of Cookie Banners in Greece and the UK

    Kampanos, G. & Shahandashti, S. F., 22 Mar 2021, (Accepted/In press) International Conference on ICT Systems Security and Privacy Protection, Proceedings. Springer

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

  22. Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement

    Paterson, C. A. & Calinescu, R. C., 2017, (Accepted/In press) IEEE International Conference on Software Architecture (ICSA 2017). IEEE

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

  23. Against "Dark Game Design Patterns"

    Deterding, C. S., Stenros, J. & Montola, M., 31 Jan 2020, (Accepted/In press) DiGRA'20 - Abstract Proceedings of the 2020 DiGRA International Conference. Tampere, (DiGRA conference proceedings).

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

  24. An Axiomatic Value Model for Isabelle/UTP

    Zeyda, F., Foster, S. D. & Freitas, L., 2016, (Accepted/In press) 6th International Symposium on Unifying Theories of Programming. p. 1-20 20 p.

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

  25. Analysis of the use of genetic algorithms for indoor localisation via cloud point matching

    Boland, M. & Soares Indrusiak, L., 24 Mar 2018, (Accepted/In press) Proceedings of the Genetic and Evolutionary Computation Conference. 8 p.

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

  26. Are You Open? A Content Analysis of Transparency and Openness Guidelines in HCI Journals

    Ballou, N., Warriar, V. R. & Deterding, C. S., 21 Jan 2021, (Accepted/In press) CHI Conference on Human Factors in Computing Systems (CHI ’21),. Association for Computing Machinery (ACM)

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

  27. Automatic Similarity Detection in LEGO Ducks

    Ferguson, M., Deterding, C. S., Lieberoth, A., Malmdorf Andersen, M., Devlin, S., Kudenko, D. & Walker, J. A., 30 Jun 2020, (Accepted/In press) ICCC'20: Eleventh International Conference on Computational Creativity. Association for Computational Creativity (ACC), 4 p.

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

  28. Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems --- Requirements and Open Challenges

    Dai, X., Zhao, S., Bate, I. J., Burns, A., Guo, X. & Chang, W., 16 Mar 2021, (Accepted/In press) IEEE Real-Time and Embedded Technology and Applications Symposium.

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

  29. Casual Creators in the Wild: A Typology of Commercial Generative Creativity Support Tools

    Petrovskaya, E., Deterding, C. S. & Colton, S., 14 May 2020, (Accepted/In press) ICCC’20: Eleventh International Conference on Computational Creativity. Association for Computational Creativity (ACC)

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

  30. Cheap Remarks about Concurrent Programs

    Walker, M. & Runciman, C., 22 Jan 2018, (Accepted/In press) Proceedings of 14th International Symposium on Functional and Logic Programming. Springer, 15 p.

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

  31. Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions

    Burton, S., Gauerhof, L., Hawkins, R. D., Habli, I. & Sethy, B., 6 Jun 2019, (Accepted/In press) Safecomp 2019 - Workshop on Artificial Intelligence Safety Engineering (Waise) of the 38th International Conference on Computer Safety, Reliability and Security.

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

  32. Correlated Input Strategies: Using Metaheuristics for Generating Parameterised Random Sampling Regimes

    Srivisut, K., Paige, R. F. & Clark, J. A., 25 Mar 2018, (Accepted/In press) Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) 2018. ACM, 8 p.

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

  33. DAX: Data-Driven Audience Experiences in Esports

    Kokkinakis, A., Demediuk, S. P., Nölle, I., Olarewaju, O., Patra, S., Robertson, J., York, P., Pedrassoli Chitayat, A., Coates, A., Slawson, D., Hughes, P., Hardie, N., Kirman, B., Hook, J. D., Drachen, A., Ursu, M. & Block, F. O., 15 Apr 2020, (Accepted/In press) Proceedings of ACM International Conference on Interactive Media Experience (IMX) 2020. Association for Computing Machinery (ACM), p. 94-105 12 p.

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

  34. Determining the Electromagnetic Shielding Properties of Non-Woven Materials

    Dawson, J. F., Austin, A. N., Flintoft, I. D. & Marvin, A., 6 Mar 2015, (Accepted/In press) IET Enterprise Workshop on RF technology for Aerospace: Trends, Challenges and Opportunities. Edinburgh: IET, 2 p.

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

  35. Efficient Generation of Graphical Model Views via Lazy Model-to-Text Transformation

    Kolovos, D., De La Vega, A. & Cooper, J., 13 Jul 2020, (Accepted/In press) ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20).

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

  36. Equilibrium Analysis in Wireless Networks Walrasian Markets: A Distributed Approach

    Haghighatdoost, V., Khorsandi, S., Khan, Z. & Ahmadi, H., 13 Apr 2021, (Accepted/In press) European Conference on Networks and Communications, 2021, Proceedings . Institute of Electrical and Electronics Engineers Inc.

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

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

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

  39. Extrapolate: generalizing counterexamples of functional test properties

    Braquehais, R. & Runciman, C., 31 Jan 2018, (Accepted/In press) IFL 2017: 29th Symposium on the Implementation and Application of Functional Programming Languages. New York: ASSOC COMPUTING MACHINERY, 11 p.

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

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

  41. Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks

    Dai, X., Zhao, S., Jiang, Y., Jiao, X., Hu, S. & Chang, W., 17 Jul 2020, (Accepted/In press) IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2020).

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

  42. Forensic voice comparison using long-term acoustic measures of voice quality

    Cardoso, A., Foulkes, P., French, J. P., Gully, A. J., Harrison, P. T. & Hughes, V., 12 Feb 2019, (Accepted/In press) Proceedings of the 19th International Congress of Phonetic Sciences (ICPhS).

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

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

  44. Heterogeneous Semantics and Unifying Theories

    Woodcock, J., Foster, S. D. & Butterfield, A., 2016, (Accepted/In press) 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. p. 374-394 21 p.

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

  45. Homeostatic Fault Tolerance in Spiking Neural Networks utilizing Dynamic Partial Reconfiguration of FPGAs

    Johnson, A. P., Liu, J., Millard, A. G., Karim, S., Tyrrell, A. M., Harkin, J., Timmis, J. I., McDaid, L. & Halliday, D. M., 15 Sep 2017, (Accepted/In press) The International Conference on Field-Programmable Technology (FPT-2017). IEEE

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

  46. ICS protocol fuzzing: Coverage guided packet crack and generation

    Luo, Z., Zuo, F., Shen, Y., Jiao, X., Chang, W. & Jiang, Y., 26 Mar 2020, (Accepted/In press) Design Automation Conference (DAC).

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

  47. Is Reflective Writing an Effective Peer Assessment tool for Students in Higher Education?

    Baruah, B. J., Ward, A. E. & Jackson, N., 10 Jul 2017, (Accepted/In press) 16th International Conference on Information Technology Based Higher Education and Training ITHET 2017. Macedonia, Vol. 16.

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

  48. Least squares surface reconstruction on arbitrary domains

    Zhu, D. & Smith, W. A. P., 2 Jul 2020, (Accepted/In press) 16th European Conference on Computer Vision (ECCV 2020) Proceedings. Springer-Verlag, (Lecture Notes in Computer Science).

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

  49. Linear Differential Constraints for Photo-polarimetric Height Estimation

    Tozza, S., Smith, W. A. P., Zhu, D., Ramamoorthi, R. & Hancock, E. R., 17 Jul 2017, (Accepted/In press) 2017 IEEE International Conference on Computer Vision (ICCV) . IEEE Computer Society Press, 9 p.

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

  50. Low-complexity UAC modem and data packet structure

    Zakharov, Y., Yuan, F., Mitchell, P. D., Morozs, N., Henson, B. T., Shen, L. & Tozer, T. C., 11 Jun 2018, (Accepted/In press) Underwater Communications and Networking (UCOMMS).

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

  51. Mapping across feature spaces in forensic voice comparison: the contribution of auditory-based voice quality to (semi-)automatic system testing

    Hughes, V., Harrison, P. T., Foulkes, P., French, J. P., Kavanagh, C. & San Segundo Fernandez, E., 30 May 2017, (Accepted/In press) Proceedings of Interspeech 2017. Stockholm, Sweden

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

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

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

  54. Network Edge Entropy from Maxwell-Boltzmann Statistics

    Wang, J., Wilson, R. C. & Hancock, E. R., 8 Jun 2017, (Accepted/In press) Proceedings ICIAP 2017: Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 11 p.

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

  55. On Learning in Collective Self-adaptive Systems: State of Practice and a 3D Framework

    Gerasimou, S., D’Angelo, M., Ghahremani, S., Grohmann, J., Nunes, I., Pournaras, E. & Tomforde, S., 22 Mar 2019, (Accepted/In press) 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

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

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

  57. Overview of the P2715 WG - IEEE Guide for the Characterization of the shielding effectiveness of planar material: Free Space and Absorber Box Methods of Planar Shielding Measurement

    Dawson, J. & Pissoort, D., 26 Feb 2019, (Accepted/In press) Electromagnetic Compatibility (EMC), 2019 IEEE International Symposium on. (IEEE Symposium on Electromagnetic Compatibility, Signal Integrity and Power Integrity).

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

  58. Performance and Usability of Visual and Verbal Verification of Word-based Key Fingerprints

    Livsey, L., Petrie, H., Shahandashti, S. F. & Fray, A., 1 May 2021, (Accepted/In press) International Symposium on Human Aspects of Information Security & Assurance, Proceedings.

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

  59. Pitch-interval analysis of ‘periodic’ and ‘aperiodic’ Question+Answer pairs

    Robledo, J. P., Hawkins, S., Cross, I. & Ogden, R. A., 2016, (Accepted/In press) Speech Prosody 2016. p. 1071-1075

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

  60. Player Style Clustering without Game Variables

    Ferguson, M., Devlin, S., Kudenko, D. & Walker, J. A., 28 May 2020, (Accepted/In press) Proceedings of the International Conference on the Foundations of Digital Games (FDG) 2020. ACM

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

  61. Q-learning based adaptive channel selection for underwater sensor networks

    Pottier, A., Mitchell, P. D., Socheleau, F. & Laot, C., 11 Jun 2018, (Accepted/In press) Underwater Communications and Networking (UCOMMS).

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

  62. Quality Evolvability ES: Evolving Individuals With a Distribution of Well Performing and Diverse Offspring

    Katona, A., Franks, D. W. & Walker, J. A., 26 Apr 2021, (Accepted/In press) ALIFE 2021: Conference on Artificial Life.

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

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

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

  65. Reverberation Chamber Immunity Testing: A novel methodology to avoid accidental DUT damage

    Aurand, T., Dawson, J. F., Robinson, M. P. & Marvin, A., 26 Sep 2011, (Accepted/In press) 10th Int. Symposium on Electromagnetic Compatibility (EMC Europe 2011). York, UK, p. 391-393 3 p.

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

  66. Safety Case Generation by Model-based Engineering: State of the Art and a Proposal

    Yan, F., Foster, S. & Habli, I., 4 Mar 2021, (Accepted/In press) The Eleventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications, proceedings. International Academy, Research, and Industry Association , 4 p.

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

  67. Schedulability Analysis for Multi-core Systems Accounting for Resource Stress and Sensitivity

    Davis, R. I., Griffin, D. J. & Bate, I. J., 6 Apr 2021, (Accepted/In press) 33rd Euromicro Conference on Real-Time Systems 2021 (proceedings). Association for Computing Machinery (ACM), p. 7:1-7:26 26 p.

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

  68. Scheduling of Smart Factories using Edge Computing and Clouds

    Dziurzanski, P., Swan, J. & Soares Indrusiak, L., 20 Oct 2018, (Accepted/In press) 1st International Workshop on Trustworthy and Real-time Edge Computing for Cyber-Physical Systems (TREC4CPS). 4 p.

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

  69. Self-Adaptive Role-Based Access Control for Business Processes

    da Silva, C. E., da Silva, J. D. S., Paterson, C. A. & Calinescu, R. C., 2017, (Accepted/In press) 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). IEEE, 11 p.

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

  70. Self-supervised Outdoor Scene Relighting

    Yu, Y., Meka, A., Elgharib, M., Seidel, H-P., Theobalt, C. & Smith, W. A. P., 2 Jul 2020, (Accepted/In press) 16th European Conference on Computer Vision (ECCV 2020) Proceedings. Springer-Verlag, (Lecture Notes in Computer Science).

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

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

  72. Socio-Cyber-Physical Systems: Models, Opportunities, Open Challenges

    Calinescu, R. C., Camara Moreno, J. & Paterson, C., 2019, (Accepted/In press) 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems.

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

  73. Surface modification of polymer films using an atmospheric-pressure plasma jet

    Shaw, D., Gyuk, P., West, A., Momoh, M. & Wagenaars, E., 2015, (Accepted/In press) Proc 22nd ISPC. 3 p.

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

  74. System performance as a function of calibration methods, sample size and sampling variability in likelihood ratio-based forensic voice comparison

    Wang, X. & Hughes, V., 2 Jun 2021, (Accepted/In press) Proceedings of Interspeech 2021.

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

  75. TEVoT: Timing error modeling of functional units under dynamic voltage and temperature variations

    Jiao, X., Ma, D., Chang, W. & Jiang, Y., 26 Mar 2020, (Accepted/In press) Design Automation Conference (DAC).

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

  76. The Convergence of Gaming and Gambling Research: What Can We Learn from Each Other?

    Deterding, C. S., Karlsen, F., Macey, J., Mortensen, T. E., Wardle, H. & Zendle, D., 31 Jan 2020, (Accepted/In press) DiGRA'20 - Abstract: Proceedings of the 2020 DiGRA International Conference. Tampere, (DiGRA conference proceedings).

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

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

  78. The Visual Inheritance Structure to Support the Design of Visual Notations

    Selviandro, N., Kelly, T. & Hawkins, R. D., 17 Aug 2018, (Accepted/In press) Third International Workshop on Human Factors in Modeling (HuFaMo’18). 8 p.

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

  79. The effect of score sampling on system stability in likelihood ratio based forensic voice comparison

    Wang, X., Hughes, V. & Foulkes, P., 12 Feb 2019, (Accepted/In press) Proceedings of the 19th International Congress of Phonetic Sciences (ICPhS). p. 3065-3069

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

  80. Timing-accurate general-purpose I/O for multi- and many-core systems: scheduling and hardware support

    Zhao, S., Jiang, Z., Dai, X., Bate, I. J., Habli, I. & Chang, W., 26 Mar 2020, (Accepted/In press) Design Automation Conference (DAC).

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

  81. Towards Formal Verification of Control Algorithms for Autonomous Marine Vehicles

    Foster, S. D., Gleirscher, M. & Calinescu, R., 2 Aug 2020, (Accepted/In press) Proceeding of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020). IEEE, 6 p.

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

  82. TwitchChat: A Dataset for Exploring Livestream Chat

    Ringer, C., Nicolaou, M. & Walker, J. A., 23 Jul 2020, (Accepted/In press) THE 16TH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND INTERACTIVE DIGITAL ENTERTAINMENT (AIIDE). AAAI Press

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

  83. UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles

    Calinescu, R. C., Gerasimou, S., Shevtsov, S. & Weyns, D., 22 Feb 2017, (Accepted/In press) 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). IEEE, p. 1-7 7 p.

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

  84. Using Unstructured Data to Improve the Continuous Planning of Critical Processes Involving Humans

    Paterson, C., Calinescu, R. C., Wang, D. & Manandhar, S. K., 2019, (Accepted/In press) 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

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

  85. Using the 'Test Wire' Method as an Alternative to the CISPR 12 Full Vehicle Measurement Method

    Paterson, M. & Dawson, J. F., 18 Apr 2016, (Accepted/In press) Electromagnetic Compatibility (EMC EUROPE), 2016 International Symposium on. 6 p.

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

  86. Value-Based Manufacturing Optimisation in Serverless Clouds for Industry 4.0

    Dziurzanski, P., Swan, J. & Soares Indrusiak, L., 24 Mar 2018, (Accepted/In press) Proceedings of the Genetic and Evolutionary Computation Conference.

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

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

  88. What is the relevant population? Considerations for the computation of likelihood ratios in forensic voice comparison

    Hughes, V. & Foulkes, P., 30 May 2017, (Accepted/In press) Proceedings of Interspeech 2017. Stockholm, Sweden

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

  89. World War I and the emergence of modern central banks in South-East Europe

    Morys, M., 2016, (Accepted/In press) Banques centrales dans la grande guerre. Conference proceedings of central banks in the Great War, 13th and 14th November 2014 in Paris. Presses Sciences-Po, 16 p.

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

  90. Chapter › Research
  91. Bond Rebooted: The Transnational Appeal of the Daniel Craig Bond Films

    Higson, A. D. & Jones, H. D., 2020, (Accepted/In press) Beyond 007: James Bond Reconsidered. Verheul, J. (ed.). Amsterdam University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  92. Bugs on a Slippery Plane: Understanding the Motility of Microbial Pathogens with Mathematical Modelling

    Pushkin, D. & Bees, M. A., 28 Mar 2016, (Accepted/In press) Biophysics of Infection. Leake, M. C. (ed.). Springer, Chapter 12. (Ecological Studies; vol. 915).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  93. Cloud-based Dynamic Distributed Optimisation of Integrated Process Planning and Scheduling in Smart Factories

    Zhao, S., Dziurzanski, P., Przewozniczek, M., Komarnicki, M. & Soares Indrusiak, L., 21 Mar 2019, (Accepted/In press) The Genetic and Evolutionary Computation Conference.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  95. Combs and Contacts: past and future work on society and economy via worked bone artefacts and craft

    Ashby, S. P., 2016, (Accepted/In press) Proceedings of the Viking Congress in Shetland. p. 257-262 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  96. Cubic Differentials in the Differential Geometry of Surfaces

    Loftin, J. & McIntosh, I., 2015, (Accepted/In press) Handbook of Teichmueller Theory. Papadopoulos, A. (ed.). European Mathematical Society, Vol. V. 47 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  97. Data, open science, and methodological reform in second language acquisition research.

    Marsden, E. J. & Plonsky, L., 19 Jan 2018, (Accepted/In press) Critical reflections on data in second language acquisition.. Gudmestad, A. & Edmonds, A. (eds.). Philadelphia, PA: John Benjamins

    Research output: Chapter in Book/Report/Conference proceedingChapter

  98. Endotic Englishness: Meades, Perec and the everyday curiosities of place

    Martin, D., Jun 2019, (Accepted/In press) George Perec's Geographies. Forsdick, C., Phillips, R. & Leak, A. (eds.). UCL Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  99. Essential Religiosity in Descartes and Locke

    Wilson, C., 21 Jun 2018, (Accepted/In press) Locke and Cartesian Philosophy. Hamou, P. & Pecherman, M. (eds.). Oxford: Oxford University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  100. Fittingness Objections to Consequentialism

    Chappell, R. M., 5 Sep 2017, (Accepted/In press) Consequentialism: New Directions, New Problems?. Seidel, C. (ed.). Oxford: Oxford University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  101. Governing the Formal Economy: The Convergence of Theory and Divergence of Practice

    Heron, T., 2015, (Accepted/In press) Palgrave Handbook of International Development. Grugel, J. & Hammett, D. (eds.). London: Palgrave Macmillan, 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  102. Implementing Digital Twins of Smart Factories with Interval Algebra

    Dziurzanski, P., Swan, J., Soares Indrusiak, L. & Ramos, J., 15 Nov 2018, (Accepted/In press) IEEE International Conference on Industrial Technology. 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  103. On a difference between English and Greek and its theoretical significance

    Tsoulas, G., 2019, (Accepted/In press) Festschrift..... Language Science Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  104. Value-driven Manufacturing Planning using Cloud-based Evolutionary Optimisation

    Zhao, S., Dziurzanski, P. & Soares Indrusiak, L., 18 Apr 2019, (Accepted/In press) 10th International Conference on Manufacturing Science and Technology.

    Research output: Chapter in Book/Report/Conference proceedingChapter

Previous 1 2 3 4 5 Next