Search research publications and outputs

  1. 2022
  2. Consumerism, Contradictions, Counterfactuals: Shaping the Evolution of Safety Engineering

    McDermid, J. A., Porter, Z. & Jia, Y., 8 Feb 2022, Safer Systems: The Next 30 Years: Proceedings of the 30th Safety-Critical Systems Symposium. Parsons, M. & Nicholson, M. (eds.). Safety Critical Systems Club, Vol. 170. p. 15-36 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Could the Introduction of Assured Autonomy Change Accident Outcomes?

    Daniels, D., Hobbs, C., McDermid, J. A., Parsons, M. S. & Twomey, B., 8 Feb 2022, Safer Systems: The Next 30 Years: Proceedings of the 30th Safety-Critical Systems Symposium. Parsons, M. & Nicholson, M. (eds.). Safety Critical Systems Club, Vol. 170. p. 229 264 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Measuring player creativity in digital entertainment games using the Creativity in Gaming Scale

    Hall, J., Herodotou, C. & Iacovides, I., 26 Jan 2022, Open World Learning Research, Innovation and the Challenges of High-Quality Education. Rienties, B., Hampel, R., Scanlon, E. & D. W. (eds.). 1st ed. Routledge, 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. 2021
  6. An XGBoost Model for Age Prediction from COVID-19 Blood Test

    Qomariyah, N. N., Purwita, A. A., Astriani, M. S., Asri, S. D. A. & Kazakov, D. L., 16 Dec 2021, Proceedings of the 4th International Seminar on Research of Information Technology and Intelligent Systems (ISRITI). IEEE, 7 p.

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

  7. HIART-MCS: High Resilience and Approximated Computing Architecture for Imprecise Mixed-Criticality Systems

    Jiang, Z., Dai, X. & Audsley, N. C., 7 Dec 2021, IEEE Real-Time Systems Symposium. IEEE, p. 290-303

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

  8. Human Point Cloud Generation using Deep Learning

    Spick, R., Bradley, T., Williams, N. & Walker, J. A., 6 Dec 2021, The 18th ACM SIGGRAPH European Conference on Visual Media Production. ACM

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

  9. Tradeoffs with physical delay feedback reservoir computing

    Gan, T., Stepney, S. & Trefzer, M. A., 5 Dec 2021, 2021 IEEE Symposium Series on Computational Intelligence (SSCI).

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

  10. Computing with Magnetic Thin Films: Using Film Geometry to Improve Dynamics

    Dale, M., O'Keefe, S., Sebald, A., Stepney, S. & Trefzer, M. A., 11 Oct 2021, UCNC 2021: Unconventional Computation and Natural Computation. Springer, Vol. 12984. p. 19 34 p. (LNTCS; vol. 12984, no. 1).

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

  11. Binding Fault Logic to System Design: A SysML Approach

    McDermid, J. A., Clegg, K. D. & Stamp, D., 19 Sep 2021, Proceedings of the 32st European Safety and Reliability Conference: ESREL 2021. Castanier, B., Cepin, M., Bigaud, D. & Berenguer, C. (eds.). Research Publishing Services, p. 880-887 8 p.

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

  12. Towards Twin-Driven Engineering: Overview of the State-of-The-Art and Research Directions

    Tisi, M., Bruneliere, H., de Lara, J., Di Ruscio, D. & Kolovos, D., 31 Aug 2021, Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems - IFIP WG 5.7 International Conference, APMS 2021, Proceedings. Dolgui, A., Bernard, A., Lemoine, D., von Cieminski, G. & Romero, D. (eds.). Springer Science and Business Media Deutschland GmbH, p. 351-359 9 p. (IFIP Advances in Information and Communication Technology; vol. 630 IFIP).

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

  13. A High-Sensitivity Mems Gravimeter without a Vacuum Chamber

    Xu, X. C., Wang, Q., Tian, J., Fang, Y. Y., Yang, L. J., Zhao, C., Hu, F. & Tu, L., 6 Aug 2021, 21st International Conference on Solid-State Sensors, Actuators and Microsystems, TRANSDUCERS 2021. Institute of Electrical and Electronics Engineers Inc., p. 226-229 4 p. (21st International Conference on Solid-State Sensors, Actuators and Microsystems, TRANSDUCERS 2021).

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

  14. Reservoir Computing in Material Substrates

    Dale, M., Miller, J. F., Stepney, S. & Trefzer, M. A., 6 Aug 2021, Reservoir Computing: Theory, Physical Implementations, and Applications. Nakajima, K. & Fischer, I. (eds.). Springer, p. 141-166 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  15. Engineering of Digital Twins for Cyber-Physical Systems

    Fitzgerald, J., Larsen, P. G., Margaria, T. & Woodcock, J., 5 Aug 2021, Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 49-53 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12479 LNCS).

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

  16. Uncertainty Quantification and Runtime Monitoring Using Environment-Aware Digital Twins

    Woodcock, J., Gomes, C., Macedo, H. D. & Larsen, P. G., 5 Aug 2021, Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 72-87 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12479 LNCS).

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

  17. Thermal Characterisation of Unweighted and Weighted Networks

    Wang, J., Wu, H. & Hancock, E. R., 5 May 2021, 2020 25th International Conference on Pattern Recognition (ICPR). p. 1641-1648 8 p.

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

  18. fMRI Brain Networks as Statistical Mechanical Ensembles

    Wu, H., Wang, J. & Hancock, E. R., 5 May 2021, 2020 25th International Conference on Pattern Recognition (ICPR). p. 1694-1700 7 p.

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

  19. An Architecture for the Development of Distributed Analytics Based on Polystore Events

    Zolotas, A., Barmpis, K., Medhat, F., Neubauer, P., Kolovos, D. & Paige, R. F., 4 Mar 2021, Heterogeneous Data Management, Polystores, and Analytics for Healthcare - VLDB Workshops, Poly 2020 and DMAH 2020, Revised Selected Papers. Gadepally, V., Mattson, T., Stonebraker, M., Kraska, T., Wang, F., Luo, G., Kong, J. & Dubovitskaya, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 54-65 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12633 LNCS).

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

  20. An “As Desired” Model of the Software Safety Assurance Lifecycle

    Osborne, M., Hawkins, R. D. & Nicholson, M., 10 Feb 2021, Safety Critical Systems Symposium (SSS '21).

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

  21. A Human Ear Reconstruction Autoencoder: HERA

    Sun, H., Pears, N. E. & Dai, H., 8 Feb 2021, 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications: VISIGRAPP 2021. SCITEPRESS – Science and Technology Publications, Vol. 5. p. 136-145 10 p.

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

  22. An Initial Framework Assessing the Safety of Complex Systems

    McDermid, J. A., Burton, S., Garnett, P. & Weaver, R. A., Feb 2021, Systems and Covid-19: Proceedings of the 29th Safety-Critical Systems Symposium Virtual Conference . Parsons, M. & Nicholson, M. (eds.). Safety Critical Systems Club, Vol. 161. p. 109-111 3 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  23. FatNet: A Feature-attentive Network for 3D Point Cloud Processing

    Kaul, C., Pears, N. E. & Manandhar, S., 10 Jan 2021, 25th International Conference on Pattern Recognition. Springer International Publishing

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

  24. Penalizing small errors using an Adaptive Logarithmic Loss

    Kaul, C., Pears, N. E., Dai, H., Murray-Smith, R. & Manandhar, S., 10 Jan 2021, 25th International Conference on Pattern Recognition: AIHA-2020 – ICPR International Workshop on Artificial Intelligence for Healthcare Applications. Springer International Publishing

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

  25. Open Challenges and Gaps in the Guidance for the Use of Multi-Cores and MPSoCs in Safety-Critical Systems

    Bate, I. J. & Harney, L., 1 Jan 2021, Systems and Covid-19: Proceedings of the 29th Safety-Critical Systems Symposium (SSS’21) 9th-11th February 2021. Parsons, M. & Nicholson, M. (eds.). Safety Critical Systems Club, p. 63-82 19 p.

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

  26. Robot Narratives

    Walsh, R., Sanz Orell, M., Bown, J., Winfield, A. F. T. & Stepney, S., 2021, Handbook of Unconventional Computing: Volume 1 : Theory. Adamatzky, A. (ed.). World Scientific Publishing, Vol. 1. p. 221-246 (WSPC Book Series in Unconventional Computing).

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

  27. Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps

    Hansen, S. T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J. & Woodcock, J., 2021, Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Proceedings. Lluch Lafuente, A. & Mavridou, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-20 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12863 LNCS).

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

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