Search research publications and outputs

  1. Conference contribution › Research
  2. A Hypergraph Kernel from Isomorphism Tests

    Bai, L., Ren, P. & Hancock, E. R., 2014, (Accepted/In press) Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, 6 p.

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

  3. A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems

    Picardi, C., Hawkins, R. D., Paterson, C. & Habli, I., 30 Apr 2019, (Accepted/In press) 38th International Conference on Computer Safety, Reliability and Security – SafeComp 2019.

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

  4. A Shadow, An Aura and Some Notes on Light: Re-defining the Sibelius Legacy

    Howell, T., 2012, (Accepted/In press) Proceedings of the Fifth International Sibelius Conference, Oxford 2010. Helsinki: http://sibeliusone.com/sibelius-reconsidered/

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

  5. A Team Based Player Versus Player Recommender Systems Framework For Player Improvement

    Joshi, R., Gupta, V., Li, X., Cui, Y., Wang, Z., Ravari, Y., klabjan, D., Sifa, R., Parsaianen, A., Drachen, A. & Demediuk, S. P., 29 Jan 2019, (Accepted/In press) Proceedings of ACSW.

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

  6. A Unary Semigroup Trace Algebra

    De Oliveira Salazar Ribeiro, P. F., 16 Dec 2019, (Accepted/In press) 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). Lecture Notes in Computer Science, 16 p.

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

  7. Aberration corrected environmental STEM (AC ESTEM) for dynamic in-situ gas reaction studies of nanoparticle catalysts

    Boyes, E. & Gai, P. L., 2013, (Accepted/In press) J Phys Conf Ser. Institute of Physics (UK)

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

  8. Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement

    Paterson, C. A. & Calinescu, R. C., 2017, (Accepted/In press) IEEE International Conference on Software Architecture (ICSA 2017). IEEE

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

  9. Adaptive Filter Based Image Registration

    Henson, B. & Zakharov, Y., Oct 2015, (Accepted/In press) European Modelling Symposium on Mathematical Modelling and Computer Simulation, EMS-2015. Madrid, Spain, 6 p.

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

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

    Wang, H., Audsley, N. C. & Chang, W., 28 Feb 2020, (Accepted/In press) IEEE Real-Time Embedded Technology & Applications Symposium (RTAS).

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

  11. Against "Dark Game Design Patterns"

    Deterding, C. S., Stenros, J. & Montola, M., 31 Jan 2020, (Accepted/In press) DiGRA'20 - Abstract Proceedings of the 2020 DiGRA International Conference. Tampere, (DiGRA conference proceedings).

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

  12. Algebraic Specifications of Computing as a Service with Applications to Cost Analysis

    Johnson, K. H. A. & Tucker, J. V., 2012, (Accepted/In press) Proceedings of the 5th IEEE/ACM International Conference on Utility and Cloud Computing. p. 143-150 8 p.

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

  13. An Axiomatic Value Model for Isabelle/UTP

    Zeyda, F., Foster, S. D. & Freitas, L., 2016, (Accepted/In press) 6th International Symposium on Unifying Theories of Programming. p. 1-20 20 p.

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

  14. 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., 17 Apr 2020, (Accepted/In press) 2020 International Symposium on Electromagnetic Compatibility - EMC EUROPE. 5 p. (EMC Europe).

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

  15. Analysis of the use of genetic algorithms for indoor localisation via cloud point matching

    Boland, M. & Soares Indrusiak, L., 24 Mar 2018, (Accepted/In press) Proceedings of the Genetic and Evolutionary Computation Conference. 8 p.

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

  16. Attributed Graph Kernels Using the Jensen-Tsallis q-Differences

    Bai, L., Rossi, L., Bunke, H. & Hancock, E. R., 2014, (Accepted/In press) Proceedings ECML 2014. Springer Berlin / Heidelberg, 16 p.

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

  17. Casual Creators in the Wild: A Typology of Commercial Generative Creativity Support Tools

    Petrovskaya, E., Deterding, C. S. & Colton, S., 14 May 2020, (Accepted/In press) ICCC’20: Eleventh International Conference on Computational Creativity. Association for Computational Creativity (ACC)

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

  18. Cheap Remarks about Concurrent Programs

    Walker, M. & Runciman, C., 22 Jan 2018, (Accepted/In press) Proceedings of 14th International Symposium on Functional and Logic Programming. Springer, 15 p.

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

  19. Combining 3D Morphable Models: A Large scale Face-and-Head Model

    Ploumpis, S., Wang, H., Pears, N. E., Smith, W. A. P. & Zafeiriou, S., 11 Mar 2019, (Accepted/In press) IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) 2019.

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

  20. Computing Optimal Assignments in Linear Time for Approximate Graph Matching

    Kriege, N., Giscard, P-L., Bause, F. & Wilson, R. C., 6 Sep 2019, (Accepted/In press) International Conference on Data Mining. IEEE Computer Society, 10 p.

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

  21. Confidence Arguments for Evidence of Performance in Machine Learning for Highly Automated Driving Functions

    Burton, S., Gauerhof, L., Hawkins, R. D., Habli, I. & Sethy, B., 6 Jun 2019, (Accepted/In press) Safecomp 2019 - Workshop on Artificial Intelligence Safety Engineering (Waise) of the 38th International Conference on Computer Safety, Reliability and Security.

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

  22. Correlated Input Strategies: Using Metaheuristics for Generating Parameterised Random Sampling Regimes

    Srivisut, K., Paige, R. F. & Clark, J. A., 25 Mar 2018, (Accepted/In press) Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) 2018. ACM, 8 p.

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

  23. 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., 17 Apr 2020, (Accepted/In press) 2020 International Symposium on Electromagnetic Compatibility - EMC EUROPE. 6 p. (EMC Europe).

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

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

    Tahir, Z. & Alexander, R., 10 Jan 2020, (Accepted/In press) The Second IEEE International Conference On Artificial Intelligence Testing.

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

  25. DAX: Data-Driven Audience Experiences in Esports

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

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

  26. Depth from a polarisation + RGB stereo pair

    Zhu, D. & Smith, W. A. P., 11 Mar 2019, (Accepted/In press) IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) 2019.

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

  27. Detecting Causal Links between Financial News and Stocks

    Qu, H. & Kazakov, D. L., 14 Feb 2019, (Accepted/In press) Proceedings of IEEE Conference on Computational Intelligence for Financial Engineering and Economics: (CIFEr 2019). Shenzhen, China, 9 p.

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

  28. Determining the Electromagnetic Shielding Properties of Non-Woven Materials

    Dawson, J. F., Austin, A. N., Flintoft, I. D. & Marvin, A., 6 Mar 2015, (Accepted/In press) IET Enterprise Workshop on RF technology for Aerospace: Trends, Challenges and Opportunities. Edinburgh: IET, 2 p.

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

  29. Developing successful partnerships in Electrical and Information Engineering Education (EIE) with EU-programs

    Ward, A. E. & Friesel, A., 6 Apr 2017, (Accepted/In press) 2017 American Society for Engineering Education International Forum.

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

  30. 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., 12 Feb 2019, (Accepted/In press) Proceedings of the 19th International Congress of Phonetic Sciences (ICPhS).

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

  31. Empirical Analysis of 1-edit Degree Patches in Syntax-Based Automatic Program Repair

    Dziurzanski, P., Gerasimou, S., Kolovos, D. & Matragkas, N., 20 Mar 2020, (Accepted/In press) IEEE Congress on Evolutionary Computation.

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

  32. Entwicklung eines Systems zur automatischen Musikempfehlung im Kontext des Music Brandings

    Steffens, J., Egermann, H. W., Schoenrock, A., Herzog, M. & Lepa, S., 2017, (Accepted/In press) Fortschritte der Akustik: Tagungsband d. 43. DAGA. Deutsche Gesellschaft für Akustik

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

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

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

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

  34. Example-Based Modeling of Facial Texture from Deficient Data

    Dessein, A. F., Smith, W. A. P., Wilson, R. C. & Hancock, E. R., 2015, (Accepted/In press) Proceedings ICCV 2015. IEEE Computer Society, 8 p.

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

  35. Extrapolate: generalizing counterexamples of functional test properties

    Braquehais, R. & Runciman, C., 31 Jan 2018, (Accepted/In press) IFL 2017: 29th Symposium on the Implementation and Application of Functional Programming Languages. New York: ASSOC COMPUTING MACHINERY, 11 p.

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

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

    Liao, Z., Sharma, C., Cussens, J. & van Beek, P., 10 Dec 2018, (Accepted/In press) The Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19). AAAI Press

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

  37. Forensic voice comparison using long-term acoustic measures of voice quality

    Cardoso, A., Foulkes, P., French, J. P., Gully, A. J., Harrison, P. T. & Hughes, V., 12 Feb 2019, (Accepted/In press) Proceedings of the 19th International Congress of Phonetic Sciences (ICPhS).

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

  38. 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., 2 Mar 2020, (Accepted/In press) Formal Methods in Software Engineering (FormaliSE 2020): Proceedings of the 8th International Conference. ACM

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

  39. Heterogeneous Semantics and Unifying Theories

    Woodcock, J., Foster, S. D. & Butterfield, A., 2016, (Accepted/In press) 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. p. 374-394 21 p.

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

  40. Homeostatic Fault Tolerance in Spiking Neural Networks utilizing Dynamic Partial Reconfiguration of FPGAs

    Johnson, A. P., Liu, J., Millard, A. G., Karim, S., Tyrrell, A. M., Harkin, J., Timmis, J. I., McDaid, L. & Halliday, D. M., 15 Sep 2017, (Accepted/In press) The International Conference on Field-Programmable Technology (FPT-2017). IEEE

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

  41. Is Reflective Writing an Effective Peer Assessment tool for Students in Higher Education?

    Baruah, B. J., Ward, A. E. & Jackson, N., 10 Jul 2017, (Accepted/In press) 16th International Conference on Information Technology Based Higher Education and Training ITHET 2017. Macedonia, Vol. 16.

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

  42. KNOWLEDGE-BASED SELF-RECONFIGURATION AND SELF-AWARE DEMONSTRATION FOR MODULAR SATELLITE ASSEMBLY

    Post, M. A. & Austin, J., 11 Apr 2019, (Accepted/In press) 10th International Workshop on Satellite Constellations & Formation Flying 2019. Glasgow UK

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

  43. Linear Differential Constraints for Photo-polarimetric Height Estimation

    Tozza, S., Smith, W. A. P., Zhu, D., Ramamoorthi, R. & Hancock, E. R., 17 Jul 2017, (Accepted/In press) 2017 IEEE International Conference on Computer Vision (ICCV) . IEEE Computer Society Press, 9 p.

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

  44. Low-complexity UAC modem and data packet structure

    Zakharov, Y., Yuan, F., Mitchell, P. D., Morozs, N., Henson, B. T., Shen, L. & Tozer, T. C., 11 Jun 2018, (Accepted/In press) Underwater Communications and Networking (UCOMMS).

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

  45. Low-temperature plasma removal of deposits from fusion first mirrors

    Shaw, D., Wagenaars, E. & Gibson, A. R., 5 Jul 2018, (Accepted/In press) 45th EPS Conference on Plasma Phyiscs. European Physical Society (EPS), Vol. 42A. 4 p.

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

  46. Mapping across feature spaces in forensic voice comparison: the contribution of auditory-based voice quality to (semi-)automatic system testing

    Hughes, V., Harrison, P. T., Foulkes, P., French, J. P., Kavanagh, C. & San Segundo Fernandez, E., 30 May 2017, (Accepted/In press) Proceedings of Interspeech 2017. Stockholm, Sweden

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

  47. Multiple Accusative Constructions: the case of V+tate in Japanese

    Kizu, M., Sells, P. & Tanaka, H., 2015, (Accepted/In press) Proceedings of Japanese/Korean Linguistics . Giriko, M. (ed.). CSLI Publications, Vol. 22.

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

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

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

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

  49. Network Edge Entropy from Maxwell-Boltzmann Statistics

    Wang, J., Wilson, R. C. & Hancock, E. R., 8 Jun 2017, (Accepted/In press) Proceedings ICIAP 2017: Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 11 p.

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

  50. On Learning in Collective Self-adaptive Systems: State of Practice and a 3D Framework

    Gerasimou, S., D’Angelo, M., Ghahremani, S., Grohmann, J., Nunes, I., Pournaras, E. & Tomforde, S., 22 Mar 2019, (Accepted/In press) 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

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

  51. On-the-fly Translation and Execution of OCL-like Queries on Simulink Models

    Sanchez Pina, B. A., Zolotas, A., Hoyos Rodriguez, H., Kolovos, D. & Paige, R. F., 19 Jun 2019, (Accepted/In press) Proceedings of the ACM/IEEE 22th International Conference on Model Driven Engineering Languages and Systems.

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

  52. 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., 26 Feb 2019, (Accepted/In press) 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

  53. Pitch-interval analysis of ‘periodic’ and ‘aperiodic’ Question+Answer pairs

    Robledo, J. P., Hawkins, S., Cross, I. & Ogden, R. A., 2016, (Accepted/In press) Speech Prosody 2016. p. 1071-1075

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

  54. Player Style Clustering without Game Variables

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

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

  55. Q-learning based adaptive channel selection for underwater sensor networks

    Pottier, A., Mitchell, P. D., Socheleau, F. & Laot, C., 11 Jun 2018, (Accepted/In press) Underwater Communications and Networking (UCOMMS).

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

  56. Quantifying the Exact Sub-Optimality of Non-Preemptive Scheduling

    Davis, R. I., Thekkilakattil, A., Gettings, O., Dobrin, R. & Punnekkat, S., Dec 2015, (Accepted/In press) Real-Time Systems Symposium (RTSS).

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

  57. Rapid calculation of scattering factors for partially ionized plasmas in the EUV

    Rossall, A. & Tallents, G. J., 30 May 2014, (Accepted/In press) International Conference in X-Ray Lasers 2014. Springer

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

  58. Realistic and Textured Terrain Generation using GANs

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

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

  59. Reverberation Chamber Immunity Testing: A novel methodology to avoid accidental DUT damage

    Aurand, T., Dawson, J. F., Robinson, M. P. & Marvin, A., 26 Sep 2011, (Accepted/In press) 10th Int. Symposium on Electromagnetic Compatibility (EMC Europe 2011). York, UK, p. 391-393 3 p.

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

  60. Scheduling of Smart Factories using Edge Computing and Clouds

    Dziurzanski, P., Swan, J. & Soares Indrusiak, L., 20 Oct 2018, (Accepted/In press) 1st International Workshop on Trustworthy and Real-time Edge Computing for Cyber-Physical Systems (TREC4CPS). 4 p.

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

  61. Self-Adaptive Role-Based Access Control for Business Processes

    da Silva, C. E., da Silva, J. D. S., Paterson, C. A. & Calinescu, R. C., 2017, (Accepted/In press) 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). IEEE, 11 p.

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

  62. Semi-Blind Audio Source Separation of Linearly Mixed Two-Channel Recordings via Guided Matching Pursuit

    Zantalis, D. & Wells, J., 1 Sep 2014, (Accepted/In press) Proceedings of the 17th International Conference on Digital Audio Effects (DAFx-14).

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

  63. Semi-Clairvoyance in Mixed-Criticality Scheduling

    Agrawa, K., Baruah, S. & Burns, A., 7 Oct 2019, (Accepted/In press) Proceedings : 40th IEEE Real-Time Systems Symposium. I E E E

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

  64. Shell PCA: statistical shape modelling in shell space

    Zhang, C., Heeren, B., Rumpf, M. & Smith, W. A. P., 2015, (Accepted/In press) Proceedings ICCV. IEEE Computer Society, 9 p.

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

  65. Social Icebreakers Everywhere: A Day In The Life

    Kirman, B., Encinas, E. & Mitchell, R., 3 Apr 2020, (Accepted/In press) Proceedings of The 18th European (Virtual) Conference on Computer-Supported Cooperative Work (ECSCW 2020).

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

  66. Socio-Cyber-Physical Systems: Models, Opportunities, Open Challenges

    Calinescu, R. C., Camara Moreno, J. & Paterson, C., 2019, (Accepted/In press) 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems.

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

  67. Surface modification of polymer films using an atmospheric-pressure plasma jet

    Shaw, D., Gyuk, P., West, A., Momoh, M. & Wagenaars, E., 2015, (Accepted/In press) Proc 22nd ISPC. 3 p.

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

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

    Dziurzanski, P., Davis, R. I. & Soares Indrusiak, L., 7 Sep 2019, (Accepted/In press) Proceedings of the 40th IEEE Real-Time Systems Symposium.

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

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

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

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

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

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

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

  71. The International Assisted Communications for Education Project, iACE

    Ward, A. E., Escudeiro, N., Santos, P., Welzer, T., Roth, H., Makrides, G. & Papadourakis, G., 12 Apr 2017, (Accepted/In press) 27th European Association for Education in Electrical and Information Engineering Annual Conference. Grenoble, France

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

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

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

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

  73. The SALEIE Project – A successful International Collaborative Project and springboard for future projects

    Ward, A. E., Fremont, H., Poboroniuc, M., Welzer, T., Grout, I., Cojocaru, D., Lhotska, L. & Grindei, L., 12 Apr 2017, (Accepted/In press) 27th European Association for Education in Electrical and Information Engineering Annual Conference. Grenoble, France

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

  74. The Visual Inheritance Structure to Support the Design of Visual Notations

    Selviandro, N., Kelly, T. & Hawkins, R. D., 17 Aug 2018, (Accepted/In press) Third International Workshop on Human Factors in Modeling (HuFaMo’18). 8 p.

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

  75. The effect of speaker sampling on system validity in likelihood ratio based forensic voice comparison

    Wang, X., Hughes, V. & Foulkes, P., 12 Feb 2019, (Accepted/In press) Proceedings of the 19th International Congress of Phonetic Sciences (ICPhS).

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

  76. The individual and the system: Assessing the stability of the output of a semi-automatic forensic voice comparison system

    Hughes, V., Harrison, P. T., Foulkes, P., French, J. P., Kavanagh, C. & San Segundo Fernandez, E., 2018, (Accepted/In press) Proceedings of Interspeech 2018.

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

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

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

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

  78. Type Inference in Flexible Model-Driven Engineering

    Zolotas, A., Matragkas, N., Devlin, S., Kolovos, D. & Paige, R. F., 20 Jul 2015, (Accepted/In press) 2015 Modelling Foundations and Applications: 10th European Conference (ECMFA 2015, L'Aquila, Italy). SPRINGER, p. 75-91 17 p. (Lecture Notes in Computer Science; vol. 9153).

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

  79. UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles

    Calinescu, R. C., Gerasimou, S., Shevtsov, S. & Weyns, D., 22 Feb 2017, (Accepted/In press) 12th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2017). IEEE, p. 1-7 7 p.

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

  80. Using Intelligent Proxies to Develop Self-Adaptive Service-Based Systems

    Calinescu, R. C. & Rafiq, Y., 2013, (Accepted/In press) 7th International Symposium on Theoretical Aspects of Software Engineering. p. 131-134 4 p.

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

  81. Using Unstructured Data to Improve the Continuous Planning of Critical Processes Involving Humans

    Paterson, C., Calinescu, R. C., Wang, D. & Manandhar, S. K., 2019, (Accepted/In press) 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

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

  82. Using the 'Test Wire' Method as an Alternative to the CISPR 12 Full Vehicle Measurement Method

    Paterson, M. & Dawson, J. F., 18 Apr 2016, (Accepted/In press) Electromagnetic Compatibility (EMC EUROPE), 2016 International Symposium on. 6 p.

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

  83. Value-Based Manufacturing Optimisation in Serverless Clouds for Industry 4.0

    Dziurzanski, P., Swan, J. & Soares Indrusiak, L., 24 Mar 2018, (Accepted/In press) Proceedings of the Genetic and Evolutionary Computation Conference.

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

  84. What is the relevant population? Considerations for the computation of likelihood ratios in forensic voice comparison

    Hughes, V. & Foulkes, P., 30 May 2017, (Accepted/In press) Proceedings of Interspeech 2017. Stockholm, Sweden

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

  85. World War I and the emergence of modern central banks in South-East Europe

    Morys, M., 2016, (Accepted/In press) Banques centrales dans la grande guerre. Conference proceedings of central banks in the Great War, 13th and 14th November 2014 in Paris. Presses Sciences-Po, 16 p.

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