Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 2021
  2. Analysis of User-Generated Comments on Rumor Correction YouTube Videos

    Majid, G. M., Pal, A., Wardani, S. P. & Banerjee, S., 17 Mar 2021, International Conference on Ubiquitous Information Management and Communication 2021 (proceedings). IEEE, 5 p. 9377408

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

  3. Skipping Skippable Ads on YouTube: How, When, Why and Why Not?

    Banerjee, S. & Pal, A., 17 Mar 2021, International Conference on Ubiquitous Information Management and Communication 2021 (proceedings). IEEE, 5 p. 9377378

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

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

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

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

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

  8. Operating Beyond FPGA Tool Limitations: Nervous Systems for Embedded Runtime Management

    Rowlings, M., Tyrrell, A. & Trefzer, M. A., 2 Feb 2021, DATE '21: Proceedings of the 24th Conference on Design, Automation and Test in Europe. IEEE

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  23. Mutational signature modelling in vitro recapitulates bladder cancer initiation

    Baker, S. C., Mason, A. S. & Southgate, J., 1 Dec 2020, Mutational signature modelling in vitro recapitulates bladder cancer initiation. 12 ed. Urologic Oncology Seminars and Original Investigations, Vol. 38. p. 909 1 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Hughes, V., Clermont, F. & Harrison, P., 23 Oct 2020, Proceedings of Interspeech 2020. p. 1858-1862 5 p.

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

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

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

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

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

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

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

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

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

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

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

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

  48. Reactive caching of viral content in 5G networks

    Ahangary, S., chitsaz, H., Mohajerzadeh, A., Yaghmaee, M. H. & Ahmadi, H., 18 Sep 2020, 2020 3rd International Conference on Advanced Communication Technologies and Networking (CommNet). Institute of Electrical and Electronics Engineers Inc., 7 p.

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

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

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

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

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

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