Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 36 out of 36Page size: 100
  1. 2021

  2. 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., 24 Mar 2021, (Accepted/In press)

    Article in Communications in Computational Physics

  3. Maintaining driver attentiveness in shared-control autonomous driving

    Calinescu, R., Alasmari, N. & Gleirscher, M., 12 Mar 2021, (Accepted/In press) Software Engineering for Adaptive and Self-Managing Systems. IEEE, (IEEE Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  4. Risk Structures: A Design Algebra for Risk-Aware Machines

    Gleirscher, M., Calinescu, R. & Woodcock, J., 11 Mar 2021, (Accepted/In press)

    Article in Formal Aspects of Computing

  5. Formal Modelling and Security Analysis of Bitcoin's Payment Protocol

    Modesti, P., Shahandashti, S. F., McCorry, P. & Hao, F., 7 Mar 2021, (Accepted/In press)

    Article in Computers & Security

  6. Outdoor inverse rendering from a single image using multiview self-supervision

    Yu, Y. & Smith, W. A. P., 29 Jan 2021, (Accepted/In press)

    Article in IEEE Transactions on Pattern Analysis and Machine Intelligence

  7. Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM

    Foster, S. D., 19 Jan 2021, (Accepted/In press)

    Article in Formal Aspects of Computing

  8. Towards an Analysable, Scalable, Energy-Efficient I/O Virtualization for Mixed-Criticality Systems

    Jiang, Z., Dai, X., Dong, P., Wei, R., Yang, D., Audsley, N. & Guan, N., 2021, (Accepted/In press)

    Article in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

  9. 2020

  10. 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 proceeding › Conference contribution

  11. Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering

    Gerasimou, S., Wood, S., Matragkas, N., Kolovos, D. & Paige, R. F., 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 proceeding › Conference contribution

  12. Empirical Analysis of 1-edit Degree Patches in Syntax-Based Automatic Program Repair

    Dziurzanski, P., Gerasimou, S., Kolovos, D. & Matragkas, N., 20 Mar 2020, (Accepted/In press) IEEE Congress on Evolutionary Computation.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  13. AUTOMATIC GENERATION OF TEXT FOR MATCH RECAPS USING ESPORT CASTER COMMENTARIES

    Olarewaju, O., Hook, J. D., Kokkinakis, A., Demediuk, S. P., Robertson, J., Patra, S., Noelle, I., Slawson, D., Pedrassoli Chitayat, A., Coates, A., Kirman, B., Drachen, A., Ursu, M. & Block, F. O., 2020, (Accepted/In press) p. 1. 15 p.

    Research output: Contribution to conference › Paper

  14. WARDS: Modelling the Worth of Vision in MOBAs: This paper quantifies the previous unseen and unmeasured value of wards, which is a unit that provides information that was previously hidden to a team.

    Pedrassoli Chitayat, A., Kokkinakis, A., Patra, S., Demediuk, S. P., Robertson, J., Olarewaju, O., Ursu, M., Kirman, B., Hook, J. D., Block, F. O. & Drachen, A., 2020, (Accepted/In press).

    Research output: Contribution to conference › Paper › peer-review

  15. 2019

  16. Spectral Bounding: Strictly Satisfying the 1-Lipschitz Property for Generative Adversarial Networks

    Zhang, Z., Zeng, Y., Bai, L., Hu, Y., Wu, M., Wang, S. & Hancock, E. R., 16 Dec 2019, (Accepted/In press)

    Article in Pattern Recognition

  17. 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 proceeding › Conference contribution

  18. A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems

    Picardi, C., Hawkins, R. D., Paterson, C. & Habli, I., 30 Apr 2019, (Accepted/In press) 38th International Conference on Computer Safety, Reliability and Security – SafeComp 2019.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  19. KNOWLEDGE-BASED SELF-RECONFIGURATION AND SELF-AWARE DEMONSTRATION FOR MODULAR SATELLITE ASSEMBLY

    Post, M. A. & Austin, J., 11 Apr 2019, (Accepted/In press) 10th International Workshop on Satellite Constellations & Formation Flying 2019. Glasgow UK

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  20. Combining 3D Morphable Models: A Large scale Face-and-Head Model

    Ploumpis, S., Wang, H., Pears, N. E., Smith, W. A. P. & Zafeiriou, S., 11 Mar 2019, (Accepted/In press) IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) 2019.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  21. Depth from a polarisation + RGB stereo pair

    Zhu, D. & Smith, W. A. P., 11 Mar 2019, (Accepted/In press) IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) 2019.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  22. 2018

  23. Working with participants

    Power, C. D. & Petrie, H., 30 Aug 2018, (Accepted/In press) Web accessibility: A foundation for research. Harper, S. & Yesilada, Y. (eds.). 2nd ed. Springer

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  24. Accessible Player Experiences (APX): The Players

    Power, C. D., Beeston, J. T. & Cairns, P., 25 Mar 2018, (Accepted/In press).

    Research output: Contribution to conference › Paper › peer-review

  25. Digital Technology for Older People: A Review of Recent Research

    Petrie, H. & Darzentas, J. S., 2018, (Accepted/In press) The Oxford Handbook of Digital Technology and Society. New York: Oxford: Oxford University Press

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

  26. 2017

  27. A re-characterization of hyper-heuristics

    Swan, J., De Causmaecker, P., Martin, S. & Özcan, E., 19 Sep 2017, (Accepted/In press) Recent Developments of Metaheuristics. L. Amodeo E-G. Talbi, F. Y. (ed.). Springer, p. 1-16 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

  28. Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

    de Lara, J. (ed.) & Plump, D. (ed.), 2017, (Accepted/In press) Springer. 231 p. (Lecture Notes in Computer Science; vol. 10373)

    Research output: Book/Report › Book

  29. 2016

  30. Distribution Data Across Multiple Cloud Storage Using ReinforcementLearning Method

    Algarni, A. F. H. & Kudenko, D., 2016, (Accepted/In press).

    Research output: Contribution to conference › Paper › peer-review

  31. 2015

  32. Quantifying the Exact Sub-Optimality of Non-Preemptive Scheduling

    Davis, R. I., Thekkilakattil, A., Gettings, O., Dobrin, R. & Punnekkat, S., Dec 2015, (Accepted/In press) Real-Time Systems Symposium (RTSS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  33. Example-Based Modeling of Facial Texture from Deficient Data

    Dessein, A. F., Smith, W. A. P., Wilson, R. C. & Hancock, E. R., 2015, (Accepted/In press) Proceedings ICCV 2015. IEEE Computer Society, 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  34. Shell PCA: statistical shape modelling in shell space

    Zhang, C., Heeren, B., Rumpf, M. & Smith, W. A. P., 2015, (Accepted/In press) Proceedings ICCV. IEEE Computer Society, 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  35. 2014

  36. A Hypergraph Kernel from Isomorphism Tests

    Bai, L., Ren, P. & Hancock, E. R., 2014, (Accepted/In press) Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  37. Attributed Graph Kernels Using the Jensen-Tsallis q-Differences

    Bai, L., Rossi, L., Bunke, H. & Hancock, E. R., 2014, (Accepted/In press) Proceedings ECML 2014. Springer Berlin / Heidelberg, 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  38. Co-evolution of networks and quantum dynamics: a generalization of preferential attachment

    Nicosia, V., Machida, T., Wilson, R. C., Hancock, E. R., Konno, N., Latora, V. & Severini, S., 2014, (Accepted/In press)

    Article in Journal of Statistical Mechanics: Theory and Experiment

  39. Leibniz on Probability and Statistics

    Cussens, J., 2014, (Accepted/In press) Oxford Handbook on Leibniz. Antognazza, M. R. (ed.). Oxford: Oxford University Press

    Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

  40. 2013

  41. Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems

    Calinescu, R. C. & Rafiq, Y., 2013, (Accepted/In press) 7th International Symposium on Theoretical Aspects of Software Engineering. p. 131-134 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  42. 2012

  43. Safety Cases for Medical Devices and Health IT: Involving Healthcare Organisations in the Assurance of Safety

    Sujan, M., Floor Koornneef, F., Chozos, N. & Kelly, T., Dec 2012, (Accepted/In press)

    Article in Health informatics journal

  44. Kernel Entropy based Unsupervised Spectral Feature Selection

    Hancock, E. R. & Zhang, Z., Aug 2012, (Accepted/In press)

    Article in INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE

  45. Algebraic Specifications of Computing as a Service with Applications to Cost Analysis

    Johnson, K. H. A. & Tucker, J. V., 2012, (Accepted/In press) Proceedings of the 5th IEEE/ACM International Conference on Utility and Cloud Computing. p. 143-150 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  46. Argument-based Approach to Computer System Safety Engineering

    Yuan, T. & Kelly, T., 2012, (Accepted/In press)

    Article in International Journal of Critical Computer-Based Systems