Search research publications and outputs

  1. 2021
  2. 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

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

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

  5. EMPIRE-PIC: A Performance Portable Unstructured Particle-in-Cell Code

    Bettencourt, M. T., Brown, D. A. S., Cartwright, K. L., Cyr, E. C., Glusa, C. A., Lin, P. T., Moore, S. G., McGregor, D. A. O., Pawlowski, R., Phillips, E. G., Roberts, N. V., Wright, S. A., Maheswaran, S., Jones, J. P. & Jarvis, S., Aug 2021

    Article in Communications in Computational Physics

  6. Safer Complex Systems: An Initial Framework

    Burton, S., McDermid, J. A., Garnett, P. & Weaver, R., 15 Jul 2021, 130 p.

    Research output: Book/ReportCommissioned report

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