Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 50 out of 69Page size: 50
Sort by: Title

  1. 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 proceeding › Chapter

  2. 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 proceeding › Chapter

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

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

  5. A Novel Flow Control Mechanism to Avoid Multi-Point Progressive Blocking in Hard Real-Time Priority-Preemptive NoCs

    Burns, A., Soares Indrusiak, L., Smirnov, N. & Harrison, J., 11 Jun 2020, 26th IEEE Real-Time and Embedded Technology and Applications Symposium: Proceedings. IEEE

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

  6. A Quantum-inspired Entropic Kernel for Multiple Financial Time Series Analysis

    Bai, L., Cui, L., Wang, Y., Jiao, Y. & Hancock, E. R., 1 Jul 2020, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI-20. International Joint Conferences on Artificial Intelligence Organization, p. 4453-4460 8 p.

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

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

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

  9. Addressing resource contention and timing predictability for multi-core architectures with shared memory interconnects

    Wang, H., Audsley, N. C. & Chang, W., Apr 2020, Proceedings - 2020 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2020. Institute of Electrical and Electronics Engineers Inc., p. 70-81 12 p. 9113099. (Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS; vol. 2020-April).

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

  10. An Assurance Case Pattern for the Interpretability of Machine Learning in Safety-Critical Systems

    Ward, F. R. & Habli, I., Sep 2020, ​Third International Workshop on Artificial Intelligence Safety Engineering .

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

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

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

  13. Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems

    Picardi, C., Paterson, C., Hawkins, R. D., Calinescu, R. & Habli, I., 27 Feb 2020, Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2020). CEUR Workshop Proceedings, p. 23-30 (CEUR Workshop Proceedings; vol. 2560).

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

  14. Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings

    Gauerhof, L., Hawkins, R. D., Picardi, C., Paterson, C., Hagiwara, Y. & Habli, I., Sep 2020, SAFECOMP 2020 (39th International Conference on Computer Safety, Reliability and Security).

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

  15. Automated Algebraic Reasoning for Collections and Local Variables with Lenses

    Foster, S. D. & Baxter, J., 1 Apr 2020, 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 proceeding › Conference contribution

  16. CPS-oriented modeling and control of traffic signals using adaptive back pressure

    Chang, W., Roy, D., Zhao, S., Annaswamy, A. & Chakraborty, S., 13 Mar 2020, Design, Automation and Test in Europe Conference (DATE).

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

  17. CoLearn: enabling federated learning in MUD-compliant IoT edge networks

    Feraudo, A., Yadav, P., Safronov, V., Popescu, D. A., Mortier, R., Wang, S., Bellavista, P. & Crowcroft, J., 25 Apr 2020, EdgeSys '20: Proceedings of the Third ACM International Workshop on Edge Systems, Analytics and Networking. ACM, p. 25–30 6 p.

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

  18. Conditional Attention for Content-based Image Retrieval

    Hu, Z. & Bors, A. G., Aug 2020, British Machine Vision Conference (BMVC). Manchester, UK, 13 p.

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

  19. Confluence up to Garbage

    Plump, D. & Campbell, G., 25 Jun 2020, Proceedings 13th International Conference on Graph Transformation (ICGT 2020). Gadducci, F. & Kehrer, T. (eds.). Springer, Vol. 12150. p. 20-37 18 p. (Lecture Notes in Computer Science).

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

  20. Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicle : A Systematic Literature Review

    Tahir, Z. & Alexander, R., 23 Aug 2020, The Second IEEE International Conference On Artificial Intelligence Testing.

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

  21. DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency

    Zhao, S., Dai, X., Bate, I., Burns, A. & Chang, W., 2020, IEEE Real-Time Systems Symposium. IEEE, 13 p.

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

  22. Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL

    Munive, J. H. Y., Struth, G. & Foster, S. D., 1 Apr 2020, 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 proceeding › Conference contribution

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

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

  25. Elastic Scheduling of Parallel Real-Time Tasks with Discrete Utilizations

    Orr, J., Uribe, J. C., Gill, C., Baruah, S., Agrawal, K., Dyke, S., Prakash, A., Bate, I., Wong, C. & Adhikari, S., 9 Jun 2020, Proceedings of the 28th International Conference on Real-Time Networks and Systems. New York, NY, USA: Association for Computing Machinery (ACM), p. 117–127 11 p. (RTNS 2020).

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

  26. Establishing Confidence and Understanding Uncertainty in Real-Time Systems

    Bate, I., Griffin, D. & Lesage, B., 9 Jun 2020, Proceedings of the 28th International Conference on Real-Time Networks and Systems. New York, NY, USA: Association for Computing Machinery (ACM), p. 67–77 11 p. (RTNS 2020).

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

  27. 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 proceeding › Chapter

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

  29. Generating Real-World Impact from Academic Research: Experience Report from a University Impact Hub

    Ingram, C., Chubb, J. A., Boardman, C. & Ursu, M., 26 May 2020, IEEE/ACM 42nd International Conference on Software Engineering Workshops: 7th International Workshop on Software Engineering Research and Industrial Practice. ACM

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

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

  31. How Players Learn Team-versus-Team Esports: First Results from A Grounded Theory Study

    Hesketh, J., Deterding, C. S. & Gow, J., 31 Jan 2020, DiGRA'20 Abstract - Proceedings of the 2020 DiGRA International Conference. Tampere, (DiGRA conference proceedings).

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

  32. How Software Practitioners Use Informal Local Meetups to Share Software Engineering Knowledge

    Ingram, C. & Drachen, A., 29 May 2020, 42nd International Conference on Software Engineering. ACM

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

  33. How Systems Engineering and Systems Thinking Enable Innovation

    Beasley, R. & Ingram, C., 18 Jul 2020, 30th INCOSE International Symposium. International Council for Systems Engineering

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

  34. Human Factors of Using Artificial Intelligence in Healthcare: Challenges That Stretch Across Industries

    Sujan, M., Furniss, D., Hawkins, R. D. & Habli, I., Feb 2020, Safety-Critical Systems Symposium.

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

  35. Importance-Driven Deep Learning System Testing

    Gerasimou, S., Eniser, H. F. & Sen, A., 2020, 42nd International Conference on Software Engineering.

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

  36. Interval Change-Point Detection for Runtime Probabilistic Model Checking

    Zhao, X., Calinescu, R., Gerasimou, S., Robu, V. & Flynn, D., 2020, 35th IEEE/ACM International Conference on Automated Software Engineering.

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

  37. 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 proceeding › Chapter

  38. InverseRenderNet: Learning single image inverse rendering

    Yu, Y. & Smith, W. A. P., 9 Jan 2020, IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). p. 3150-3159 10 p. (2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)).

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

  39. Justifying the Service Provided to Low Criticality Tasks in a Mixed Criticality System

    Law, S., Bate, I. & Lesage, B., 9 Jun 2020, Proceedings of the 28th International Conference on Real-Time Networks and Systems. New York, NY, USA: Association for Computing Machinery (ACM), p. 100–110 11 p. (RTNS 2020).

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

  40. Learning Aligned-Spatial Graph Convolutional Networks for Graph Classification

    Bai, L., Jiao, Y., Cui, L. & Hancock, E. R., 30 Apr 2020, Machine Learning and Knowledge Discovery in Databases. Brefeld, U., Fromont, E., Hotho, A., Knobbe, A., Maathuis, M. & Robardet, C. (eds.). Cham: Springer International Publishing, p. 464-482 19 p. (Lecture Notes in Computer Science; vol. 11906).

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

  41. Learning Spatio-Temporal Representations with Temporal Squeeze Pooling

    Huang, G. & Bors, A. G., May 2020, Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP). IEEE, 5 p.

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

  42. Learning for Graph Matching and Related Combinatorial Optimization Problems

    Yan, J., Yang, S. & Hancock, E. R., 1 Jul 2020, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI-20. International Joint Conferences on Artificial Intelligence Organization, p. 4988-4996 9 p.

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

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

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

  45. MCS-IOV: Real-time I/o virtualization for mixed-criticality systems

    Jiang, Z., Audsley, N., Dong, P., Guan, N., Dai, X. & Wei, L., 3 Apr 2020, Proceedings - 2019 IEEE 40th Real-Time Systems Symposium, RTSS 2019. Institute of Electrical and Electronics Engineers Inc., p. 326-338 13 p. 9052193. (Proceedings - Real-Time Systems Symposium; vol. 2019-December).

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

  46. Management of container-based genetic algorithm workloads over cloud infrastructure

    Alrefai, T. & Soares Indrusiak, L., 11 May 2020, CF '20: Proceedings of the 17th ACM International Conference on Computing Frontiers. ACM, p. 229-232 4 p.

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

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

  48. Modular Safety Cases for the Assurance of Industry 4.0

    Jaradat, O., Sljivo, I., Hawkins, R. D. & Habli, I., Feb 2020, Safety-Critical Systems Symposium.

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

  49. Multilinear cryptography using nilpotent groups

    Kahrobaei, D., Tortora, A. & Tota, M., 26 Feb 2020, Elementary Theory of Groups and Group Rings, and Related Topics: Proceedings of the Conference held at Fairfield University and at the Graduate Center, CUNY, November 1-2, 2018. Baginski, P., Fine, B., Moldenhauer, A., Rosenberger, G. & Vladimir, S. (eds.). de Gruyter, p. 127-134 (De Gruyter Proceedings in Mathematics).

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

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

Previous 1 2 Next