Search research publications and outputs

  1. 2021
  2. Alzheimer's Brain Network Analysis Using Sparse Learning Feature Selection

    Cui, L., Zhang, L., Bai, L., Wang, Y. & Hancock, E. R., 9 Apr 2021, Structural, Syntactic, and Statistical Pattern Recognition. Torsello, A., Rossi, L., Pelillo, M., Biggio, B. & Robles-Kelly, A. (eds.). Cham: Springer International Publishing AG, p. 184-194 11 p.

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

  3. Graph Transformer: Learning Better Representations for Graph Neural Networks

    Wang, B., Cui, L., Bai, L. & Hancock, E. R., 9 Apr 2021, Structural, Syntactic, and Statistical Pattern Recognition. Torsello, A., Rossi, L., Pelillo, M., Biggio, B. & Robles-Kelly, A. (eds.). Cham: Springer International Publishing AG, p. 139-149 11 p.

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

  4. LGL-GNN: Learning Global and Local Information for Graph Neural Networks

    Li, H., Wang, B., Cui, L., Bai, L. & Hancock, E. R., 9 Apr 2021, Structural, Syntactic, and Statistical Pattern Recognition. Torsello, A., Rossi, L., Pelillo, M., Biggio, B. & Robles-Kelly, A. (eds.). Cham: Springer International Publishing AG, p. 129-138 10 p.

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

  5. The Entropy of Graph Embeddings: A Proxy of Potential Mobility in Covid19 Outbreaks

    Escolano, F., Lozano, M. A. & Hancock, E. R., 9 Apr 2021, Structural, Syntactic, and Statistical Pattern Recognition. Torsello, A., Rossi, L., Pelillo, M., Biggio, B. & Robles-Kelly, A. (eds.). Cham: Springer International Publishing AG, p. 195-204 10 p.

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

  6. Weighted Network Analysis Using the Debye Model

    Zhu, H., Wu, H., Wang, J. & Hancock, E. R., 9 Apr 2021, Structural, Syntactic, and Statistical Pattern Recognition. Torsello, A., Rossi, L., Pelillo, M., Biggio, B. & Robles-Kelly, A. (eds.). Cham: Springer International Publishing AG, p. 153-163 11 p.

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

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

  8. Safety Cases: An Impending Crisis?

    Habli, I., Alexander, R. & Hawkins, R. D., 10 Feb 2021, Safety-Critical Systems Symposium (SSS’21). York, UK

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

  9. A Human Ear Reconstruction Autoencoder

    Sun, H., Pears, N. E. & Dai, H., 8 Feb 2021, 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. Springer International Publishing

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

  10. Runtime Decision Making Under Uncertainty in Autonomous Vehicles

    Gautam, V., Gheraibia, Y., Alexander, R. & Hawkins, R. D., 8 Feb 2021, Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2021). CEUR Workshop Proceedings, 8 p.

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

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

  12. Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies

    Riley, J., Calinescu, R., Paterson, C., Kudenko, D. & Banks, A., Feb 2021, 13th International Conference on Agents and Artificial Intelligence.

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

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

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

  15. Region-based Non-local Operation for Video Classification

    Huang, G. & Bors, A. G., 10 Jan 2021, Proc. International Conference on Pattern Recognition (ICPR). Milan, Italy: IEEE, 8 p.

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

  16. HSS-GCN: A Hierarchical Spatial Structural Graph Convolutional Network for Vehicle Re-identification

    Xu, Z., Wei, L., Lang, C., Feng, S., Wang, T. & Bors, A. G., 9 Jan 2021, Proc. ICPR's Int. Workshop on Human and Vehicle Analysis for Intelligent Urban Computing (IUC). Milan, Italy: Springer, 8 p. (Lecture Notes in Computer Science).

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

  17. Less is More: Analysing Communication in Teams of Strangers

    Tan, E., Wade, A., Kokkinakis, A., Heyes, G., Demediuk, S. P. & Drachen, A., 5 Jan 2021, Proceedings of HICSS 54. Proceedings of HICSS 54

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  41. “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

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

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

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

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

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

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

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

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

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

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

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

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