Search research publications and outputs

  1. 2021
  2. InfoVAEGAN : Learning Joint Interpretable Representations by Information Maximization and Maximum Likelihood

    Ye, F. & Bors, A. G., 20 Sep 2021, Proc. IEEE International Conference on Image Processing. IEEE, 5 p.

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

  3. Lifelong Twin Generative Adversarial Networks

    Ye, F. & Bors, A. G., 20 Sep 2021, Proc. of IEEE International Conference on Image Processing (ICIP). IEEE, 5 p.

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

  4. Two-Pathway Style Embedding for Arbitrary Voice Conversion

    Xu, X., Shi, L., Chen, J., Chen, X., Lian, J., Lin, P., Zhang, Z. & Hancock, E. R., 1 Sep 2021, Proc. Interspeech 2021. p. 1364-1368 5 p.

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

  5. Not Very Effective: Validity Issues of the Effectance in Games Scale

    Ballou, N., Breitsohl, H., Kao, D., Gerling, K. & Deterding, C. S., 25 Aug 2021, (Accepted/In press) xtended Abstracts of the 2021 Annual Symposium on Computer-Human Interaction in Play (CHI PLAY ’21),. Association for Computing Machinery, Inc, 6 p.

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

  6. Learning Graph Convolutional Networks based on Quantum Vertex Information Propagation

    Bai, L., Jiao, Y., Cui, L., Rossi, L., Wang, Y., Yu, P. S. & Hancock, E. R., 24 Aug 2021, (E-pub ahead of print)

    Article in IEEE Transactions on Knowledge and Data Engineering

  7. Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL

    Foster, S., Hur, C-K. & Woodcock, J., 13 Aug 2021, International Conference on Concurrency Theory (CONCUR 2021). (LIPIcs).

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

  8. Reservoir Computing in Material Substrates

    Dale, M., Miller, J. F., Stepney, S. & Trefzer, M. A., 6 Aug 2021, Reservoir Computing: Theory, Physical Implementations, and Applications. Nakajima, K. & Fischer, I. (eds.). Springer, p. 141-166 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. “Slow down and look”: Desirable aspects of failure in video games, from the perspective of players.

    Foch, C. & Kirman, B., 2 Aug 2021.

    Research output: Contribution to conferencePaperpeer-review

  10. Model-Driven Simulation-Based Analysis for Multi-Robot Systems

    Harbin, J. R., Gerasimou, S., Matragkas, N., Zolotas, A. & Calinescu, R., 1 Aug 2021, (E-pub ahead of print) MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS).

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

  11. 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., Aug 2021

    Article in Communications in Computational Physics

  12. Cryptanalysis of Semidirect Product Key Exchange Using Matrices Over Non-Commutative Rings

    Battarbee, C., Kahrobaei, D. & Shahandashti, S. F., 26 Jul 2021, (Accepted/In press) MathCrypt 2021.

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

  13. Advances in Space Quantum Communications

    Sidhu, J. S., Joshi, S. K., Gundogan, M., Brougham, T., Lowndes, D., Mazzarella, L., Krutzik, M., Mohapatra, S., Dequal, D., Vallone, G., Villoresi, P., Ling, A., Jennewein, T., Mohageg, M., Rarity, J., Fuentes, I., Pirandola, S. & Oi, D. K. L., 19 Jul 2021

    Article in IET Quantum Communication

  14. What is a Parasite? Defining reaction and network properties in an open ended automata chemistry

    Stepney, S. & Hickinbotham, S. J., 19 Jul 2021, Artificial Life Conference Proceedings. p. 598-606 9 p.

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

  15. Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs

    Foster, S. D., Munive, J. H. Y., Struth, G. & Gleirscher, M., 16 Jul 2021, (Accepted/In press) 24th International Symposium on Formal Methods. 18 p.

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

  16. Safer Complex Systems: An Initial Framework

    Burton, S., McDermid, J. A., Garnett, P. & Weaver, R., 15 Jul 2021, 130 p.

    Research output: Book/ReportCommissioned report

  17. Model-Based Development of Engine Control Systems: Experiences and Lessons Learnt

    Cooper, J., De La Vega, A., Paige, R. F., Kolovos, D., Michael, B., Brown, C., Sanchez Pina, B. A. & Hoyos Rodriguez, H., 11 Jul 2021, (Accepted/In press) ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems.

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

  18. Performance and Usability of Visual and Verbal Verification of Word-based Key Fingerprints

    Livsey, L., Petrie, H., Shahandashti, S. F. & Fray, A., 8 Jul 2021, (E-pub ahead of print) International Symposium on Human Aspects of Information Security & Assurance, Proceedings. Springer, Vol. 613. p. 199 210 p.

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

  19. Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers

    Paterson, C., Calinescu, R. & Picardi, C., 27 Jun 2021, (Accepted/In press) IEEE AI Test 2021 conference.

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

  20. Pooling Attention-based Encoder–Decoder Network for semantic segmentation

    Xu, H., Huang, Y., Hancock, E. R., Wang, S., Xuan, Q. & Zhou, W., 22 Jun 2021, (E-pub ahead of print)

    Article in Computers & Electrical Engineering

  21. Statistical Mechanical Analysis for Unweighted and Weighted Stock Market Networks

    Wang, J., Guo, X., Li, W., Wu, X., Zhang, Z. & Hancock, E. R., 22 Jun 2021, (E-pub ahead of print)

    Article in Pattern recognition

  22. Verifying Graph Programs with Monadic Second-Order Logic

    Wulandari, G. & Plump, D., 18 Jun 2021, Proceedings 14th International Conference on Graph Transformation (ICGT 2021). Gadducci, F. & Kehrer, T. (eds.). Springer, p. 240-261 22 p. (Lecture Notes in Computer Science; vol. 12741).

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

  23. A long postreproductive life span is a shared trait among genetically distinct killer whale populations

    Nielsen, M., Ellis, S., Towers, J., Doniol-Valcroze, T., Franks, D. W., Cant, M., Weiss, M., Johnstone, R. A., Balcomb, K. C., Ellifrit, D. K. & Croft, D., 16 Jun 2021, (E-pub ahead of print)

    Article in Ecology and Evolution

  24. Age and sex influence social interactions, but not associations, within a killer whale pod

    Weiss, M. N., Franks, D. W., Giles, D. A., Youngstrom, S., Wasser, S. K., Balcomb, K. C., Ellifrit, D. K., Domenici, P., Cant, M. A., Ellis, S., Nielsen, M. L. K., Grimes, C. & Croft, D. P., 16 Jun 2021

    Article in PROCEEDINGS OF THE ROYAL SOCIETY B-BIOLOGICAL SCIENCES

  25. Enhancing the Value of Counterfactual Explanations for Deep Learning

    Jia, Y., McDermid, J. A. & Habli, I., 15 Jun 2021, AIME 2021 : Artificial Intelligence in Medicine in Europe.

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

  26. Neither Grasshopper nor Ant: learning from coding for fun and from gaming [WIP]

    Iacovides, J. & Green, TRG., 10 Jun 2021, (Accepted/In press) Proceedings of the 32nd Psychology of Programming Interest Group. ACM

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

  27. Global tropospheric halogen (Cl, Br, I) chemistry and its impact on oxidants [discussion paper]

    Wang, X., Jacob, D. J., Downs, W., Zhai, S., Zhu, L., Shah, V., Holmes, C. D., Sherwen, T., Alexander, B., Evans, M. J., Eastham, S. D., Neuman, J. A., Veres, P., Koenig, T. K., Volkamer, R., Huey, L. G., Bannan, T. J., Percival, C. J., Lee, B. H. & Thornton, J. A., 2 Jun 2021

    Article in Atmospheric Chemistry and Physics Discussions

  28. Robot motion planning benchmarking and optimization through motion planning pipeline

    Liu, S. & Liu, P., 2 Jun 2021, (Accepted/In press) The 17th IEEE International Conference on Automation Science and Engineering (CASE 2021). IEEE

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

  29. Editorial

    Chen, X., Liu, Z., Wang, J. & Woodcock, J., 1 Jun 2021

    Editorial in Formal Aspects of Computing

  30. Fused Lasso for Feature Selection using Structural Information

    Bai, L., Cui, L., Wang, Y., Yu, P. S. & Hancock, E. R., 1 Jun 2021, (E-pub ahead of print)

    Article in Pattern Recognition

  31. Probabilistic Program Performance Analysis

    Stephanakos, I., Calinescu, R. & Gerasimou, S., 1 Jun 2021, (Accepted/In press) EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2021).

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

  32. SASSI: Safety Analysis using Simulation-based Situation Coverage for Cobot Systems

    Lesage, B. M. J-R. & Alexander, R., 1 Jun 2021, (Accepted/In press) Proceedings of SafeComp 2021.

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

  33. Classification of Failures in the Perception of Conversational Agents (CAs) and their Implications on Patient Safety

    Aftab, H., Hammad Hussain Shah, S. & Habli, I., 29 May 2021, Public Health and Informatics: Proceedings of MIE 2021. Mantas, J., Stoicu-Tivadar, L., Chronaki, C. C., Hasman, A., Weber, P., Gallos, P., Crişan-Vida, M., Zoulias, E. & Sorina Chirila, O. (eds.). IOS Press, Vol. 281. p. 659-663 5 p. (Studies in Health Technology and Informatics).

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

  34. 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., 21 May 2021, Science and Technologies for Smart Cities: 6th EAI International Conference, SmartCity360°, Virtual Event, December 2-4, 2020, Proceedings. 1 ed. LNICST: Springer, Vol. 372. p. 442-461

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

  35. Wait, But Why? Assessing Behavior Explanation Strategies for Real-Time Strategy Games

    Robertson, J., Kokkinakis, A., Hook, J. D., Kirman, B., Block, F. O., Ursu, M., Patra, S., Demediuk, S. P., Drachen, A. & Olarewaju, O., 13 May 2021, Proceedings of the 2021 IUI Annual Conference of Intelligent User Interfaces. Association for Computing Machinery (ACM)

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

  36. Significant cognitive decline in Parkinson’s disease exacerbates the reliance on visual feedback during upper limb reaches

    Cosgrove, J., Hinder, M., St George, R., Picardi, C., Smith, S. L., Lones, M. A., Jamieson, S. & Alty, J. E., 12 May 2021, (E-pub ahead of print)

    Article in Neuropsychologia

  37. A Special Interest Group on Designed and Engineered Friction in Interaction

    Gould, S. J. J., Chuang, L. L., Iacovides, I., Garaialde, D., Cecchinato, M. E., Cowan, B. R. & Cox, A. L., 8 May 2021, Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, CHI EA 2021. Association for Computing Machinery (ACM), 4 p. 158. (Conference on Human Factors in Computing Systems - Proceedings).

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

  38. Fast Parametric Model Checking through Model Fragmentation

    Fang, X., Calinescu, R., Gerasimou, S. & Alhwikem, F., 7 May 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). ACM

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

  39. Cross-Supervised Joint-Event-Extraction with Heterogeneous Information Networks

    Wang, Y., Xu, Z., Bai, L., Wan, Y., Cui, L., Zhao, Q., Hancock, E. R. & Yu, P. S., 6 May 2021, 2020 25th International Conference on Pattern Recognition (ICPR). p. 278-285 8 p.

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

  40. Fast Subspace Clustering Based on the Kronecker Product

    Zhou, L., Bai, X., Zhang, L., Zhou, J. & Hancock, E., 6 May 2021, Proceedings 25th International Conference on Pattern Recognition, ICPR 2021, Milan, Italy, January 10-15, 2021. p. 1558-1565 8 p. (International Conference on Pattern Recognition).

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

  41. 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., 6 May 2021, Proceedings 25th International Conference on Pattern Recognition. p. 1197-1204 8 p. (International Conference on Pattern Recognition).

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

  42. Thermal Characterisation of Unweighted and Weighted Networks

    Wang, J., Wu, H. & Hancock, E. R., 5 May 2021, 2020 25th International Conference on Pattern Recognition (ICPR). p. 1641-1648 8 p.

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

  43. fMRI Brain Networks as Statistical Mechanical Ensembles

    Wu, H., Wang, J. & Hancock, E. R., 5 May 2021, 2020 25th International Conference on Pattern Recognition (ICPR). p. 1694-1700 7 p.

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

  44. Quality Evolvability ES: Evolving Individuals With a Distribution of Well Performing and Diverse Offspring

    Katona, A., Franks, D. W. & Walker, J. A., 26 Apr 2021, (Accepted/In press) ALIFE 2021: Conference on Artificial Life.

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

  45. Sound reasoning in tock-CSP

    Baxter, J., Ribeiro, P. & Cavalcanti, A., 17 Apr 2021, (E-pub ahead of print)

    Article in Acta Informatica

  46. Atmospheric conditions and composition that influence PM2.5 oxidative potential in Beijing, China

    Campbell, S. J., Wolfer, K., Utinger, B., Westwood, J., Zhang, Z. H., Bukowiecki, N., Steimer, S. S., Vu, T. V., Xu, J., Straw, N., Thomson, S., Elzein, A., Sun, Y., Liu, D., Li, L., Fu, P., Lewis, A. C., Harrison, R. M., Bloss, W. J., Loh, M. & 3 others, Miller, M. R., Shi, Z. & Kalberer, M., 12 Apr 2021

    Article in Atmospheric Chemistry and Physics

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

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

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

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

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

  52. Schedulability Analysis for Multi-core Systems Accounting for Resource Stress and Sensitivity

    Davis, R. I., Griffin, D. J. & Bate, I. J., 6 Apr 2021, (Accepted/In press) 33rd Euromicro Conference on Real-Time Systems 2021 (proceedings). Association for Computing Machinery (ACM), p. 7:1-7:26 26 p.

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

  53. Mixture models as a method for comparative sociality: social networks and demographic change in resident killer whales

    Ellis, S., Franks, D. W., Weiss, M., Cant, M. A., Domenici, P., Balcomb, K. C., Ellifrit, D. K. & Croft, D. P., 5 Apr 2021

    Article in Behavioral Ecology and Sociobiology

  54. “A Good Algorithm Does Not Steal – It Imitates”: The Originality Report as a Means of Measuring When a Music Generation Algorithm Copies Too Much

    Yin, Z., Reuben, F., Stepney, S. & Collins, T., 2 Apr 2021, Artificial Intelligence in Music, Sound, Art and Design. EvoMUSART 2021. Springer, Vol. 12693. p. 360-375 16 p. 24. (Lecture Notes in Computer Science).

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

  55. Strain-Controlled Spin Wave Excitation and Gilbert Damping in Flexible Co2FeSi Films Activated by Femtosecond Laser Pulse

    Zhang, Z., Liu, E., Lu, X., Zhang, W., You, Y., Xu, G., Xu, Z., Wong, P. K. J., Wang, Y., Liu, B., Yu, X., Wu, J., Xu, Y., Wee, A. T. S. & Xu, F., 24 Mar 2021

    Article in ADVANCED FUNCTIONAL MATERIALS

  56. Accept All: The Landscape of Cookie Banners in Greece and the UK

    Kampanos, G. & Shahandashti, S. F., 22 Mar 2021, (Accepted/In press) International Conference on ICT Systems Security and Privacy Protection, Proceedings. Springer, Vol. 625. p. 213 227 p.

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

  57. Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems --- Requirements and Open Challenges

    Dai, X., Zhao, S., Bate, I. J., Burns, A., Guo, X. & Chang, W., 16 Mar 2021, (Accepted/In press) IEEE Real-Time and Embedded Technology and Applications Symposium.

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

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

  59. Advances in Robotics, Automation and Data Analytics

    Liu, P., Jessnor Arif, M. J., Khairuddin, I. M., Mohd Razman, M. A., Ab. Nasir, A. F., Abdul Karim, M. S., Jaafar, A. A., Hong, L. W., Abdul Majeed, A. P. P. & Myung, H., 11 Mar 2021, Springer. 429 p.

    Research output: Book/ReportBook

  60. Higher-Order Particle Representation for Particle-in-Cell Simulations

    Brown, D., Bettencourt, M. T., Wright, S. A., Maheswaran, S., Jones, J. P. & Jarvis, S., 8 Mar 2021, (E-pub ahead of print)

    Article in Journal of Computational Physics

  61. Safety Case Generation by Model-based Engineering: State of the Art and a Proposal

    Yan, F., Foster, S. & Habli, I., 4 Mar 2021, (Accepted/In press) The Eleventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications, proceedings. International Academy, Research, and Industry Association , 4 p.

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

  62. Active Triggering of Pneumatic Rehabilitation Gloves Based on Surface Electromyography Sensors

    Feng, Y., Zhong, M., Wang, X., Lu, H., Wang, H., Liu, P. & Vladareanu, L., 27 Feb 2021, (Accepted/In press)

    Article in PeerJ Computer Science

  63. Multimodal Fusion for Indoor Sound Source Localization

    Chen, J., Takashima, R., Guo, X., Zhang, Z., Xu, X., Takiguchi, T. & Hancock, E. R., 23 Feb 2021, (E-pub ahead of print)

    Article in Pattern recognition

  64. A Comparison of Self-Play Algorithms Under a Generalized Framework

    Hernandez, D., Denamganai, K., Devlin, S., Samothrakis, S. & Walker, J. A., 11 Feb 2021, (E-pub ahead of print)

    Article in IEEE Transactions on Games

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

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

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

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

  69. Cryo-EM model validation recommendations based on outcomes of the 2019 EMDataResource challenge

    Lawson, C. L., Kryshtafovych, A., Adams, P. D., Afonine, P. V., Baker, M. L., Barad, B. A., Bond, P., Burnley, T., Cao, R., Cheng, J., Chojnowski, G., Cowtan, K., Dill, K. A., DiMaio, F., Farrell, D. P., Fraser, J. S., Herzik, M. A., Hoh, S. W., Hou, J., Hung, L. W. & 34 others, Igaev, M., Joseph, A. P., Kihara, D., Kumar, D., Mittal, S., Monastyrskyy, B., Olek, M., Palmer, C. M., Patwardhan, A., Perez, A., Pfab, J., Pintilie, G. D., Richardson, J. S., Rosenthal, P. B., Sarkar, D., Schäfer, L. U., Schmid, M. F., Schröder, G. F., Shekhar, M., Si, D., Singharoy, A., Terashi, G., Terwilliger, T. C., Vaiana, A., Wang, L., Wang, Z., Wankowicz, S. A., Williams, C. J., Winn, M., Wu, T., Yu, X., Zhang, K., Berman, H. M. & Chiu, W., 4 Feb 2021

    Article in Nature Methods

  70. Thermodynamic Motif Analysis for Directed Stock Market Networks

    Chen, D., Guo, X., Wang, J., Liu, J., Zhang, Z. & Hancock, E. R., 2 Feb 2021, (E-pub ahead of print)

    Article in Pattern recognition

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

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

  73. Homodyne-based quantum random number generator at 2.9 Gbps secure against quantum side-information

    Gehring, T., Lupo, C., Kordts, A., Nikolic, D. S., Jain, N., Rydberg, T., Pedersen, T. B., Pirandola, S. & Andersen, U. L., 27 Jan 2021

    Article in Nature Communications

  74. Are You Open? A Content Analysis of Transparency and Openness Guidelines in HCI Journals

    Ballou, N., Warriar, V. R. & Deterding, C. S., 21 Jan 2021, (Accepted/In press) CHI Conference on Human Factors in Computing Systems (CHI ’21),. Association for Computing Machinery (ACM)

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

  75. Experimental quantum reading with photon counting

    Ortolano, G., Losero, E., Berchera, I. R., Pirandola, S. & Genovese, M., 20 Jan 2021

    Article in Science Advances

  76. Utilizing the Untapped Potential of Indirect Encoding for Neural Networks with MetaLearning

    Katona, A., Lourenco, N., Machado, P., Franks, D. W. & Walker, J. A., 20 Jan 2021, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  77. Growing old: Do women and men age differently?

    Smith, O. A. M., Duncan, C., Pears, N., Profico, A. & O'Higgins, P., 17 Jan 2021, (E-pub ahead of print)

    Article in Anatomical Record

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

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

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

  81. 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, Vol. 12665. p. 356-364 8 p. (Lecture Notes in Computer Science).

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

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

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

  84. 2020
  85. Advances in Quantum Cryptography

    Pirandola, S., Andersen, U. L., Banchi, L., Berta, M., Bunandar, D., Colbeck, R., Englund, D., Gehring, T., Lupo, C., Ottaviani, C., Pereira, J. L., Razavi, M., Shaari, J. S., Tomamichel, M., Usenko, V. C., Vallone, G., Villoresi, P. & Wallden, P., 31 Dec 2020

    Article in Advances in Optics and Photonics

  86. 3D Modeling of craniofacial ontogeny and sexual dimorphism in children

    Smith, O. A. M., Nashed, Y. S. G., Duncan, C., Pears, N., Profico, A. & O'Higgins, P., 26 Dec 2020, (E-pub ahead of print)

    Article in Anatomical Record

  87. Echo Suite of Software (Showcase Brochure)

    Block, F. O., Ursu, M., Hook, J. D., Kirman, B., Drachen, A., Demediuk, S. P., Kokkinakis, A., Olarewaju, O., Slawson, D., Coates, A., Pedrassoli Chitayat, A., Patra, M. K. & Noelle, I., 20 Dec 2020.

    Research output: Contribution to conferenceOther

  88. On (Emergent) Systematic Generalisation and Compositionality in Visual Referential Games with Straight-Through Gumbel-Softmax Estimator

    Denamganai, K. & Walker, J. A., 12 Dec 2020.

    Research output: Contribution to conferencePaperpeer-review

  89. ReferentialGym: A Nomenclature and Framework for Language Emergence & Grounding in (Visual) Referential Games

    Denamganai, K. & Walker, J. A., 12 Dec 2020.

    Research output: Contribution to conferencePaperpeer-review

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

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

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

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

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

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

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

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

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

  99. Noise-resilient variational hybrid quantum-classical optimization

    Gentini, L., Cuccoli, A., Pirandola, S., Verrucchi, P. & Banchi, L., 16 Nov 2020

    Article in Physical Review A

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

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

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

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

  104. A latent capture history model for digital aerial surveys

    Borchers, D., Nightingale, P., Stevenson, B. & Fewster, R., 10 Nov 2020, (Accepted/In press)

    Article in Biometrics (Journal of the International Biometric Society)

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

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

  107. Learning safe neural network controllers with barrier certificates

    Zhao, H., Zeng, X., Chen, T., Liu, Z. & Woodcock, J., 9 Nov 2020, Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Proceedings. Pang, J. & Zhang, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 177-185 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12153 LNCS).

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

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

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

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

  111. Entanglement-Assisted Absorption Spectroscopy

    Shi, H., Zhang, Z., Pirandola, S. & Zhuang, Q., 28 Oct 2020

    Article in Physical Review Letters

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

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

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

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

  116. Position paper: A systematic framework for categorising IoT device fingerprinting mechanisms

    Yadav, P., Feraudo, A., Arief, B., Shahandashti, S. F. & Vassilakis, V. G., 16 Oct 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. (ACM AIChallengeIoT (Sensys 2020)).

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

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

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

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

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

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

  122. Graph Motif Entropy For Understanding Time-Evolving Networks

    Zhang, Z. H., Chen, D., Bai, L., Wang, J. & Hancock, E. R., 24 Sep 2020, (Accepted/In press)

    Article in IEEE Transactions on Neural Networks and Learning Systems

  123. Semi-Supervised Face Frontalization in the Wild

    Zhang, Z., Liang, R., Chen, X., Xu, X., Hu, G., Zuo, W. & Hancock, E. R., 22 Sep 2020, (E-pub ahead of print)

    Article in Information Forensics and Security, IEEE Transactions on

  124. Learning Safe Neural Network Controllers with Barrier Certificates

    Zhao, H., Zeng, X., Chen, T., Liu, Z. & Woodcock, J., 18 Sep 2020, (CoRR).

    Research output: Working paper

  125. Towards Terawatt-Scale Spectrally Tunable Terahertz Pulses via Relativistic Laser-Foil Interactions

    Liao, G. Q., Liu, H., Scott, G. G., Zhang, Y. H., Zhu, B. J., Zhang, Z., Li, Y. T., Armstrong, C., Zemaityte, E., Bradford, P., Rusby, D. R., Neely, D., Huggard, P. G., Mckenna, P., Brenner, C. M., Woolsey, N. C., Wang, W. M., Sheng, Z. M. & Zhang, J., 18 Sep 2020

    Article in Physical Review X

  126. Block-Sparsity Log-sum-Induced Adaptive Filter for Cluster Sparse System Identification

    Zhang, A., Liu, P., Sun, J. & Ning, B., 17 Sep 2020, (Accepted/In press)

    Article in IEEE Access

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

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

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

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

  131. Revisiting Security Vulnerabilities in Commercial Password Managers

    Carr, M. & Shahandashti, S. F., 14 Sep 2020.

    Research output: Contribution to conferencePaperpeer-review

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

  133. 3D Imaging, Analysis and Applications, Second Edition

    Liu, Y. (ed.), Pears, N. E. (ed.), Rosin, P. (ed.) & Huber, P. (ed.), 12 Sep 2020, Second ed. Switzerland: Springer Nature Switzerland AG. 736 p.

    Research output: Book/ReportBook

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

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

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

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

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

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

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

  141. Operationalizing resilient healthcare concepts through a serious video game for clinicians

    Jackson, J., Iacovides, J., Duncan, M., Alders, M., Maben, J. & Anderson, J., Sep 2020

    Article in Applied ergonomics

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

  143. 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). IEEE, 6 p.

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

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

  145. End-to-End Verifiable E-Voting Trial for Polling Station Voting

    Hao, F., Wang, S., Bag, S., Procter, R., Shahandashti, S. F., Mehrnezhad, M., Toreini, E., Metere, R. & Liu, L., 30 Jul 2020, (E-pub ahead of print)

    Article in IEEE Security & Privacy

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

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

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

  149. Understanding Uncertainty in Self-adaptive Systems

    Calinescu, R., Mirandola, R., Perez-Palacin, D. & Weyns, D., 17 Jul 2020, 1st IEEE International Conference on Autonomic Computing and Self-Organizing Systems.

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

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

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

  152. EM-Fuzz: Augmented Firmware Fuzzing via Memory Checking

    Gao, J., Xu, Y., Jiang, Y., Liu, Z., Chang, W., Jiao, X. & Sun, J., 7 Jul 2020, (Accepted/In press)

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

  153. How do Software Professionals Use Local Informal Meetups?

    Ingram, C. & Drachen, A., 7 Jul 2020.

    Research output: Contribution to conferenceOther

  154. WARDS: Modelling the Worth of Vision in MOBA’s

    Pedrassoli Chitayat, A., Kokkinakis, A., Patra, S., Demediuk, S., Robertson, J., Olarewaju, O., Ursu, M., Kirman, B., Hook, J., Block, F. & Drachen, A., 4 Jul 2020, Intelligent Computing - Proceedings of the 2020 Computing Conference. Arai, K., Kapoor, S. & Bhatia, R. (eds.). Springer, p. 63-81 19 p. (Advances in Intelligent Systems and Computing; vol. 1229 AISC).

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

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

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

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

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

  159. Designing Computational Substrates using Open-Ended Evolution

    Dale, M., Stepney, S. & Trefzer, M. A., 1 Jul 2020, Artificial Life Conference Proceedings. MIT Press, p. 665-667 3 p.

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

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

  161. Open letter from UK based academic scientists to the secretaries of state for digital, culture, media and sport and for health and social care regarding the need for independent funding for the prevention and treatment of gambling harms

    Wardle, H., Banks, J., Bebbington, P., Blank, L., Bowden Jones Obe, H., Bramley, S., Bunn, C., Casey, E., Cassidy, R., Chamberlain, S. R., Close, J., Critchlow, N., Dobbie, F., Downs, C., Dymond, S., Fino, E., Goyder, E., Gray, C., Griffiths, M., Grindrod, P. & 28 others, Hogan, L., Hoon, A., Hunt, K., James, R., John, B., Manthorpe, J., McCambridge, J., McDaid, D., McKee, M., McManus, S., Moss, A., Norrie, C., Nutt, D. J., Orford, J., Pryce, R., Purves, R., Reith, G., Roberts, A., Roberts, E., Roderique-Davies, G., Rogers, J., Rogers, R. D., Sharman, S., Strang, J., Tunney, R., Turner, J., West, R. & Zendle, D., 1 Jul 2020

    Comment/debate in BMJ

  162. Multilinear Maps from Obfuscation

    Albrecht, M. R., Farshim, P., Han, S., Hofheinz, D., Larraia, E. & Paterson, K. G., Jul 2020

    Article in Journal of Cryptology

  163. Practical Measurement and Reconstruction of Spectral Skin Reflectance

    Gitlina, Y., Guarnera, G. C., Dhillon, D. S., Hansen, J., Lattas, A., Pai, D. & Ghosh, A., Jul 2020

    Article in Computer graphics forum

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

  165. Long-distance continuous-variable quantum key distribution over 202.81 km fiber

    Zhang, Y-C., Chen, Z., Pirandola, S., Wang, X., Zhou, C., Chu, B., Zhao, Y., Xu, B., Yu, S. & Guo, H., 30 Jun 2020

    Article in Physical Review Letters

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

  167. Calculating effect sizes in animal social network analysis

    Franks, D. W., Weiss, M. N., Silk, M. J., Perryman, R. J. Y. & Croft, D. P., 21 Jun 2020, (E-pub ahead of print)

    Article in Methods in ecology and evolution

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

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

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

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

  172. Laser produced electromagnetic pulses: Generation, detection and mitigation

    Consoli, F., Tikhonchuk, V. T., Tikhonchuk, V. T., Bardon, M., Bradford, P., Carroll, D. C., Cikhardt, J., Cikhardt, J., Cipriani, M., Clarke, R. J., Cowan, T. E., Danson, C. N., Danson, C. N., Danson, C. N., De Angelis, R., De Marco, M., Dubois, J. L., Etchessahar, B., Garcia, A. L., Hillier, D. I. & 24 others, Hillier, D. I., Honsa, A., Jiang, W., Kmetik, V., Krása, J., Li, Y., Li, Y., Lubrano, F., McKenna, P., Metzkes-Ng, J., Poyé, A., Prencipe, I., Rączka, P., Smith, R. A., Vrana, R., Woolsey, N. C., Zemaityte, E., Zhang, Y., Zhang, Y., Zhang, Z., Zielbauer, B., Neely, D., Neely, D. & Neely, D., 9 Jun 2020, (E-pub ahead of print)

    Review article in High Power Laser Science and Engineering

  173. CONNER: A Concurrent ILP Learner in Description Logic

    Algahtani, E. & Kazakov, D. L., 5 Jun 2020, (E-pub ahead of print) Inductive Logic Programming: 29th International Conference, ILP 2019. Springer, p. 1-15 15 p. (LNAI; no. 11770).

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

  174. Metagame Autobalancing for Competitive Multiplayer Games

    Hernandez, D., Gbadamosi, C., Goodman, J. & Walker, J. A., 5 Jun 2020, (E-pub ahead of print) Proceedings of the IEEE Conference on Games 2020. IEEE, 8 p.

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

  175. Shape coexistence revealed in the N= Z isotope 72 Kr through inelastic scattering

    Wimmer, K., Arici, T., Korten, W., Doornenbal, P., Delaroche, J. P., Girod, M., Libert, J., Rodríguez, T. R., Aguilera, P., Algora, A., Ando, T., Baba, H., Blank, B., Boso, A., Chen, S., Corsi, A., Davies, P., de Angelis, G., de France, G., Doherty, D. T. & 24 others, Gerl, J., Gernhäuser, R., Goigoux, T., Jenkins, D., Kiss, G., Koyama, S., Motobayashi, T., Nagamine, S., Niikura, M., Nishimura, S., Obertelli, A., Lubos, D., Phong, V. H., Rubio, B., Sahin, E., Saito, T. Y., Sakurai, H., Sinclair, L., Steppenbeck, D., Taniuchi, R., Vaquero, V., Wadsworth, R., Wu, J. & Zielinska, M., 3 Jun 2020

    Article in European Physical Journal A

  176. A manifesto for Reality-based Safety Science

    Rae, A., Provan, D., Aboelssaad, H. & Alexander, R., 1 Jun 2020

    Article in Safety science

  177. The Improved GP 2 Compiler

    Campbell, G., Romo, J. & Plump, D., 1 Jun 2020, Proceedings Eleventh International Workshop on Graph Computation Models (GCM 2020). Hoffmann, B. & Minas, M. (eds.). p. 206-217 12 p.

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

  178. Human-swarm interaction via e-ink displays

    Millard, A. G., Joyce, R. A. & Gray, I., 31 May 2020.

    Research output: Contribution to conferencePaper

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

  180. Player Style Clustering without Game Variables

    Ferguson, M., Devlin, S., Kudenko, D. & Walker, J. A., 28 May 2020, (Accepted/In press) Proceedings of the International Conference on the Foundations of Digital Games (FDG) 2020. ACM

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

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

  182. Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology

    Cavalcanti, A., 22 May 2020, Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Proceedings. Raschke, A., Méry, D. & Houdek, F. (eds.). Springer, p. 3-5 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12071 LNCS).

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

  183. Measurement of the 7Li(γ,t)4He ground-state cross section between Eγ=4.4 and 10 MeV

    Munch, M., Matei, C., Pain, S. D., Febbraro, M. T., Chipps, K. A., Karwowski, H. J., Diget, C. A., Pappalardo, A., Chesnevskaya, S., Guardo, G. L., Walter, D., Balabanski, D. L., Becchetti, F. D., Brune, C. R., Chae, K. Y., Frost-Schenk, J., Kim, M. J., Kwag, M. S., La Cognata, M., Lattuada, D. & 5 others, Pizzone, R. G., Rapisarda, G. G., Turturica, G. V., Ur, C. A. & Xu, Y., 14 May 2020

    Article in Physical Review C

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

  185. Microwave quantum illumination using a digital receiver

    Barzanjeh, S., Pirandola, S., Vitali, D. & Fink, J., 8 May 2020

    Article in Science Advances

  186. Design and Implementation of Novel Fractional-Order Controllers for Stabilized Platforms

    Zhang, J., Jin, Z., Zhao, Y., Tang, Y., Liu, F. & Liu, P., 6 May 2020, (Accepted/In press)

    Article in IEEE Access

  187. ALL IN ONE NETWORK FOR DRIVER ATTENTION MONITORING

    Yang, D., Li, X., Dai, X., Zhang, R., Qi, L., Zhang, W. & Jiang, Z., May 2020

    Conference article in Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing

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

  189. Three perceptual dimensions for specular and diffuse reflection

    Toscani, M., Guarnera, D., Guarnera, C., Hardeberg, J. Y. & Gegenfurtner, K., May 2020

    Article in ACM Transactions on Applied Perception

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

  191. Towards a complete 3D morphable model of the human head

    Ploumpis, S., Ververas, E., O'Sullivan, E., Moschoglou, S., Wang, H., Pears, N. E., Smith, W. A. P., Gecer, B. & Zafeiriou, S., 29 Apr 2020

    Article in IEEE Transactions on Pattern Analysis and Machine Intelligence

  192. From Theory to Behaviour: Towards a General Model of Engagement

    Bonometti, V., Ringer, C., Ruiz, M., Wade, A. & Drachen, A., 27 Apr 2020, 8 p.

    Research output: Working paper

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

  194. DAX: Data-Driven Audience Experiences in Esports

    Kokkinakis, A., Demediuk, S. P., Nölle, I., Olarewaju, O., Patra, S., Robertson, J., York, P., Pedrassoli Chitayat, A., Coates, A., Slawson, D., Hughes, P., Hardie, N., Kirman, B., Hook, J. D., Drachen, A., Ursu, M. & Block, F. O., 15 Apr 2020, (Accepted/In press) Proceedings of ACM International Conference on Interactive Media Experience (IMX) 2020. Association for Computing Machinery (ACM), p. 94-105 12 p.

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

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

  196. Entanglement Classification via Neural Network Quantum States

    Harney, C., Pirandola, S., Ferraro, A. & Paternostro, M., 2 Apr 2020

    Article in New Journal of Physics

  197. Semi-Clairvoyance in Mixed-Criticality Scheduling

    Agrawa, K., Baruah, S. & Burns, A., 2 Apr 2020, 2019 IEEE Real-Time Systems Symposium (RTSS). I E E E, p. 458-468 11 p. (IEEE Real-Time Systems Symposium (RTSS)).

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

  198. Synthesizing Real-Time Schedulability Tests using Evolutionary Algorithms: A Proof of Concept

    Dziurzanski, P., Davis, R. I. & Soares Indrusiak, L., 2 Apr 2020, Proceedings of the 40th IEEE Real-Time Systems Symposium. p. 43-55 (Real-Time Systems Symposium).

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

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

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

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

  202. Global inorganic nitrate production mechanisms: comparison of a global model with nitrate isotope observations

    Alexander, B., Sherwen, T., D Holmes, C., A Fisher, J., Chen, Q., J Evans, M. & Kasibhatla, P., 31 Mar 2020

    Article in Atmospheric Chemistry and Physics

  203. Interlayer transmission of magnons in dynamic spin valve structures

    Chen, Q., Ruan, X., Yuan, H., Zhou, X., Kou, Z., Huang, Z., Xu, Y. & Zhai, Y., 30 Mar 2020

    Article in Applied Physics Letters

  204. ICS protocol fuzzing: Coverage guided packet crack and generation

    Luo, Z., Zuo, F., Shen, Y., Jiao, X., Chang, W. & Jiang, Y., 26 Mar 2020, (Accepted/In press) Design Automation Conference (DAC).

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

  205. TEVoT: Timing error modeling of functional units under dynamic voltage and temperature variations

    Jiao, X., Ma, D., Chang, W. & Jiang, Y., 26 Mar 2020, (Accepted/In press) Design Automation Conference (DAC).

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

  206. Timing-accurate general-purpose I/O for multi- and many-core systems: scheduling and hardware support

    Zhao, S., Jiang, Z., Dai, X., Bate, I. J., Habli, I. & Chang, W., 26 Mar 2020, (Accepted/In press) Design Automation Conference (DAC).

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

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

  208. Modelling and Motion Analysis of a Pill-Sized Hybrid Capsule Robot

    Huda, M. N., Liu, P., Saha, C. & Yu, H., 19 Mar 2020, (E-pub ahead of print)

    Article in Journal of Intelligent & Robotic Systems

  209. Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles

    Calinescu, R., Cortelessa, V., Stefanakos, I. & Trubiani, C., 17 Mar 2020, (E-pub ahead of print) 23rd International Conference on Fundamental Approaches to Software Engineering. p. 357-377 21 p.

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

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

  211. Benchmarking TinyML Systems: Challenges and Direction

    Banbury, C. R., Reddi, V. J., Lam, M., Fu, W., Fazel, A., Holleman, J., Huang, X., Hurtado, R., Kanter, D., Lokhmotov, A., Patterson, D., Pau, D., Seo, J., Sieracki, J., Thakker, U., Verhelst, M. & Yadav, P., 10 Mar 2020, SysML 2020, Proceedings.

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

  212. Minimizing Execution Duration in the Presence of Learning-Enabled Components

    Agrawa, K., Baruah, S., Burns, A. & Singh, A., 1 Mar 2020, DATE '20: Proceedings of the 23rd Conference on Design, Automation and Test in Europe March 2020. ACM, p. 1644-1649 6 p.

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

  213. Terahertz quantum cryptography

    Ottaviani, C., Woolley, M. J., Erementchouk, M., Federici, J. F., Mazumder, P., Pirandola, S. & Weedbrook, C., Mar 2020

    Article in IEEE Journal on Selected Areas in Communication

  214. Effects of Sea Salt Aerosol Emissions for Marine Cloud Brightening on Atmospheric Chemistry: Implications for Radiative Forcing

    Horowitz, H. M., Holmes, C., Wright, A., Sherwen, T., Wang, X., Evans, M., Huang, J., Jaeglé, L., Chen, Q., Zhai, S. & Alexander, B., 28 Feb 2020

    Article in Geophysical Research Letters

  215. A Morphable Face Albedo Model

    Smith, W. A. P., Seck, A., Dee, H., Tiddeman, B., Tenenbaum, J. & Egger, B., 27 Feb 2020, (Accepted/In press) Proceeding of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR 2020) . IEEE

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

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

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

  218. Open System Quantum Thermodynamics of Time Varying Graphs

    MINELLO, GIORGIA., Torsello, A. & Hancock, E. R., 20 Feb 2020, (E-pub ahead of print)

    Article in Journal of Complex Networks

  219. A Hierarchical Transitive-Aligned Graph Kernel for Un-attributed Graphs

    Bai, L., Cui, L. & Hancock, E. R., 8 Feb 2020, 8 p. (arXiv).

    Research output: Working paper

  220. Modelling cetacean morbillivirus outbreaks in an endangered killer whale population

    Weiss, M. N., Franks, D. W., Balcomb, K. C., Ellifrit, D. K., Silk, M. J., Cant, M. A. & Croft, D. P., 1 Feb 2020

    Article in Biological Conservation

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

  222. Learning Binary Code for Fast Nearest Subspace Search

    Zhou, L., Xiao, B., Liu, X., Zhou, J. & Hancock, E. R., Feb 2020

    Article in Pattern Recognition

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

  224. Safety Assurance Objectives for Autonomous Systems

    Alexander, R., Asgari, H., Ashmore, R., Banks, A., Bongirwar, R., Bradshaw, B., Bragg, J., Clegg, J., Fenn, J., Harper, C., Harvey, D., Johnson, N., Menon, C., Rivett, R. S., Ryan, P., Sujan, M., Tudor, N. & Tushingham, S., Feb 2020, 2.0 ed. Safety Critical Systems Club. 112 p.

    Research output: Book/ReportBook

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

  226. The Convergence of Gaming and Gambling Research: What Can We Learn from Each Other?

    Deterding, C. S., Karlsen, F., Macey, J., Mortensen, T. E., Wardle, H. & Zendle, D., 31 Jan 2020, (Accepted/In press) DiGRA'20 - Abstract: Proceedings of the 2020 DiGRA International Conference. Tampere, (DiGRA conference proceedings).

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

  227. Battery draining attacks against edge computing nodes in IoT networks

    Smith, R. T., Palin, D., Ioulianou, P. P., Vasilakis, V. & Shahandashti, S. F., 20 Jan 2020, (E-pub ahead of print)

    Article in Cyber-Physical Systems

  228. Fine structure in the α decay of 223U

    Sun, M. D., Liu, Z., Huang, T. H., Zhang, W. Q., Andreyev, A. N., Ding, B., Wang, J. G., Liu, X. Y., Lu, H. Y., Hou, D. S., Gan, Z. G., Yang, H. B., Ma, L., Zhang, Z. Y., Yu, L., Jiang, J., Wang, K. L., Wang, Y. S., Liu, M. L., Li, J. & 12 others, Li, Z. H., Wang, X., Feng, A. H., Lin, C. J., Sun, L. J., Ma, N. R., Zuo, W., Xu, H. S., Zhou, X. H., Xiao, G. Q., Qi, C. & Zhang, F. S., 20 Jan 2020

    Article in Physics Letters B

  229. The prevalence of loot boxes in mobile and desktop games

    Zendle, D., Meyer, R., Cairns, P. A., Waters, S. & Ballou, N., 20 Jan 2020

    Article in Addiction

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

  231. A Novel CSI Feedback Approach for Massive MIMO using LSTM-Attention CNN

    Li, Q., Zhang, A., Liu, P., Li, J. & Li, C., 3 Jan 2020, (E-pub ahead of print)

    Article in IEEE Access

  232. Direct observation of hidden spin polarization in 2H-MoT e2

    Tu, J., Chen, X. B., Ruan, X. Z., Zhao, Y. F., Xu, H. F., Chen, Z. D., Zhang, X. W., Zhang, X. W., Wu, J., He, L., Zhang, Y., Zhang, R. & Xu, Y. B., 3 Jan 2020

    Article in Physical Review B

  233. Estimating Material Parameters Using Light Scattering Model and Polarization

    Dahlan, H. A., Hancock, E. R. & Smith, W. A. P., 1 Jan 2020, Computational Science and Technology - 6th ICCST 2019. Alfred, R., Lim, Y., Haviluddin, H. & On, C. K. (eds.). Springer-Verlag, p. 405-414 10 p. (Lecture Notes in Electrical Engineering; vol. 603).

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

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

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

  236. HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees

    Camara Moreno, J., 2020, Proceedings of the 8th International Conference on Formal Methods in Software Engineering (FormaliSE 2020).

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

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

  238. Intelligent Run-Time Partitioning of Low-Code System Models

    Jahanbin, S., Kolovos, D. & Gerasimou, S., 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

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

  240. Model-Based Analysis of Microservice Resiliency Patterns

    Camara Moreno, J., Garlan, D., Nabor, M. & Mendes Aderaldo, C., 2020, Proceedings of the IEEE International Conference on Software Architecture (ICSA 2020).

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

  241. Preliminary Safety Analysis of a Wearable Clinic for the Early Detection of Psychotic Relapse

    Habli, I., Stockton-Powdrell, C., Machin, M., Fraccaro, P., Lewis, S. & Peek, N., 2020, Digital Personalized Health and Medicine. Pape-Haugaard, L. B., Lovis, C., Cort Madsen, I., Weber, P., Hostrup Nielsen, P. & Scott, P. (eds.). p. 1367-1368 2 p. (Studies in Health Technology and Informatics; vol. 270).

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

  242. Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT Systems

    Camara Moreno, J., Muccini, H. & Vaidhyanathan, K., 2020, Proceedings of the IEEE International Conference on Software Architecture (ICSA 2020).

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

  243. Reasoning about When to Provide Explanation for Human-in-the-loop Self-Adaptive Systems

    Camara Moreno, J., Garlan, D., Schmerl, B. & Li, N., 2020, Proceedings of the 2020 IEEE Conference on Autonomic Computing and Self-organizing Systems (ACSOS 2020).

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

  244. Safety of Artificial Intelligence: A Collaborative Model

    McDermid, J. A. & Jia, Y., 2020, AISafety@IJCAI. CEUR Workshop Proceedings

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

  245. Secure and Efficient Delegation of Elliptic-Curve Pairing

    Kahrobaei, D., Di Crescenzo, G., Khodjaeva, M. & Shpilrain, V., 2020, ACNS 2020, Applied Cryptography and Network Security. Lecture Notes in Computer Science 682, Springer-Verlag, 20 p.

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

  246. Software Architecture and Task Plan Co-Adaptation for Mobile Service Robots

    Camara Moreno, J., Garlan, D. & Schmerl, B., 2020, Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2020).

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

  247. The Safe and Effective Use of Learning-Enabled Components in Safety-Critical Systems

    Agrawa, K., Baruah, S. & Burns, A., 2020. 20 p.

    Research output: Contribution to conferencePaperpeer-review

  248. 2019
  249. Postreproductive killer whale grandmothers improve the survival of their grandoffspring

    Nattrass, S., Croft, D. P., Ellis, S., Cant, M. A., Weiss, M. N., Wright, B., Stredulinsky, E., Doniol-Valcroze, T., Ford, J. K. B., Balcomb, K. C. & Franks, D. W., 26 Dec 2019

    Article in Proceedings of the National Academy of Sciences of the United States of America

  250. A Unary Semigroup Trace Algebra

    De Oliveira Salazar Ribeiro, P. F., 16 Dec 2019, (Accepted/In press) 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 proceedingConference contribution

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

  252. Work-In-Progress: Real-Time RPC for Hybrid Dual-OS System

    Pan, D., Jiang, Z., Burns, A., Ding, Y. & Ma, J., 15 Dec 2019, 2019 IEEE Real-Time Systems Symposium (RTSS). IEEE, p. 1-4 4 p. (Real-Time Systems Symposium (RTSS)).

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

  253. Co-created evaluation: Identifying how games support police learning

    Adams, A., Hart, J., Iacovides, I., Beavers, S., Oliveira, M. & Magroudi, M., 1 Dec 2019

    Article in International Journal of Human Computer Studies

  254. BxDF material acquisition, representation, and rendering for VR and design

    Guarnera, C., Guarnera, D., Ward, G. J., Glencross, M. & Hall, I., 30 Nov 2019, SIGGRAPH Asia 2019 Courses. Association for Computing Machinery (ACM), p. 1- 17 17 p. 121. (SA ’19).

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

  255. Human factors challenges for the safe use of artificial intelligence in patient care

    Sujan, M., White, S., Furniss, D., Habli, I., Grundy, K., Grundy, H., Nelson, D., Elliott, M. & Reynolds, N., 27 Nov 2019

    Article in BMJ Health and Care Informatics

  256. Linear-Time Graph Algorithms in GP 2

    Campbell, G., Courtehoute, B. & Plump, D., 25 Nov 2019, Proceedings 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 16:1-16:23 (Leibniz International Proceedings in Informatics (LIPICS); vol. 139).

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

  257. Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods

    Nemouchi, Y., Foster, S. D., Gleirscher, M. & Kelly, T. P., 22 Nov 2019, (E-pub ahead of print) Integrated Formal Methods: Proceedings of the 15th International Conference. Springer International Publishing, Vol. 11918. p. 379-398 20 p. (LNCS).

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

  258. Why is it so difficult to govern mobile apps in healthcare?

    Magrabi, F., Habli, I., Sujan, M., Wong, D., Thimbleby, H., Baker, M. & Coiera, E., 18 Nov 2019

    Article in BMJ Health and Care Informatics

  259. Enabled Players: the value of accessible digital games

    Cairns, P. A., Power, C., Barlet, M., Haynes, G., Kaufman, C. & Beeston, J. T., 12 Nov 2019, (Accepted/In press)

    Article in Games and Culture

  260. Naive Mesh-to-Mesh Coloured Model Generation using 3D GANs

    Spick, R. J., Demediuk, S. P. & Walker, J. A., 11 Nov 2019, (Accepted/In press) Proceedings of Australasian Computer Science Week (ACSW’20). ACM

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

  261. Improving Local Trajectory Optimisation using Probabilistic Movement Primitives

    Shyam, RB., Lightbody, P., Das, G., Liu, P., Gomez-Gonzalez, S. & Neumann, G., 6 Nov 2019, 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) . IEEE

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

  262. A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic

    Hoare, T., Struth, G. & Woodcock, J. C. P., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & A. S. (eds.). Lecture Notes in Computer Science, Vol. 11885.

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

  263. Probabilistic Semantics for RoboChart A Weakest Completion Approach

    Woodcock, JAMES. C. P., Cavalcanti, A. L. C., Foster, S. D. & Mota, A., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & Sampaio, A. (eds.). Lecture Notes in Computer Science, Vol. 11885.

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

  264. Entropic Dynamic Time Warping Kernels for Co-evolving Financial Time Series Analysis

    Bai, L., Cui, L., Xu, L., Wang, Y., Zhang, Z. & Hancock, E. R., 21 Oct 2019, Arxiv (Cornell University).

    Research output: Working paper

  265. Modelflow: Towards reactive model management workflows

    Sanchez, B., Kolovos, D. S. & Paige, R., 20 Oct 2019, DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019. Rossi, M. & Sprinkle, J. (eds.). Association for Computing Machinery, Inc, p. 30-39 10 p. (DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019).

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

  266. “Horror, guilt and shame” – Uncomfortable Experiences in Digital Games

    Gowler, C. P. R. & Iacovides, I., 17 Oct 2019, CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 325-337 13 p. (CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play).

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

  267. “One of the baddies all along”: Moments that challenge a player’s perspective

    Whitby, M. A., Deterding, S. & Iacovides, I., 17 Oct 2019, CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 339-350 12 p. (CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play).

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

  268. Half-lives of Sr 73 and y 76 and the consequences for the proton dripline

    Sinclair, L., Wadsworth, R., Dobaczewski, J., Pastore, A., Lorusso, G., Suzuki, H., Ahn, D. S., Baba, H., Browne, F., Davies, P. J., Doornenbal, P., Estrade, A., Fang, Y., Fukuda, N., Henderson, J., Isobe, T., Jenkins, D. G., Kubono, S., Li, Z., Lubos, D. & 14 others, Nishimura, S., Nishizuka, I., Patel, Z., Rice, S., Sakurai, H., Shimizu, Y., Schury, P., Takeda, H., Söderström, P. A., Sumikama, T., Watanabe, H., Werner, V., Wu, J. & Xu, Z. Y., 16 Oct 2019

    Article in Physical Review C

  269. Realistic and Textured Terrain Generation using GANs

    Spick, R. J. & Walker, J. A., 15 Oct 2019, (Accepted/In press) The 16th ACM SIGGRAPH European Conference on Visual Media Production (CVMP). ACM

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

  270. Integrating Existing Safety Analyses into SysML

    Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 11 Oct 2019, Model-Based Safety and Assessment (IMBSA) 2019: Lecture Notes in Computer Science. Papadopoulos, Y., Aslansefat, K. & Katsaros, P. (eds.). 2019 ed. Springer Nature, Vol. 11842. p. 63-77 15 p.

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

  271. A new public body is necessary to effectively regulate the UK video game industry

    Zendle, D., Reith, G., Bowden-Jones, H. & Wardle, H., 9 Oct 2019.

    Research output: Contribution to conferenceOther

  272. Decentralised Gambling Overview: House of Lords Select Committee

    Scholten, O. J., Walker, J. A. & Zendle, D., 9 Oct 2019.

    Research output: Contribution to conferenceOtherpeer-review

  273. Role Identification for Accurate Analysis in Dota 2

    Demediuk, S. P., York, P. J., Block, F. O., Walker, J. A. & Drachen, A., 8 Oct 2019.

    Research output: Contribution to conferencePaperpeer-review

  274. Certification of Highly Automated Vehicles for Use on UK Roads: Creating An Industry-Wide Framework for Safety

    Koopman, P., Hierons, R., Khastgir, S., Clark, J., Fisher, M., Alexander, R., Eder, K., Thomas, P., Barrett, G., Torr, P., Blake, A., Ramamoorthy, S. & McDermid, J. A., Oct 2019, Five AI Ltd.

    Research output: Book/ReportOther report

  275. Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints

    Ansótegui, C., Bofill, M., Coll, J., Dang, N., Esteban, J. L., Miguel, I. J., Nightingale, P., Salamon, A. Z., Suy, J. & Villaret, M., 30 Sep 2019, Proceedings of the 25th International Conference on Principles and Practice of Constraint Programming. Springer, p. 20-36 17 p.

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

  276. Hybrid Relations in Isabelle/UTP

    Foster, S. D., 23 Sep 2019, 7th International Symposium on Unifying Theories of Programming (UTP). Springer, p. 130-153 24 p. (Lecture Notes in Computer Science; vol. 11885).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  277. Testing Robots Using CSP

    Cavalcanti, A., Baxter, J., Hierons, R. M. & Lefticaru, R., 23 Sep 2019, Tests and Proofs - 13th International Conference, TAP 2019, held as part of the 3rd World Congress on Formal Methods 2019, Proceedings. Beyer, D. & Keller, C. (eds.). Springer, p. 21-38 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11823 LNCS).

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

  278. Seeking Affinity Structure: Strategies for Improving m-best Graph Matching

    Curado, M., Escolano, F., Lozano, M. A. & Hancock, E. R., 10 Sep 2019, (E-pub ahead of print)

    Article in Information Sciences

  279. Evolution of Formal Model-based Assurance Cases for Autonomous Robots

    Gleirscher, M., Foster, S. D. & Nemouchi, Y., 9 Sep 2019, Software Engineering and Formal Methods. Springer, p. 87-104 18 p. (Lecture Notes in Computer Science; vol. 11724).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

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

  281. Unsupervised Learning of Functional Groups for Computational Chemistry

    Erten, C., Algahtani, E., Fairlamb, I. J. S., Garcia-Padilla, E., Lynam, J. M., Manandhar, S., Slattery, J. M. & Kazakov, D. L., 5 Sep 2019, p. 1-4.

    Research output: Contribution to conferenceAbstractpeer-review

  282. On the challenges of model decorations for capturing complex metadata

    Hoyos Rodriguez, H., Zolotas, A., Kolovos, D. & Paige, R. F., Sep 2019, Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. Burgueno, L., Burgueno, L., Pretschner, A., Voss, S., Chaudron, M., Kienzle, J., Volter, M., Gerard, S., Zahedi, M., Bousse, E., Rensink, A., Polack, F., Engels, G. & Kappel, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 347-353 7 p. 8904658. (Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019).

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

  283. Predicting Visual Memory Schemas with Variational Autoencoders

    Kyle-Davidson, C. P., Bors, A. G. & Evans, K., Sep 2019, Proc. British Machine Vision Conference (BMVC).

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

  284. Performance evaluation of HEVC RCL applications mapped onto NoC-based embedded platforms

    Penny, W., Palomino, D., Porto, M., Zatt, B. & Indrusiak, L., 26 Aug 2019, Proceedings - 32nd Symposium on Integrated Circuits and Systems Design, SBCCI 2019. Association for Computing Machinery, Inc, a7. (Proceedings - 32nd Symposium on Integrated Circuits and Systems Design, SBCCI 2019).

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

  285. Social preferences and network structure in a population of reef manta rays

    Perryman, R. J. Y., Venables, S. K., Tapilatu, R. F., Marshall, A. D., Brown, C. & Franks, D. W., 22 Aug 2019

    Article in Behavioral Ecology and Sociobiology

  286. Tighter dimensioning of heterogeneous multi-resource autonomous CPS with control performance guarantees

    Roy, D., Chang, W., Mitter, S. & Chakraborty, S., 22 Aug 2019, DAC '19: Proceedings of the 56th Annual Design Automation Conference 2019. 10

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

  287. Secure Delegation to a Single Malicious Server: Exponentiation in RSA-type Groups

    Kahrobaei, D., Di Crescenzo, G., Khodjaeva, M. & Shpilrain, V., 19 Aug 2019, 2019 IEEE Conference on Communications and Network Security (CNS): Workshops: SPC: 5th IEEE Workshop on Security and Privacy in the Cloud 2019.

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

  288. Ethereum Crypto-Games: Mechanics, Prevalence and Gambling Similarities

    Scholten, O. J., Hughes, N. G. J., Deterding, C. S., Drachen, A., Walker, J. A. & Zendle, D. I., 16 Aug 2019, (Accepted/In press) CHI PLAY 2019. ACM

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

  289. The Role of Uncertainty in Moment-to-Moment Player Motivation: A Grounded Theory

    Kumari, S., Deterding, C. S. & Freeman, J., 16 Aug 2019, (Accepted/In press) CHI PLAY'19. ACM

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

  290. Full-System Modeling and Simulation: Contributions Towards Coupling Contention and I/O

    Chester, D., Wright, S. A., Hammond, S. D., Law, T. R., Smedley-Stevenson, R., Maheswaran, S. & Jarvis, S. A., 15 Aug 2019.

    Research output: Contribution to conferencePosterpeer-review

  291. Variability management in safety‐critical systems design and dependability analysis

    De Oliveira, A., Bessi, R., Masiero, P. C., Parker, D., Papadopoulos, Y., Habli, I. & Kelly, T., 12 Aug 2019

    Article in Journal of Software: Evolution and Process

  292. Towards a Framework for Safety Assurance of Autonomous Systems

    McDermid, J. A., Jia, Y. & Habli, I., 11 Aug 2019, Artificial Intelligence Safety 2019. Espinoza, H., Yu, H., Huang, X., Lecue, F., Chen, C., Hernandex-Orallo, J., o hEigeartaigh, S. & Mallah, R. (eds.). CEUR Workshop Proceedings, Vol. 2419. p. 1-7 8 p.

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

  293. Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence

    Attieh, S. W. A., Dang, N., Jefferson, C., Miguel, I. & Nightingale, P., 10 Aug 2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, p. 1056-1063 8 p.

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

  294. Three Reasons Why: Framing the Challenges of Assuring AI

    Johnson, N. L. & Fang, X., 9 Aug 2019, Three Reasons Why: Framing the Challenges of Assuring AI.

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

  295. A SysML Profile for Fault Trees: Linking Safety Models to System Design

    Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 8 Aug 2019, Computer Safety, Reliability, and Security: SAFECOMP 2019. Romanovsky, A. & Troubitsyna, E. (eds.). Springer Nature, Vol. 11698. p. 85-93 (Lecture Notes in Computer Science; vol. 11698).

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

  296. Fault-tolerant Transmission of Messages of Differing Criticalities Across a Shared Communication Media

    Agrawa, K., Baruah, S. & Burns, A., 1 Aug 2019.

    Research output: Contribution to conferencePaperpeer-review

  297. Developing a Safety Case for Electronic Prescribing

    Jia, Y., Lawton, T., White, S. P. & Habli, I., Aug 2019, Studies in Health Technology and Informatics: MEDINFO2019. Vol. 264. p. 629-633 5 p.

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

  298. Discriminative Features Matter: Multi-layer Bilinear Pooling for Camera Localization

    Wang, X., Wang, X., Wang, C., Bai, X., Wu, J. & Hancock, E. R., 23 Jul 2019, (Accepted/In press). 12 p.

    Research output: Contribution to conferencePaperpeer-review

  299. Decentralised Gambling: Data Abundance and Technical Concerns

    Scholten, O. J., Zendle, D. & Walker, J. A., 22 Jul 2019, Current Advances in Gambling Research Conference 2019. Society for the Study of Addiction

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

  300. Development and Evaluation of a Novel Robotic System for Search and Rescue

    Cachia, A., Huda, M. N., Liu, P., Saha, C., Tickle, A. J., Arvanitakis, I. & Aziz, S. M., 17 Jul 2019, 20th Towards Autonomous Robotic Systems Conference.

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

  301. Finding All Bayesian Network Structures within a Factor of Optimal

    Liao, Z., Sharma, C., Cussens, J. & van Beek, P., 17 Jul 2019, Proceedings of the AAAI Conference on Artificial Intelligence, 33(01). AAAI Press, p. 7892-7899 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 33, no. 1).

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

  302. Deep Reinforcement Learning Based Parameter Control in Differential Evolution

    Sharma, M., Komninos, A., López-Ibáñez, M. & Kazakov, D. L., 13 Jul 2019, GECCO '19: Proceedings of the Genetic and Evolutionary Computation Conference. ACM, p. 709-717 (ACM Proceedings).

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

  303. Decentralised Gambling: The York Combined Transaction Set

    Scholten, O. J., Zendle, D. & Walker, J. A., 11 Jul 2019

    Research output: Other contribution

  304. Deep Supervised Hashing using Symmetric Relative Entropy

    Zhang, X., Zhou, L., Bai, X., Luan, X., Luo, J. & Hancock, E. R., 11 Jul 2019

    Article in Pattern Recognition Letters

  305. Detecting Causal Links between Financial News and Stocks

    Qu, H. & Kazakov, D. L., 11 Jul 2019, Proceedings of IEEE Conference on Computational Intelligence for Financial Engineering and Economics: (CIFEr 2019). Shenzhen, China: IEEE, p. 156-163 9 p. (IEEE Symposium on Computational Intelligence for Financial Engineering and Economics).

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

  306. Incorporating Robustness and Resilience into Mixed-Criticality Scheduling Theory

    Baruah, S. & Burns, A., 11 Jul 2019, 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC). IEEE, p. 155-162 8 p. (nternational Symposium on Real-Time Distributed Computing (ISORC)).

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

  307. Industrial Application of a Partitioning Scheduler to Support Mixed Criticality Systems

    Law, S. A., Bate, I. J. & Lesage, B. M. J-R., 8 Jul 2019, Proceedings of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019).

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

  308. An XML-based Factory Description Language for Smart Manufacturing Plants in Industry 4.0: Factory Description Language

    Zhao, S., Dziurzanski, P. & Soares Indrusiak, L., 3 Jul 2019, International Workshop on Reconfigurable and Communication-centric Cyber-Physical Systems.

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

  309. Integrated Process Planning and Scheduling in Commercial Smart Kitchens

    Dziurzanski, P., Zhao, S. & Soares Indrusiak, L., 3 Jul 2019, International Workshop on Reconfigurable and Communication-centric Cyber-Physical Systems (ReCoCyPS 2019). 6 p.

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

  310. Cloud-based Integrated Process Planning and Scheduling Optimisation via Asynchronous Islands

    Zhao, S., Mei, H., Dziurzanski, P., Przewozniczek, M. W. & Soares Indrusiak, L., 1 Jul 2019, (Accepted/In press) 16th International Conference on the Economics of Grids, Clouds, Systems, and Services.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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