Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. Conference contribution › Research
  2. 3D Electromagnetic Diffusion Models for Reverberant Environments

    Flintoft, I. D. & Dawson, J. F., 11 Sep 2017, 2017 International Conference on Electromagnetics in Advanced Applications (ICEAA). Verona, p. 511-514

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

  3. 3D Mesh Steganalysis using local shape features

    Li, Z. & Bors, A. G., May 2016, Proc. IEEE Int. Conf. on Acoustics, Speech and Signal Processing (ICASSP). IEEE, p. 2144-2148 5 p.

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

  4. 3D Steganalysis Using LaplacianSmoothing at Various Levels

    Li, Z., Liu, F. & Bors, A. G., 2018, Proc. International Conference on Cloud Computing and Security (ICCCS). Springer, Vol. 11068. p. 223-232 (Lecture Notes in Computer Science).

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

  5. 3D Steganalysis Using the Extended Local Feature Set

    Li, Z., Gong, D., Liu, F. & Bors, A. G., 2018, Proc. of IEEE International Conference on Image Processing. IEEE, p. 1683-1687 5 p.

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

  6. A 3D Morphable Model of Craniofacial Shape and Texture Variation

    Dai, H., Pears, N. E., Smith, W. A. P. & Duncan, C., 25 Dec 2017, Proceedings - 2017 IEEE International Conference on Computer Vision, ICCV 2017. Vol. 2017-October. p. 3104-3112 9 p. 8237597. ( Title Proceedings / IEEE International Conference on Computer Vision.).

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

  7. A Binary Neural Shape Matcher using Johnson Counters and Chain Codes

    Hodge, V., O'Keefe, S. & Austin, J., 10 Mar 2006, BICS.

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

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

  9. A Clifford Algebraic Framework for Coxeter Group Theoretic Computations

    Dechant, P-P., 2013, Conference proceedings: Applied Geometric Algebras in Computer Science and Engineering 2012 (AGACSE 2012), July 2-4, La Rochelle, France. Springer-Verlag, p. 89–108

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

  10. A Comparison Framework for Spectrogram Track Detection Algorithms

    Lampert, T. & O'Keefe, S., 1 May 2009, Computer Recognition Systems . Kurzynski, M. & Wozniak, M. (eds.). Springer, Vol. 3. p. 119 126 p. (Advances in Intelligent and Soft Computing ; vol. 57/2009).

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

  11. A Conformal Thin Boundary Model for FDTD

    Bourke, S., Dawson, J., Robinson, M. & Porter, S., 8 Aug 2018, 2018 IEEE MTT-S International Conference on Numerical Electromagnetic and Multiphysics Modeling and Optimization for RF, Microwave, and Terahertz Applications (NEMO) (NEMO2018). 4 p. 8503410

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

  12. A Cost-Efficient System for Detecting an Intentional Electromagnetic Interference (IEMI) Attack

    Dawson, J. F., Flintoft, I. D., Kortoći, P., Dawson, L., Marvin, A. C., Robinson, M. P., Stojilović, M., Rubinstein, M., Menssen, B., Garbe, H., Hirschi, W. & Rouiller, L., 1 Sep 2014, EMC Europe 2014.

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

  13. A Data-augmented 3D Morphable Model of the Ear

    Dai, H., Pears, N. E. & Smith, W. A. P., 15 May 2018, The 13th IEEE International Conference on AUTOMATIC FACE AND GESTURE RECOGNITION (FG 2018) . IEEE, 5 p.

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

  14. A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax

    Herrera, A. S-B., Willink, E. D. & Paige, R. F., 1 Jul 2017, Theory and Practice of Model Transformations - 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings. Springer, p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 9765).

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

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

  16. A Game that Makes You Question...” Exploring the Role of Reflection for the Player Experience

    Mekler, E., Iacovides, I. & Bopp, J., Oct 2018, Proceedings of the annual ACM Conference CHI Play 2018. ACM

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

  17. A Graph Kernel based on Jensen-Shannon Representation

    Bai, L., Zhang, Z. & Hancock, E. R., 2015, International Joint Conference on Artificial Intelligence (IJCAI). 8 p.

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

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

  19. A Hormone-Inspired Arbitration System For Self Identifying Abilities Amongst A Heterogeneous Robot Swarm

    Wilson, J., Timmis, J. & Tyrrell, A., 1 Nov 2018, IEEE International Conference on Evolvable Systems. Bengaluru, India

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

  20. A Jensen-Shannon Divergence Kernel for Directed Graphs

    Ye, C., Wilson, R. C. & Hancock, E. R., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. p. 196-206 11 p. (Lecture Notes in Computer Science (LNCS); vol. 10029).

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

  21. A Lightweight Hat: simple type-preserving instrumentation for self-tracing lazy functional programs

    Chitil, O., Faddegon, M. & Runciman, C., 2016, Proceedings of 28th Symposium on Implementation and Application of Functional Languages. ASSOC COMPUTING MACHINERY, 10

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

  22. A Mechanical Mapping Model for Real-Time Control of a Complex Physical Modelling Synthesis Engine with a Simple Gesture

    Keenan, F. & Pauletto, S., 2017, Proceedings of the 20th International Conference on Digital Audio Effects (DAFx-17). p. 25-31 7 p.

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

  23. A Methodological Template to Construct Ground Truth of Authentic and Fake Online Reviews

    Banerjee, S., 2018, 2018 IEEE International Conference on Data Science and Advanced Analytics. IEEE, p. 641-648 8 p.

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

  24. A Mixed Method Approach for Evaluating and Improving the Design of Learning in Puzzle Games

    Scozzi, M. V., Iacovides, I. & Linehan, C., 1 Oct 2017, The ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHIPLAY 2017). ACM, p. 217-228

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

  25. A Multi-Scale Piecewise-Linear Feature Detector for Spectrogram Tracks

    Lampert, T., Pears, N. & O'Keefe, S., 2009, AVSS: 2009 6TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED VIDEO AND SIGNAL BASED SURVEILLANCE. NEW YORK: IEEE, p. 330-335 6 p.

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

  26. A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures

    Johnson, K. H. A., Sinha, R., Calinescu, R. & Ruan, J., 2015, 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, p. 159-166

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

  27. A Multiresolution 3D Morphable Face Model and Fitting Framework

    Huber, P., Hu, G., Tena, R., Mortazavian, P., Koppen, W. P., Christmas, W., Rätsch, M. & Kittler, J., Feb 2016, Proceedings of the 11th Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. SciTePress, Vol. 4. p. 79-86

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

  28. A Nested Alignment Graph Kernel through the Dynamic Time Warping Framework

    Bai, L., Rossi, L., Cui, L. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 59-69 11 p.

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

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

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

  31. A Scalable, Correct Time-stamped Stack

    Dodds, M., Haas, A. & Kirsch, C. M., 2015, Proceedings of the 42th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages.. ACM, 14 p.

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

  32. A Small-Step Operational Semantics for GP 2

    Courtehoute, B. & Plump, D., 21 Dec 2021, Graph Computation Models (GCM 2021), Revised Selected Papers. Hofmann, B. & Minas, M. (eds.). p. 89–110 22 p. (Electronic Proceedings in Theoretical Computer Science ; vol. 350).

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

  33. A Smart Contract for Boardroom Voting with Maximum Voter Privacy

    McCorry, P., Shahandashti, S. F. & Hao, F., 2017, Financial Cryptography and Data Security - 21st International Conference, FC 2017, Revised Selected Papers: 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers. Kiayias, A. (ed.). Springer, p. 357-375 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10322 LNCS).

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

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

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

  36. A Study of the Challenges Related to DIY Assistive Technology in the Context of Children with Disabilities

    Hook, J. D., Verbaan, S., Durrant, A., Olivier, P. & Wright, P. C., 21 Jun 2014, DIS '14: Proceedings of the 2014 Conference on Designing Interactive Systems. New York: Association for Computing Machinery (ACM), p. 597-606

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

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

  38. A Tool for Development and Evaluation of Accessible Web 2.0 Applications

    Kervina, D., Pustisek, M., Ackermann, P., Velasco, C. A. & Power, C. D., 2012, 21st International Electrotechnical and Computer Science Conference. IEEE COMPUTER SOC, p. 89-92 4 p.

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

  39. A Unified Framework of Third Order Time and Frequency Domain Analysis for Neural Spike Trains

    Yang, Y. & Halliday, D. M., 29 Aug 2018, 2018 IEEE Statistical Signal Processing Workshop, SSP 2018. Institute of Electrical and Electronics Engineers Inc., p. 383-387 5 p. 8450717. (2018 IEEE Statistical Signal Processing Workshop, SSP 2018).

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

  40. A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP

    Oliveira, M. V. M., Júnior, I. S. D. M. & Woodcock, J., 2013, Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Hierons, R. M., Merayo, M. G. & Bravetti, M. (eds.). Springer, Vol. 8137. p. 46-60 15 p. (Lecture Notes in Computer Science).

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

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

  42. A brief history of short wavelength coherent radiation sources

    Tallents, G. J., 8 Jul 2021, Proceedings: International Conference on X-Ray Lasers 2020. Bleiner, D. (ed.). 7 p. 1188605. (Proceedings of SPIE; vol. 11886).

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

  43. A framework for constraint based local search using ESSENCE

    Akgun, O., Attieh, S. W. A., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W., Salamon, A. Z., Spracklen, P. & Wetter, J. P., 13 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 1242-1248 7 p.

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

  44. A novel entropy-based graph signature from the average mixing matrix

    Bai, L., Rossi, L., Cui, L. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 1339-1344 6 p.

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

  45. A rectangular waveguide cell for measurement of the shielding effectiveness of anisotropic materials

    Flintoft, I. D., Marvin, A. C., Dawson, J. F. & Dawson, L., 1 Sep 2010, EMC Europe 2010, 9th International Symposium on EMC joint with 20th International Wroclaw Symposium on EMC: 13-17 September, 2010. Wroclaw, Poland: Oficyna Wydawnicza Politechniki Wroclawskiej, p. 591-596 6 p.

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

  46. A taxonomy of attacks on secure devices

    Rae, A. & Wildman, L., 2003, Proceedings of the Australia Information Warfare and Security Conference 2003. p. 251-264

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

  47. A transitive aligned Weisfeiler-Lehman subtree kernel

    Bai, L., Rossi, L., Cui, L. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 396-401 6 p.

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

  48. A wide-band hybrid antenna for use in reverberation chambers

    Marvin, A. C., Esposito, G., Dawson, J. F., Flintoft, I. D., Dawson, L., Everard, J. A. K. & Melia, G. C. R., 1 Aug 2013, Electromagnetic Compatibility (EMC), 2013 IEEE International Symposium on. p. 222-226

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

  49. Absorption cross section measurement of stacked PCBs in a reverberation chamber

    Parker, S., Flintoft, I. D., Marvin, A., Dawson, J. F., Bale, S. J., Robinson, M. P., Ye, M., Wan, C. & Zhang, M., 18 May 2016, 2016 Asia-Pacific Symposium on Electromagnetic Compatibility (APEMC2016). Shenzhen, China: IEEE, 3 p.

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

  50. Absorptive scattering model for rough laminar surfaces

    Dahlan, H. A. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 1905-1910 6 p.

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

  51. Accommodating Learners with Specific Learning Difficulties in Educational Settings: Problems and Solutions

    Indrarathne, B., 1 Sep 2019, Pan Commonwealth Forum 9 (PCF9). Commonwealth of Learning, 7 p. 72

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

  52. Achieving performance portability for a heat conduction solver mini-application on modern multi-core systems

    Kirk, R. O., Mudalige, G. R., Reguly, I. Z., Wright, S. A., Martineau, M. J. & Jarvis, S. A., 26 Sep 2017, Proceedings - 2017 IEEE International Conference on Cluster Computing, CLUSTER 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2017-September. p. 834-841 8 p. 8049026

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

  53. Acoustic Atlas - Auralisation in the Browser

    Van Tonder, C. & Lopez, M. J., 9 Sep 2021, The International Conference on Immersive and 3D Audio: Immersive and 3D Audio: from Architecture to Automotive. IEEE, 5 p.

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

  54. Active Contour Detection of Linear Patterns in Spectrogram Images

    Lampert, T. & O'Keefe, S., 2008, 19TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOLS 1-6. NEW YORK: IEEE, p. 3350-3353 4 p.

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

  55. AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems

    Papadopoulos, A., Bini, E., Baruah, S. & Burns, A., 4 Jul 2018, Proceeding ECRTS Conference. Altmeyer, S. (ed.). Dagstuhl: LIPICS, p. 14:1-14:22 22 p. 14

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

  56. Adapting Cognitive Task Analysis to Elicit the Skill Chain of a Game

    Horn, B., Cooper, S. & Deterding, C. S., 1 Aug 2017, CHI PLAY'17. Association for Computing Machinery (ACM), 13 p.

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

  57. Adaptive Feature Selection Based on the Most Informative Graph-Based Features

    Lu, B., Cui, L., Rossi, L. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 276-287 12 p.

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

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

  59. Addressing the skills gap for facilitating renewable energy entrepreneurship- an analysis of the wind energy sector.

    Baruah, B. J., Ward, A. E., Gbadebo, A. A. & Jackson, N., 19 Mar 2018, Majan International Conference. MIC 2018. Muscat (Oman), 7 p.

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

  60. AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems

    Burns, A., Harbin, J. R., Soares Indrusiak, L., Bate, I. J., Davis, R. I. & Griffin, D. J., 1 Aug 2018, IEEE Embedded and Real-Time Computing Systems and Applications: RTCSA. 11 p.

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

  61. Algebraic Compilation of Safety-Critical Java Bytecode

    Baxter, J. & Cavalcanti, A. L. C., 1 Sep 2017, Integrated Formal Methods. Polikarpova, N. & Schneider, S. (eds.). Springer, p. 161-176 16 p.

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

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

  63. An Adaptive TDMA-based MAC Protocol for Underwater Acoustic Sensor Networks

    Gorma, W. & Mitchell, P. D., 1 Oct 2019, WUWNET'19: Proceedings of the International Conference on Underwater Networks & SystemsOctober 2019 Article No.: 22 Pages 1–8. ACM Digital Library, p. 1-8

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

  64. An Aligned Subtree Kernel for Weighted Graphs

    Bai, L., Rossi, L. & Hancock, E. R., 2015, International Conference on Machine Learning (ICML) 2015. Vol. 37. p. 30-39 10 p.

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

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

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

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

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

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

  68. An FPGA-based hardware-efficient fault-tolerant astrocyte-neuron network

    Johnson, A. P., Halliday, D. M., Millard, A. G., Tyrrell, A. M., Timmis, J., Liu, J., Harkin, J., McDaid, L. & Karim, S., 9 Feb 2017, 2016 IEEE Symposium Series on Computational Intelligence, SSCI 2016. Institute of Electrical and Electronics Engineers Inc., 7850175

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

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

  70. An Interval Algebra for Multiprocessor Resource Allocation

    Soares Indrusiak, L. & Dziurzanski, P., 20 Jul 2015, The International Conference on Systems, Architectures, Modeling and Simulation (SAMOS). Soudris, D. & Carro, L. (eds.). 8 p.

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

  71. An Investigation into Alternatives to the CISPR 12 Full Vehicle Measurement Method

    Paterson, M. & Dawson, J. F., 27 Aug 2018, 2018 International Symposium on Electromagnetic Compatibility - EMC EUROPE. Amsterdam, p. 885-889 5 p. (EMC Europe).

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

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

  73. An edge-based matching kernel on commute-time spanning trees

    Bai, L., Cui, L., Escolano, F. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 2103-2108 6 p.

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

  74. An incremental verification framework for component-based software systems

    Johnson, K. H. A., Calinescu, R. C. & Kikuchi, S., 2013, CBSE '13 : Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. New York: ACM, p. 33-42 10 p.

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

  75. An investigation into the errors in the CISPR 12 full vehicle radiated emissions measurements due to vehicle directivity

    Paterson, M. & Dawson, J. F., 2013, Electromagnetic Compatibility (EMC EUROPE), 2013 International Symposium on. p. 310-315 6 p.

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

  76. Analysis and Optimization of Message Acceptance Filter Configurations for Controller Area Network (CAN)

    Pölzlbauer, F., Bate, I. J. & Davis, R. I., 2017, International Conference on Real-Time Networks and Systems. ACM, p. 247-256

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

  77. Analysis of a hybrid broadband reverberation chamber antenna

    Flintoft, I. D., Esposito, G., Marvin, A., Dawson, L., Robinson, M. P. & Dawson, J. F., Aug 2015, Electromagnetic Compatibility (EMC Europe), 2015 International Symposium on.

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

  78. Analyzing graph time series using a generative model

    Ye, C., Wilson, R. C. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 3338-3343 6 p.

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

  79. Applying IEC 62132-2 to the real world: Immunity of an analogue to digital converter

    Aurand, T., Dawson, J. F., Robinson, M. P. & Marvin, A. C., 8 Aug 2008, 2008 INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC COMPATIBILITY (EMC EUROPE). Hamburg, Germany, p. 477-480 4 p.

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

  80. ArchAIDE-Archaeological Automatic Interpretation and Documentation of cEramics

    Richards, J. D., Gualandi, M. L., Scopingo, R., Wolf, L., Garrigos, J. B. I., Heinzelmann, M., Hervas, M. A., Vila, L. & Zallocco, M., 5 Oct 2016, Eurographics Workshop on Graphics and Cultural Heritage. Catalana, C. E. & De Luca, L. (eds.).

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

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

  82. Articulatory Text-to-Speech Synthesis Using the Digital Waveguide Mesh Driven by a Deep Neural Network

    Gully, A. J., Yoshimura, T., Murphy, D. T., Hashimoto, K., Nankaku, Y. & Tokuda, K., 2017, Interspeech 2017. ISCA-INST SPEECH COMMUNICATION ASSOC, p. 234-238 (INTERSPEECH).

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

  83. Artificial bee colony-inspired run-time task management for many-core systems

    Abuassal, A. M. A., Tempesti, G. & Trefzer, M. A., 30 Nov 2018, 2018 IEEE Symposium Series on Computational Intelligence (SSCI). USA: I E E E, p. 1084-1091 8 p.

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

  84. Assessing the performance of ZigBee in a reverberant environment using a mode stirred chamber

    Hope, D., Dawson, J., Marvin, A., Panitz, M., Christopoulos, C. & Sewell, P., 2008, IEEE INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC COMPATIBILITY 2008 . Detroit, USA: IEEE, Vol. 1-3. p. 609-614 6 p.

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

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

  86. Assured Reinforcement Learning for Safety-Critical Applications

    Mason, G. R., Calinescu, R. C., Kudenko, D. & Banks, A., 2017, Doctoral Consortium at the 10th International Conference on Agents and Artificial Intelligence. SciTePress, 8 p.

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

  87. Assured Reinforcement Learning with Formally Verified Abstract Policies

    Mason, G. R., Calinescu, R. C., Kudenko, D. & Banks, A., 2017, 9th International Conference on Agents and Artificial Intelligence (ICAART).

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

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

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

  90. Atomic oxygen and hydroxyl density measurements in an atmospheric pressure RF-plasma with water admixtures using UV and synchrotron VUV absorption spectroscopy

    Schröter, S., Foucher, M., Niemi, K., Dedrick, J. P., de Oliveira, N., Joyeux, D., Nahon, L., Wagenaars, E., Gans, T., Booth, J-P. & O'Connell, D., 2015, Proc 22nd ISPC. 4 p.

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

  91. Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem

    Plump, D. & Hristakiev, I., 3 Dec 2016, Software Technologies: Applications and Foundations : STAF 2016 Collocated Workshops, Revised Selected Papers. Milazzo, P., Wimmer, M. & Varró, D. (eds.). Springer, Vol. 9946. p. 145-160 16 p. (Lecture Notes in Computer Science; vol. 9946).

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

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

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

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

  93. Authoring Object-Based Video Narratives

    Smith, D., Hook, J. D. & Ursu, M., 21 Jun 2018, Adjunct Proceedings of ACM TVX 2018.

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

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

  95. Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving

    Ye, K., Foster, S. & Woodcock, J., 22 Oct 2021, Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Proceedings. Fahrenberg, U., Gehrke, M., Santocanale, L. & Winter, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 465-482 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13027 LNCS).

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

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

  97. Automatic Labeling of Tweets for Crisis Response Using Distant Supervision

    Alrashdi, R. & O'Keefe, S., 20 Apr 2020, WWW '20: Companion Proceedings of the Web Conference 2020. ACM, p. 418-425 8 p.

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

  98. Automatic detection of sociolinguistic variation using forced alignment

    Bailey, G., 1 Dec 2016, University of Pennsylvania Working Papers in Linguistics: Selected Papers from New Ways of Analyzing Variation (NWAV 44). Vol. 22. p. 10-20 3. (University of Pennsylvania Working Papers in Linguistics; vol. 22, no. 2).

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

  99. Automatic discovery and exploitation of promising subproblems for tabulation

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W. & Salamon, A. Z., 27 Aug 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Netherlands: Springer, p. 3-12 10 p. (Lecture Notes in Computer Science).

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

  100. Automatically Improving Constraint Models in Savile Row through Associative-Commutative Common Subexpression Elimination

    Nightingale, P., Akgun, O., Gent, I. P., Jefferson, C. & Miguel, I., 8 Sep 2014, Principles and Practice of Constraint Programming. Cham: Springer, p. 590-605 16 p. (Lecture Notes in Computer Science; vol. 8656).

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

  101. Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row

    Nightingale, P., Spracklen, P. & Miguel, I. J., 1 Oct 2015, Principles and Practice of Constraint Programming: 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings. Pesant, G. (ed.). Netherlands: Springer, Vol. 9255. p. 330-340 11 p. (Lecture Notes in Computer Science).

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

  102. Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

    Foster, S. D., Baxter, J. E., Cavalcanti, A. L. C., Miyazawa, A. H. & Woodcock, JAMES. C. P., 5 Oct 2018, 15th International Conference on Formal Aspects of Component Software. Ölveczky, P. C. & Bae, K. (eds.). Springer, p. 137-155 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11222 LNCS).

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

  103. Axially and Radially Expandable Pneumatic Helical Soft Actuator for Robotic Implantables

    Roberto P. G. E., E., Nejus, S., Yan, X., Miyashita, S., Liu, Y. & Damian, D., 2018, ICRA 2018.

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

  104. B-Format Acoustic Impulse Response Measurement and Analysis In the Forest at Koli National Park, Finland

    Shelley, S. B., Murphy, D. T. & Chadwick, A. J., 2 Sep 2013, Proceedings of the 16th International Conference on Digital Audio Effects (DAFx13). Maynooth, p. 351-355 5 p.

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

  105. Bayesian network learning by compiling to weighted MAX-SAT

    Cussens, J., 2008, Proceedings of the 24th Conference on Uncertainty in Artificial Intelligence (UAI 2008). McAllester, D. & Myllymaki, P. (eds.). Corvallis, Oregon: AUAI Press, p. 105-112 8 p.

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

  106. Bayesian network learning with cutting planes

    Cussens, J., 2011, Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence (UAI 2011). Cozman, F. & Pfeffer, A. (eds.). Corvallis, Oregon: AUAI Press, p. 153-160 8 p.

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

  107. Behavioural Models for FMI Co-simulations

    Cavalcanti, A. L. C., Woodcock, J. C. P. & Amalio, N., 2016, International Colloquium on Theoretical Aspects of Computing. Sampaio, A. C. A. & Wang, F. (eds.). Springer, Vol. 9965. p. 255-273 19 p. (Lecture Notes in Computer Science).

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

  108. Behavioural activation therapy for depression after stroke (BEADS): a feasibility randomised controlled pilot trial of a psychological intervention for post-stroke depression

    Thomas, S., Drummond, A., Lincoln, NB., Palmer, R., Nair, R. D., Latimer, N., Hackney, G., Hatton, R., Walters, S. J., Mandefield, L., Cooper, C. & et al., 10 Aug 2016, International Journal of Stroke. Vol. 12.

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

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

  110. Bio-inspired Anomaly Detection for Low-cost Gas Sensors

    Liu, J., Harkin, J., McDaid, L., Karim, S., Millard, A. G., Hilder, J., Hickinbotham, S., Johnson, A. P., Timmis, J., Halliday, D. M. & Tyrrell, A. M., 24 Jan 2019, 18th International Conference on Nanotechnology, NANO 2018. IEEE Computer Society, 8626301. (Proceedings of the IEEE Conference on Nanotechnology; vol. 2018-July).

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

  111. Biology as an agent of chemical and mineralogical change in soil

    Hodson, M. E., 2014, Procedia Earth and Planetary Science. Elsevier, Vol. 10. p. 114-117

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

  112. Bootlegger: Turning Fans into Film Crew

    Schofield, G. P., Bartindale, T. & Wright, P. C., 18 Apr 2015, Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 767-776 10 p.

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

  113. Bridging Proprietary Modelling and Open-Source Model Management Tools: The Case of PTC Integrity Modeller and Epsilon

    Zolotas, A., Rodriguez, H. H., Kolovos, D. S., Paige, R. F. & Hutchesson, S., 7 Nov 2017, Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017. Institute of Electrical and Electronics Engineers Inc., p. 237-247 11 p. 8101270

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

  114. Brooke Leave Home: Designing a Personalized Film to Support Public Engagement with Open Data

    Concannon, S., Rajan, N., Shah, P., Smith, D., Ursu, M. & Hook, J. D., 25 Apr 2020, Proceedings of the ACM CHI 2020 Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 1-14 15 p. (CHI conference proceedings).

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

  115. Buffer-aware bounds to multi-point progressive blocking in priority-preemptive NoCs

    Soares Indrusiak, L., Burns, A. & Nikolic, B., Mar 2018, Proceedings of the 2018 Design, Automation & Test in Europe Conference (DATE). p. 219-224

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

  116. Building Model-Driven Engineering Traceability

    Paige, R. F., Olsen, G. K., Kolovos, D., Zschaler, S. & Power, C. D., 2010, ECMDA Traceability Workshop (ECMDA-TW). Sintef, p. 49 1 p.

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

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

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

  119. Cache-aware task scheduling for maximizing control performance

    Chang, W., Roy, D., Hu, S. & Chakraborty, S., 23 Mar 2018, 2018 Design, Automation and Test in Europe Conference and Exhibition (DATE). p. 694-699

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

  120. Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra

    Foster, S. D., Ye, K., Cavalcanti, A. L. C. & Woodcock, JAMES. C. P., 1 Nov 2018, Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Proceedings. Guttmann, W., Desharnais, J. & Joosten, S. (eds.). Lecture Notes in Computer Science, Vol. 11194. p. 205-224 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11194 LNCS).

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

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

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

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

  122. Changes in a Printed Circuit Board's Absorption Cross Section Due to Proximity to Walls in a Reverberant Environment

    Parker, S., Flintoft, I., Marvin, A., Dawson, J., Bale, S., Robinson, M., Ye, M., Wan, C. & Zhang, M., 25 Jul 2016, 2016 IEEE International Symposium on Electromagnetic Compatibility (EMC). IEEE, p. 818-823 6 p.

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

  123. Checking Graph Programs for Confluence

    Plump, D. & Hristakiev, I., 23 Jan 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Seidl, M. & Zschaler, S. (eds.). Springer, p. 92-108 16 p. (Lecture Notes in Computer Science; vol. 10748).

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

  124. Chemical structure matching using correlation matrix memories

    Austin, J., Turner, A., Turner, M. & Lees, K., 1999, NINTH INTERNATIONAL CONFERENCE ON ARTIFICIAL NEURAL NETWORKS (ICANN99), VOLS 1 AND 2. EDISON: IEEE, Vol. 2. p. 619-624 5 p.

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

  125. Cinehacking Cape Town - Embracing Informality in Pursuit of High Quality Media

    Green, D., Schofield, G. P., Pritchard, G., Olivier, P. & Wright, P. C., 6 May 2017, Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems. ACM, p. 4753-4764 (CHI : Conference on Human Factors and Computing Systems).

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

  126. Cinejack: using live music to control narrative visuals

    Schofield, G. P., Green, D., Smith, T., Wright, P. C. & Olivier, P., 21 Jun 2014, Proceedings of the 2014 conference on Designing interactive systems. Association for Computing Machinery (ACM), p. 209-218

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

  127. Circuit and Electromagnetic Modelling of a low cost IEMI Sensor

    Dawson, J. F., Flintoft, I. D., Rebers, L., Camp, M., Schmitz, J. & Jung, M., 8 Oct 2014, Proceedings of EMCUK 2014. 7 p.

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

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

  129. Closed frequent itemset mining with arbitrary side constraints

    Kocak, G., Akgun, O., Miguel, I. J. & Nightingale, P. W., 17 Nov 2018, Workshop proceedings (OEDM 2018) of the 2018 IEEE International Conference on Data Mining (ICDM). IEEE Computer Society, 9 p.

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

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

  131. Coalescence dynamics of size-selected gold clusters studied by time-resolved transmission electron microscopy

    Liu, J., Foster, D., Li, Z. Y., Wilkinson, N. & Yuan, J., 30 Oct 2017, Journal of Physics: Conference Series. IOP Publishing Ltd., Vol. 902. 012008

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

  132. Coastal prehistory in the southern Red Sea Basin: underwater archaeology and the Farasan Islands

    Bailey, G., AlSharekh, A., Flemming, N., Lambeck, K., Momber, G., Sinclair, A. & Vita-Finzi, C., 2007, Proceedings of the Seminar for Arabian Studies. Weeks, L. & Simpson, S. J. (eds.). Oxford: Archaeopress, Vol. 37. p. 1-16

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

  133. Collaborative mobile industrial manipulator: a review of system architecture and applications

    Yang, M., Yang, E. F., Zante, R. C., Post, M. A. & Liu, X. F., 6 Sep 2019, Proceedings of the 25th International Conference on Automation & Computing, Newcastle University, Newcastle upon Tyne, UK. 6 p.

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

  134. Combining Multiple Correlated Reward and Shaping Signals by Measuring Confidence

    Brys, T., Nowé, A., Kudenko, D. & Taylor, M., 2014, The 28th Conference of the American Association on Artificial Intelligence: AAAI 2014.

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

  135. Commemorating Military and Civilian Families on the Danube Limes

    Carroll, M., 2015, Limes XXII. Proceedings of the XXIInd International Congress of Roman Frontier Studies held in Ruse, Bulgaria (September 2012). Vagalinski, L. & Sharankov, N. (eds.). Sofia: National Archaeological Institute, p. 501-509

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

  136. Commodities carried in amphorae AD 600-1200. New research from Sicily

    Drieu, L., Carver, M. O. H. & Craig, O. O., 2018, Archeologia Medievale, XLV, 2018: I contenitori da trasporto altomedievali e medievali (VIII-XII secolo) nel Mediterraneo. Centri produttori, contenuti, reti di scambio. Gelichi, S. & Molinari, A. (eds.). Vol. 45. p. 269-274 (Archeologia Medievale).

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

  137. Commute Times in Dense Graphs

    Escolano, F., Curado, M. & Hancock, E. R., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. p. 241-251 11 p. (Lecture Notes in Computer Science ; vol. 10029).

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

  138. Commute time for a gaussian wave packet on a graph

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Springer-Verlag, Vol. 8621 LNCS. p. 374-383 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

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

  139. Comparing Concurrent and Retrospective Verbal Protocols for Blind and Sighted Users

    Savva, A., Petrie, H. & Power, C. D., 2015, Human-Computer Interaction. p. 55-71 17 p.

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

  140. Comparing Fatigue when Using Large Horizontal and Vertical Multi-Touch Interaction Displays

    Al-Megren, S., Kharrufa, A., Hook, J. D., Holden, A., Sutton, S. & Olivier, P., 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part IV. SPRINGER-VERLAG BERLIN, p. 156-164

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

  141. Compiling Graph Programs to C

    Bak, C. P. & Plump, D., 2016, Proceedings 9th International Conference on Graph Transformation (ICGT 2016). Echahed, R. & Minas, M. (eds.). Springer, p. 102-117 15 p. (Lecture Notes in Computer Science; vol. 9761).

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

  142. Complexity of n-Queens completion (extended abstract)

    Gent, I. P., Jefferson, C. A. & Nightingale, P. W., 13 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 5608-5611 4 p.

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

  143. Computational electromagnetic (CEM) model validation against measured and calculated results

    Dawson, J. F., Robinson, M. P. & Konefal, T., 1 Mar 2004, Validation of Computational Electromagnetics, IEE Seminar on , 17-21 , March 2004. p. 17-24 8 p.

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

  144. Conceptualizing Augmented Reality Television for the Living Room

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

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

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

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

  147. Constraining the 19Ne(p,γ)20Na Reaction Rate Using a Direct Measurement at DRAGON

    Wilkinson, R., Lotay, G., Lennarz, A., Ruiz, C., Christian, G., Akers, C., Catford, W. N., Chen, A. A., Connolly, D., Davids, B., Hutcheon, A. D., Jedrejcic, D., Laird, A. M., Martin, C. L., McNeice, E., Riley, J. & Williams, M., 30 Dec 2017, Nuclear Physics in Astrophysics VIII, NPA8 2017. EDP Sciences, Vol. 165. 01054

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

  148. Constraints on variability in the voice onset time of L2 English stop consonants

    Chodroff, E. R. & Baese-Berk, M., 2019, Proceedings of the 19th International Congress of Phonetic Sciences. 734. (Proceedings of the International Congress of Phonetic Sciences).

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

  149. Contracts in CML

    Woodcock, J. C. P., Cavalcanti, A. L. C., Fitzgerald, J., Foster, S. & Larsen, P. G., 2014, 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation. Springer, p. 54-73 20 p. (Lecture Notes in Computer Science; vol. 8803).

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

  150. Contribución al estudio de la cerámica neolítica en la cuenca del río Mundo (Albacete)

    Cubas Morera, M., García-Moreno, A., Mingo, A., Barba, J. & Canales, J., 1 Nov 2016, Actas de la primera reunión científica de arqueología de Albacete. Instituto de Estudios Albacetenses "Don Manuel". Excma. Diputación de Albacete, p. 297-312 25 p.

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

  151. Controlling the Crucible: A Novel PvP Recommender Systems Framework for Destiny

    Sifa, R., Zhai, K., Pawlakos, E., Jha, R., Narayanan, S., Klabjan, D. & Drachen, A., 29 Jan 2018, Proceedings of Australian Computer Science Week, Interactive Entertainment. Association for Computing Machinery (ACM)

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

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

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

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

  153. Correlation Network Evolution Using Mean Reversion Autoregression

    Ye, C., Wilson, R. C. & Hancock, E. R., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. p. 163-173 11 p. (Lecture Notes in Computer Science; vol. 10029).

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

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

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

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

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

  156. Critical Pairs in Term Graph Rewriting

    Plump, D., 1994, Proc. Mathematical Foundations of Computer Science (MFCS 1994). Springer, p. 556-566 (Lecture Notes in Computer Science; vol. 841).

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

  157. Cross section measurements in the 12C+12C system

    Courtin, S., Jiang, C. L., Fruet, G., Heine, M., Jenkins, D. G., Adsley, P., Morris, L. G., Regan, P. H., Rudigier, M., Montanari, D., Della Negra, S., De Séréville, N., Haas, F., Hammache, F., Kirsebom, O. S., Lesrel, J., Meyer, A., Montanari, D., Auranen, K., Avila, M. L. & 32 others, Ayangeakaa, A. D., Back, B. B., Bottoni, S., Carpenter, M., Dickerson, C., DiGiovine, B. J., Greene, J. P., Henderson, D. J., Hoffman, C. R., Janssens, R. V. F., Kay, B. P., Kuvin, S. A., Lauritsen, T., Pardo, R. C., Rehm, K. E., Santiago-Gonzalez, D., Sethi, J. K., Seweryniak, D., Talwar, R., Ugalde, C., Zhu, S., Deibel, C. M., Marley, S. T., Bourgin, D., Stodel, C., Lefebvre-Schuhl, A., Almaraz-Calderon, S., Tang, X. D., Alcorta, M., Bucher, B., Albers, M. & Bertone, P. F., 30 Dec 2017, Nuclear Physics in Astrophysics VIII, NPA8 2017. EDP Sciences, Vol. 165. 6 p. 01015

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

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

  159. Crossflow: A framework for distributed mining of software repositories

    Kolovos, D., Neubauer, P., Barmpis, K., Matragkas, N. & Paige, R., 1 May 2019, Proceedings - 2019 IEEE/ACM 16th International Conference on Mining Software Repositories, MSR 2019. IEEE Computer Society Press, p. 155-159 5 p. 8816734. (IEEE International Working Conference on Mining Software Repositories; vol. 2019-May).

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

  160. Curious Users of Casual Creators

    Nelson, M. J., Gaudl, S. E., Colton, S. & Deterding, C. S., 7 Aug 2018, FDG'18: Proceedings of the 13th International Conference on the Foundations of Digital Games. New York: ACM, 61

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

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

  162. DRE-ip: A Verifiable E-Voting Scheme without Tallying Authorities

    Shahandashti, S. F. & Hao, F., 2016, ESORICS 2016: Computer Security – ESORICS 2016. Switzerland, Vol. 9879. p. 223-240 13 p.

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

  163. Deadline, Energy and Buffer-Aware Task Mapping Optimization in NoC-Based SoCs Using Genetic Algorithms

    Bruch, J. V., Alves da Silva, E., Zeferino, C. A. & Soares Indrusiak, L., 23 Nov 2017, VII Brazilian Symposium on Computing Systems Engineering (SBESC). IEEE, p. 86-93 (Brazilian Symposium on Computing Systems Engineering (SBESC) ).

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

  164. Dealing with cyberbullying by pupils

    Kyriacou, C., 22 Feb 2017, Evidence presented at meetings of the All Party Parliamentary Group on Bullying 2011-2016 . APPG on Bullying (ed.). London: APPG on Bullying, p. 21-22 2 p.

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

  165. Decision-Tree Based Transceiver Selection for Medium Access Control in Wireless Sensor Networks

    Chau, A., Dawson, J. & Mitchell, P. D., 20 Oct 2021, The 12th International Conference on ICT Convergence. Ramada Plaza Hotel, Jeju Island, Korea, 6 p.

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

  166. Deep Learning Meets Cognitive Radio: Predicting Future Steps

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

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

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

  168. Deja Fu: a concurrency testing library for Haskell

    Walker, M. S. & Runciman, C., 2015, Proceedings of 8th International Symposium on Haskell. ASSOC COMPUTING MACHINERY, p. 141-152

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

  169. Dependency Based Bilingual word Embeddings without word alignment

    O'Keefe, S., Alqaisi, T. & Komninos, A., 28 Sep 2020, 2020 International Joint Conference on Neural Networks (IJCNN).

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

  170. Dependent input sampling strategies: using metaheuristics for generating parameterised random sampling regimes

    Srivisut, K., Clark, J. A. & Paige, R. F., 2 Jul 2018, GECCO 2018 - Proceedings of the 2018 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, Inc, p. 1451-1458 8 p.

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

  171. Depth-Based Complexity Traces of Hypergraphs from Directed Line Graphs

    Bai, L., Ren, P., Escolano, F. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, 6 p.

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

  172. Design Frictions for Mindful Interactions: The Case for Microboundaries

    Cox, A. L., Gould, S. J. J., Cecchinato, M. E., Iacovides, I. & Renfree, I., 2016, CHI'16 Extended Abstracts on Human Factors in Computing Systems - CHI EA '16. ACM, p. 1389-1397 9 p.

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

  173. Design and Evaluation of a Broadband Source Stirring Antenna for use in a Reverberation Chamber

    Marvin, A. C., Franks, L., Dawson, J. F. & Robinson, M., 27 Aug 2018, 2018 International Symposium on Electromagnetic Compatibility - EMC EUROPE. Amsterdam, p. 666-670 5 p.

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

  174. Design and Evaluation of a Digital Theatre Wind Machine

    Keenan, F. & Pauletto, S., 2017, Proceedings of the International Conference on New Interfaces for Musical Expression. Vol. 2017. p. 431-435 4 p. (Proceedings of the International Conference on New Interfaces for Musical Expression).

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

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

  176. Designing Robust Software Systems through Parametric Markov Chain Synthesis

    Calinescu, R. C., Ceska, M., Gerasimou, S., Kwiatkowska, M. & Paoletti, N., Apr 2017, IEEE International Conference on Software Architecture (ICSA 2017). IEEE, p. 1-10 10 p.

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

  177. Designing from within: humanaquarium

    Taylor, R., Schofield, G. P., Shearer, J., Wright, P. C., Boulanger, P., Olivier, P. & Wallace, J., 7 May 2011, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 1855-1864 10 p.

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

  178. Detecting Alzheimer's Disease using Directed Graphs

    Wang, J., Wilson, R. C. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 94-104 11 p.

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

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

  180. Detection of the abnormal GIST in the prior mammograms even with no overt sign of breast cancer

    Gandomkar, Z., Ekpo, E. U., Lewis, S. J., Evans, K. K., Tapia, K., Trieu, P. D., Wolfe, J. M. & Brennan, P. C., 6 Jul 2018, 14th International Workshop on Breast Imaging (IWBI 2018). SPIE, Vol. 10718. 1071804

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

  181. Determinants of eco-innovations in Brazilian firms: a review

    Prado, P. & Issberner, L-R., 2 Sep 2016, BAM 2016 Proceedings. British Academy of Management, 19 p.

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

  182. Determination of alpha spectroscopic factors for unbound 17O states

    De Séréville, N., Meyer, A., Hammache, F., Laird, A. M. & Pignatari, M., 30 Dec 2017, Nuclear Physics in Astrophysics VIII, NPA8 2017. EDP Sciences, Vol. 165. 01022

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

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

  184. Developing and Using a Geometric Multigrid, Unstructured Grid Mini-Application to Assess Many-Core Architectures

    Owenson, A., Wright, S., Bunt, R., Jarvis, S., Ho, Y. & Street, M., 6 Jun 2018, Proceedings - 26th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2018. Institute of Electrical and Electronics Engineers Inc., p. 68-76 9 p.

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

  185. Development and Evaluation of an Interface with Four-Finger Pitch Selection

    von Coler, H., Treindl, G., Egermann, H. W. & Weinzierl, S., 11 May 2017, Proceedings of the 142nd AES Convention - Audio Engineering Society. Audio Engineering Society, p. 1-8 8 p. 9792

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

  186. DiVE-Arabic: Gulf Arabic Dialogue in a Virtual Environment

    Gargett, A., AlGethami, G. & Hellmuth, S., 2014, Proceedings of the Ninth International Conference on Language Resources and Evaluation (LREC'14). European Language Resources Association (ELRA), p. 4434-4439

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

  187. Diet and Health in Middle Bronze Age Italy: a metaproteomic analysis of human dental calculus in two case-studies

    Soncin, S., Hendy, J. R., Speller, C. F., Manzi, G. & Tafuri, M., 19 Oct 2016, IMEKO International Conference on Metrology for Archaeology and Cultural Heritage, Torino, Italy,.

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

  188. Different Methods for Modelling Severe Hypoglycaemic Events: Implications for Effectiveness and Cost-Effectiveness Analyses

    Keeney, E., Dias, S. & Dawoud, D., 1 Oct 2017, Value in Health. 9 ed. Vol. 20. p. A408

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

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

  190. Directional Hub Slotted Aloha Medium Access Control Protocol for Wireless Sensor Networks with Directional Antennas

    Chau, A., Dawson, J. & Mitchell, P., 24 Mar 2021, 55th Annual Conference on Information Sciences and Systems (CISS). 6 p.

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

  191. Dirichlet Graph Densifiers

    Escolano, F., Curado, M., Lozano, M. A. & Hancock, E. R., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. Springer International Publishing, p. 185-195 11 p. (Lecture Notes in Computer Science; vol. 10029).

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

  192. Discounting older disabled people in care homes during the COVID-19 pandemic: The English government’s breaches of care, equality and human rights laws

    Westwood, S., 26 May 2021, Law and Society Association.

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

  193. Discovering the Language of Wine Reviews: A Text Mining Account

    Lefever, E., Hendrickx, I., Croijmans, I., Van den Bosch, A. & Majid, A., 7 May 2018, Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018). Calzolari, N., Choukri, K., Cieri, C., Declerck, T., Goggi, S., Hasida, K., Isahara, H., Maegaard, B., Mariani, J., Mazo, H., Moreno, A., Odijk, J., Piperidis, S. & Tokunaga, T. (eds.). Miyazaki,Japan: LREC, p. 3297-3302 6 p.

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

  194. Discriminating instance generation for automated constraint model selection

    Gent, I. P., Hussain, B. S., Jefferson, C., Kotthoff, L., Miguel, I., Nightingale, G. F. & Nightingale, P., 8 Sep 2014, Principles and Practice of Constraint Programming - 20th International Conference, CP 2014, Proceedings. Springer-Verlag, p. 356-365 10 p.

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

  195. Do games attract or sustain engagement in citizen science? A study of volunteer motivations

    Iacovides, I., Jennett, C., Cornish-Trestrail, C. & Cox, A. L., 1 Apr 2013, CHI '13 Extended Abstracts on Human Factors in Computing Systems. New York, USA: ACM, p. 1101-1106 6 p.

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

  196. Domain-specific languages for the design, deployment and manipulation of heterogeneous databases

    Kolovos, D., Medhat, F., Paige, R., Di Ruscio, D., Van Der Storm, T., Scholze, S. & Zolotas, A., 1 May 2019, Proceedings - 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering, MiSE 2019. Institute of Electrical and Electronics Engineers Inc., p. 89-92 4 p. 8876980. (Proceedings - 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering, MiSE 2019).

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

  197. Double-Weibull distributions of the re-emission spectra from a non-linear device in a mode-stirred chamber

    Chen, J., Marvin, A. C., Flintoft, I. D. & Dawson, J. F., 25 Jul 2010, 2010 IEEE International Symposium on Electromagnetic Compatibility: 18-23 July, 2010. Fort Lauderdale, Florida, USA: IEEE, p. 541-546 6 p.

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

  198. Dynamic Potential-Based Reward Shaping

    Devlin, S. M. & Kudenko, D., Jun 2012, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems. IFAAMAS, p. 433-440 8 p.

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

  199. Dynamic attention-controlled cascaded shape regression exploiting training data augmentation and fuzzy-set sample weighting

    Feng, Z., Kittler, J., Christmas, W., Huber, P. & Wu, X-J., 6 Nov 2017, Proceedings - 30th IEEE Conference on Computer Vision and Pattern Recognition, CVPR 2017. Institute of Electrical and Electronics Engineers Inc., p. 3681-3686 6 p. (IEEE Conference on Computer Vision and Pattern Recognition (CVPR)).

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

  200. Effect of Loading on Field Uniformity: Energy Diffusion in Reverberant Environments

    Robinson, M. P., Flintoft, I. D., Dawson, J. F., Marvin, A. C., Funn, F. I., Dawson, L. & Zhang, X., 19 Aug 2017, 32nd URSI General Assembly and Scientific Symposium (URSI GASS). Montreal, 4 p.

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

  201. Effect of high temperature ageing on electromagnetic emissions from a PIC microcontroller

    Dawson, J. F., Flintoft, I. D., Duffy, A. P., Marvin, A. C. & Robinson, M. P., 23 Oct 2014, Electromagnetic Compatibility (EMC Europe), 2014 International Symposium on. Institute of Electrical and Electronics Engineers Inc., p. 1139-1143 5 p. 6931074

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

  202. Effect of power state on absorption cross section of personal computer components

    Yan, J., Dawson, J. & Marvin, A., 4 Sep 2017, 2017 International Symposium on Electromagnetic Compatibility - EMC EUROPE. Angers

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

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

  204. Effects of formant settings and channel mismatch on semi-automatic systems in forensic voice comparison

    Hughes, V., Harrison, P. T., Foulkes, P., French, J. P. & Gully, A. J., 2020, Proceedings of the 19th International Congress of Phonetic Sciences (ICPhS). p. 3080-3084

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

  205. Efficient simulations for automotive design

    Konefal, T., Marvin, A. C., Dawson, J. F. & Robinson, M. P., 1 Sep 2005, Workshop on "SAFETEL – Safe Electromagnetic Telecommunications on Vehicles". EMC Europe Workshop 2005. p. 19-21

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

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

  207. El yacimiento mesolítico de Cueva Blanca (Hellín, Albacete): 6 años de investigación multidisciplinar

    Mingo, A., Barba, J., Uzquiano, P., Casas, M., Benito, A., Yravedra, J., Cubas Morera, M., Galante, J., Avezuela, B., Martín, I., López-Precioso, F. J., Hernández, J. & Palacios, E., 1 Nov 2016, Actas de la primera reunión científica de arqueología de Albacete. Instituto de Estudios Albacetenses "Don Manuel". Excma. Diputación de Albacete, p. 271-286

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

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

  209. Electrical Parameters Characterization of Aged IGBTs by Thermo-Electrical Overstress

    Dimech, E. & Dawson, J. F., 21 Oct 2018, IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society. p. 5924-5929 6 p.

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

  210. Electromagnetic coupling to an enclosure via a wire penetration

    Thomas, D. W. P., Denton, A., Benson, T. M., Konefal, T., Dawson, J. F., Marvin, A. C., Porter, S. J., Christopoulos, C. & Paul, J., 1 Aug 2001, Electromagnetic Compatibility, 2001. EMC. 2001 IEEE International Symposium on . Vol. 1. p. 189-188

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

  211. Embedded Social Insect-Inspired Intelligence Networks for System-level Runtime Management

    Rowlings, M., Tyrrell, A. & Trefzer, M. A., 9 Mar 2020, Design, Automation and Test in Europe Conference: DATE2020. Grenoble, France

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

  212. Empirical results from an evaluation of the accessibility of websites by dyslexic users

    Freire, A. P., Petrie, H. & Power, C. D., 2011, Proceedings of the Workshop on Accessible Design in the Digital World. p. 41-53 13 p.

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

  213. Enabling Polyvocality in Interactive Documentaries through ‘Structural Participation’

    Green, D., Bowen, S., Hook, J. D. & Wright, P., 2 May 2017, Proceedings of the ACM CHI Conference on Human Factors in Computing Systems 2017: Explore, Innovate, Inspire. Association for Computing Machinery (ACM), p. 6317-6329 13 p.

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

  214. Enclosure shielding assessment using surrogate contents fabricated from radio absorbing material

    Marvin, A., Flintoft, I. D., Dawson, J. F., Robinson, M. P., Bale, S. J., Parker, S., Ye, M., Wan, C. & Zhang, M., 18 May 2016, 2016 Asia-Pacific Symposium on Electromagnetic Compatibility (APEMC2016). Shenzhen, China, p. 994-996 3 p.

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

  215. Energy-aware resource allocation in multi-mode automotive applications with hard real-time constraints

    Dziurzanski, P., Singh, A. K. & Indrusiak, L. S., 18 Jul 2016, Proceedings - 2016 IEEE 19th International Symposium on Real-Time Distributed Computing, ISORC 2016. Institute of Electrical and Electronics Engineers Inc., p. 100-107 8 p. 7515617

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

  216. Engagement Effects of Player Rating System-Based Matchmaking for Level Ordering in Human Computation Games

    Sarkar, A., Williams, M., Deterding, C. S. & Cooper, S., 14 Aug 2017, Proceedings of the 12th International Conference on the Foundations of Digital Games, FDG 2017. Canossa, A., Sicart, M., Harteveld, C., Zhu, J. & Deterding, S. (eds.). ACM, Vol. Part F130151. 10 p. 22. (ACM Proceedings).

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

  217. Enhancing intrapreneurial skills of students through entrepreneurship education: a case study of an interdisciplinary Engineering Management Programme

    Ward, T. & Baruah, B. J., 13 Sep 2014, 13th International Conference on Information Technology based Higher Education and Training (ITHET). IEEE, p. 1-6 6 p.

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

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

  219. Entropic graph embedding via multivariate degree distributions

    Ye, C., Wilson, R. C. & Hancock, E. R., 1 Jan 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Springer-Verlag, Vol. 8621 LNCS. p. 163-172 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

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

  220. Errors in the shielding effectiveness of cavities due to stair-cased meshing in FDTD: Application of empirical correction factors

    Bourke, S. A., Dawson, J. F., Flintoft, I. D. & Robinson, M. P., 4 Sep 2017, 2017 International Symposium on Electromagnetic Compatibility - EMC EUROPE. Angers

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

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

  222. Estimating reverberant electromagnetic fields in populated enclosures by using the diffusion model

    Yan, J., Dawson, J. & Marvin, A., 30 Jul 2018, Electromagnetic Compatibility (EMC), 2018 IEEE International Symposium on. Long Beach, CA, p. 363-367 5 p. (IEEE EMC International Symposium).

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

  223. Evaluating a continuous sonic interaction: comparing a performable acoustic and digital everyday sound

    Keenan, F. & Pauletto, S., 29 May 2019, SMC 2019 : Proceedings of the 16th Sound & Music Computing Conference. Barbancho, I., Tardón, L. J., Peinado, A. & Barbancho, A. M. (eds.). p. 127-134 8 p. (Proceedings of the Sound and Music Computing Conferences.).

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

  224. Evidence of Magnetostrictive Effects on STT-MRAM Performance by Atomistic and Spin Modeling

    Sankaran, K., Swerts, J., Carpenter, R., Couet, S., Garello, K., Evans, R. F. L., Rao, S., Kim, W., Kundu, S., Crotti, D., Kar, G. S. & Pourtois, G., 16 Jan 2019, 2018 IEEE International Electron Devices Meeting, IEDM 2018. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-December. p. 40.5.1-40.5.4 4 p. 8614627

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

  225. Evolving Carbon Nanotube Reservoir Computers

    Dale, M. N., Miller, J. F., Stepney, S. & Trefzer, M. A., 15 Jun 2016, Unconventional Computation and Natural Computation: 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings. Amos, M. & Condon, A. (eds.). Springer, p. 49-61 13 p. (Lecture Notes in Computer Science; vol. 9726).

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

  226. Evolving Graphs with Horizontal Gene Transfer

    Plump, D., Atkinson, T. & Stepney, S., Jul 2019, Proceedings Genetic and Evolutionary Computation Conference (GECCO 2019). ACM, p. 968-976

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

  227. Expectation Violation Leads to Generalization: The Effect of Prediction Error on the Acquisition of New Syntactic Structures

    Bovolenta, G. & Marsden, E., 2021, Proceedings of the Annual Meeting of the Cognitive Science Society. Vol. 43. 7 p.

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

  228. Exploiting short supports for improved encoding of arbitrary constraints into SAT

    Akgün, Ö., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 5 Sep 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Rueher, M. (ed.). Netherlands: Springer, p. 3-12 10 p. (Lecture Notes in Computer Science).

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

  229. Exploiting system dynamics for resource-efficient automotive CPS design

    Maldonado, L., Chang, W., Roy, D., Annaswamy, A., Goswami, D. & Chakraborty, S., 29 Mar 2019, 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE). p. 234-239

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

  230. Exploration and Skill Acquisition in a Major Online Game

    Stafford, T., Devlin, S., Sifa, R. & Drachen, A., 2017, The 39th Annual Meeting of the Cognitive Science Society (CogSci).

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

  231. Exploring Gesture Sonification to Support Reflective Craft Practice

    Smith, T., Bowen, S., Nissen, B., Hook, J. D., Verhoeven, A., Bowers, J., Wright, P. C. & Olivier, P., 2015, Proceedings of the ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 67-76 10 p.

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

  232. Exploring intrinsic and extrinsic motivations to participate in a crowdsourcing project to support blind and partially sighted students

    Layas, F. A. M. & Petrie, H., 21 Aug 2016, Universal Design 2016: Learning from the past, designing for the future (Proceedings of the 3rd International Conference on Universal Design, UD2016). . Amsterdam: IOS Press, Vol. 229. p. 545 - 556 11 p.

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

  233. Expressy: Using a Wrist-worn Inertial Measurement Unit to Add Expressiveness to Touch-based Interactions

    Wilkinson, G., Kharrufa, A., Hook, J. D., Pursgrove, B., Wood, G., Haeuser, H., Hammerla, N., Hodges, S. & Olivier, P., 7 May 2016, CHI 2016 - Proceedings, 34th Annual CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 2832-2844 13 p. (CHI Conference Proceedings).

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

  234. Extending the Associative Rule Chaining Architecture for Multiple Arity Rules

    Burles, N. J., Austin, J. & O'Keefe, S., 2013, Proceedings of the Ninth International Workshop on Neural-Symbolic Learning and Reasoning. p. 47-51 5 p.

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

  235. Extensible Automated Constraint Modelling

    Akgun, O., Miguel, I., Jefferson, C., Frisch, A. M. & Hnich, B., Aug 2011, Proceedings of theTwenty-Fifth AAAI Conference on Artificial Intelligence. San Francisco: AAAI Press, p. 4-11 8 p.

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

  236. Extreme ultra-violet laser ablation of solid targets

    Tallents, G. J., Wilson, S. A., Lolley, J., Aslanyan, V., West, A., Rossall, A. K., Solis Meza, E., Wagenaars, E., Menoni, C. & Rocca, J., 19 Sep 2019, Proc. SPIE conference series. Vol. 11111. 7 p.

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

  237. FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals

    Calinescu, R. C., Johnson, K. H. A. & Paterson, C. A., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Springer Berlin / Heidelberg, p. 540-546 7 p. (Lecture Notes in Computer Science (LNCS); vol. 9636).

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

  238. FPGA-based Fault-injection and Data Acquisition of Self-repairing Spiking Neural Network Hardware

    Karim, S., Harkin, J., McDaid, L., Gardiner, B., Liu, J., Halliday, D. M., Tyrrell, A. M., Timmis, J. I., Millard, A. G. & Johnson, A. P., 4 May 2018, 2018 IEEE International Symposium on Circuits and Systems (ISCAS). IEEE, 5 p. (IEEE International Conference on Circuits and Systems.).

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

  239. Face Centered Anisotropic Surface Impedance Boundary Conditions in FDTD: Improved performance of staircased mesh for shielding problems

    Dawson, J. F., Flintoft, I. D., Bourke, S. A., Robinson, M. P., Cabello, M. R. & Garcia, S. G., 17 May 2017, 2017 IEEE MTT-S International Conference on Numerical Electromagnetic and Multiphysics Modeling and Optimization for RF, Microwave, and Terahertz Applications (NEMO2017). 3 p.

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

  240. Face image super-resolution via weighted patches regression

    Zhang, Y., Zhang, Z., Hu, G. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 3892-3897 6 p.

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

  241. Facts, Interactivity and Videotape: Exploring the Design Space of Data in Interactive Video Storytelling

    Hook, J. D., 25 Jun 2018, TVX 2018 - Proceedings of the 2018 ACM International Conference on Interactive Experiences for TV and Online Video. Association for Computing Machinery (ACM), p. 43-55 13 p.

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

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

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

  244. Feature selection method for image steganalysis based on weighted inner-inter class distance and dispersion criterion

    Ma, Y., Luo, X., Li, Z., Zhang, Y. & Bors, A. G., May 2019, Proc. ACM Turing Celebration Conference - China. ACM, 5 p. 66

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

  245. Features of integrated model-based co-modelling and co-simulation technology

    Larsen, P. G., Fitzgerald, J., Woodcock, J., Gamble, C., Payne, R. & Pierce, K., 1 Jan 2018, Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers. Cerone, A. & Roveri, M. (eds.). Springer-Verlag, p. 377-390 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10729 LNCS).

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

  246. Feedback-based admission control for hard real-time task allocation under dynamic workload on many-core systems

    Dziurzanski, P., Singh, A. K. & Indrusiak, L. S., 26 Mar 2016, Architecture of Computing Systems -- ARCS 2016: 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings. Springer-Verlag, p. 157-169 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9637).

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

  247. Field statistics in an enclosure with an aperture: Effect of Q-factor and Number of Modes

    Dawson, J. F., Konefal, T., Robinson, M. P., Marvin, A. C., Porter, S. J. & Chirwa, L. C., 2005, EMC 2005: IEEE International Symposium on Electromagnetic Compatibility, Vols 1-3, Proceedings. NEW YORK: IEEE, p. 141-146 6 p.

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

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

  249. FitSpec: refining property sets for functional testing

    Runciman, C. & Braquehais, R., 2016, Proceedings of 9th International Symposium on Haskell. Nara, Japan: ASSOC COMPUTING MACHINERY, p. 1-12 12 p.

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

  250. Flow, Intrinsic Motivation, and Developer Experience in Software Engineering

    Kuusinen, K., Petrie, H., Fagerholm, F. & Mikkonen, T., 24 May 2016, Proceedings of the International Conference on Agile Software Development: Agile Processes in Software Engineering and Extreme Programming (XP 2016). Springer, (Lecture Notes in Business Information Processing ; vol. 251).

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

  251. Forecast-Based Interference: Modelling Multicore Interference from Observable Factors

    Griffin, D. J., Lesage, B. M. J-R., Bate, I. J., Soboczenski, F. & Davis, R. I., 2017, International Conference on Real-Time Networks and Systems. ACM, p. 198-207

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

  252. Forgotten Heroes, Remembering Our Industrial Legacy and Reconstructing Marginalized Regions: The Continuing Relevance of the Oaks Colliery Disaster of 1866

    Linstead, S. A., 2 Sep 2018, BAM 2018 Conference Proceedings. British Academy of Management, 10 p. 903

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

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

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

  255. Formant dynamics and durations of um improve the performance of automatic speaker recognition systems

    Hughes, V., Foulkes, P. & Wood, S., 2016, Proceedings of the 16th Australasian Conference on Speech Science and Technology (ASSTA). University of Western Sydney, Australia

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

  256. From Java to real-time Java: A model-driven methodology with automated toolchain

    Chang, W., Zhao, S., Wei, R., Wellings, A. J. & Burns, A., 23 Jun 2019, LCTES 2019: Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems. Phoenix AZ USA: ACM, p. 123-134 12 p.

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

  257. Front-end approaches to the issue of correlations in forensic speaker comparison

    Hughes, V. & Gold, E. A., 2015, Proceedings of the 18th International Congress of Phonetic Sciences.

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

  258. Full-duplex quantum coherent communication

    Kumar, R. & Spiller, T., 19 Sep 2019, 21st International Conference on Transparent Optical Networks, ICTON 2019. IEEE Computer Society Press, 8840319. (International Conference on Transparent Optical Networks; vol. 2019-July).

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

  259. Gamification design for motivating and measuring modal shift

    Minear, M., Deterding, C. S. & Devlin, S., 6 Jun 2016, 11th ITS European Congress. Glasgow, EU-TP0275

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

  260. Gamifying research: Strategies, opportunities, challenges, ethics

    Deterding, C. S., Canossa, A., Harteveld, C., Cooper, S., Nacke, L. E. & Whitson, J. R., 18 Apr 2015, CHI EA '15 Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems. New York: Association for Computing Machinery (ACM), p. 2421-2424 4 p.

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

  261. Gathering situated dialogue in the field

    Gargett, A. & Hellmuth, S., 2014, Proceedings of the Conference on Language Documentation & Linguistic Theory 4. School of Oriental and African Studies, University of London, 9 p. ldlt4_06

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

  262. Generalizing the Immediate Scope Constraint on NPI Licensing

    Kim, S-S. & Sells, P., 2007, Proceedings of the Workshop on Negation and Polarity. Zeijlstra, H. & Soehn, J-P. (eds.). p. 85-91

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

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

    Ingram, C., Chubb, J. A., Boardman, C. & Ursu, M., 23 May 2020, In IEEE/ACM 42nd International Conference on Software Engineering Workshops (ICSEW’20), May 23–29, 2020, Seoul, Re- public of Korea. ACM, New York, NY, USA, 8 pages: 7th International Workshop on Software Engineering Research and Industrial Practice. ACM, 9 p.

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

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

  265. Generation of strongly-coupled plasma using Argon-based capillary discharge lasers

    Rossall, A. K., Aslanyan, V., Wilson, S. & Tallents, G. J., 22 Sep 2015, Proceedings of SPIE - The International Society for Optical Engineering. SPIE, Vol. 9589. 95890C

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

  266. Graph Entropy from Closed Walk and Cycle Functionals

    Aziz, F., Hancock, E. R. & Wilson, R. C., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. Springer International Publishing, p. 174-184 11 p. (Lecture Notes in Computer Science; vol. 10029).

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

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

  268. Group Activity Recognition on Outdoor Scenes

    Stephens, K. & Bors, A. G., Aug 2016, IEEE International Conference on Advanced Video and Signal-based Surveillance (AVSS). IEEE, p. 59-65 7 p.

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

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

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

  271. Hardware-accelerated parallel genetic algorithm for fitness functions with variable execution times

    Ma, Y. & Indrusiak, L. S., 20 Jul 2016, GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, Inc, p. 829-836 8 p.

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

  272. Hierarchical Graph Transformation

    Plump, D., Drewes, F. & Hoffmann, B., 2000, Proceedings Foundations of Software Science and Computation Structures (FOSSACS 2000). Springer, p. 98-113 16 p. (Lecture Notes in Computer Science; vol. 1784).

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

  273. How Multidisciplinary is Gamification Research? Results from a Scoping Review

    O'Donnell, N., Kappen, D. L., Fitz-Walter, Z., Deterding, C. S., Nacke, L. E. & Johnson, D., 15 Oct 2017, CHI PLAY'17 Extended Abstracts. Association for Computing Machinery (ACM), p. 445-452 8 p.

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

  274. How Online Reviews in a Year Predict Online Sales in the Next on Expedia.com + Agoda.com + Hotels.com? A Panel Study of Hotels

    Banerjee, S. & Bonfield, S., 17 May 2019, 2019 5th International Conference on Information Management (ICIM). IEEE, 5 p.

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

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

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

  277. How sharp is the transition into the N=20 island of inversion for the Mg isotopes ?

    Fernández-Domínguez, B., Pietras, B., Catford, W. N., Orr, N. A., Petri, M. K., Chartier, M., Paschalis, S., Patterson, N., Thomas, J. S., Caamaño, M., Otsuka, T., Poves, A., Tsunoda, N., Achouri, N. L., Angelique, J. -C., Ashwood, N. I., Banu, A., Bastin, B., Borcea, R., Brown, J. & 17 others, Delaunay, F., Franchoo, S., Freer, M., Gaudefroy, L., Heil, S., Labiche, M., Laurent, B., Lemmon, R. C., Macchiavelli, A. O., Negoita, F., Paul, E. S., Rodriguez-Tajes, C., Roussel-Chomaz, P., Staniou, M., Taylor, M., Trache, L. & Wilson, G. L., 2018, How sharp is the transition into the N=20 island of inversion for the Mg isotopes ?. 6 p. 012020

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

  278. How to Do Gameful Design

    Deterding, C. S., 15 Oct 2017, CHI PLAY'17 Extended Abstracts. Association for Computing Machinery (ACM), p. 581-583 4 p.

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

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

  280. Human Group Activity Recognition based on Modelling Moving Regions Interdependencies

    Stephens, K. & Bors, A. G., 27 Apr 2017, Proc. of International Conference on Pattern Recognition (ICPR). IEEE, p. 2116-2121 6 p.

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

  281. IEMI Detection Systems: A Low Cost IEMI Detector

    Dawson, J. F., Dawson, L., Flintoft, I. D. & Rebers;, L., 2015, Electromagnetic Compatibility (EMC Europe), 2015 International Symposium on: WS26 Workshop on IEMI Effects on Critical Infrastructures: The European Project STRUCTURES .

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

  282. Image object labelling and classification using an associative memory

    O'Keefe, S. E. M. & Austin, J., 1995, Fifth International Conference on Image Processing and its Applications, 1995. London: IET, p. 286-290 5 p.

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

  283. Imaging sonar simulator for assessment of image registration techniques

    Almanza Medina, J., Henson, B. & Zakharov, Y., 20 Jan 2020, OCEANS 2019 MTS/IEEE Seattle. IEEE, 8 p.

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

  284. Immunity of FPGA chips by direct injection

    Aurand, T., Dawson, J. F., Robinson, M. P. & Marvin, A., 2009, Proceedings of EMC Compo 09, November 17-19 2009. 5 p.

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

  285. Impact of Memory Frequency Scaling on User-centric Smartphone Workloads

    Mendis, H. R., Chen, W-M., Soares Indrusiak, L., Kuo, T-W. & Hsiu, P-C., 2018, Proceedings of the 33rd ACM/SIGAPP Symposium on Applied Computing (SAC 2018).

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

  286. Implementation of Reduced Precision Integer Epigenetic Networks in Hardware

    Walter, A., Bale, S. J. & Tyrrell, A., 6 Dec 2021, IEEE International Conference on Evolvable Systems. Orlando: IEEE

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

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

  288. Improved AURA k-Nearest Neighbour approach

    Weeks, M., Hodge, V., O'Keefe, S., Austin, J. & Lees, K., 2003, ARTIFICIAL NEURAL NETS PROBLEM SOLVING METHODS, PT II. Mira, J. & Alvarez, JR. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 2687. p. 663-670 8 p. (Lecture Notes in Computer Science).

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

  289. Improved storage capacity in correlation matrix memories storing fixed weight codes

    Hobson, S. J. & Austin, J., 16 Sep 2009, Lecture Notes in Computer Science. PART 1 ed. ICANN 2009: Springer, Vol. 5768. p. 728-736 9 p. (Lecture Notes in Computer Science).

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

  290. Improvement of pre-partitioning on reinforcement learning based spectrum sharing

    Jiang, T., Grace, D. & Mitchell, P. D., 1 Dec 2009, IET International Communication Conference on Wireless Mobile & Computing (CCWMC), Shanghai, China, December 2009. 562 CP ed. IEEE, Vol. 2009. p. 299 -302 4 p.

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

  291. Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis

    Cazorla, F. J., Abella, J., Andersson, J., Vardanega, T., Vatrinet, F., Bate, I., Broster, I., Azkarate-Askasua, M., Wartel, F., Cucu, L., Cros, F., Farrall, G., Gogonel, A., Gianarro, A., Triquet, B., Hernández, C., Lo, C., Maxim, C., Morales, D., Quiñones, E. & 7 others, Mezzetti, E., Kosmidis, L., Agirre, I., Fernández, M., Slijepcevic, M., Conmy, P. & Talaboulma, W., 2016, Digital System Design (DSD), 2016 Euromicro Conference on. IEEE, p. 276-285 10 p.

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

  292. Improving trial recruitment through improved communication about patient and public involvement: an embedded cluster randomised recruitment trial

    Hughes-Morley, A., Hann, M., Fraser, C., Lovell, K., Meade, O., Young, B., Cree, L., More, D. & Bower, P., 1 Sep 2016, Journal of Epidemiology and Community Health. 1 ed. Journal of Epidemiology & Community Health, Vol. 70. p. A43-A44 2 p.

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

  293. Impulse Response Estimation for the Auralisation of Vehicle Engine Sounds Using Dual Channel FFT Analysis

    Murphy, D. T., Shelley, S. B. & Goodwin, S., 30 Jul 2013, Proceedings of the Sound and Music Computing Conference 2013, SMC 2013, Stockholm, Sweden, 30 July-3 August. Bresin, R. (ed.). Berlin: Logos Verlag Berlin, p. 506-511 6 p.

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

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

  295. Indifferentiable Authenticated Encryption

    Barbosa, M. & Farshim, P., 25 Jul 2018, Advances in Cryptology – CRYPTO 2018. Shacham, H. & Boldyreva, A. (eds.). Vol. 10991. p. 187-220 24 p.

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

  296. Indirect techniques for astrophysical reaction rates determinations

    Hammache, F., Oulebsir, N., Benamara, S., Séréville, N. D., Coc, A., Laird, A., Stefan, I. & Roussel, P., 11 May 2016, 12th International Conference on Nucleus-Nucleus Collisions 2015, NN 2015. EDP Sciences, Vol. 117. 09003

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

  297. Indistinguishability Obfuscation and UCEs: The Case of Computationally Unpredictable Sources

    Brzuska, C., Farshim, P. & Mittelbach, A., 2014, Advances in Cryptology – CRYPTO 2014. Vol. 8616. p. 188-205

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

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

  299. Influence of density perturbations on the O-X mode conversion

    Köhn, A., Holzhauer, E., O'Brien, M., Ramisch, M., Vann, R. & Williams, T., 2013, 40th EPS Conference on Plasma Physics, EPS 2013. European Physical Society (EPS), p. 1142-1145 4 p. (40th EPS Conference on Plasma Physics, EPS 2013; vol. 2).

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

  300. Influencers in Multiplayer Online Shooters Evidence of Social Contagion in Playtime and Social Play

    Canossa, A., Azadvar, A., Harteveld, C., Drachen, A. & Deterding, C. S., 2 May 2019, CHI '19 Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. New York : ACM, 12 p.

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

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

  302. Information structure, affect, and prenuclear prominence in American English

    Chodroff, E. R. & Cole, J., 1 Jan 2018, Proceedings of INTERSPEECH 2018. International Speech Communication Association, Vol. 2018-September. p. 1848-1852 5 p. (Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH).

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

  303. Innovating in context: social learning and agricultural innovation

    De Bruin, A. & Ensor, J. E., 2018, 13th European IFSA Symposium: Farming systems: facing uncertainties and enhancing opportunities: Theme 1 – Learning and knowledge systems, education, extension and advisory services. International Farming Systems Association, 13 p.

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

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

  305. Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project

    Larsen, P. G., Fitzgerald, J., Woodcock, J., Fritzson, P., Brauer, J., Kleijn, C., Lecomte, T., Pfeil, M., Green, O., Basagiannis, S. & Sadovykh, A., 20 Jun 2016, 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016. Institute of Electrical and Electronics Engineers Inc., 7496424

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

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

  307. Integrating Time Series with Social Media Data in an Ontology for the Modelling of Extreme Financial Events

    Qu, H., Sardelich Nascimento, M., Qomariyah, N. N. & Kazakov, D. L., 23 May 2016, LREC 2016 Proceedings. Khan, F., Vintar, Š., Araúz, P. L., Faber, P., Frontini, F., Parvizi, A., Simeunović, L. G. & Unger, C. (eds.). European Language Resources Association (ELRA), Vol. Joint Second Workshop on Language and Ontology & Terminology and Knowledge Structures. p. 57-63

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

  308. Intelligent support technologies for older people: an analysis of characteristics and roles

    Petrie, H., Darzentas, J. S. & Carmien, S., 9 Apr 2018, Breaking down barriers: usability, accessibility and inclusive design. Langdon, P., Lazar, J., Heylighen, A. & Dong, H. (eds.). Cham, Switzerland: Springer, p. 89-97 9 p.

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

  309. Intentional Electromagnetic Interference Effects in Cyber-Physical Systems

    Dawson, J. F., 6 Oct 2015, Proceedings of EMC UK 2015. 5 p.

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

  310. Interactivity: Using Expressy to Demonstrate Expressiveness in Touch-based Interactions

    Wilkinson, G., Wood, G., Hook, J. D., Nappey, T., Kharrufa, A., Pursgrove, B., Haeuser, H., Hodges, S. & Olivier, P., 7 May 2016, CHI EA '16 Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems . Association for Computing Machinery (ACM), 4 p. (CHI EA '16 Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems ).

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

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

  312. Intrinsic Elicitation: A Model and Design Approach for Games Collecting Human Subject Data

    Gundry, D. E. & Deterding, C. S., 1 Aug 2018, Proceedings of the 13th International Conference on the Foundations of Digital Games, FDG 2018. Deterding, S., Khandaker, M., Risi, S., Font, J., Dahlskog, S., Salge, C. & Olsson, C. M. (eds.). New York: ACM, 38

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

  313. Inverse Fourier transform technique of measuring averaged absorption cross section in the reverberation chamber and Monte Carlo study of its uncertainty

    Zhang, X., Robinson, M. P., Flintoft, I. D. & Dawson, J. F., 5 Sep 2016, Proceedings of the 2016 International Symposium on Electromagnetic Compatibility - EMC EUROPE. IEEE, p. 263-267

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

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

  315. Investigating Uncertainty in Digital Games and its Impact on Player Immersion

    Kumari, S., Power, C. D. & Cairns, P. A., Apr 2017, ACM CHI 2017. ACM, p. 503-509

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

  316. Investigating the forensic applications of global and local temporal representations of speech for dialect discrimination

    Bradshaw, L., Hughes, V. & Chodroff, E., May 2020, Proceedings of Speech Prosody 2020.

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

  317. Investigation into the Errors in the CISPR 12 Full Vehicle Radiated Emissions Measurements Due to Vehicle Directivity

    Paterson, M. & Dawson, J., 1 Oct 2013, Sixth York Doctoral Symposium on Computer Science Electronics. p. 86 1 p.

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

  318. Ion acceleration with radiation pressure in quantum electrodynamic regimes

    Del Sorbo, D., Blackman, D. R., Capdessus, R., Small, K., Slade-Lowther, C., Luo, W., Duff, M. J., Robinson, A. P. L., McKenna, P., Sheng, Z. M., Pasley, J. & Ridgers, C. P., 17 May 2017, Research Using Extreme Light: Entering New Frontiers with Petawatt-Class Lasers III. SPIE, Vol. 10241. 102411I

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

  319. Issues of using wireless sensor network to monitor urban air quality

    Fang, X. & Bate, I. J., 2017, International Workshop on the Engineering of Reliable, Robust, and Secure Embedded Wireless Sensing Systems (FAILSAFE). ACM, 8 p.

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

  320. Java in the Safety-Critical Domain

    Cavalcanti, A., Miyazawa, A., Wellings, A., Woodcock, J. & Zhao, S., 6 Apr 2017, Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. Bowen, J., Liu, Z. & Zhang, Z. (eds.). Springer, Vol. 10215. p. 110-150 41 p. (Lecture Notes in Computer Science).

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

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

  322. Kernal principal component analysis of the ear morphology

    Zolfaghari, R., Epain, N., Jin, C., Glaunés, J. & Tew, A. I., 5 Mar 2017, ICASSP 2017, New Orleans, USA. IEEE, 5 p.

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

  323. L2 acquisition of any: negative evidence, negative implicature and negative L1 transfer

    Gil, K., Marsden, H. & Whong, M., 2011, Selected Proceedings of the Second Language Research Forum 2010. Cascadilla Proceedings Project, p. 29-39

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

  324. L2 poverty of the stimulus at the syntax-semantics interface: Quantifier scope in non-native Japanese

    Marsden, H. & Otsu, Y. (ed.), 2005, The Proceedings of the Sixth Tokyo Conference on Psycholinguistics. Tokyo: Hituzi Syobo, p. 217-241 24 p.

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

  325. LDPLFS: Improving I/O performance without application modification

    Wright, S. A., Hammond, S. D., Pennycook, S. J., Miller, I., Herdman, J. A. & Jarvis, S. A., 18 Oct 2012, Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2012. p. 1352-1359 8 p. 6270802

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

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

  327. LIFE-SHARE Project: Developing a Digitisation Strategy Toolkit

    Shipman, B., Herring, M., Potter, N., Middleton, B., Lalmas, M. (ed.), Jose, J. (ed.), Rauber, A. (ed.), Sebastiani, F. (ed.) & Frommholz, I. (ed.), 2010, Research and Advanced Technology for Digital Libraries. Lecture Notes in Computer Science. Berlin: Springer, Vol. 6273. p. 502 -505 4 p.

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

  328. La Cueva del Aspio (Ruesga). Nuevas intervenciones arqueológicas

    Bolado del Castillo, R. & Cubas Morera, M., 1 Sep 2016, CANTABRIA. Nuevas evidencias arqueológicas . ADIC-editorial Los Cántabros, p. 91-118

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

  329. Language engineering: Challenges, opportunities and potential disasters for interactive systems

    Paige, R. F., 21 Jun 2016, EICS 2016 - 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. Association for Computing Machinery, Inc, p. 3 1 p.

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

  330. Laser generated electron transport experiment in a novel wire nail target

    Pasley, J. R., Wei, M., Shipton, E., Ma, T., Beg, F., Alexander, N., Stephens, R. B., Macphee, A. G., Hey, D. S., LePape, S., Patel, P., Mackinnon, A., Key, M., Offermann, D., Link, A., Chowdhury, E. A., Van Woerkom, L. & Freeman, R. R., 22 Jan 2008, Laser generated electron transport experiment in a novel wire nail target. Lawrence Livermore National Laboratory, 17 p. LLNL-CONF-400632

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

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

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

  333. Learning by volunteer computing, thinking and gaming: What and how are volunteers learning by participating in Virtual Citizen Science?

    Kloetzer, L., Scheider, D., Jennett, C., Iacovides, I., Eveleigh, A., Cox, A. L. & Gold, M., 2013, Changing Configurations of Adult Education in Transitional Times: Conference Proceedings. ESREA: European Society for Research on the Education of Adults, p. 73-92

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

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

  335. Learning from Ordinal Data with Inductive Logic Programming in Description Logic

    Qomariyah, N. N. & Kazakov, D. L., Sep 2017, Online proceedings of the 27th conference on Inductive Logic Programming.

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

  336. Learning from Ordinal Data with Inductive Logic Programming in Description Logic

    Qomariyah, N. N. & Kazakov, D. L., 29 Mar 2018, Late Breaking Papers of the 27th International Conference on Inductive Logic Programming. Lachiche, N. & Vrain, C. (eds.). http://ceur-ws.org/Vol-2085/: CEUR Workshop Proceedings, Vol. 2085. p. 38-50 13 p.

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

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

  338. Leibniz on War and Peace and the Common Good

    Wilson, C., 2017, Fuer unser Gleck und das Glueck anderer. Hildesheim: George Olms, p. 33-62 30 p.

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

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

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

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

  342. Light-weight parallel I/O analysis at scale

    Wright, S. A., Hammond, S. D., Pennycook, S. J. & Jarvis, S. A., 1 Dec 2011, Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Proceedings. Vol. 6977 LNCS. p. 235-249 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6977 LNCS).

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

  343. Likely to be Liked? A Study of Facebook Images

    Banerjee, S. & Pal, A., 25 Jun 2018, 2018 4th International Conference on Information Management, ICIM 2018. IEEE, p. 53-56 4 p.

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

  344. Line Detection Methods for Spectrogram Images

    Lampert, T., O'Keefe, S. & Pears, N., 1 May 2009, Computer Recognition Systems. Kurzynski, M. & Wozniak, M. (eds.). Springer, Vol. 3. p. 127-134 (Advances in Intelligent and Soft Computing; vol. 57/2009).

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

  345. Linking CALL and SLA: Using the IRIS database to locate research instruments

    Handley, Z. & Marsden, E., 2014, CALL Design: Principles and Practice; Proceedings of the 2014 EUROCALL Conference, Groningen, The Netherlands. Jager, S., Bradley, L., Meima, E. J. & Thouësny, S. (eds.). Dublin: Research-publishing.net, p. 1-6

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

  346. Local Analysis of Determinism for CSP

    Otoni, R., Cavalcanti, A. L. C. & Sampaio, A. C. A., 1 Dec 2017, Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings. Cavalheiro, S. & Fiadeiro, J. (eds.). Springer International Publishing Switzerland, p. 107-124 18 p. (Lecture Notes in Computer Science; vol. 10623).

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

  347. Local termination criteria for Stochastic Diffusion Search: a comparison with the behaviour of ant nest-site selection

    Bishop, J. M., Martin, A. O. & Robinson, E. J. H., 20 Sep 2016, Lecture Notes in Artificial Intelligence: Proceedings of the 8th International Conference on Computational Collective Intelligence (ICCCI 2016), Halkidiki, Greece. Nguyen, N-T., Manolopoulos, Y., Iliadis, L. & Trawiński, B. (eds.). Springer-Verlag, Vol. 9875. 13 p. (Lecture Notes in Artificial Intelligence).

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

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

  349. Machine Learning Models of Universal Grammar Parameter Dependencies

    Kazakov, D. L., Cordoni, G., Ceolin, A., Irimia, M-A., Kim, S-S., Michelioudakis, D., Radkevich, N., Guardiano, C. & Longobardi, G., 1 Sep 2017, Proceedings of The Knowledge Resources for the Socio-Economic Sciences and Humanities Workshop. p. 31-37 7 p.

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

  350. Making the Invisible Visible: Design to Support the Documentation of Participatory Arts Experiences

    Hook, J. D., Clarke, R., McCarthy, J., Anderson, K., Dudman, J. & Wright, P. C., 2015, Proceedings of the ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM)

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

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

  352. Managing Multiple Identities to Combat Stigmatisation in the Digital Age

    Feltwell, T., Lawson, S., Kirman, B. J. & Vines, J., 7 May 2016, Proceedings of Workshop on Everyday Surveillance: ACM Conference on Human Factors in Computing Systems (CHI) 2016.

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

  353. Manifesto - Model Engineering for Complex Systems

    Bézivin, J., Paige, R. F., Aßmann, U., Rumpe, B. & Schmidt, D., 17 Oct 2008, Perspectives Workshop: Model Engineering of Complex Systems (MECS). 4 p. (Dagstuhl Seminar Proceedings; vol. 08331).

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

  354. Market-inspired Dynamic Resource Allocation in Many-core High Performance Computing Systems

    Singh, A. K., Dziurzanski, P. & Soares Indrusiak, L., 2015, Proceedings of International Conference on High Performance Computing & Simulation. IEEE, p. 413-420 8 p.

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

  355. Max-Min Fairness with Selection Combining Strategy on Cooperative NOMA: A Finite Blocklength Analysis

    Salehi, F., Neda, N., Majidi, M. & Ahmadi, H., 13 Apr 2021, European Conference on Networks and Communications 2021 (EUCNC), Proceedings. Institute of Electrical and Electronics Engineers Inc.

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

  356. Measurement of Transmission through Printed Circuit Boards: Application to Enclosure Shielding

    Parker, S. L., Marvin, A. C., Dawson, J. F. & Ye, M., 4 Sep 2017, 2017 International Symposium on Electromagnetic Compatibility - EMC EUROPE. Angers

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

  357. Measurements and Power Balance Modelling of the Shielding Effectiveness of Partitioned Equipment Enclosures

    Marvin, A. C., Parker, S. L., Dawson, J. F. & Robinson, M. P., 2 Sep 2019, 2019 International Symposium on Electromagnetic Compatibility - EMC EUROPE. p. 158-162 5 p. (EMC Europe).

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

  358. Medium Access Control Protocol for Wireless Sensor Networks in Harsh Environments with Directional Antennas

    Chau, A., Dawson, J. F., Mitchell, P. D. & Loh, T. H., 12 Nov 2018, Loughborough Antennas Propagation Conference (LAPC 2018). Loughborough, UK, 5 p.

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

  359. Medium access and power control protocol for wireless sensor networks with directional antennas

    Chau, A. C-Y., Dawson, J. F. & Mitchell, P. D., 16 Oct 2019, IEEE International Conference on Information and Communication Technology (ICTC) October 16-19 2019. IEEE, 5 p.

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

  360. Memory-Aware Genetic Algorithms for Task Mapping on Hard Real-Time Networks-on-Chip

    Still, L. R. & Soares Indrusiak, L., 2018, 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP).

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

  361. Metamorphic testing of constraint solvers

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 23 Aug 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Netherlands: Springer, p. 727-736 10 p. (Lecture Notes in Computer Science).

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

  362. Minimality effects in agrammatic comprehension

    Grillo, A., 2005, Proceedings of ConSOLE XIII. Blaho, S., Schoorlemmer, E. & Vicente, L. (eds.). p. 107-120 14 p.

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

  363. Minimising Entropy Changes in Dynamic Network Evolution

    Wang, J., Wilson, R. C. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 255-265 11 p.

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

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

  365. Mixed-Initiative Creative Interfaces

    Deterding, C. S., Hook, J. D., Fiebrink, R., Gow, J., Akten, M., Smith, G., Liapis, A. & Compton, K., 6 May 2017, CHI EA '17: Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems. ACM, 8 p.

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

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

  367. Modeling Voiced Stop Consonants Using the 3D Dynamic Digital Waveguide Mesh Vocal Tract Model

    Gully, A. J. & Tucker, B., 6 Aug 2019, Proceedings of the International Congress of Phonetic Sciences 2019. Australasian Speech Science and Technology Association Inc., 5 p. (International Congress of Phonetic Sciences).

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

  368. Modelling RF interference effects in integrated circuits

    Whyman, N. L. & Dawson, J. F., 2001, Electromagnetic Compatibility, 2001. EMC. 2001 IEEE International Symposium on. IEEE, Vol. 2. p. 1203-1208 vol.2

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

  369. Modelling and Verification of Timed Robotic Controllers

    De Oliveira Salazar Ribeiro, P. F., Miyazawa, A., Li, W., Cavalcanti, A. L. C. & Timmis, J., 1 Sep 2017, Integrated Formal Methods. Polikarpova, N. & Schneider, S. (eds.). Springer, p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 10510).

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

  370. Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment

    Freitas, L., Baxter, J., Cavalcanti, A. L. C. & Wellings, A. J., 2016, Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Springer, p. 63-78 (Lecture Notes in Computer Science; vol. 9681).

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

  371. Modelling extreme ultraviolet ablation interactions

    Lolley, J., Wilson, S. A. & Tallents, G. J., 24 Apr 2019, Proceedings Volume 11035, Optics Damage and Materials Processing by EUV/X-ray Radiation VII; 110350R (2019). SPIE, Vol. 11035. p. R1- R8 8 p.

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

  372. Modelling observations of mode polarisation from MAST

    Vann, R. G. L., Appel, L., Denner, P. J., Gryaznevich, M. P., Lilley, M. K., Martin, R., Pinches, S. D., Sharapov, S. E. & Willis, C. T. N., 2008, 35th EPS Conference on Plasma Physics 2008, EPS 2008 - Europhysics Conference Abstracts. 2 ed. p. 1506-1509 4 p. (35th EPS Conference on Plasma Physics 2008, EPS 2008 - Europhysics Conference Abstracts; vol. 32, no. 2).

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

  373. Modelling the damping of screened room resonances by ferrite tiles using frequency dependent boundaries in TLM

    Dawson, J. F., Ahmadi, J. & Marvin, A. C., Apr 1994, Proc. Second Int Computation in Electromagnetics Conf. IET, p. 271-274 4 p.

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

  374. Modelling the micro-structure of non-uniform conductive non-woven fabrics: Determination of sheet resistance

    Austin, A. N., Dawson, J. F., Flintoft, I. D. & Marvin, A. C., 2015, Electromagnetic Compatibility (EMC Europe), 2015 International Symposium on. p. 1-6 6 p.

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

  375. Models from code or code as a model?

    Garcia-Dominguez, A. & Kolovos, D. S., 2 Oct 2016, Proceedings of the 16th International Workshop on OCL and Textual Modelling: CEUR Workshop Proceedings. Vol. 1756. p. 137-148 12 p.

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

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

  377. Moving Beyond Fun: Evaluating Serious Experience in Digital Games

    Iacovides, I. & Cox, A. L., 1 Apr 2015, Proceedings of the 2015 CHI Conference on Human Factors in Computing Systems. New York, USA: ACM, p. 2245-2254 10 p.

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

  378. Moving Beyond the Virtual Museum: Engaging Visitors Emotionally

    Perry, S. E., Roussou, M., Economou, M., Young, H. & Pujol-Tost, L., 26 Apr 2018, 23rd International Conference on Virtual Systems & Multimedia (VSMM), Dublin, 2017, pp. 1-8.. IEEE, p. 1-8 8 p.

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

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

  380. Mutation Testing for Jason Agents

    Huang, Z., Alexander, R. & Clark, J. A., 6 May 2014, Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems. Richland, SC: IFAAMAS, 16 p.

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

  381. Mutational signature modelling in vitro recapitulates bladder cancer initiation

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

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

  382. Narrative Bytes: Data-Driven Content Production in Esports

    Block, F. O., Hodge, V. J., Hobson, S. J., Sephton, N., Devlin, S. M., Ursu, M., Cowling, P. I. & Drachen, A., 25 Jun 2018, TVX 2018 - Proceedings of the 2018 ACM International Conference on Interactive Experiences for TV and Online Video. New York, NY: ACM Press, p. 29-41 13 p.

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

  383. Network entropy analysis using the Maxwell-Boltzmann partition function

    Wang, J., Wilson, R. C. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 1321-1326 6 p.

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

  384. New Schedulability Analysis for MrsP

    Zhao, S., Garrido, J., Burns, A. & Wellings, A. J., 2017, 2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). IEEE, p. 1 10 p.

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

  385. Node centrality for continuous-time quantum walks

    Rossi, L., Torsello, A. & Hancock, E. R., 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Springer-Verlag, Vol. 8621 LNCS. p. 103-112 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

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

  386. Non-linear MHD simulations of ELMs in a high recycling divertor

    Verbeek, M., Huijsmans, G. T. A., Van Vugt, D. C., Loarte, A., Fil, A. & Nardon, E., 2016, 43rd European Physical Society Conference on Plasma Physics, EPS 2016. European Physical Society (EPS)

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

  387. Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation

    Aydal, E. G., Paige, R. F. & Woodcock, J., 2008, First International Conference on Software Testing Verification and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, Workshops Proceedings. IEEE Computer Society Press, p. 11-20 10 p.

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

  388. On Measurement of Reverberation Chamber Time Constant and Related Curve Fitting Techniques

    Robinson, M. P., Zhang, X. & Flintoft, I. D., Aug 2015, IEEE International Symposium on Electromagnetic Compatibility (EMC), 2015. Dresden: IEEE, p. 406-411

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

  389. On software modernisation due to library obsolescence

    Gerasimou, S., Kechagia, M., Kolovos, D., Paige, R. & Gousios, G., 2 Jun 2018, Proceedings - 2018 ACM/IEEE 2nd International Workshop on API Usage and Evolution, WAPI 2018. IEEE Computer Society Press, Vol. Part F138314. p. 6-9 4 p.

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

  390. On the Ethical Limits of Natural Language Processing on Legal Text

    Tsarapatsanis, D. & Aletras, N., 1 Jun 2021, ACL Findings 2021. 10 p.

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

  391. On the Meaning of Enclosure Shielding Effectiveness

    Dawson, J. F., Marvin, A. C., Robinson, M. & Flintoft, I. D., 27 Aug 2018, 2018 International Symposium on Electromagnetic Compatibility - EMC EUROPE. Amsterdam, Vol. 2018-August. p. 746-751 6 p. 8485121. (EMC Europe).

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

  392. On the status of pointlike fields in integrable QFTs

    Bostelmann, H., 16 Dec 2019, XXVI International Conference on Integrable Systems and Quantum symmetries. Vol. 1416. 012006. (Journal of Physics: Conference Series; vol. 1416).

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

  393. Onset asynchrony in spoken menus

    Hinde, A. F., Evans, M. J., Tew, A. I. & Howard, D. M., 8 Jul 2015, International Conference on Auditory Display (ICAD) 2015. Graz, Austria, p. 86-93 8 p.

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

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

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

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

  395. Optimisation of a Molecular Dynamics Simulation of Chromosome Condensation

    Law, T. R., Hancox, J., Cheng, T. M. K., Chaleil, R. A. G., Wright, S. A., Bates, P. A. & Jarvis, S. A., 16 Dec 2016, Proceedings - 28th IEEE International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2016. IEEE Computer Society Press, p. 126-133 8 p. 7789332

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

  396. Optimisation of photoresist removal from silicon wafers using atmospheric-pressure plasma jet effluent

    West, A., van der Schans, M., Xu, C., Gans, T., Cooke, M. & Wagenaars, E., 2015, Proc 22nd ISPC. 4 p.

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

  397. Optimising TGLF for a Q=10 Burning Spherical Tokamak

    Patel, B., Dickinson, D., Koechl, F., Roach, C., Staebler, G. & Wilson, H. R., 12 Jul 2019, 46th EPS Conference on Plasma Physics, EPS 2019. European Physical Society (EPS), Vol. 2019-July.

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

  398. Organización comunitaria enfrentando la expansión de la frontera minera : Cajamarca (Perú) y Córdoba (Argentina)

    Carrizo Sineiro, C. & Cottyn, H. D. G. J., 2018, Los Pueblos Indígenas De América Latina: Actas Del II CIPIAL. Abbona, A. & Roca, I. (eds.). Santa Rosa: Universidad Nacional de La Pampa

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

  399. Our Story: Addressing Challenges in Development Contexts for Sustainable Participatory Video

    Bartindale, T., Varghese, D., Schofield, G. P. & Tsukamoto, M., 2 May 2019, Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. New York, USA: Association for Computing Machinery (ACM), p. 437:1-437:12 12 p. 437. (CHI conference proceedings).

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

  400. Overview of the P2715 WG - IEEE Guide for the Characterization of the shielding effectiveness of planar material: Free Space and Absorber Box Methods of Planar Shielding Measurement

    Dawson, J. & Pissoort, D., 2 Sep 2019, Electromagnetic Compatibility (EMC), 2019 IEEE International Symposium on. (IEEE Symposium on Electromagnetic Compatibility, Signal Integrity and Power Integrity).

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

  401. P-229 Exploring Palliative Care Needs: A Consultation with Young People with Life-Limiting Conditions

    Taylor, J. & Aldridge, J., 1 Nov 2017, BMJ Supportive and Palliative Care. Supplement 2 ed. BMJ Supportive and Palliative Care, Vol. 7. p. A92

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

  402. P2P Lending Analysis Using the Most Relevant Graph-Based Features

    Cui, L., Bai, L., Wang, Y., Bai, X., Zhang, Z. & Hancock, E. R., 8 Nov 2016, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2016, Mérida, Mexico, November 29 - December 2, 2016, Proceedings. Springer International Publishing, p. 3-14 12 p. (Lecture Notes in Computer Science; vol. 10029).

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

  403. POSE: A mathematical and visual modelling tool to guide energy aware code optimisation

    Roberts, S., Wright, S., Lecomber, D., January, C., Byrd, J., Oro, X. & Jarvis, S. A., 26 Jan 2016, 2015 6th International Green and Sustainable Computing Conference. Institute of Electrical and Electronics Engineers Inc., 7393705

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

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

  405. Parallel model validation with epsilon

    Madani, S., Kolovos, D. S. & Paige, R. F., 25 Jun 2018, Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer-Verlag, Vol. 10890 LNCS. p. 115-131 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10890 LNCS).

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

  406. People first? Reassessing heritage priorities in post-conflict recovery

    Schofield, A. J., 11 Dec 2017, Catastrophe and Challenge: Cultural Heritage in Post-conflict Recovery. Schneider, P. (ed.). Cottbus: BTU-Cottbus, p. 219-223 5 p.

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

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

  408. Performance modelling of magnetohydrodynamics codes

    Bird, R. F., Wright, S. A., Beckingsale, D. A. & Jarvis, S. A., 1 Mar 2013, Computer Performance Engineering - 9th European Workshop, EPEW 2012, Revised Selected Papers. Vol. 7587 LNCS. p. 197-209 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7587 LNCS).

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

  409. Performance of linear TDA-MAC in full-duplex underwater acoustic chain networks

    Ahmed, A., Mitchell, P. D., Zakharov, Y. & Morozs, N., 2021, IEEE World Forum on Internet of Things (WF-IOT), proceedings. IEEE

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

  410. Perpetual Assurances for Self-Adaptive Systems

    Weyns, D., Bencomo, N., Calinescu, R., Cámara, J., Ghezzi, C., Grassi, V., Grunske, L., Inverardi, P., Jézéquel, J-M., Malek, S., Mirandola, R., Mori, M. & Tamburrelli, G., 12 Mar 2019, Software Engineering for Self-Adaptive Systems III. Assurances. Springer, p. 31-63 33 p. (Lecture Notes in Computer Science; vol. 9640).

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

  411. Perspectives on Assurance Case Development for Retinal Disease Diagnosis Using Deep Learning

    Picardi, C. & Habli, I., Jun 2019, AIME 2019: Artificial Intelligence in Medicine . Springer, p. 365-370 (Lecture Notes in Artificial Intelligence; vol. 11526).

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

  412. Phase-resolved optical emission spectroscopy of a neutralizer-free gridded ion thruster

    Dedrick, J. P., Gibson, A. R., Rafalskyi, D. & Aanesland, A., 9 Oct 2017, American Institute of Aeronautics and Astronautics: 35th International Electric Propulsion Conference.

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

  413. Phonological templates in early words

    Vihman, M., Aug 2010, Laboratory Phonology 10. Fougeron, C., Kühnert, B., D'Imperio, M. & Vallée, N. (eds.). Berlin: Mouton de Gruyter, p. 261-284 24 p. (Phonology and Phonetics [PP]; vol. 4, no. 4).

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

  414. Pinset: A DSL for extracting datasets from models for data mining-based quality analysis

    De La Vega, A., Sanchez, P. & Kolovos, D. S., 26 Dec 2018, Proceedings - 2018 International Conference on the Quality of Information and Communications Technology, QUATIC 2018. Institute of Electrical and Electronics Engineers Inc., p. 83-91 9 p. 8590174. (Proceedings - 2018 International Conference on the Quality of Information and Communications Technology, QUATIC 2018).

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

  415. Player Rating Systems for Balancing Human Computation Games: Testing the Effect of Bipartiteness

    Cooper, S., Deterding, C. S. & Tsapakos, T., 31 Aug 2016, DIGRA/FDG '16 - Proceedings of the First International Joint Conference of DIGRA AND FDG. 1 ed. Dundee: DIGRA Digital Games and Research Association, Vol. 13. (DIGRA/FDG '16 - PROCEEDINGS OF THE FIRST INTERNATIONAL JOINT CONFERENCE OF DIGRA AND FDG).

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

  416. Player strategies: achieving breakthroughs and progressing in single-player and cooperative games

    Iacovides, I., Cox, A. L., Avakian, A. & Knoll, T., 1 Oct 2014, Proceedings of the first ACM SIGCHI annual symposium on Computer-human interaction in play - CHI PLAY '14. New York, USA: ACM, p. 131-140 10 p.

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

  417. Pointers inside lambda closure objects in OpenMP target offload regions

    Truby, D., Bertolli, C., Wright, S. A., Bercea, G-T., O'Brien, K. & Jarvis, S., 11 Feb 2019, Proceedings of LLVM-HPC 2018: 5th Workshop on the LLVM Compiler Infrastructure in HPC, Held in conjunction with SC 2018: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 10-17 8 p. 8639410. (Technical Consortium on High Performance Computing).

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

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

  419. Polytypic Genetic Programming

    Swan, J., Krawiec, K. & Ghani, N., 1 Jul 2017, 20th European Conference on the Applications of Evolutionary Computation. Squillero, G. (ed.). Amsterdam: Springer, Vol. 10200. p. 66-81 16 p. (LNCS).

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

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

  421. Potential to measure quantum effects in recent all-optical radiation reaction experiments

    Arran, C., Cole, J. M., Gerstmayr, E., Blackburn, T. G., Mangles, S. P. D. & Ridgers, C. P., 24 Apr 2019, Research Using Extreme Light: Entering New Frontiers with Petawatt-Class Lasers IV. Korn, G., Silva, L. O. & Bulanov, S. V. (eds.). SPIE, 1103919. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 11039).

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

  422. Power-balance in the time-domain for IEMI coupling prediction

    Dawson, J. F., Flintoft, I. D., Marvin, A. C., Robinson, M. P. & Dawson, L., 2016, European Electromagnetics (EUROEM) 2016 Book of Abstracts. 1 p.

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

  423. Practical and Secure Outsourcing of Discrete Log Group Exponentiation to a Single Malicious Server

    Di Crescenzo, G., Khodjaeva, M., Kahrobaei, D. & Shpilrain, V., 3 Nov 2017, Practical and Secure Outsourcing of Discrete Log Group Exponentiation to a Single Malicious Server. Association for Computing Machinery (ACM), p. 17-28 10 p.

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

  424. Predicting Musical Meaning in Audio Branding Scenarios

    Herzog, M., Lepa, S., Steffens, J., Schoenrock, A. & Egermann, H. W., 31 Jul 2017, Proceedings of the 25th Anniversary Conference of the European Society for Cognitive Science of Music, Ghent, Belgium, 31 July – 4 August 2017. Van Dyck, E. (ed.). ESCOM, p. 75-79 5 p.

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

  425. Predicting Shielding Effectiveness of Populated Enclosures Using Absorption Cross Section of PCBs

    Parker, S. L., Flintoft, I. D., Marvin, A. C., Dawson, J. F., Bale, S. J., Robinson, M. P., Ye, M., Wan, C. & Zhang, M., 5 Sep 2016, Electromagnetic Compatibility (EMC EUROPE), 2016 International Symposium on. p. 324-328

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

  426. Predicting Victory in a Hybrid Online Competitive Game: The Case of Destiny

    Norouzzadeh, Y. R., Spronck, P., Sifa, R. & Drachen, A., 2017, Proceedings of the Thirteenth Artificial Intelligence and Interactive Digital Entertainment International Conference (AIIDE). p. 207-214 8 p.

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

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

  428. Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems

    Dai, X. & Burns, A., 30 May 2017, Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe International Conference on Reliable Software Technologies, Proceedings. Bader, M. & Blieberger, J. (eds.). Vol. 10300. p. 87-101 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10300 LNCS).

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

  429. Predicting skill learning outcomes in a large, longitudinal MOBA dataset

    Aung, M. T., Bonometti, V., Drachen, A., Cowling, P. I., Kokkinakis, A. V., Yoder, C. & Wade, A. R. P., 2018, Proceedings of the IEEE Computational Intelligence in Games. IEEE, 50

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

  430. Predictive Evaluation of Partitioning Algorithms through Runtime Modelling

    Bunt, R. A., Wright, S. A., Jarvis, S. A., Ho, Y. K. & Street, M. J., 1 Feb 2017, Proceedings - 23rd IEEE International Conference on High Performance Computing, HiPC 2016. Institute of Electrical and Electronics Engineers Inc., p. 351-361 11 p. 7839701. (IEEE International Conference on High Performance Computing).

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

  431. Preemptive uniprocessor scheduling of dual-criticality implicit-deadline sporadic tasks

    Burns, A., Baruah, S. & Guo, Z., 2016, Proc of ECRTS. p. 1-8 8 p.

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

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

  433. Probabilistic Analysis for Mixed Criticality Scheduling with SMC and AMC

    Maxim, D., Davis, R. I., Cucu-Grosjean, L. & Easwaran, A., Dec 2016, Proceedings Workshop on Mixed Criticality systems (WMC) 2016. 6 p.

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

  434. Probabilistic Graph Programs for Randomised and Evolutionary Algorithms

    Atkinson, T., Plump, D. & Stepney, S., 19 Jun 2018, Proceedings 11th International Conference on Graph Transformation (ICGT 2018). Lambers, L. & Weber, J. (eds.). Springer, 15 p. (Lecture Notes in Computer Science; vol. 10887).

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

  435. Probabilistic Hierarchical Clustering Of Morphological Paradigms

    Manandhar, S. K. & Can, B., 23 Apr 2012, EACL '12 Proceedings of the 13th Conference of the European Chapter of the Association for Computational Linguistics . Stroudsburg, PA: Association for Computational Linguistics, p. 654-663 10 p.

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

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

  437. Probability distributions for quantum stress tensors in two and four dimensions

    Fewster, C., Ford, L. H. & Roman, T. A., 2014, Relativity and Gravitation: 100 years after Einstein in Prague. Bičák, J. & Ledvinka, T. (eds.). Springer US, p. 489-496 8 p. (Springer Proceedings in Physics; vol. 157).

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

  438. Probability-based semantic interpretation of mutants

    Patrick, M., Alexander, R., Oriol, M. & Clark, J. A., 2014, Proceedings - IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops: ICSTW 2014. IEEE Computer Society Press, p. 186-195 10 p. 6825657

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

  439. Programmable Medicine: Autonomous, Ingestible, Deployable Patch and Plug for Stomach Ulcer Therapy

    Du Plessis D'Argentr, A., Perry, S. A. L., Iwata, Y., Iwasaki, H., Will, I., Fabozzo, A., Iwase, E., Rus, D., Damian, D. & Miyashita, S., 2018, ICRA 2018.

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

  440. Quantifying the Effects of Contention on Parallel File Systems

    Wright, S. A. & Jarvis, S. A., 29 Sep 2015, Proceedings - 2015 IEEE 29th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2015. Institute of Electrical and Electronics Engineers Inc., p. 932-940 9 p. 7284412

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

  441. Quantum thermodynamics of time evolving networks

    Minello, G., Torsello, A. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 1536-1541 6 p.

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

  442. Quantum vs classical ranking in segment grouping

    Escolano, F., Bonev, B. & Hancock, E. R., 1 Jan 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Springer-Verlag, Vol. 8621 LNCS. p. 203-212 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8621 LNCS).

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

  443. Questions, focus, and intervention effects

    Kim, S-S., 2006, Harvard Studies in Korean Linguistics. Kuno, S. (ed.). Cambridge, MA: Harvard-Yenching Institute, Vol. 11. p. 520-533

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

  444. Quorum machinery: Effect of the las system in rhl regulation of P. aeruginosa

    Alfiniyah, C., Bees, M. A. & Wood, A. J., 19 Dec 2019, Proceedings of the 8th SEAMS-UGM International Conference on Mathematics and Its Applications 2019: Deepening Mathematical Concepts for Wider Application through Multidisciplinary Research and Industries Collaborations. Utami, H., Kusumo, F. A., Susyanto, N. & Susanti, Y. (eds.). American Institute of Physics Inc., p. 1-12 12 p. 060001. (AIP Conference Proceedings; vol. 2192).

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

  445. RODES: A Robust-Design Synthesis Tool for Probabilistic Systems

    Calinescu, R. C., Ceska, M., Gerasimou, S., Kwiatkowska, M. & Paoletti, N., 2017, RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. p. 304-308 5 p. (14th International Conference on Quantitative Evaluation of Systems).

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

  446. Rare Earth Elements analysis to identify anthropogenic signatures at Valle del Serpis (Spain) Neolithic settlements

    Gallello, G., Bernabeu, J., Diez, A., Escriba, P., Pastor, A., Lezzerini, M., Hodson, M. E. & Stump, D., 11 Jun 2017, Abstract Book CSI XL PISA 2017, EMSLIBS 2017. Corozzi, A. (ed.). Pisa, OL28

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

  447. Reaching Export 2020 with integrity: How can UK businesses be better supported to manage corruption risks in high-growth markets? Challenges to Overcome

    Baxter, L., 6 Dec 2016, Reaching Export 2020 with integrity: How can UK businesses be better supported to manage corruption risks in high-growth markets?. APPG on Anti-Corruption, p. 25-26 2 p.

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

  448. Real-time dynamic image-source implementation for auralisation

    Oliveira, A., Campos, G., Dias, P., Murphy, D. T., Viera, J., Mendonça, C. & Santos, J., 2 Sep 2013, Proceedings of the 16th International Conference on Digital Audio Effects. Maynooth, p. 368-372 5 p.

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

  449. Recent progress with the MAST synthetic aperture imaging radiometer

    Freethy, S., Huang, B. K., Shevchenko, V. & Vann, R. G. L., 2011, 38th EPS Conference on Plasma Physics 2011, EPS 2011 - Europhysics Conference Abstracts. p. 736-740 5 p. (38th EPS Conference on Plasma Physics 2011, EPS 2011 - Europhysics Conference Abstracts; vol. 35 1).

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

  450. Recognizing Interactions Between People from Video Sequences

    Stephens, K. & Bors, A. G., Sep 2017, International Conference on Analysis and Image Analysis (CAIP). Springer, Vol. LNCS 10424. p. 80-91 12 p. (Lecture Notes in Computer Science).

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

  451. Reconstructing Genotypes in Private Genomic Databases from Genetic Risk Scores

    Paige, B., Bell, J., Bellet, A., Gascon, A. & Ezer, D., 21 Apr 2020, Lecture Notes in Computer Science : International Conference on Research in Computational Molecular Biology. Vol. 12074. 23 p.

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

  452. Recreating Sheffield's Medieval Castle in situ using Outdoor Augmented Reality

    Hadley, D., Leach, M., Maddock, S., Butterworth, C., Moreland, J., Dean, G., Mackinder, R., Pach, K., Bax, N., Mckone, M. & Fleetwood, D., 26 Sep 2018, Virtual Reality and Augmented Reality: 15th EuroVR International Conference, EuroVR 2018, London, UK, October 22–23, 2018, Proceedings. Springer, p. 213-29 (Lecture Notes in Computer Science).

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

  453. Reduction of radiated emissions from apertures in resonant enclosures by the use absorptive materials

    Dawson, J. F., Ahmadi, J. & Marvin, A. C., 1 Sep 1992, Electromagnetic Compatibility, 1992., Eighth International Conference on. IET, p. 207-212 6 p.

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

  454. Refinement-Based Verification of the FreeRTOS Scheduler in VCC

    Woodcock, J. C. P., Divakaran, S., D'Souza, D., Kushwah, A., Sampath, P. & Sridhar, N., 2015, Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015. Butler, M., Conchon, S. & Zaidi, F. (eds.). Lecture Notes in Computer Science, Vol. 9407. p. 170-186 16 p.

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

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

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

  457. Relativistische Materie in zwei Raum-Zeit-Dimensionen

    Bostelmann, H., 2015, Raum und Materie. Müller, E. (ed.). Münster: Lit Verlag, p. 186-201 (Villigst Profile; vol. 16).

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

  458. Removing the HUD: The impact of non-diegetic game elements and expertise on player involvement

    Iacovides, I., Cox, A., Kennedy, R., Cairns, P. & Jennett, C., 5 Oct 2015, CHI PLAY 2015 - Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 13-22 10 p.

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

  459. Replicating HPC I/O workloads with proxy applications

    Dickson, J., Wright, S., Maheswaran, S., Herdman, A., Miller, M. C. & Jarvis, S. A., 2 Feb 2017, Proceedings of PDSW-DISCS 2016: 1st Joint International Workshop on Parallel Data Storage and Data Intensive Scalable Computing Systems - Held in conjunction with SC16: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 13-18 6 p. 7836562

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

  460. Resource-sensitive synchronization inference by abduction

    Botincan, M., Dodds, M. D. & Jagannathan, S., 2012, POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages . New York: ACM, p. 309-322 14 p.

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

  461. Restmule: Enabling resilient clients for remote APIs

    Sanchez, B. A., Barmpis, K., Neubauer, P., Paige, R. F. & Kolovos, D. S., 28 May 2018, Proceedings - 2018 ACM/IEEE 15th International Conference on Mining Software Repositories, MSR 2018. IEEE Computer Society Press, p. 537-541 5 p.

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

  462. Resultados preliminares de los trabajos efectuados en el yacimiento del Neolítico antiguo de Pico Tienda III (Hellín, Albacete)

    Mingo, A., Cubas Morera, M., Yravedra, J., Uzquiano, P., Benito, A., Canales, J., Galante, J., Avezuela, B., López-Precioso, F. J., Bellardi, M., Hernández, J. & Palacios, E., 1 Nov 2016, Actas de la primera reunión científica de arqueología de Albacete. Instituto de Estudios Albacetenses "Don Manuel". Excma. Diputación de Albacete, p. 287-296

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

  463. Rethinking the High Capacity 3D Steganography: Increasing its Resistance to Steganalysis

    Li, Z., Beugnon, S., Puech, W. & Bors, A. G., Oct 2017, IEEE International Conference on Image Processing (ICIP). IEEE, p. 510-514 5 p.

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

  464. Revisión y estudio multidisciplinar del yacimiento de la Cueva del Niño (Aýna, Albacete)

    García-Moreno, A., Cubas Morera, M., Davidson, I., Gárate, D., L. López-Dóriga, I., Marín Arroyo, A. B., Ortiz, J. E., Polo, A., Ríos-Garaizar, J., San Emeterio, A. & Torres, T., 1 Nov 2016, Actas de la primera reunión científica de arqueología de Albacete. Albacete: Instituto de Estudios Albacetenses "Don Manuel". Excma. Diputación de Albacete, p. 253-270

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

  465. Robots of Leisure

    Kirman, B. J. & Linehan, C., 5 May 2019, CHI4Evil Workshop: Creative Speculation on the Negative Effects of HCI Research.

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

  466. Robust Domain Adaptation Approach for Tweet Classification for Crisis Response

    Alrashdi, R. & O'Keefe, S., 1 Dec 2019, EMENA-ISTL 2019: Innovation in Information Systems and Technologies to Support Learning Research . Springer-Verlag, p. 124-134 11 p.

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

  467. Role of a CEO in adopting intrapreneurship as an organizational strategy in SMEs

    Baruah, B. J. & Ward, A. E., 15 May 2014, 18th Nordic Conference on Small Business Research, NCSB 2014.

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

  468. Rossiiskaya i sovetskaya ekologicheskaya istoriya v sovremennoi zapadnoi nauke’

    Moon, D. G., 1 Dec 2017, Rossiiskaya provintsiya kak sotsiokul’turnoe pole formirovaniya grazdanskoi i natsional’noi identichnosti: sbornik nauchnykh statei: : Materialy VIII Mezhdunarodnykh Stakheevskikh chtenii . Elabuga: Izdatel'svo Elabuzhskogo instituta KFU, p. 14-21 8 p. 2

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

  469. Rumors and Rumor Corrections on Twitter: Studying Message Characteristics and Opinion Leadership

    Chua, A. Y. K. & Banerjee, S., 25 Jun 2018, 2018 4th International Conference on Information Management (ICIM). IEEE, p. 210-214 5 p.

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

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

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

    Lesage, B. M. J-R. & Alexander, R., 7 Sep 2021, Proceedings of SafeComp 2021. p. 195-209 (Lecture Notes in Computer Science; vol. 12852).

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

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

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

    Yan, F., Foster, S. & Habli, I., 18 Apr 2021, The Eleventh International Conference on Performance, Safety and Robustness in Complex Systems and Applications, proceedings. International Academy, Research, and Industry Association , p. 4-7 4 p.

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

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

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

  476. Safety assurance of a high voltage controller for an industrial robotic system

    Murray, Y., Anisi, D. A., Sirevåg, M., Ribeiro, P. & Hagag, R. S., 19 Nov 2020, Formal Methods: Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Proceedings. Carvalho, G. & Stolz, V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 45-63 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12475 LNCS).

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

  477. Sampling real algebraic varieties for topological data analysis

    Dufresne, E. S., Edwards, P. B., Harrington, H. A. & Hauenstein, J. D., 17 Feb 2020, 18th IEEE International Conference on Machine Learning and Applications : ICMLA 2019. IEEE, 6 p.

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

  478. Santa Maria foris portas e la città abandonata di Castelseprio: nuove indagini e prospetti

    Carver, M. O. H., 1984, secondo Convegno Archeologico Regionale Atti 13-14-15 Aprile 1984 Como - Villa Olmo. Como: Regione Lombardia, Vol. 2. p. 563-575 13 p.

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

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

  480. Search-Based Synthesis of Probabilistic Models for Quality-of-Service Software Engineering

    Gerasimou, S., Tamburrelli, G. & Calinescu, R., 2015, 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015). 12 p.

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

  481. Searching with a fine-toothed comb: Combs for Humans and Horses on the PAS database

    Ashby, S. & Bolton, A., 2010, A Decade of Discovery: Proceedings of the Portable Antiquities Scheme Conference 2007. Worrell, S., Egan, G., Naylor, J., Leahy, K. & Lewis, J. (eds.). Oxford, p. 235-240 6 p. (British Archaeological Reports, British Series; vol. 520).

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

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

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

  484. Segmenting modulated line textures with S-Gabor filters

    Hickinbotham, S. J., Hancock, E. R. & Austin, J., 1996, INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, PROCEEDINGS - VOL III. NEW YORK: I E E E, COMPUTER SOC PRESS, Vol. 3. p. 149-152 4 p.

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

  485. Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy

    Patrick, M., Alexander, R., Oriol, M. & Clark, J. A., 1 Dec 2013, Software Engineering Conference (APSEC, 2013 20th Asia-Pacific). Vol. 1. p. 91-98 8 p.

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

  486. Selection of robust features for the Cover Source Mismatch problem in 3D steganalysis

    Li, Z. & Bors, A. G., Dec 2016, Proc. of International Conference on Pattern Recognition (ICPR). IEEE, p. 4251-4256 6 p.

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

  487. Self-Adaptive Software with Decentralised Control Loops

    Calinescu, R., Gerasimou, S. & Banks, A., 2015, 18th International Conference on Fundamental Approaches to Software Engineering (FASE). Springer Berlin / Heidelberg, Vol. 9033. p. 235-251 15 p. (Lecture Notes in Computer Science; vol. 9033).

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

  488. Self-Rolling Up Micro Assembly Using A Temperature-Responsive Hydrogel Sheet With Rigid Plate Array

    Miyashita, S., Iwata, Y. & Iwase, E., 2018, The 31st IEEE International Conference on Micro Electro Mechanical Systems (MEMS 2018).

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

  489. Self-repairing mobile robotic car using astrocyte-neuron networks

    Liu, J., Harkin, J., McDaid, L., Halliday, D. M., Tyrrell, A. M. & Timmis, J., 31 Oct 2016, 2016 International Joint Conference on Neural Networks, IJCNN 2016. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-October. p. 1379-1386 8 p. 7727359. (Proceedings of International Joint Conference on Neural Networks).

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

  490. Semantic Mutation Testing for Multi-Agent Systems

    Huang, Z. & Alexander, R., 20 May 2015, The International Workshop on Engineering Multi-Agent Systems (EMAS).

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

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

  492. Sequential Data Mining using Correlation Matrix Memory

    Shanker, S., Turner, A., Sherly, E. & Austin, J., 2010, Proceedings. ICNIT 2010 International Conference on Networking and Information Technology. IEEE, p. 470-472 3 p.

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

  493. Service Level Agreements for Safe and Configurable Production Environments

    Ashjaei, M., Clegg, K., Corneo, L., Hawkins, R. D., Jaradat, O. T. S., Gulisano, V. & Nikolakopoulos, Y., 7 Sep 2018, International Conference on Emerging Technologies and Factory Automation: Work in Progress Session (ETFA-WiP'18). IEEE, p. 1-4 4 p.

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

  494. Shape Simplification Through Graph Sparsification

    Escolano, F., Curado, M., Biasotti, S. & Hancock, E. R., 2017, Graph-Based Representations in Pattern Recognition - 11th IAPR-TC-15 International Workshop, GbRPR 2017, Anacapri, Italy, May 16-18, 2017, Proceedings. Springer Berlin / Heidelberg, p. 13-22 10 p.

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

  495. Shape classification with a vertex clustering graph kernel

    Bai, L., Cui, L., Wang, Y., Jin, X., Bai, X. & Hancock, E. R., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 2634-2639 6 p.

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

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

  497. Shielding effectiveness of non-woven carbon fibre sheets: modelling the microstructure

    Dawson, J. F., Flintoft, I. D., Austin, A. N. & Marvin, A. C., 31 May 2016, 2016 ESA Workshop on Aerospace EMC. EUROPEAN SPACE AGENCY, 6 p.

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

  498. Should Higher Education encourage the use of Intergroup Peer Assessment among students?

    Baruah, B. J., Ward, A. E. & Jackson, N., 26 Apr 2018, 17th International Conference on Information Technology Based Higher Education and Training, ITHET 2018. Olhao (Portugal), 7 p.

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

  499. Side-Channel Attack Resilience through Route Randomisation in Secure Real-Time Networks-on-Chip

    Soares Indrusiak, L., Harbin, J. R. & Sepulveda, M. J., 24 Aug 2017, Proceedings of the 12th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2017).

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

  500. Siderophores as anchors in artificial metalloenzymes

    Duhme-Klair, A-K., Raines, D. J., Clarke, J. E., Blagova, E. & Wilson, K. S., 14 Jul 2017, Journal of Biological Inorganic Chemistry. Vol. 22, Supplement 1. p. S174 1 p.

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

  501. Signal selection in a complex environmental distributed sensing problem

    Makrai, G. & Bate, I., 26 Jan 2018, Proceedings of the 13th International Conference on Distributed Computing in Sensor Systems, DCOSS 2017. Institute of Electrical and Electronics Engineers Inc., p. 155-162 8 p.

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

Previous 1 2 Next