Search research publications and outputs

  1. 2020
  2. 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

  3. 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., 13 Feb 2020, (Accepted/In press) 26th IEEE Real-Time and Embedded Technology and Applications Symposium: Proceedings. IEEE

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

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

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

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

  7. 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., 8 Jan 2020, (Accepted/In press) Proceedings of the ACM CHI 2020 Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM)

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

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

  10. Automated Algebraic Reasoning for Collections and Local Variables with Lenses

    Foster, S. D. & Baxter, J., 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

  11. Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL

    Munive, J. H. Y., Struth, G. & Foster, S. D., 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

  12. How Software Practitioners Use Informal Local Meetups to Share Software Engineering Knowledge

    Ingram, C. & Drachen, A., 9 Dec 2019, (Accepted/In press) 42nd International Conference on Software Engineering. ACM

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

  13. CPS-oriented modeling and control of traffic signals using adaptive back pressure

    Chang, W., Roy, D., Zhao, S., Annaswamy, A. & Chakraborty, S., 28 Nov 2019, (Accepted/In press) Design, Automation and Test in Europe Conference (DATE).

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

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

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

  16. Sampling real algebraic varieties for topological data analysis

    Dufresne, E. S., Edwards, P. B., Harrington, H. A. & Hauenstein, J. D., 7 Oct 2019, (Accepted/In press) ICMLA 2019 conference proceedings . IEEE, 6 p.

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

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

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

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

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

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

  22. CONNER: A Concurrent ILP Learner in Description Logic

    Algahtani, E. & Kazakov, D. L., 26 Jul 2019, (Accepted/In press) Inductive Logic Programming: 29th International Conference, ILP 2019. Springer, (LNAI; no. 11770).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  43. Scientific Innovation in the Russian Empire: The Case of Genetic Soil Science

    Moon, D. G., 27 Jun 2018, (Accepted/In press) Science and Empire in Eastern Europe: Imperial Russia and the Habsburg Monarchy in the 19th Century. Arend, J. & Schulze Wessel, M. (eds.). Munich: Vandenhoeck & Ruprecht, 22 p. (Bad Wiesseer Tagungen des Collegium Carolinum; vol. 38).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  86. 2013
  87. 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

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

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

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

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