Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 2021
  2. Fast Subspace Clustering Based on the Kronecker Product

    Zhou, L., Bai, X., Zhang, L., Zhou, J. & Hancock, E., 21 Jun 2021, (Accepted/In press) Proceedings 25th International Conference on Pattern Recognition, ICPR 2021, Milan, Italy, January 10-15, 2021. (International Conference on Pattern Recognition).

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

  3. HMFlow: Hybrid Matching Optical Flow Network for Small and Fast-Moving Objects

    Yu, S., Zhang, Y., Wang, C., Bai, X., Zhang, L. & Hancock, E. R., 21 Jun 2021, (Accepted/In press) Proceedings 25th International Conference on Pattern Recognition. 8 p. (International Conference on Pattern Recognition).

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

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

  5. 2020
  6. 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

  7. A Review of Motion Planning Algorithms for Robotic Arm Systems

    Liu, S. & Liu, P., 15 Nov 2020, (Accepted/In press) 8th International Conference on Robot Intelligence Technology and Applications (proceedings). IEEE

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

  8. Model-based and Model-Free Robot Control: A Review

    Zhang, B. & Liu, P., 15 Nov 2020, (Accepted/In press) 8th International Conference on Robot Intelligence Technology and Applications (proceedings). IEEE

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

  9. Service Humanoid Robotics: Review and Design of A Novel Bionic-Companionship Framework

    Yang, J., Chew, E. & Liu, P., 15 Nov 2020, (Accepted/In press) 8th International Conference on Robot Intelligence Technology and Applications (proceedings). IEEE

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

  10. Virtual Network Function Embedding under Nodal Outage using Reinforcement Learning

    Chetty, S. B., Ahmadi, H. & Nag, A., 9 Nov 2020, (Accepted/In press) IEEE International Conference on Advanced Networks and Telecommunications System. Institute of Electrical and Electronics Engineers Inc.

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

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

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

  13. An Empirical Survey-based Study into Industry Practice in Real-time Systems

    Akesson, B., Nasri, M., Nelissen, G., Altmeyer, S. & Davis, R. I., 22 Oct 2020, (Accepted/In press) 2020 IEEE Real-Time Systems Symposium (Proceedings). 9 p.

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

  14. Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests

    Griffin, D. J., Bate, I. J. & Davis, R. I., 22 Oct 2020, (Accepted/In press) 2020 IEEE Real-Time Systems Symposium (proceedings). 13 p.

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

  15. Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance

    Burns, A. & Davis, R. I., 22 Oct 2020, (Accepted/In press) 2020 IEEE Real-Time Systems Symposium (Proceedings). 13 p.

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

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

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

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

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

  20. Basic concepts for quantum optics and quantum technologies

    D'Amico, I., 28 Sep 2020, Proceedings of the International School of Physics "Enrico Fermi": Nanoscale Quantum Optics. Agio, M., D'Amico, I. & Zia, R. (eds.). IOS Press BV, p. 1-18 18 p. (Proceedings of the International School of Physics "Enrico Fermi"; vol. 204).

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

  21. An Experimental Study of the Variability of the Shielding Effectiveness of Circuit Board Shields

    Marvin, A., Dawson, J., Dawson, L., Xie, H. & Hunasanahalli Venkateshaiah, A., 23 Sep 2020, 2020 International Symposium on Electromagnetic Compatibility - EMC EUROPE. 5 p. (EMC Europe).

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

  22. Coupling of Energy Into PCB Traces in a Reverberant Environment: Absorption Cross-section and Probability of Susceptibility

    Hunasanahalli Venkateshaiah, A., Xie, H., Dawson, J. F., Marvin, A. C., Dawson, L. & Robinson, M. P., 23 Sep 2020, 2020 International Symposium on Electromagnetic Compatibility - EMC EUROPE. 6 p. (EMC Europe).

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

  23. The EPSRC Quantum Communications Hub

    Spiller, T. P., 20 Sep 2020, Proceedings, Emerging Imaging and Sensing Technologies for Security and Defence V. Vol. 11540. 1154005. (Proceedings of SPIE - International Society for Optical Engineering; vol. 11540).

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

  24. Evolution of Diverse, Manufacturable Robot Body Plans

    Buchanan Berumen, E., Le Goff, L., Hart, E., Eiben, G., De Carlo, M., Li, W., Hale, M., Woolley, R., Winfield, A., Timmis, J. & Tyrrell, A., 18 Sep 2020, (Accepted/In press) 2020 IEEE Symposium Series on Computational Intelligence.

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

  25. Hardware Design for Autonomous Robot Evolution

    Hale, M., Buchanan Berumen, E., Li, W., Woolley, R., Le Goff, L., De Carlo, M., Timmis, J., Winfield, A., Hart, E., Eiben, G. & Tyrrell, A., 18 Sep 2020, (Accepted/In press) 2020 IEEE Symposium Series on Computational Intelligence.

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

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

  27. Reconstructing Creative Lego Models

    Tattersall, G., Zhu, D., Smith, W. A. P., Deterding, C. S. & Huber, P., 16 Sep 2020, (Accepted/In press) Computer Vision – ACCV 2020.

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

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

  29. A Real-Time CAN-CAN Gateway with Tight Latency Analysis and Targeted Priority Assignment

    Xie, G., Gong, H., Han, Y., Chakraborty, S. & Chang, W., 14 Sep 2020, (Accepted/In press) IEEE Real-Time Systems Symposium (RTSS).

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

  30. Sustainable supply chain management in fast moving consumer goods organizations

    Chen, Y. & Huaccho Huatuco, L. D., 11 Sep 2020, Proceedings of the Sustainable Design and Manufacturing 2020 Conference. Scholz, S. G., Howlett, R. J. & Setchi, R. (eds.). SPRINGER, p. 41-51 11 p. (Smart Innovation, Systems and Technologies; vol. 200).

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

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

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

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

  34. Capturing accelerometer outputs in healthy volunteers under normal and simulated-pathological conditions using ML classifiers

    Filippou, V., Redmond, A. C., Bennion, J., Backhouse, M. R. & Wong, D., 27 Aug 2020, 42nd Annual International Conferences of the IEEE Engineering in Medicine and Biology Society: Enabling Innovative Technologies for Global Healthcare, EMBC 2020. Institute of Electrical and Electronics Engineers Inc., p. 4604-4607 4 p. 9176201. (Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS; vol. 2020-July).

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

  35. Indigenous and Scientific Knowledge of Soil Regulation Services, and Factors Effecting Decision-Making in Agricultural Landscapes in the Terai Plains of Nepal

    Thorn, J. P. R., 6 Aug 2020, Innovations and Interdisciplinary Solutions for Underserved Areas - 4th EAI International Conference, InterSol 2020, Proceedings. Thorn, J. P. R., Thorn, J. P. R., Gueye, A. & Hejnowicz, A. P. (eds.). SPRINGER, p. 33-51 19 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; vol. 321 LNICST).

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

  36. Towards Formal Verification of Control Algorithms for Autonomous Marine Vehicles

    Foster, S. D., Gleirscher, M. & Calinescu, R., 2 Aug 2020, (Accepted/In press) Proceeding of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020). 6 p.

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

  37. Correlating cepstra with formant frequencies: implications for phonetically-informed forensic voice comparison

    Hughes, V., Clermont, F. & Harrison, P., 25 Jul 2020, (Accepted/In press) Proceedings of Interspeech 2020.

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

  38. TwitchChat: A Dataset for Exploring Livestream Chat

    Ringer, C., Nicolaou, M. & Walker, J. A., 23 Jul 2020, (Accepted/In press) THE 16TH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND INTERACTIVE DIGITAL ENTERTAINMENT (AIIDE). AAAI Press

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

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

  40. Authoring Interactive Fictional Stories in Object-Based Media (OBM)

    Ursu, M., Smith, D., Hook, J. D., Concannon, S. & Gray, J., 17 Jul 2020, Proceedings of the ACM International Conference on Interactive Media Experiences. Association for Computing Machinery (ACM)

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

  41. Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks

    Dai, X., Zhao, S., Jiang, Y., Jiao, X., Hu, S. & Chang, W., 17 Jul 2020, (Accepted/In press) IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2020).

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

  42. Efficient Generation of Graphical Model Views via Lazy Model-to-Text Transformation

    Kolovos, D., De La Vega, A. & Cooper, J., 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 proceedingConference contribution

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

  44. "Look Ma, no landmarks!" - Unsupervised, model-based dense face alignment

    Koizumi, T. & Smith, W. A. P., 2 Jul 2020, (Accepted/In press) 16th European Conference on Computer Vision (ECCV 2020) Proceedings. Springer-Verlag, (LNCS).

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

  45. Least squares surface reconstruction on arbitrary domains

    Zhu, D. & Smith, W. A. P., 2 Jul 2020, (Accepted/In press) 16th European Conference on Computer Vision (ECCV 2020) Proceedings. Springer-Verlag, (Lecture Notes in Computer Science).

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

  46. Self-supervised Outdoor Scene Relighting

    Yu, Y., Meka, A., Elgharib, M., Seidel, H-P., Theobalt, C. & Smith, W. A. P., 2 Jul 2020, (Accepted/In press) 16th European Conference on Computer Vision (ECCV 2020) Proceedings. Springer-Verlag, (Lecture Notes in Computer Science).

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

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

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

  49. Automatic Similarity Detection in LEGO Ducks

    Ferguson, M., Deterding, C. S., Lieberoth, A., Malmdorf Andersen, M., Devlin, S., Kudenko, D. & Walker, J. A., 30 Jun 2020, (Accepted/In press) ICCC'20: Eleventh International Conference on Computational Creativity. Association for Computational Creativity (ACC), 4 p.

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

  50. Deep Learning Meets Cognitive Radio: Predicting Future Steps

    Shenfield, A., Khan, Z. & Ahmadi, H., 30 Jun 2020, 2020 IEEE 91st Vehicular Technology Conference (VTC2020-Spring). Institute of Electrical and Electronics Engineers Inc.

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

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

  52. Conceptualizing Augmented Reality Television for the Living Room

    Vatavu, R. D., Saeghe, P., Chambel, T., Vinayagamoorthy, V. & Ursu, M., 17 Jun 2020, Proceedings of IMX '20: ACM International Conference on Interactive Media Experiences. New York, United States: Association for Computing Machinery (ACM), p. 1-12 12 p. (2020 Proceeding).

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

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