Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. ‘The Environmental History of the Steppe in a Global Perspective’

    Moon, D., 2014, Ekologicheskaya istorii v Rossii: Etapy stanovleniia i perspektivnye napravleniia issledovanii. Materialy mezhdunarodnoi konferentsii (g. Elabuga, 13-15 noyabrya 2014 g.) . Merzon, E. E. (ed.). Elabuga, Tatarstan, Russian Federation: Izdatel'svo Elabuzhskogo instituta KFU, p. 8-31 23 p.

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

  2. О спектрах открытых течений идеальной жидкости в кольцевых областях

    Ilin, K. & Morgulis, A., 2014, Исследования по мат. анализу, диф. уравнениям, мат. моделированию и их приложениям. Vladikavkaz: South Mathematical Institute of RAS, p. 408-419

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

  3. Web Accessibility for Older Readers: Effects of Font Type and Font Size on Skim Reading Webpages in Thai

    Kamollimsakul, S., Petrie, H. & Power, C. D., 2014, Computers Helping People with Special Needs. PART 1 ed. Springer, Vol. 8547 LNCS. p. 332-339 8 p. (Lecture Notes in Computer Science; vol. 8547).

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

  4. WCET preserving hardware prefetch for Many-Core real-time systems

    Garside, J. & Audsley, N. C., 8 Oct 2014, ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), p. 193-202 10 p.

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

  5. Volvelles, Domes and Wristbands: Embedding Digital Fabrication Within a Visitor's Trajectory of Engagement

    Nissen, B., Bowers, J., Wright, P. C., Hook, J. D. & Newell, C., 2014, Proceedings of the 2014 Conference on Designing Interactive Systems. New York: Association for Computing Machinery (ACM), p. 825-834

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

  6. Virtual director adapting visual presentation to conversation context in group videoconferencing: An interactive demo

    Kaiser, R., Weiss, W., Falelakis, M. & Ursu, M. F., 2014, MM 2014 - Proceedings of the 2014 ACM Conference on Multimedia. Association for Computing Machinery, Inc, p. 733-734 2 p.

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

  7. Virtual 5.1 Surround Sound Localization using Head-Tracking Devices

    O'Toole, B., Gorzel, M., Kelly, I., O' Sullivan, L., Kearney, G. & Boland, F., 26 Jun 2014, Irish Signals and Systems Conference/ China-Ireland International Conference on Information and Communications Technologies. IET

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

  8. Verifying Monadic Second-Order Properties of Graph Programs

    Poskitt, C. & Plump, D., 2014, Proceedings 7th International Conference on Graph Transformation (ICGT 2014). Giese, H. & Koenig, B. (eds.). Springer, p. 33-48 16 p. (Lecture Notes in Computer Science; vol. 8571).

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

  9. Using mobile robotic agents to increase service availability and extend network lifetime on WSRNs

    Caliskanelli, I. & Indrusiak, L. S., 2014, Proceedings - 2014 12th IEEE International Conference on Industrial Informatics, INDIN 2014. Institute of Electrical and Electronics Engineers Inc., p. 388-393 6 p.

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

  10. Untersuchung zur Validität von Hörversuchen im Internet

    Pysiewicz, A. & Egermann, H., 2014, Fortschritte der Akustik - DAGA 2014. Deutsche Gesellschaft für Akustik, p. 788-789 2 p.

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

  11. Une décennie de Modifications des Approches d’archéologie Programmée et Préventive en Préhistoire Récente dans le Département des Hautes-Alpes (1998-2012): A decade of modifying research methods and approaches in research and field archaeology in the Hautes Alpes Department (1998 - 2012)

    Margarit, X., Mocci, F., Tzortis, S., Walsh, K. J. & Voyez, C., 2014, Méthodologie des recherches de terrain sur la Préhistoire récente en France: nouveaux acquis, nouveaux outils, 1987-2012 : actes des Premières Rencontres Nord-Sud de Préhistoire récente.. Toulouse: Éditions Archives d’Écologie Préhistorique, p. 57 -72

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

  12. Unconventional arithmetic: A system for computation using action potentials

    Edwards, J., O'Keefe, S. & Henderson, W. D., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 8553 LNCS. p. 155-163 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8553 LNCS).

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

  13. UTP Designs for Binary Multirelations

    De Oliveira Salazar Ribeiro, P. F. & Cavalcanti, A. L. C., 2014, Theoretical Aspects of Computing: ICTAC 2014. 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Ciobanu, G. & Méry, D. (eds.). SPRINGER, Vol. 8687. p. 388-405 18 p. (Lecture Notes in Computer Science; vol. 8687).

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

  14. Travelling Salesman Problem Solved ‘in materio’ by Evolved Carbon Nanotube Device

    Clegg, K. D., Miller, J. F., Massey, K. & Petty, M., 2014, Parallel Problem Solving from Nature – PPSN XIII: 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings. Springer International Publishing, Vol. 8672. p. 692-701 10 p. 8672. (Lecture Notes in Computer Science; vol. 8672).

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

  15. Transitive state alignment for the quantum jensen-shannon kernel

    Torsello, A., Gasparetto, A., Rossi, L., Bai, L. & Hancock, E. R., 2014, Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2014, Joensuu, Finland, August 20-22, 2014. Proceedings. Fränti, P., Brown, G., Loog, M., Escolano, F. & Pelillo, M. (eds.). Springer-Verlag, Vol. 8621 LNCS. p. 22-31 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

  16. Towards exogenous fault detection in swarm robotic systems

    Millard, A. G., Timmis, J. & Winfield, A. F. T., 28 Jun 2014, Towards Autonomous Robotic Systems. Springer-Verlag, Vol. 8069 LNAI. p. 429-430 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8069 LNAI).

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

  17. Towards Verification of Constituent Systems through Automated Proof

    Foster, S. D., 7 May 2014, Workshop on Engineering Dependable Systems of Systems. ACM CoRR

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

  18. Towards Rigorously Faking Bidirectional Model Transformations

    Poskitt, C., Dodds, M., Paige, R. F. & Rensink, A., 2014, AMT 2014 - Analysis of Model Transformations Workshop Proceedings. Dingel, J., de Lara, J., Lucio, L. & Vangheluwe, H. (eds.). CEUR Workshop Proceedings, Vol. 1277. p. 70-75 (CEUR Workshop Proceedings).

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

  19. Time telescope: encouraging engagement with heritage through participatory design

    Schofield, G. P., 21 Jun 2014, 2014 ACMSIGCHI conference on Designing interactive systems. New York: Association for Computing Machinery (ACM), p. 117-120

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

  20. The influence of emotion on number entry errors

    Cairns, P. A., Pandab, P. & Power, C. D., 26 Apr 2014, CHI '14 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. ACM, p. 2293-2296 4 p.

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

  21. The influence of controllers on immersion in mobile games

    Cairns, P., Li, J., Wang, W. & Nordin, A. I., 2014, CHI '14: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 371-380 10 p.

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

  22. The abundance of 44Ti in core collapse supernovae: Measuring the 44Ti(α, p)47V reaction

    Murphy, A. S. J., Davinson, T., Kankainen, A., Lotay, G., Mountford, D. J., Murphy, C. D., Woods, P. J., Dressler, R., Schumann, D., Stowasser, T., Fallis, J., Laird, A. M., Seiffert, C., Stora, T. & Wang, C. H. T., 2014, Proceedings of Science. Proceedings of Science (PoS), Vol. 07-11-July-2015. 126

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

  23. The Relay Chain: A Scalable Dynamic Communication link between an Exploratory Underwater Shoal and a Surface Vehicle

    Naylor, R. F., Read, M. N., Timmis, J. & Tyrrell, A., 2014, Artificial Life 14: Proceedings of the Fourteenth International Conference on the Synthesis and Simulation of Living Systems . Sayama, H., Rieffel, J., Risi, S., Doursat, R. & Lipson, H. (eds.). MIT Press, p. 290-298 9 p.

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

  24. The Playtime Principle: Large/scale cross-games interest modeling

    Sifa, R., bauckhage, C. & Drachen, A., 23 Dec 2014, Proceedings of the IEEE Computational Intelligence in Games. IEEE, 8 p.

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

  25. The Pi Swarm: A low-cost platform for swarm robotics research and education

    Hilder, J. A., Naylor, R. F., Rizihs, A., Franks, D. W. & Timmis, J., 2014, LNCS. Springer, Vol. 8717. p. 151-162

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

  26. The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward

    Graydon, P. & Bate, I., 2014, Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing.

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

  27. The Mutual Information between Graphs

    Escolano, F. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 94-99 6 p.

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

  28. The Effects of Continuous Subjective Music Experience Ratings on Physiological and Psychological Measures of Activation and Valence

    Foerstel, A., Egermann, H. & McAdams, S., 2014, Abstract Book of the 13th International Conference of Music Perception and Cognition. Seoul: International Conference of Music Perception and Cognition

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

  29. The Effect of Text Color and Background Color on Skim Reading Webpages in Thai

    Kamollimsakul, S., Petrie, H. & Power, C. D., 2014, International Conference on Human-Computer Interaction. Springer, p. 615-620 6 p.

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

  30. The Acoustics of Constriction in a Vocal Tract Model Using 2D Digital Waveguide Modelling

    Rugchatjaroen, A. & Howard, D. M., 2014, Proceedings of the 10th International Seminar on Speech Production. Fuchs, S., Grice, M., Hermes, A., Lancia, L. & Mücke, D. (eds.). Köln: Universität zu Köln, p. 360-362 3 p.

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

  31. The 2013 Multi-Objective Physical Travelling Salesman Problem Competition

    Perez, D., Powley, E., Whitehouse, D., Samothrakis, S., Lucas, S. & Cowling, P. I., 2014, 2014 IEEE Congress on Evolutionary Computation (CEC). p. 2314-2321 8 p.

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

  32. Tag-based expert recommendation in community question answering

    Yang, B. & Manandhar, S., 10 Oct 2014, ASONAM 2014 - Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining. IEEE, p. 960-963 4 p.

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

  33. TDoA-Based Localisation of Radiated IEMI Sources

    Stojilović, M., Menssen, B., Flintoft, I. D., Garbe, H., Dawson, J. & Rubinstein, M., 2014, Electromagnetic Compatibility (EMC Europe), 2014 International Symposium on. IEEE, p. 1263-1268

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

  34. Systematising History: A Database for Electronic and Digital Musical Instruments Including Functional and Aesthetical Properties

    Hardjowirogo, S-I. & Egermann, H., 2014, Proceedings of the 9th Conference on Interdisciplinary Musicology. Staatliches Institut für Musikforschung, 4 p.

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

  35. Switchable liquid crystal contact lenses: Dynamic vision for the ageing eye

    Milton, H. E., Gleeson, H. F., Morgan, P. B., Goodby, J. W., Cowling, S. & Clamp, J. H., 1 Jan 2014, Proceedings of SPIE: The International Society for Optical Engineering. SPIE, Vol. 9004. 6 p. 90040H

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

  36. Supply chain quality risk in the horsemeat scandal: Perceptions and decisions

    Tse, Y. K. & Tan, K. H., 2014, LOGISTICS RESEARCH NETWORK ANNUAL CONFERENCE.

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

  37. Strongly asymmetric waveguide semiconductor lasers for picosecond pulse generation by gain-and Q-switching

    Ryvkin, B. S., Avrutin, E. A., Lanz, B. & Kostamovaara, J. T., 2014, ICTON 2014 - 16th International Conference on Transparent Optical Networks. IEEE Computer Society Press, 6876415

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

  38. Strategy-guided requirements development and validation

    Cui, X. & Paige, R. F., 2014, Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD) : 2014 15th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2014, Las Vegas, NV, USA, June 30 - July 2, 2014. IEEE, p. 1-6 6 p.

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

  39. StoryStorm: a collaborative exchange of methods for storytelling

    Maxwell, D., Woods, M. & Abbott, D., 2014, DIS Companion '14: Proceedings of the 2014 companion publication on Designing interactive systems. Association for Computing Machinery (ACM), p. 207-210 4 p.

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

  40. Statistical Hypothesis Testing for Chemical Detection in Changing Environments

    Ladi, A., Timmis, J., Tyrrell, A. & Hickey, P., Dec 2014, IEEE Symposium Series on Computational Intelligence: Computational Intelligence in Dynamic and Uncertain Environments (CIDUE), 2014 IEEE Symposium on . IEEE, p. 77-84 8 p.

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

  41. Speaking the Language of Web Developers: Evaluation of a Web Accessibility Information Resource (WebAIR)

    Swallow, D. M., Power, C. D., Petrie, H., Bramwell-Dicks, A. F., Buykx, L., Velasco, C. A., Parr, A. & O Connor, J., 2014, Computers Helping People with Special Needs: 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part I. PART 1 ed. Springer, Vol. 8547 LNCS. p. 348-355 8 p. (Lecture Notes in Computer Science 0302-9743; vol. 8547).

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

  42. Sparsity-inducing modified filtered-x affine projection algorithms for active noise control

    Gully, A. & de Lamare, R. C., 2014, 2014 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2014. Institute of Electrical and Electronics Engineers Inc., p. 6657-6661 5 p. 6854888

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

  43. Sparsity-aware pseudo affine projection algorithm for active noise control

    Albu, F., Gully, A. & de Lamare, R. C., 12 Feb 2014, 2014 Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, APSIPA 2014. Institute of Electrical and Electronics Engineers Inc., 7041652

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

  44. Sound and Music in Interactive Sonification: a Novel Way to Communicate Health Risk of Alcohol to Young People

    Walus, B., Pauletto, S. & Mason-Jones, A. J., 2014, Proceedings of SoniHED - Conference on Sonification of Health and Environmental Data. 6 p.

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

  45. Software Analytics for MDE Communities

    Williams, J. R., Matragkas, N. D., Kolovos, D. S., Korkontzelos, Y., Annaniadou, S. & Paige, R. F., 2014, OSS4MDE 2014: Proceedings of the 1st Workshop on Open Source Software for Model Driven Engineering co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages Systems, OSS4MDE@MoDELS 2014, Valencia, Spain, September 28, 2014.. CEUR Workshop Proceedings, p. 53-63 11 p. (CEUR Workshop Proceedings; vol. 1290).

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

  46. Simulating the effect of variations in emission source start times on indoor PM concentrations

    McGrath, J. A., Byrne, M. A., Ashmore, M. R., Terry, A. C. & Dimitroulopoulou, S., 2014, Indoor Air 2014 - 13th International Conference on Indoor Air Quality and Climate. International Society of Indoor Air Quality and Climate, p. 304-306 3 p.

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

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

  48. Semantic reasoning for autonomic IT systems

    Patelli, A., Calinescu, R. & Wang, H., 2014, WCOP 2014 - Proceedings of the 19th International Doctoral Symposium on Components and Architecture (Part of CompArch 2014). Association for Computing Machinery (ACM), p. 13-18 6 p.

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

  49. SemEval-2014 Task 7: Analysis of Clinical Text

    Pradhan, S., Elhadad, N., Chapman, W. W., Manandhar, S. & Savova, G., 2014, Proceedings of the 8th International Workshop on Semantic Evaluation (SemEval 2014). p. 54-62 9 p.

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

  50. SemEval-2014 Task 4: Aspect Based Sentiment Analysis

    Pontiki, M., Galanis, D., Pavlopoulos, J., Papageorgiou, H., Androutsopoulos, I. & Manandhar, S., 2014, Proceedings of the 8th International Workshop on Semantic Evaluation (SemEval 2014). p. 27-35 9 p.

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

  51. Self-Service Terminals for Older and Disabled Users: Attitudes of Key Stakeholders

    Petrie, H., Darzentas, J. S. & Power, C. D., 2014, Computers Helping People with Special Needs: 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part I. PART 1 ed. Vol. 8547 LNCS. p. 340-347 8 p. (Lecture Notes in Computer Science; vol. 8547).

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

  52. Secrecy rate optimization for a MIMO secrecy channel based on Stackelberg game

    Chu, Z., Cumanan, K., Ding, Z., Johnston, M. & Le Goff, S., 2014, 2014 Proceedings of the 22nd European Signal Processing Conference (EUSIPCO). IEEE, p. 126-130 5 p.

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

  53. Seamless texture stitching on a 3D mesh by Poisson blending in patches

    Desssein, A., Smith, W. A. P., Wilson, R. C. & Hancock, E. R., 2014, 2014 IEEE International Conference on Image Processing (ICIP). IEEE, p. 2031-2035 6 p.

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

  54. Schedulability Tests for Tasks with Variable Rate-Dependent Behaviour under Fixed Priority Scheduling

    Davis, R. I., Feld, T., Pollex, V. & Slomka, F., Apr 2014, Real-Time and embedded technology and Applications Symposium (RTAS), 2014. IEEE, p. 51-62 12 p.

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

  55. Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting

    Abdeddaïm, Y., Chanderli, Y., Masson, D. & Davis, R. I., Oct 2014, Proceedings of the 22nd International Conference on Real-Time Networks and Systems. p. 311-320 10 p.

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

  56. STC: A Joint Sentiment-Topic Model for Community Identification

    Yang, B. & Manandhar, S., 2014, Trends and Applications in Knowledge Discovery and Data Mining: PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers. Springer, p. 535-548 14 p.

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

  57. SCJ: Memory-safety checking without annotations

    Marriott, C. & Cavalcanti, A. L. C., 2014, FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Jones, C., Pihlajasaari, P. & Sun, J. (eds.). SPRINGER, p. 465-480 16 p. (Lecture Notes in Computer Science; vol. 8442).

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

  58. Run-time Detection of Faults in Autonomous Mobile Robots Based on the Comparison of Simulated and Real Robot Behaviour

    Millard, A. G., Timmis, J. & Winfield, A. F. T., 2014, Intelligent Robots and Systems (IROS 2014), 2014 IEEE/RSJ International Conference on. IEEE, p. 3720-3725

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

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

  60. Resource Requirement Analysis for Web Applications Running in a Virtualised Environment

    Mohamad, R. P., Kolovos, D. S. & Paige, R. F., 2014, Cloud Computing Technology and Science (CloudCom): 2014 IEEE 6th International Conference on Cloud Computing Technology and Science, CloudCom 2014, Singapore, December 15-18, 2014. IEEE, p. 632-637 6 p.

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

  61. Repetitively actively gain-switched strongly asymmetric waveguide laser diode for high brightness picosecond pulse generation

    Avrutin, E. A., Ryvkin, B. S. & Kostamovaara, J. T., 2014, ICTON 2014 - 16th International Conference on Transparent Optical Networks. IEEE Computer Society Press, 6876636

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

  62. Regional variation and the definition of the relevant population in likelihood ratio-based forensic voice comparison using cepstral coefficients

    Hughes, V. & Foulkes, P., Dec 2014, Proceedings of the 15th Australasian International Conference on Speech Science and Technology . Hay, J. & Parnell, E. (eds.). University of Canterbury, New Zealand, p. 24-27 (Proceedings of the Australasian International Conference on Speech Science and Technology; vol. 15).

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

  63. Realistic Safety Cases for the Timing of Systems

    Graydon, P. J. & Bate, I. J., 2014, The Computer Journal. 5 ed. Vol. 57. p. 759 774 p.

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

  64. Real-world versus randomised controlled trial data: a case study on the cost-effectiveness of laparoscopic surgery for chronic reflux

    Faria, R., Liu, S., Epstein, D. & Manca, A., 2014, The Ispor Scientific Presentations Database. 53026

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

  65. Real-Time Big Data: the JUNIPER Approach

    Audsley, N. C., Gray, I., Chan, Y. & Wellings, A. J., Nov 2014, 3rd IEEE International Workshop on Real-time and distributed computing in emerging applications. p. 9-14

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

  66. Re-engineering the Database Layer of Legacy Applications for Scalable Cloud Deployment

    Ellison, M., Calinescu, R. & Paige, R. F., 2014, Utility and Cloud Computing (UCC): Proceedings of the 7th IEEE/ACM International Conference on Utility and Cloud Computing, UCC 2014, London, United Kingdom, December 8-11, 2014. IEEE, p. 976-979 4 p.

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

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

  68. Rapid Prototyping of a Semantically Well Founded Circus Model Checker

    Mota, A., Farias, A., Didier, A. & Woodcock, J., 2014, Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings. Giannakopoulou, D. & Salaün, G. (eds.). SPRINGER, Vol. 8702. p. 235-249 (Lecture Notes in Computer Science; vol. 8702).

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

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

  70. Quantum fields in curved space-time, semiclassical gravity, quantum gravity phenomenology, and analogue models: parallel session D4

    Liberati, S. & Fewster, C., Apr 2014, GR20 Proceedings issue of General Relativity and Gravitation. 1707 ed. Springer US, Vol. 46. 13 p.

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

  71. Promoting elderly-children interaction in digital games: A preliminary set of design guidelines

    Grimaldo, A. I., Morán, A. L., Gamez, E. C., Cairns, P., Palacio, R. R. & Meza-Kubo, V., 2014, Collaboration and Technology: 20th International Conference, CRIWG 2014, Santiago, Chile, September 7-10, 2014. Proceedings. Springer-Verlag, Vol. 8658 LNCS. p. 169-176 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8658 LNCS).

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

  72. Progress on Static Probabilistic Timing Analysis for Systems with Random Cache Replacement Policies

    Altmeyer, S., Cucu-Grosjean, L., Davis, R. I. & Lesage, B. M. J-R., Jul 2014, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 7-8 2 p.

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

  73. Profiling underwater swarm robotic shoaling performance using simulation

    Read, M., Möslinger, C., Dipper, T., Kengyel, D., Hilder, J., Thenius, R., Tyrrell, A., Timmis, J. & Schmickl, T., 2014, Towards Autonomous Robotic Systems: 14th Annual Conference, TAROS 2013, Oxford, UK, August 28--30, 2013, Revised Selected Papers. Springer-Verlag, Vol. 8069 LNAI. p. 404-416 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8069 LNAI).

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

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

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

  76. Preserving Swarm Identity Over Time

    Stovold, J. H., O'Keefe, S. & Timmis, J., 2014, Artificial Life 14: Proceedings of the Fourteenth International Conference on the Synthesis and Simulation of Living Systems. MIT Press, p. 726-734 9 p.

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

  77. Predicting player disengagement in online games

    Xie, H., Kudenko, D., Devlin, S. & Cowling, P., 2014, Workshop on Computer Games. Cazenave, T., Winands, M. H. M. & Björnsson, Y. (eds.). Springer International Publishing, p. 133-149 17 p.

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

  78. Predictability enhancement in non-preemptive NoCs using selective packet splitting

    Sudev, B. & Indrusiak, L. S., 3 Nov 2014, Proceedings - 2014 12th IEEE International Conference on Industrial Informatics, INDIN 2014. Institute of Electrical and Electronics Engineers Inc., p. 195-200 6 p.

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

  79. Predictability and utilisation trade-off in the dynamic management of multiple video stream decoding on Network-on-Chip based homogeneous embedded multi-cores

    Mendis, H. R., Indrusiak, L. S. & Audsley, N. C., 8 Oct 2014, RTNS '14: Proceedings of the 22nd International Conference on Real-Time Networks and Systems. Association for Computing Machinery (ACM), p. 161-170 10 p. (ACM International Conference Proceeding Series).

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

  80. Pragmatics, Plasticity, and Permission: A Model for Creativity in Temporary Spaces

    Maxwell, D. & Williams, A., 2014, Proceedings of the 19th DMI: Academic Design Management Conference: Design Management in an Era of Disruption. Bohemia, E., Rieple, A., Liedtka, J. & Cooper, R. (eds.). Design Management Institute, p. 28-48 21 p.

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

  81. Practical issues for configuring carbon nanotube composite materials for computation

    Clegg, K. D., Miller, J. F., Massey, K. & Petty, M., 2014, 2014 IEEE Symposium Series on Computational Intelligence: IEEE International Conference on Evolvable Systems - Proceedings. IEEE, p. 61 - 68 8 p.

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

  82. Power, knowledge and experiments: framing development practice for an uncertain climate future

    Ensor, J. E. & Boyd, E., 2014, Resilience 2014.

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

  83. Potential-based difference rewards for multiagent reinforcement learning

    Devlin, S., Yliniemi, L., Kudenko, D. & Turner, K., 2014, 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 1. p. 165-172 8 p.

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

  84. Plenopticon: video playback for dynamically adaptive depth-of-field

    Green, D., Smith, T. & Schofield, G. P., 26 Apr 2014, CHI '14 Extended Abstracts on Human Factors in Computing Systems. New York: Association for Computing Machinery (ACM), p. 163-164

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

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

  86. Photoalignment studies on azo containing thiophene based acrylates

    Hegde, G., Ata Alla, R., Chambers-Asman, D., Yusoff, M. M., Matharu, A. S. & Komitov, L., 2014, Advanced Materials Research. TRANS TECH PUBLICATIONS LTD, Vol. 895. p. 125-129 5 p. (Advanced Materials Research; vol. 895).

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

  87. Pathways beyond graduation: exploring the characteristics of those who progress to postgraduate study, and the barriers perceived by those who don’t

    Hancock, S., Wakeling, P. & Hampden-Thompson, G., 12 Dec 2014, SRHE Annual Research Conference 2014.

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

  88. Parallelization of Information Set Monte Carlo Tree Search

    Sephton, N., Cowling, P. I., Powley, E., Whitehouse, D. & Slaven, N. H., 2014, 2014 IEEE Congress on Evolutionary Computation (CEC). p. 2290-2297 8 p.

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

  89. Pairing properties of the inner crust of neutron stars at finite temperature

    Pastore, A., 2014, EPJ Web of Conferences . Vol. 66. 4 p. 07019

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

  90. Other peoples’ actions interact within our visual system

    Barraclough, N., 2014, Journal of Vision. Vol. 14. p. 1467 1 p. (Journal of Vision; vol. 14, no. 10).

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

  91. Optimistic Medium Access Control using Gait Analysis in body sensor networks

    Lim, T., Weng, T. & Bate, I., 2014, Proceedings of the 4th International Conference on Wireless Mobile Communication and Healthcare.

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

  92. Optimising Ring Oscillator Frequency on a Novel FPGA Device via Partial Reconfiguration

    Burmester Campos, P., Trefzer, M. A., Walker, J. A., Bale, S. J. & Tyrrell, A., Dec 2014, 11th IEEE International Conference on Evolvable Systems. IEEE, p. 93-100 8 p.

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

  93. On the use of Signatures for Source Incremental Model-to-text Transformation

    Ogunyomi, B. J., Rose, L. M. & Kolovos, D., 2014, Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. SPRINGER, Vol. 8767. p. 84-98 (LNCS).

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

  94. On the nature and content of safety contracts

    Graydon, P. & Bate, I., 2014, Proceedings - 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering, HASE 2014. IEEE Computer Society Press, p. 245-246 2 p. 6754615

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

  95. On the locality of Java 8 streams in real-time big data applications

    Chan, Y., Gray, I., Wellings, A. & Audsley, N., 13 Oct 2014, JTRES '14: Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery (ACM), p. 20-28 9 p. (ACM International Conference Proceeding Series).

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

  96. On the application of Static Probabilistic Timing Analysis to Memory Hierarchies

    Lesage, B. M. J-R., Griffin, D. J., Davis, R. I. & Altmeyer, S., Jul 2014, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 5-6 2 p.

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

  97. On the Correctness, Optimality and Precision of Static Probabilistic Timing Analysis

    Altmeyer, S. & Davis, R. I., Mar 2014, Design Automation and Test Europe (DATE 2014). IEEE, p. 117-122 6 p.

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

  98. On Linear Physical Layer Network Coding for multihop wireless networks

    Burr, A. G. & Fang, D., Sep 2014, Signal Processing Conference, EUSIPCO 2014: Proceedings. Lisbon: IEEE, p. 1153-1157 5 p.

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

  99. On Demand Data Analysis and Filtering for Inaccurate Flight Trajectories

    Zanin, M., Perez, D., Chatterjee, K., Kolovos, D. S., Paige, R. F., Horst, A. & Rumpe, B., 8 Sep 2014, Proceedings of the SESAR Innovation Days (2011) EUROCONTROL. Toulouse

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

  100. Obstacle detection by means of stereo feature matching

    Mittal, A., Bensrhair, A. & Hancock, E. R., 2014, 2014 IEEE International Conference on Image Processing (ICIP). IEEE, p. 1618 - 1622 4 p.

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

  101. Nuclear reaction studies using stored ions

    Glorius, J., Aumann, T., Beinrucker, C., Sánchez-Benítez, A. M., Bishop, S., Boretzky, K., Bosch, F., Brandau, C., Bräuning, H., Davinson, T., De Oliveira Santos, F., Dillmann, I., Dimopoulou, C., Endres, A., Ershova, O., Estrade, A., Ferreira, D., Fülöp, Z., Galaviz, D., Geissel, H. & 50 others, Göbel, K., Gumberidze, A., Gyürky, G., Heftrich, T., Heil, M., Heil, S., Hennig, A., Käppeler, F., Kozhuharov, C., Langer, C., Le Bleis, T., Lederer, C., Litvinov, S., Litvinov, Y. A., Löher, B., Lotay, G., Marganiec, J., Mei, B., Meister, M., Münzenberg, G., Nolden, F., Petri, M., Petridis, N., Plag, R., Popp, U., Randisi, G., Rastrepina, G., Reifarth, R., Riese, B., Rigollet, C., Rossi, D., Savino, G., Scheidenberger, C., Szücs, T., Simon, H., Sonnabend, K., Spillmann, U., Steck, M., Stöhlker, T., Syndikus, I., Törnqvist, H., Trotsenko, S., Urban, L., Weber, G., Weick, H., Weigand, M., Winters, D., Winters, N., Woods, P. & Zhong, Q., 2014, Proceedings of Science. Proceedings of Science (PoS), Vol. 07-11-July-2015. 096

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

  102. Nuclear Energy Density Optimization: UNEDF2

    Kortelainen, M., McDonnell, J., Nazarewicz, W., Olsen, E., Reinhard, P-G., Sarich, J., Schunck, N., Wild, S. M., Davesne, D., Erler, J. & Pastore, A., 15 Oct 2014, JPS Conf.Proc.. Vol. 6. p. 1-6 6 p. 020018

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

  103. Novel Approaches to the Visualization and Quantification of Biological Simulations by Emulating Experimental Techniques

    Butler, J. A., Alden, K. J., Viega-Fernandes, H., Timmis, J. & Coles, M. C., 2014, Artificial Life 14: Proceedings of the Fourteenth International Conference on the Synthesis and Simulation of Living Systems. Sayama, H., Rieffel, J., Risi, S., Doursat, R. & Lipson, H. (eds.). MIT Press, p. 614-621 7 p.

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

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

  105. New Media Use and Music Appreciation: Connections Between Contemporary Access to Music and its Perceived Value

    Egermann, H., Kahlhoefer, D., Schultz, C-M. & Seedorf, M., 2014, Abstract Book of the 13th International Conference of Music Perception and Cognition.

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

  106. Never mind the bollocks, I wanna be anarCHI: a manifesto for punk HCI

    Linehan, C. & Kirman, B., 1 Apr 2014, ACM SIGCHI Conference on Human Factors in Computer Systems. Seoul, Republic of Korea. ACM, p. 741-748 8 p.

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

  107. Negotiating Tradition, Modernity, and Cultural Identity in Contemporary South Africa: the music of Tete Mbambisa, Louis Moholo-Moholo and Zim Ngqawana

    Eato, J. E., 2014, Readings in Ethnomusicology: a collection of papers presented at Ethnomusicology Symposium 2013. Dar es Salaam: University of Dar es Salaam, p. 119-126 8 p.

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

  108. Narrative in the Face of Complexity as a "Limit-of-Sense" Phenomenon

    Walsh, R., 2014, Proceedings of the 7th Narrative Matters Conference, 2014: Narrative Knowing/Récit et Savoir, Jun 2014, Paris, France. <hal-01076891>. 6 p.

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

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

  110. Multivariate partial coherence analysis for identification of neuronal connectivity from multiple electrode array recordings

    Makhtar, S. N., Halliday, D. M., Senik, M. H. & Mason, R., 2014, IEEE Conference on Biomedical Engineering and Sciences (IECBES), 2014 : conference proceedings. Institute of Electrical and Electronics Engineers Inc., p. 77-82 6 p. 7047613

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

  111. Multi-user MIMO across Small Cells

    Finn, D., Ahmadi, H., Cattoni, A. & DaSilva, L. A., 1 Jun 2014, 2014 IEEE International Conference on Communications (ICC). p. 5318-5324 7 p.

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

  112. Multi-objective optimization applied to Systematic conservation Planning and spatial conservation priorities under climate change

    Schlottfeldt, S., Timmis, J., Walter, M. E. M. T., Carvalho, A. C. P. L. F., Diniz-Filho, J. A. F. & Simon, L. M., 2014, GECCO 2014 - Companion Publication of the 2014 Genetic and Evolutionary Computation Conference. Association for Computing Machinery (ACM), p. 177-178 2 p.

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

  113. Models for decision making in video mediated communication

    Weiss, W., Falelakis, M., Kaiser, R. & Ursu, M. F., 16 Nov 2014, UM3I 2014 - Proceedings of the 2014 ACM Workshop on Understanding and Modeling Multiparty, Multimodal Interactions, Co-located with ICMI 2014. Association for Computing Machinery, Inc, p. 45-50 6 p.

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

  114. Modelling of disruption mitigation by massive gas injection

    Fil, A., Nardon, E., Beyer, P., Becoulet, M., Dif-Pradalier, G., Grandgirard, V., Guirlet, R., Hoelzl, M., Huijsmans, G. T. A., Latu, G., Lehnen, M., Loarte, A., Orain, F., Pamela, S., Passeron, C., Reux, C., Saint-Laurent, F., Tamain, P. & JET EFDA contributors, 2014, 41st EPS Conference on Plasma Physics, EPS 2014. European Physical Society (EPS), Vol. 2014-Jun.

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

  115. Modelling and control of an elastically joint-actuated cart-pole underactuated system

    Liu, P., Yu, H. & Cang, S., 2014, 2014 20th International Conference on Automation and Computing. p. 26-31 6 p.

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

  116. Model Driven Grant Proposal Engineering

    Kolovos, D. S., Matragkas, N. D., Williams, J. R. & Paige, R. F., 2014, Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. p. 420-432 13 p.

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

  117. Methods and Algorithms for Unsupervised Learning of Morphology

    Can, B. & Manandhar, S., Aug 2014, Computational Linguistics and Intelligent Text Processing: 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part I. Gelbukh, A. (ed.). SPRINGER, p. 177-205 29 p. (Lecture Notes in Computer Science; vol. 8403).

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

  118. Metaheuristics for the pick-up and delivery problem with contracted orders

    Mourdjis, P., Cowling, P. & Robinson, M., 2014, European Conference on Evolutionary Computation in Combinatorial Optimization. p. 170-181 12 p.

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

  119. Making an ALARP Decision of Sufficient Testing

    Malekzadeh, M. & Bate, I., 2014, Proceedings of the 15th International Symposium on High-Assurance Systems Engineering (HASE). p. 57-64 8 p.

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

  120. Making 3D Printed Objects Interactive Using Wireless Accelerometers

    Hook, J. D., Nappey, T., Hodges, S., Wright, P. C. & Olivier, P., 2014, Extended Abstracts of the ACM Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery (ACM), p. 1435-1440

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

  121. Low Overhead Predictability Enhancement in Non-preemptive Network-On-Chip Routers using Priority Forwarded Packet Splitting

    Sudev, B. & Soares Indrusiak, L., 2014, Proceedings of the 9th International Symposium on Reconfigurable Communication-centric System-on-Chip (ReCoSoC). IEEE, 8 p.

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

  122. Lossy Compression for Static Probabilistic Timing Analysis of Random Replacement Caches

    Griffin, D. J., Lesage, B. M. J-R., Burns, A. & Davis, R. I., Oct 2014, RTNS '14: Proceedings of the 22nd International Conference on Real-Time Networks and Systems. ACM, p. 289-298 10 p.

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

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

  124. Linear wireless physical-layer network coding based on binary matrices for multilayer relay networks

    Burr, A., Fang, D. & Mortazawi Molu, M., 1 Jan 2014, 2014 11th International Symposium on Wireless Communications Systems, ISWCS 2014 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 982-986 5 p. 6933496

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

  125. Linear physical-layer network coding for 5G radio access networks: Invited paper

    Burr, A. G. & Fang, D., Nov 2014, 2014 1st International Conference on 5G for Ubiquitous Connectivity, Levi, Finland. Akaslompolo: IEEE, p. 116-121 6 p.

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

  126. Linear physical layer network coding for multihop wireless networks

    Burr, A. G. & Fang, D., 2014, European Signal Processing Conference. European Signal Processing Conference, EUSIPCO, Vol. 22. p. 1153-1157 5 p. 6952390

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

  127. Linear physical layer network coding based on rings

    Burr, A. & Fang, D., 1 Jan 2014, IEEE Wireless Communications and Networking Conference, WCNC. Institute of Electrical and Electronics Engineers Inc., p. 370-375 6 p. 6952036

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

  128. Linear block physical-layer network coding for multiple-user multiple-relay wireless networks

    Fang, D. & Burr, A., 1 Jan 2014, 2014 31th URSI General Assembly and Scientific Symposium, URSI GASS 2014. Institute of Electrical and Electronics Engineers Inc., 6929288

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

  129. Leverage Deviation, Mergers and Acquisitions, and Corporate Diversification

    Agyei-Boapeah, H., Apr 2014, The 50th British Accounting and Finance Association (BAFA) Conference. 45 p.

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

  130. Learning curves: analysing pace and challenge in four successful puzzle games

    Linehan, C., Bellord, G., Kirman, B., Morford, Z. H. & Roche, B., 1 Oct 2014, ACM SIGCHI Symposium on Play in Computer Human Interaction. p. 181-190 10 p.

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

  131. Knowledge revision for reinforcement learning with abstract MDPs

    Efthymiadis, K., Devlin, S. & Kudenko, D., 2014, 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2. p. 1535-1536 2 p.

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

  132. Joint relay beamforming and power splitting ratio optimization in a multi-antenna relay network

    Yuan, Y., Chu, Z., Ding, Z., Cumanan, K. & Johnston, M., 2014, Wireless Communications and Signal Processing (WCSP): 2014 Sixth International Conference on. IEEE Wireless Communications and Signal Processing (WCSP), 5 p.

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

  133. Iterative non-coherent detected DPSK systems in fast fading channels

    Zhu, K. & Burr, A. G., 10 Nov 2014, Wireless Communications and Networking Conference (WCNC), 2014 IEEE. Institute of Electrical and Electronics Engineers Inc., p. 660-665 6 p. 6952126

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

  134. Investigation of human exposure to magnetic fields from electrical powertrains: measured exposure levels and simulated impact on human body

    Dawson, L., Armstrong, R., Ruddle, A., Low, L. & Rowel, A., Nov 2014, 5th Hybrid and Electric Vehicles Conference (HEVC 2014). London: IET, p. 118-124 7 p.

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

  135. Interpreting the von Neumann entropy of graph Laplacians, and coentropic graphs

    de Beaudrap, N., Giovannetti, V., Severini, S. & Wilson, R. C., Nov 2014, Contemporary Mathematics: A Panorama of Mathematics: Pure and Applied. American Mathematical Society, Vol. 658. p. 227-236

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

  136. Interlopers 3D: experiences designing a stereoscopic game

    Weaver, J. & Holliman, N. S., 6 Mar 2014, Stereoscopic Displays and Applications XXV. San Francisco: SPIE--The International Society for Optical Engineering, Vol. 9011. 12 p. 90110F

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

  137. Interaction science SIG: overcoming challenges

    Howes, A., Cowan, B. R., Janssen, C. P., Cox, A. L., Cairns, P., Hornof, A. J., Payne, S. J. & Pirolli, P., 2014, CHI EA '14: CHI '14 Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 1127-1130 4 p.

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

  138. Integrating Safety Assessment into the Design of Healthcare Service-Oriented Architectures

    Habli, I., Al-Humam, A. A. I., Kelly, T. P. & Fahel, L., 2014, 5th Workshop on Medical Cyber-Physical Systems . Turau, V., Kwiatkowska, M., Mangharam, R. & Weyer, C. (eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 113-123 11 p.

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

  139. Integrating Cache-Related Pre-emption Delays into Analysis of Fixed Priority Scheduling with Pre-emption Thresholds

    Bril, R., Altmeyer, S., van den Heuvel, M., Davis, R. I. & Behnam, M., Dec 2014, Proceedings Real-Time Systems Symposium (RTSS 2014). IEEE, p. 161-172 12 p.

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

  140. Integrating Agile Development Processes and User Centred Design: A Place for Usability Maturity Models?

    Salah, D., Paige, R. F. & Cairns, P. A., 2014, Human-Centered Software Engineering: 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings. p. 108-125 18 p.

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

  141. Institutional models supporting students with disabilities

    Welzer, T., Ward, T. & Grout, I., May 2014, ERASMUS congress and exhibition 2014. Nicosia, Cyprus

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

  142. Innovation in food: observations on an emerging professional domain

    D'Ippolito, B., 2014, DRUID Summer Conference. Copenhagen Business School, DK

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

  143. Inexact End-to-End Response Time Analysis as Fitness Function in Search-based Task Allocation Heuristics for Hard Real-Time Network-on-Chips

    Ma, Y., Mohd Sayuti, M. N. S. & Soares Indrusiak, L., 2014, Proceedings of the 9th International Symposium on Reconfigurable Communication-centric System-on-Chip (ReCoSoC). IEEE, 9 p.

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

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

  145. Improvements to vowel categorization in non-native regional accents resulting from multiple- versus single-talker training: a computational approach

    Wright, S., Shaw, J., Best, C., Docherty, G., Evans, B., Foulkes, P., Hay, J. & Mulak, K., Dec 2014, Proceedings of SST 2014. University of Canterbury, New Zealand, 4 p.

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

  146. Implementation of Slepian Wolf theorem in a distributed cooperative spatial multiplexing system

    Xie, N. & Burr, A., 2014, 20th European Wireless Conference, EW 2014. VDE VERLAG GMBH, p. 689-693 5 p.

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

  147. Impacts of heatwaves on the indoor air quality of offices and their occupants: A glimpse of the future?

    Carslaw, N., Terry, A. & Ashmore, M., 1 Jan 2014, Indoor Air 2014: 13th International Conference on Indoor Air Quality and Climate. International Society of Indoor Air Quality and Climate, Vol. 1. p. 14-19 6 p.

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

  148. Imaging Lattice dynamics in individual nanocrystals

    Clark, J. N., Beitra, L., Xiong, G., Higginbotham, A., Fritz, D. M., Lemke, H. T., Zhu, D., Chollet, M., Williams, G. J., Messerschmidt, M., Abbey, B., Harder, R. J., Korsunsky, A. M., Wark, J. S. & Robinson, I. K., 2014, Optics InfoBase Conference Papers: 19th International Conference on Ultrafast Phenomena 2014. Optical Society of American (OSA)

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

  149. ICRF-enhanced plasma potentials in the SOL of Alcator C-Mod

    Ochoukov, R., Whyte, D. G., Brunner, D., D'Ippolito, D. A., Labombard, B., Lipschultz, B., Myra, J. R., Terry, J. L. & Wukitch, S. J., 1 Jan 2014, AIP Conference Proceedings: 20th Topical Conference of Radio Frequency Power in Plasmas. American Institute of Physics Inc., Vol. 1580. p. 267-270 4 p.

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

  150. How did systems get so safe without adequate analysis methods

    McDermid, J. A. & Rae, A. J., 2014, 9th IET International Conference on System Safety and Cyber Security. London: IET

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

  151. High Performance Computing Systems: Performance Modeling, Benchmarking and Simulation: 4th International Workshop, PMBS 2013 Denver, CO, USA, November 18, 2013 Revised Selected Papers

    Jarvis, S. A., Wright, S. & Hammond, S., 1 Jan 2014, High Performance Computing Systems: Performance Modeling, Benchmarking and Simulation - 4th International Workshop, PMBS 2013, Revised Selected Papers. Springer-Verlag, Vol. 8551. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8551).

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

  152. Heuristics for Mapping Real-Time Applications to NoC-Based Architectures Using Genetic Algorithms

    Bonilha, I. S., Dos Santos, O. M. & Indrusiak, L., 2014, IV Brazilian Symposium on Computing Systems Engineering SBESC 2014 : Proceedings. IEEE Computer Society Press, Vol. 2015-April. p. 144-149 6 p. 7091181

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

  153. Heuristic move pruning in Monte Carlo Tree Search for the strategic card game Lords of War

    Sephton, N., Cowling, P. I., Powley, E. & Slaven, N. H., 2014, 2014 IEEE Conference on Computational Intelligence and Games. IEEE, 8 p.

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

  154. Harmonic generation and Soft-X-Ray laser with LASERIX: Source development, applications and advanced diagnosis

    Guilbaud, O., Kazamias, S., Cassou, K., Pittman, M., Daboussi, S., Delmas, O., Demailly, J., Neveu, O., Pouhe, C., Vodungbo, B., Zeitoun, P., Wilson, L., Tallents, G., Dusseix, A., Richet, G., Gense, A., Nghiem, B. L., Cros, B., Maynard, G. & Ros, D., 1 Jan 2014, X-Ray Lasers 2012: Proceedings of the 13th International Conference on X-Ray Lasers, 11–15 June 2012, Paris, France. Sebban, S., Gautier, J., Ros, D. & Zeitoun, P. (eds.). Springer Science and Business Media, LLC, Vol. 147. p. 109-116 8 p. (Springer Proceedings in Physics; vol. 147).

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

  155. HCI: Human-Computer Improvisation

    Bowers, J., Taylor, R., Hook, J. D., Freeman, D., Newell, C. & Bramley, C., 2014, DIS Companion '14: Proceedings of the 2014 companion publication on Designing interactive systems . New York: Association for Computing Machinery (ACM), p. 203-206 4 p.

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

  156. Guided Structure Formation Using Modular E-pucks

    Hristov, G., Millard, A. G., Hilder, J. A. & Timmis, J., 2014, International Conference on on Intelligent Robots and Systems: Workshop on Swarm and Modular Robotics. IEEE, p. 3

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

  157. Graph Characterization from Entropy Component Analysis

    Ye, C., Wilson, R. C. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 3845-3850 6 p.

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

  158. Graph Characterization Using Wave Kernel Trace

    Aziz, F., Wilson, R. C. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 3822-3827 6 p.

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

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

  160. Game intelligence

    Devlin, S., Cowling, P. I., Kudenko, D., Goumagias, N., Nucciareli, A., Cabras, I., Fernandes, K. J. & Li, F., 2014, 2014 IEEE Conference on Computational Intelligence and Games. p. 1-8 8 p.

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

  161. From Imperative to Rule-based Graph Programs (Extended Abstract)

    Plump, D., 2014, Proceedings 26th Nordic Workshop on Programming Theory (NWPT 2014). 5 p.

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

  162. Foundations for Model-Based Engineering of Systems of Systems

    Fitzgerald, J. S., Larsen, P. G. & Woodcock, J., 2014, Complex Systems Design & Management, Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013, Paris, France, December 4-6, 2013. Aiguier, M., Boulanger, F., Krob, D. & Marchal, C. (eds.). SPRINGER, 19 p.

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

  163. Flexibility of cosine impedance function in 2-D digital waveguide mesh for plosive synthesis

    Rugchatjaroen, A. & Howard, D. M., 9 Jul 2014, Proceedings of the 2014 2nd IEEE China Summit & International Conference on Signal and Information Processing. IEEE, p. 32-26 5 p.

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

  164. Fine-Grained Link Locking Within Power and Latency Transaction Level Modelling in Wormhole Switching Non-Preemptive Networks On Chip

    Harbin, J. R. & Soares Indrusiak, L., 2014, PARMA-DITAM '14 Proceedings of Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and Design Tools and Architectures for Multicore Embedded Computing Platforms. ACM, p. 33-38 6 p.

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

  165. Fifty shades of CHI: the perverse and humiliating human-computer relationship

    Buttrick, L., Linehan, C., Kirman, B. & O'Hara, D., 2014, CHI EA '14: CHI '14 Extended Abstracts on Human Factors in Computing Systems. ACM, p. 825-834 10 p.

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

  166. Feedback-based admission control for task allocation

    Dziurzanski, P., Ghazzawi, H. A. & Indrusiak, L. S., 2014, Proceedings of the 9th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC). IEEE Computer Society Press

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

  167. Fearsquare: hacking open crime data to critique, jam and subvert the 'aesthetic of danger'

    Garbett, A., Wardman, J., Kirman, B., Linehan, C. & Lawson, S., 1 Dec 2014, CHI 2015. ACM, p. 145-152 8 p.

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

  168. Fault Attack on AES via Hardware Trojan Insertion by Dynamic Partial Reconfiguration of FPGA over Ethernet

    Johnson, A. P., Saha, S., Chakraborty, R. S., Mukhopadhyay, D. & Gören, S., Oct 2014, Workshop on Embedded Systems Security (WESS, part of ACM ESWEEK) 2014, New Delhi, India. ACM

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

  169. Extending Hypervisor Architecture to Allow One Way Data Transfers from VMs to Hypervisors

    Jacob, J. L. & Aydin, M. M., Apr 2014, Proceedings of the 4th International Conference on Cloud Computing and Services Science (CLOSER 2014). Helfert, M. (ed.). SciTePress, p. 604-609 6 p.

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

  170. Exploring user expertise and descriptive ability in community question answering

    Yang, B. & Manandhar, S., 10 Oct 2014, ASONAM 2014 - Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining. IEEE, p. 320-327 8 p.

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

  171. Exploring incentivisation in design

    Speed, C., Magee, S., Maxwell, D. & Hartswood, M., 26 Oct 2014, Proceedings of the NordiCHI 2014: : The 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational. Association for Computing Machinery, Inc, p. 845-848 4 p.

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

  172. Exploiting Multicore Architectures in Big Data Applications: The JUNIPER Approach

    Chan, Y., Gray, I., Wellings, A. J. & Audsley, N. C., 2014, Programmability Issues for Heterogeneous Multicores (MULTIPROG).

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

  173. Evaluation of Cache Partitioning for Hard Real-Time Systems

    Altmeyer, S., Douma, R., Lunniss, W. & Davis, R. I., Jul 2014, Real-Time Systems (ECRTS): 2014 26th Euromicro Conference on. IEEE, p. 15-26 12 p.

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

  174. Equivocation performance of linear wireless physical layer network coding

    Burr, A. & Fang, D., 1 Jan 2014, 2014 31st URSI General Assembly and Scientific Symposium, URSI GASS 2014. Institute of Electrical and Electronics Engineers Inc., p. 1132-1135 4 p. 6929284

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

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

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

  177. Engineering UToPiA - Formal Semantics for CML

    Woodcock, J., 2014, FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Jones, C., Pihlajasaari, P. & Sun, J. (eds.). SPRINGER, Vol. 8442. p. 22-41 (Lecture Notes in Computer Science; vol. 8442).

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

  178. Electron diffraction on VELA at Daresbury

    Surman, M., Aden, P., Cash, R. J., Clarke, J. A., Holland, D. M. P., McKenzie, J. W., Roper, M. D., Bryan, W. A., Lane, P. D., Wann, D. A. & Underwood, J. G., 1 Jan 2014, IPAC 2014: Proceedings of the 5th International Particle Accelerator Conference. Joint Accelerator Conferences Website (JACoW), p. 2218-2220 3 p.

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

  179. Electromagnetic Compatibility and Electromagnetic Field issues for FEVs

    Dawson, L., Armstrong, R., Marshman, C. A., Rowel, A. & Ruddle, A., Nov 2014, 5th IET Hybrid and Electric Vehicles Conference (HEVC 2014). London: IET, 6 p.

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

  180. Eisenstein integer based multi-dimensional coded modulation for physical-layer network coding over F4 in the two-way relay channels

    Fang, D., Burr, A. & Wang, Y., 1 Jan 2014, EuCNC 2014: European Conference on Networks and Communications. IEEE Computer Society Press, 5 p. 6882643

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

  181. Efficient runtime quantitative verification using caching, lookahead, and nearly-optimal reconfiguration

    Gerasimou, S., Calinescu, R. & Banks, A., 1 Jan 2014, 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2014 - Proceedings. Association for Computing Machinery (ACM), p. 115-124 10 p.

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

  182. Efficient re-resolution of SMT specifications for evolving software architectures

    Johnson, K. & Calinescu, R., 1 Jan 2014, QoSA 2014: Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (Part of CompArch 2014). Association for Computing Machinery (ACM), p. 93-102 10 p.

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

  183. Effects of task repetition on written language production in Task Based Language Teaching.

    Indrarathne, B., 2014, Proceedings of the 8th International Postgraduate Conference in Linguistics and Language Teaching. Lancaster, p. 41-65 65 p.

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

  184. Effects of short-term exposure to unfamiliar regional accents: Australians' categorization of London and York English consonants

    Shaw, J., Best, C., Mulak, K., Docherty, G., Evans, B., Foulkes, P., Hay, J., Al-Tamimi, J., Mair, K., Peek, M. & Wood, S., Dec 2014, Proceedings of the 15th Australasian International Conference on Speech Science and Technology. Hay, J. & Parnell, E. (eds.). University of Canterbury, New Zealand, 4 p.

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

  185. 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., 1 Jan 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

  186. Easing Parameter Sensitivity Analysis of Netlogo Simulations using SPARTAN

    Alden, K. J., Timmis, J. & Coles, M. C., 2014, The 14th International Conference on the Synthesis and Simulation of Living Systems. MIT Press, p. 622-628 7 p.

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

  187. Dynamic Period Routing for a Complex Real-World System: A Case Study in Storm Drain Maintenance

    Chen, Y., Cowling, P. & Remde, S., 2014, European Conference on Evolutionary Computation in Combinatorial Optimization. Blum, C. & Ochoa, G. (eds.). p. 109-120 12 p.

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

  188. Does corporate diversification influence the debt financing constraints faced by UK overleveraged firms?

    Agyei-Boapeah, H., Sep 2014, The 18th International Academy of Management and Business (IAMB) Conference Proceedings.

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

  189. Does a social pedagogy perspective underpin the views of university students in England, Greece and Norway regarding bullying in schools?

    Kyriacou, C., Stephens, P. & Mylonakou-Keke, I., 1 Sep 2014, (Unpublished) ECER 2014 Conference Programme.

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

  190. Diversity performance of physical layer network coding based on Reed-Solomon codes

    Fang, D. & Burr, A., 1 Jan 2014, 20th European Wireless Conference, EW 2014. VDE VERLAG GMBH, p. 763-767 5 p.

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

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

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

    Bai, L., Hancock, E. R., Ren, P. & Escolano, F., 1 Aug 2014, Pattern Recognition (ICPR), 2014 22nd International Conference on. IEEE, p. 3874-3879 6 p.

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

  193. Direct evidence for orbital angular momentum transfer from electron vortex beam

    Thirunavukkarasu, G., Mousley, M., Babiker, M. & Yuan, J., 2014, Proceedings of the International Microscopy Congress (Proc. IMC 2014). Hozak, P. (ed.). Czech Republic: Czechoslovak Microscopy Society, 1 p. IT-7-P-3442

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

  194. Die Verwendung von hierachrischen linearen Modellen zur Audio-Feature-basierten Vorhersage von kontinuierlichen emotionalen Reaktionen auf Musik

    Graefe, C. & Egermann, H., 2014, Fortschritte der Akustik: DAGA 2014. Deutsche Gesellschaft für Akustik, Vol. 2014. p. 786-787 2 p.

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

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

  196. Design and the routinization of creativity

    D'Ippolito, B., Miozzo, M. & Consoli, D., 2014, Academy of Management Proceedings. Philadelphia, US: Academy of Management (AoM), Vol. 2014.

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

  197. Design and realisation of variable C shaped structured illumination

    Mousley, M., Thirunavukkarasu, G., Babiker, M. & Yuan, J., 2014, Proceedings of the International Microscopy Congress (Proc. IMC 2014). Hozak, P. (ed.). 18th ed. Czech Republic: Czechoslovak Microscopy Society, 1 p. IT-1-P-6020

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

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

  199. Deadline-aware programming and scheduling

    Burns, A. & Wellings, A., 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 8454 LNCS. p. 107-118 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8454 LNCS).

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

  200. Data Flow coverage for Circus-based testing

    Cavalcanti, A. L. C. & Gaudel, M-C., 2014, Fundamental Approaches to Software Engineering. SPRINGER, Vol. 8441. p. 415-429 15 p. (Lecture Notes in Computer Science; vol. 8411).

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

  201. Curvature Estimation for Ricci Flow Embedding

    Xu, E., Wilson, R. C. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 1562-1567 6 p.

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

  202. Correcting 3D scenes estimated from sets of multi-view images using shape-from-contours

    Grum, M. & Bors, A. G., Oct 2014, Proc. 2014 IEEE International Confereence on Image Processing, Paris, France. IEEE, p. 2888-2892 5 p.

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

  203. Coordinated team learning and difference rewards for distributed intrusion response

    Malialis, K., Devlin, S. & Kudenko, D., 2014, ECAI 2014: 21st European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems, PAIS 2014, Proceedings. IOS Press, Vol. 263. p. 1063-1064 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 263).

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

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

  205. Considering Social Sustainability in Company Law Reform: Corporate Goals and Organisational Innovations: Law and the Environment 2014, 12th Annual Conference for Environmental Professionals ‘Integrated Approaches to Environmental Law and Regulation’ Thursday, 3rd April 2014 University College Cork

    Talbot, L. E., 2014, (Unpublished) Law and the Environment 2014, 12th Annual Conference for Environmental Professionals ‘Integrated Approaches to Environmental Law and Regulation’ .

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

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

  207. Community discovery using social links and author-based sentiment topics

    Yang, B. & Manandhar, S., Aug 2014, Proceedings of the 2014 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2014: Workshops held in conjunction with ASONAM 2014. IEEE, p. 580-587 8 p.

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

  208. Communicating National and Temporal Origin of Music: An Experimental Approach to Applied Musical Semantics

    Egermann, H. & Stiegler, C., 2014, Abstract Book of the 13th International Conference of Music Perception and Cognition.

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

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

  210. Coevolutionary learning of swarm behaviors without metrics

    Li, W., Gauci, M. & Gross, R., 2014, GECCO '14: Proceedings of the 2014 Annual Conference on Genetic and Evolutionary Computation. New York: ACM, p. 201-208 8 p.

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

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

  212. Circuit Design Optimisation Using a Modified Genetic Algorithm and Device Layout Motifs

    Xiao, Y., Walker, J. A., Bale, S. J., Trefzer, M. A. & Tyrrell, A., 13 Jan 2014, 2014 IEEE International Conference on Evolvable Systems. IEEE, 9 p.

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

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

  214. Chateaubriand and Byron: Atala and Childe Harold's Pilgrimage I and II

    Minta, S. M. J., 2014, Byron and Latin Culture: Proceedings of the 37th International Byron Society Conference. Cambridge Scholars Publishing, p. 316-332

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

  215. CMSEBA 2014 Workshop Report

    Paige, R. F., Kessentini, M., Langer, P. & Wimmer, M., 2014, CMSEBA 2014: Proceedings of the First International Workshop on Combining Modelling with Search- and Example-Based Approaches co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 28, 2014.. Paige, R., Kessentini, M., Langer, P. & Wimmer, M. (eds.). CEUR Workshop Proceedings, p. 1-6 6 p. (CEUR Workshop Proceedings; vol. 1340).

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

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

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

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

  217. Bewegungsmuster von DJs im Club-Kontext

    Foerstel, A. & Egermann, H., 2014, Tagungsband der 13. Jahrestagung der Gesellschaft für Musikpsychologie.

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

  218. Battery- and aging-aware embedded control systems for electric vehicles

    Chang, W., Proebstl, A., Goswami, D., Zamani, M. & Chakraborty, S., 2014, IEEE Real-Time Systems Symposium (RTSS).

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

  219. Bad Modelling Teaching Practices

    Paige, R. F., Polack, F. A. C., Kolovos, D. S., Rose, L. M., Matragkas, N. D. & Williams, J. R., 2014, EduSymp 2014: Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 29, 2014.. Demuth, B. & Stikkolorum, D. (eds.). CEUR Workshop Proceedings, p. 1-12 12 p. (CEUR Workshop Proceedings; vol. 1346).

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

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

  221. Automated enzyme classification by formal concept analysis

    Coste, F., Garet, G., Groisillier, A., Nicolas, J. & Tonon, T., 1 Jan 2014, Formal Concept Analysis - 12th International Conference, ICFCA 2014, Proceedings. Springer-Verlag, p. 235-250 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8478 LNAI).

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

  222. Authority and judgement in the digital archive

    Dix, A., Cowgill, R., Bashford, C., McVeigh, S. & Ridgewell, R., 12 Sep 2014, Proceedings of the 1st International Workshop on Digital Libraries for Musicology. Association for Computing Machinery (ACM), p. 1-8 8 p.

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

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

  224. Attentional modulation of repetition suppression effects in human face- and voice-sensitive cortex

    Kikuchi, Y., Ip, J., Mossom, J., Barraclough, N., Petkov, C. & Vuong, Q., 2014, Neuroscience Meeting Planner. Society for Neuroscience

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

  225. Atomic-resolution elemental mapping of precipitates in a 7449 aluminium alloy

    Wenner, S., Marioara, C. D., Lefebvre, W., Ramasse, Q. M., Kepaptsoglou, D. M., Hage, F. S. & Holmestad, R., 2014, Aluminium Alloys, ICAA 2014. TRANS TECH PUBLICATIONS LTD, Vol. 794-796. p. 63-67 5 p. (Materials Science Forum; vol. 794-796).

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

  226. Assuring Safety for Component Based Software Engineering

    Conmy, P. & Bate, I., 2014, Proceedings of the 15th International Symposium on High-Assurance Systems Engineering (HASE). p. 121-128 8 p.

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

  227. Assigning Semantics to Graphical Concrete Syntaxes

    Zolotas, A., Kolovos, D. S., Matragkas, N. D. & Paige, R. F., 2014, XM 2014: Proceedings of the 3rd Workshop on Extreme Modeling co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages Systems, XM@MoDELS 2014, Valencia, Spain, September 29, 2014.. Di Ruscio, D., de Lara, J. & Pierantonio, A. (eds.). CEUR Workshop Proceedings, p. 12-21 10 p. (CEUR Workshop Proceedings; vol. 1239).

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

  228. Assessment of a field-aligned ICRF antenna

    Wukitch, S. J., Brunner, D., Ennever, P., Garrett, M. L., Hubbard, A., Labombard, B., Lau, C., Lin, Y., Lipschultz, B., Miller, D., Ochoukov, R., Porkolab, M., Reinke, M. L. & Terry, J. L., 2014, AIP Conference Proceedings. American Institute of Physics Inc., Vol. 1580. p. 73-80 8 p.

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

  229. Assessing the Plausibility of Non-Individualised Dynamic Binaural Synthesis in a Small Room

    Pike, C., Melchior, F. & Tew, A. I., 26 Aug 2014, Audio Engineering Society, 55th International Conference: Spatial Audio. Helsinki, Finland, 6-1

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

  230. Architecture-awareness for real-time big data systems

    Gray, I., Audsley, N. C., Chan, Y. & Wellings, A., 9 Sep 2014, ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), p. 151-156 6 p.

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

  231. Analysing the 'biodiversity' of open source ecosystems: the GitHub case

    Matragkas, N. D., Williams, J. R., Kolovos, D. S. & Paige, R. F., 2014, MSR 2014: Proceedings of the 11th Working Conference on Mining Software Repositories. ACM, p. 356-359 4 p.

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

  232. An audit of documented referral information for children referred to a UK paediatric and young person's hospice

    McKeating, C., Koodiyedath, B., Nicholson, J. & Miller, M., 1 Mar 2014, BMJ Supportive & Palliative Care. Vol. 4(Suppl_1):A109. p. 273 1 p.

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

  233. An approach for managing semantic heterogeneity in Systems of Systems Engineering

    Foster, S., Miyazawa, A., Woodcock, J. C. P., Cavalcanti, A. L. C., Fitzgerald, J. & Larsen, P. G., 2014, 9th International Conference on Systems of Systems Engineering (2014). Cook, S., Ireland, V., Gorod, A., Ferris, T. & Do, Q. (eds.). IEEE, p. 113-118 6 p. (IEEE Systems Journal).

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

  234. An Evaluation Template for Expert Review of Maturity Models

    Salah, D., Paige, R. F. & Cairns, P. A., 2014, Product-Focused Software Process Improvement: 15th International Conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014. Proceedings. Springer, p. 318-321 4 p. (Lecture Notes in Computer Science; vol. 8892).

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

  235. An Attributed Graph Kernel from the Jensen-Shannon Divergence

    Bai, L., Bunke, H. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 88-93 6 p.

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

  236. An Approach to Maintaining Safety Case Evidence After A System Change

    Jaradat, O., Graydon, P. & Bate, I., 2014, Proceedings of the 10th European Dependable Computing Conference.

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

  237. Additive Archaeology: The Spirit of Virtual Archaeology Reprinted

    Beale, G. & Reilly, P., Mar 2014, Archaeological Research in the Digital Age. : Proceedings of the 1st Conference on Computer Applications and Quantitative Methods in Archaeology Greek Chapter (CAA-GR) Rethymno, Crete, 6-8 March 2014. Papadopulos, C., Paliou, E., Chrysanthi, A., Kotoula, E. & Sarris, A. (eds.). Rethymno: Rethymno: Institute for Mediterranean Studies – Foundation of Research and Technology (IMS-Forth), p. 120-128 8 p.

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

  238. Adaptive model learning for continual verification of non-functional properties

    Calinescu, R., Rafiq, Y., Johnson, K. & Bakir, M. E., 1 Jan 2014, ICPE 2014: Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering. Association for Computing Machinery (ACM), p. 87-98 12 p.

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

  239. Adaptive Mixed Criticality Scheduling with Deferred Preemption

    Burns, A. & Davis, R. I., Dec 2014, Proceedings: 2014 IEEE Real-Time Systems Symposium (RTSS 2014). IEEE, p. 21-30 10 p.

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

  240. Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling with Local EDF Scheduler

    Lunniss, W., Altmeyer, S. & Davis, R. I., Aug 2014, Junior Researcher Workshop on Real-Time Computing (JRWRTC). p. 13-16 4 p.

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

  241. Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling

    Lunniss, W. R. E., Altmeyer, S., Lipari, G. & Davis, R. I., 2014, Real-Time Networks and Systems (RTNS). New York: ACM, p. 183-192 10 p.

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

  242. A systematic literature review for agile development processes and user centred design integration

    Salah, D., Paige, R. F. & Cairns, P. A., 2014, 18th International Conference on Evaluation and Assessment in Software Engineering, EASE '14, London, England, United Kingdom, May 13-14, 2014. p. 1-10

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

  243. A rights based approach to adaptive capacity

    Ensor, J. E., Park, S., Hoddy, E. T. & Ratner, B., 2014, Resilience 2014.

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

  244. A phylogenetic classification of the video-game industry’s business model ecosystem

    Goumagias, N., Cabras, I., Fernandes, K. J., Li, F., Nucciarelli, A., Cowling, P., Devlin, S. & Kudenko, D., 2014, Working Conference on Virtual Enterprises. Camarinha-Matos, L. M. & Afsarmanesh, H. (eds.). Springer Berlin / Heidelberg, p. 285-294 10 p.

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

  245. A new front-end high-resolution sampling board for the new-generation electronics of EXOGAM2 and NEDA detectors

    Egea, F. J., Gonzalez, V., Tripon, M., Jastrzab, M., Triossi, A., Gadea, A., De France, G., Valiente-Dobon, J. J., Blasco, J. M., Barrientos, D., Sanchis, E., Boujrad, A., Houarner, C., Blaizot, M., Bourgault, P., De Angelis, G., Erduran, M. N., Erturk, S., Huyuk, T., Jaworski, G. & 8 others, Luo, X. L., Modamio, V., Moszynski, M., Di Nitto, A., Nyberg, J., Soderstrom, P. A., Palacz, M. & Wadsworth, R., 1 Jan 2014, 2014 19th IEEE-NPSS Real Time Conference, RT 2014: Conference Records. Institute of Electrical and Electronics Engineers Inc., 3 p. 7097539

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

  246. A modular theory of object orientation in higher-order UTP

    Zeyda, F., Santos, T. L. V. L., Cavalcanti, A. L. C. & Sampaio, A. C. A., 2014, FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. SPRINGER, p. 627-642 16 p. (Lecture Notes in Computer Science; vol. 8442).

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

  247. A modelling study of limonene oxidation products following cleaning activities

    Carslaw, N., 1 Jan 2014, Indoor Air 2014: 13th International Conference on Indoor Air Quality and Climate. International Society of Indoor Air Quality and Climate, p. 9-13 5 p.

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

  248. A graph kernel from the depth-based representation

    Bai, L., Ren, P., Bai, X. & Hancock, E. R., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Franti, P., Brown, G., Loog, M., Escolano, F. & Pelillo, M. (eds.). Springer-Verlag, Vol. 8621. p. 1-11 11 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

  249. A digital front-end electronics for the neutron detector NEDA

    Egea, F. J., Houarner, C., Boujrad, A., Gonzalez, V., Tripon, M., Jastrzab, M., Triossi, A., De France, G., Gadea, A., Valiente-Dobon, J. J., Sanchis, E., Barrientos, D., Blaizot, M., Bourgault, P., De Angelis, G., Erduran, M. N., Erturk, S., Huyuk, T., Jaworski, G., Luo, X. L. & 7 others, Modamio, V., Moszynski, M., Di Nitto, A., Nyberg, J., Soderstrom, P. A., Palacz, M. & Wadsworth, R., 1 Jan 2014, 2014 19th IEEE-NPSS Real Time Conference, RT 2014: Conference Records. Institute of Electrical and Electronics Engineers Inc., 2 p. 7097536

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

  250. A Wormhole NoC Protocol for Mixed Criticality Systems

    Burns, A., Harbin, J. & Indrusiak, L. S., 1 Dec 2014, Real-Time Systems Symposium (RTSS), 2014 IEEE. IEEE, p. 184-195 12 p.

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

  251. A Unification Algorithm for GP

    Plump, D. & Hristakiev, I., 2014, Proceedings 5th International Workshop Graph Computation Models (GCM 2014). Echahed, R., Habel, A. & Mosbah, M. (eds.). GCM, p. 60-75 16 p.

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

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

  253. A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.

    Antonino, P., Sampaio, A. & Woodcock, J., 2014, FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Jones, C., Pihlajasaari, P. & Sun, J. (eds.). SPRINGER, Vol. 8442. p. 62-77 (Lecture Notes in Computer Science; vol. 8442).

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

  254. A Low-cost Real-time Tracking Infrastructure for Ground-based Robot Swarms

    Millard, A. G., Hilder, J. A., Winfield, A. F. T. & Timmis, J., 2014, Swarm Intelligence: 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings. Dorigo, M., Birattari, M., Garnier, S., Hamann, H., Montes de Oca, M., Solnon, C. & Stützle, T. (eds.). Springer, p. 278-289 2 p. (Lecture Notes in Computer Science; vol. 8667).

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

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

  256. A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence

    Shah, S. M. A., Wei, R., Kolovos, D., Rose, L. M., Paige, R. F. & Barmpis, K., 2014, Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. SPRINGER, p. 586-601 16 p. (LNCS).

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

  257. A Formal Model for Natural-Language Timed Requirements of Reactive Systems

    Carvalho, G., Carvalho, A., Rocha, E., Cavalcanti, A. L. C. & Sampaio, A. C. A., 2014, Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. Merz, S. & Pang, J. (eds.). SPRINGER, p. 43-58 16 p. (Lecture Notes in Computer Science; vol. 8829).

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

  258. A Dynamic Embedding Algorithm for Wireless Network Virtualization

    Belt, J. V. D., Ahmadi, H. & Doyle, L. E., 1 Sep 2014, 2014 IEEE 80th Vehicular Technology Conference (VTC2014-Fall). p. 1-6 6 p.

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

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

  260. A Characterisation of the Workload on an Engineering Design Grid

    Burkimsher, A., Bate, I. J. & Indrusiak, L. S., 2014, Proceedings of the 22nd High Performance Computing Symposium (HPC). San Diego: Society for Computer Simulation International, p. 639-646 8 p. 8

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

  261. A Candid Industrial Evaluation of Formal Software Verification using Model Checking

    Bennion, M. & Habli, I., 2014, ICSE Companion 2014: Companion Proceedings of the 36th International Conference on Software Engineering. ACM, p. 175-184 10 p.

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

  262. 3DMIN - Challenges and Interventions for the Design, Development and Dissemination of New Musical Instruments.

    Bovermann, T., Egermann, H., Foerstel, A., Hardjowirogo, S-I., Hinrichsen, A., Hildebrand Marques Lopes, D., Pysiewicz, A., Weinzierl, S. & de Campo, A., 2014, Proceedings of the 40th International Computer Music Conference. International Computer Music Association, Vol. 2014. 5 p.

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

  263. 3D sound and 3D image interactions: a review of audio-visual depth perception

    Berry, J., Roberts, D. & Holliman, N. S., 25 Feb 2014, Human Vision and Electronic Imaging XIX. Rogowitz, B. E., Pappas, T. N. & de Ridder, H. (eds.). San Francisco: SPIE--The International Society for Optical Engineering, Vol. 9014. 16 p.

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