Search research publications and outputs

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Previous 1 2 Next