Search research publications and outputs

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  34. Tele Assistance: A Self-Adaptive Service-Based System Exemplar

    Weyns, D. & Calinescu, R., 2015, 2015 IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). p. 88-92 5 p.

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

  35. The European Project STRUCTURES: Challenges and Results

    Beek, S. V. D., Dawson, J., Dawson, L., Flintoft, I. D., Garbe, H., Leferink, F., Menssen, B., Mora, N., Rachidi, F., Righero, M., Rubinstein, M. & Stojilović, M., 2015, Electromagnetic Compatibility (EMC Europe), 2015 International Symposium on. IEEE, p. 1095-1100 6 p.

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

  36. The Joys of Absence: Emotion, Emotion Display, and Interaction Tension in Video Game Play

    Deterding, C. S., 25 Jun 2015, Proceedings of the 10th International Conference on the Foundations of Digital Games (FDG 2015). Pacific Grove, CA: Society for the Advancement of the Science of Digital Games

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

  37. The application of extreme ultra-violet lasers in plasma heating and diagnosis

    Tallents, G. J., Aslanyan, V., Rossall, A., Wilson, S. & Shahzad, M., 2015, Proceedings of SPIE - The International Society for Optical Engineering. SPIE, Vol. 9589. 958903

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

  38. Towards a unified definition of web accessibility

    Petrie, H., Savva, A. & Power, C. D., 2015, Proceedings of the 12th Web for all Conference. ACM, p. 35 1 p.

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

  39. Using Job Advertisements to inform curricula design for the Key Global Challenges

    Ward, T., Baruah, B. J. & Gbadebo, A., Jun 2015, 14th International Conference on Information Technology based Higher Education and Training (ITHET). Lisbon: IEEE, 6 p.

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

  40. Weaving Parallel Threads

    Calderon Trilla, J. M., Poulding, S. M. & Runciman, C., 2015, Proceedings of International Symposium on Search-based Software Engineering. Barros, M. & Labiche, Y. (eds.). Bergamo, Italy: Springer, p. 62-76 14 p. (LNCS; vol. 9275).

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

  41. Weaving an Assurance Case from Design: A Model-Based Approach

    Hawkins, R., Habli, I., Kolovos, D. S., Paige, R. F. & Kelly, T., Jan 2015, 16th IEEE International Symposium on High Assurance Systems Engineering, HASE 2015, Daytona Beach, FL, USA, January 8-10, 2015. IEEE, p. 110-117 8 p.

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