Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  260. 2013
  261. Angular distribution in the neutron-induced fission of actinides

    Leong, L. S., Tassan-Got, L., Tarrio, D., Audouin, L., Paradela, C., Duran, I., Le Naour, C., Altstadt, S., Andrzejewsky, J., Barbagallo, M., Bécares, V., Bečvář, F., Belloni, F., Berthoumieux, E., Billowes, J., Boccone, V., Bosnar, D., Brugger, M., Calvino, F., Calviani, M. & 86 others, Cano-Ott, D., Carrapiço, C., Cerutti, F., Chiaveri, E., Chin, M., Colonna, N., Cortés, G., Cortés-Giraldo, M. A., Diakaki, M., Domingo-Pardo, C., Dressler, R., Dzysiuk, N., Eleftheriadis, C., Ferrari, A., Fraval, K., Ganesan, S., García, A. R., Giubrone, G., Gómez-Hornillos, M. B., Gonçalves, I. F., González, R., Griesmayer, E., Guerrero, C., Gunsing, F., Gurusamy, P., Jenkins, D. G., Jericha, E., Kadi, E., Käppeler, F., Karadimos, D., Kivel, N., Koehler, P., Kokkoris, M., Korschinek, G., Kroll, J., Krtička, M., Langer, C., Lederer, C., Leeb, H., Losito, R., Manousos, A., Marganiec, J., Massimi, C., Martínez, T., Mastinu, P. F., Mastromarco, M., Meaze, M., Mengon, A., Mendoza, E., Milazzo, P. M., Mingrone, T., Mirea, M., Mondelaers, W., Pavlik, A., Perkowski, J., Pignatari, M., Plompen, A., Praena, J., Quesada, J. M., Rauscher, T., Reifhart, R., Riego, A., Roman, F., Rubbia, C., Sarmento, R., Schillebeeckx, P., Schmidt, S., Schumann, D., Taín, J. L., Tagliente, G., Tsinganis, A., Valenta, S., Vannini, G., Variale, V., Vaz, P., Ventura, A., Versaci, R., Vermeulen, M. J., Vlachoudis, V., Vlastou, V., Wallner, A., Ware, T., Weigand, M., Weiß, C., Wright, T. & Zç, G., 1 Dec 2013, EPJ Web of Conferences. Vol. 62. p. 1-7 08003

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

  262. Developing self-verifying service-based systems

    Calinescu, R., Johnson, K. & Rafiq, Y., 1 Dec 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings. p. 734-737 6693145

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

  263. Fixed-priority scheduling of dual-criticality systems

    Baruah, S. & Burns, A., 1 Dec 2013, ACM International Conference Proceeding Series. ACM, p. 173-181 9 p.

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

  264. High-power laser experiments to study collisionless shock generation

    Sakawa, Y., Kuramitsu, Y., Morita, T., Kato, T., Tanji, H., Ide, T., Nishio, K., Kuwada, M., Tsubouchi, T., Ide, H., Norimatsu, T., Gregory, C., Woolsey, N., Schaar, K., Murphy, C., Gregori, G., Diziere, A., Pelka, A., Koenig, M., Wang, S. & 11 others, Dong, Q., Li, Y., Park, H. S., Ross, S., Kugland, N., Ryutov, D., Remington, B., Spitkovsky, A., Froula, D., Takabe, H. & Woolsey, N. C., 1 Dec 2013, EPJ Web of Conferences. Vol. 59. 15001

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

  265. Implosion and heating experiments of fast ignition targets by Gekko-XII and LFEX lasers

    Shiraga, H., Fujioka, S., Nakai, M., Watari, T., Nakamura, H., Arikawa, Y., Hosoda, H., Nagai, T., Koga, M., Kikuchi, H., Ishii, Y., Sogo, T., Shigemori, K., Nishimura, H., Zhang, Z., Tanabe, M., Ohira, S., Fujii, Y., Namimoto, T., Sakawa, Y. & 38 others, Maegawa, O., Ozaki, T., Tanaka, K. A., Habara, H., Iwawaki, T., Shimada, K., Key, M., Norreys, P., Pasley, J., Nagatomo, H., Johzaki, T., Sunahara, A., Murakami, M., Sakagami, H., Taguchi, T., Norimatsu, T., Homma, H., Fujimoto, Y., Iwamoto, A., Miyanaga, N., Kawanaka, J., Kanabe, T., Jitsuno, T., Nakata, Y., Tsubakimoto, K., Sueda, K., Kodama, R., Kondo, K., Morio, N., Matsuo, S., Kawasaki, T., Sawai, K., Tsuji, K., Murakami, H., Sarukura, N., Shimizu, T., Mima, K. & Azechi, H., 1 Dec 2013, EPJ Web of Conferences. Vol. 59. p. 1-6 6 p. 01008

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

  266. Joint iterative receiver design and multi-segmental channel estimation for OFDM systems over Rapidly Time-Varying Channels

    Li, L., Burr, A. G. & Caiado De Lamare, R., 1 Dec 2013, IEEE Vehicular Technology Conference. p. 1-5 5 p. 6692608

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

  267. Laboratory experiments on plasma jets in a magnetic field using high-power lasers

    Nishio, K., Sakawa, Y., Kuramitsu, Y., Morita, T., Ide, T., Kuwada, M., Koga, M., Kato, T., Norimatsu, T., Gregory, C., Woolsey, N., Murphy, C., Gregori, G., Schaar, K., Diziere, A., Koenig, M., Pelka, A., Wang, S., Dong, Q., Li, Y. & 1 others, Takabe, H., 1 Dec 2013, EPJ Web of Conferences. Vol. 59. 15005

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

  268. Low-complexity channel selection and iterative detection for overloaded uplink multiuser MIMO OFDM system

    Chen, M. & Burr, A. G., 1 Dec 2013, IEEE Vehicular Technology Conference. p. 1-5 5 p. 6692621

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

  269. Multilevel coded linear physical-layer network coding with extended mapping in Galois Field for Rayleigh fading two-way relay channels

    Fang, D. & Burr, A., 1 Dec 2013, IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC. p. 95-99 5 p. 6666111

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

  270. Onset of collectivity in neutron-rich Sr and Kr isotopes: Prompt spectroscopy after Coulomb excitation at REX-ISOLDE, CERN

    Clément, E., Görgen, A., Dijon, A., De France, G., Bastin, B., Blazhev, A., Bree, N., Butler, P., Delahaye, P., Ekstrom, A., Georgiev, G., Hasan, N., Iwanicki, J., Jenkins, D., Korten, W., Larsen, A. C., Ljungvall, J., Moschner, K., Napiorkowski, P., Pakarinen, J. & 26 others, Petts, A., Renstrom, T., Seidlitz, M., Siem, S., Sotty, C., Srebrny, J., Stefanescu, I., Tveten, G. M., Van De Walle, J., Warr, N., Wrzosek-Lipska, K., Zielińska, M., Bauer, C., Bruyneel, B., Butterworth, J., Fitzpatrick, C., Fransen, C., Gernhäuser, R., Hess, H., Lutter, R., Marley, P., Reiter, P., Siebeck, B., Vermeulen, M., Wiens, A. & De Witte, H., 1 Dec 2013, EPJ Web of Conferences. Vol. 62. 01003

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

  271. Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy

    Patrick, M., Alexander, R., Oriol, M. & Clark, J. A., 1 Dec 2013, Software Engineering Conference (APSEC, 2013 20th Asia-Pacific). Vol. 1. p. 91-98 8 p.

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

  272. A comparison of major issues for the development of forensics in cloud computing

    Jacob, J. L. & Aydin, M., Dec 2013, Proceedings 2013 8th International Conference for Internet Technology and Secured Transactions (ICITST). p. 77--82

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

  273. Limited Pre-emptive Global Fixed Task Priority

    Marinho, J., Nelis, V., Petters, S., Bertogna, M. & Davis, R. I., Dec 2013, Real-Time Systems Symposium (RTSS). p. 182-191

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

  274. Systematic techniques for assisting recruitment to trials (START): developing the science of recruitment

    Rick, J., Bower, P., Collier, D., Eldridge, S., Graffy, J., Kennedy, A., Knapp, P., Hughes-Morley, A., Salisbury, C., Small, N., Torgerson, D. J., Treweek, S. & Wallace, P., 30 Nov 2013, Trials. 1 ed. Vol. 14. p. 1 1 p.

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

  275. Safety-critical Java level 2: Motivations, example applications and issues

    Wellings, A., Luckcuck, M. & Cavalcanti, A., 15 Nov 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2013. p. 48-57 10 p.

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

  276. BOLLOCKS!! Designing pervasive games that play with the social rules of built environments

    Linehan, C., Bull, N. & Kirman, B., 1 Nov 2013, Springer Advances in Computer Entertainment (ACE). Springer, Vol. 8253. p. 123-137 15 p.

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

  277. Finding test data with specific properties via metaheuristic search

    Feldt, R. & Poulding, S., 1 Nov 2013, Software Reliability Engineering (ISSRE), 2013 IEEE 24th International Symposium on. p. 350-359

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

  278. How well are we meeting the educational expectations of EIE students?

    Ward, T., Nov 2013, IETEC’ 13. Ho Chi Min City, Vietnam

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

  279. Designs with angelic nondeterminism

    Ribeiro, P. & Cavalcanti, A., 30 Oct 2013, Proceedings - 2013 International Symposium on Theoretical Aspects of Software Engineering, TASE 2013. p. 71-78 8 p. 6597880

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

  280. Towards autonomic cloud services engineering via intention workflow model

    Baker, T., Rana, O. F., Calinescu, R., Tolosana-Calasanz, R. & Bañares, J. Á., 30 Oct 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8193. p. 212-227 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8193 LNCS).

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

  281. Web accessibility for older adults: effects of line spacing and text justification on reading web pages

    Petrie, H., Kamollimsakul, S. & Power, C. D., 21 Oct 2013, ASSETS '13 Proceedings of the 15th International ACM SIGACCESS Conference on Computers and Accessibility. ACM, 77

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

  282. A Schedulability Compatible Multiprocessor Resource Sharing Protocol - MrsP

    Burns, A. & Wellings, A. J., 15 Oct 2013, Proceedings - Euromicro Conference on Real-Time Systems. p. 282-291 10 p. 6602108

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

  283. Investigation into the Errors in the CISPR 12 Full Vehicle Radiated Emissions Measurements Due to Vehicle Directivity

    Paterson, M. & Dawson, J., 1 Oct 2013, Sixth York Doctoral Symposium on Computer Science Electronics. p. 86 1 p.

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

  284. Strategic Alignment of Electrical and Information Engineering in European Higher Education Institutions – Erasmus Network Project

    Ward, T., Bencheva, N. & Ruseva, Y., Oct 2013, Annual Scientific Conference of University of Ruse and Union of Scientists. Ruse, Bulgaria, p. 96-100 5 p.

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

  285. The assessment of public speaking: A pan-European view

    Ward, T., Oct 2013, 27. “The assessment of public speaking – A pan-European view”, Ward AE, 12th International Conference on Information Technology based Higher Education and Training (ITHET). Antalya, Turkey

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

  286. High energy density plasmas produced by x-ray and extreme ultraviolet lasers

    Rossall, A., Aslanyan, V. & Tallents, G., 30 Sep 2013, Proc. SPIE 8849, X-Ray Lasers and Coherent X-Ray Sources: Development and Applications X. SPIE, Vol. 8849. p. 884912

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

  287. Probing of laser-irradiated solid targets using extreme ultraviolet radiation

    Tallents, G. J., Shahzad, M., Rossall, A., Guilbaud, O., Kazamas, S., Pittman, M., Cassou, K., Demailly, J-P., Delmas, O., Mestrallain, A., Aslanyan, V., Culfa, O., Wilson, L. A., Farjardo, M. & Ros, D., 30 Sep 2013, Proc. SPIE 8849, X-Ray Lasers and Coherent X-Ray Sources: Development and Applications X. Vol. 8849. p. 884911

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

  288. Automated calibration of agent-based immunological simulations

    Read, M. N., Tripp, M., Leonova, H., Rose, L. M. & Timmis, J., 2 Sep 2013, Advances in Artificial Life, ECAL 2013: Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems. MIT Press, p. 874-875 (Complex Adaptive Systems).

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

  289. B-Format Acoustic Impulse Response Measurement and Analysis In the Forest at Koli National Park, Finland

    Shelley, S. B., Murphy, D. T. & Chadwick, A. J., 2 Sep 2013, Proceedings of the 16th International Conference on Digital Audio Effects (DAFx13). Maynooth, p. 351-355 5 p.

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

  290. Real-time dynamic image-source implementation for auralisation

    Oliveira, A., Campos, G., Dias, P., Murphy, D. T., Viera, J., Mendonça, C. & Santos, J., 2 Sep 2013, Proceedings of the 16th International Conference on Digital Audio Effects. Maynooth, p. 368-372 5 p.

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

  291. Towards a Scalable Cloud Platform for Search-Based Probabilistic Testing

    Rose, L. M., Poulding, S., Feldt, R. & Paige, R. F., 1 Sep 2013, Software Maintenance (ICSM), 2013 29th IEEE International Conference on. p. 480-483

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

  292. A Scalable Architecture for General Real-Time Array-Based DSP on FPGAs with Application to the Wave Equation

    Kirk, R. & Wells, J., Sep 2013, Proceedings of the 16th International Conference on Digital Audio Effects (DAFx13).

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

  293. Quantum measurements constrained by symmetries

    Busch, P. & D. Loveridge, L., Sep 2013, Symmetries and groups in contemporary physics: Proceedings of the XXIX International Colloquium on Group-Theoretical Methods in Physics. Bai, C., Gazeau, J-P. & Ge, M-L. (eds.). Singapore: World Scientific Publishing, Vol. 11. p. 587-592 6 p. (Nankai Series in Pure, Applied Mathematics and Theoretical Physics; vol. 11).

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

  294. Iterative non-coherent detection of serially-concatenated codes with differential modulation

    Zhu, K. & Burr, A. G., 21 Aug 2013, IEEE Wireless Communications and Networking Conference, WCNC. p. 3969-3973 5 p. 6555211

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

  295. Two-way non-coherent Physical-Layer Network Coded differential distributed space-time block coding

    Zhu, K. & Burr, A. G., 21 Aug 2013, IEEE Wireless Communications and Networking Conference, WCNC. p. 2416-2421 6 p. 6554939

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

  296. A wide-band hybrid antenna for use in reverberation chambers

    Marvin, A. C., Esposito, G., Dawson, J. F., Flintoft, I. D., Dawson, L., Everard, J. A. K. & Melia, G. C. R., 1 Aug 2013, Electromagnetic Compatibility (EMC), 2013 IEEE International Symposium on. p. 222-226

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

  297. Analyzing deceptive speech

    Kirchhübel, C., Stedmon, A. W. & Howard, D. M., 1 Aug 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 1 ed. Vol. 8019 LNAI. p. 134-141 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8019 LNAI, no. PART 1).

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

  298. Global Fixed Priority Scheduling with Deferred Pre-emption

    Davis, R. I., Burns, A., Marinho, J., Nelis, V., Petters, S. & Bertogna, M., 1 Aug 2013, IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). p. 1-11

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

  299. The Role of Architectural Model Checking in Conducting Preliminary Safety Assessment

    Jaradat, O., Graydon, P. & Bate, I., 1 Aug 2013, Proceedings of the 31st International System Safety Conference (ISSC), System Safety Society.

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

  300. An Extended Fixed Priority Scheme for Mixed Criticality Systems

    Baruah, S., Burns, A. & Davis, R. I., Aug 2013, Workshop on Real-Time Mixed Criticality Systems (ReTiMics). George, L. & Lipari, G. (eds.). p. 18-24 7 p.

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

  301. Direct optical measurements of reactive nitrogen species (RNS) in cold atmospheric-pressure plasma jets

    West, A. T., Niemi, K., O'Connell, D., Gans, T. & Wagenaars, E., Aug 2013, Proc 21st ISPC. p. 1-3 3 p. 106OR

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

  302. Transmission through a two dimensional quantum metamaterial

    Wilson, R. D., Everitt, M. J., Samson, J. H., Savelev, S. E., Zagoskin, A. M. & Spiller, T. P., 24 Jul 2013, Proceedings of SPIE - The International Society for Optical Engineering. Vol. 8771. 87710Z

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

  303. An imprecise boosting-like approach to regression

    Wiencierz, A. & Utkin, L. V., Jul 2013, Proceedings of the 8th International Symposium on Imprecise Probability: Theories and Applications. p. 345-354

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

  304. Analysis of probabilistic cache related pre-emption delays for systems with random cache replacement policies

    Davis, R. I., Santinelli, L., Altmeyer, S., Maiza, C. & Cucu-Grosjean, L., Jul 2013, Euromicro Conference on Real-Time Systems. IEEE, p. 168-179

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

  305. Characterisation of Movement Disorder in Parkinson's Disease using Evolutionary Algorithms

    Lacy, S., Lones, M. A., Smith, S. L., Alty, J. E., Jamieson, S., Possin, K. & Schuff, N., Jul 2013, Proceedings of the 2013 Genetic and Evolutionary Computation Conference (GECCO). Blum, C. & Alba, E. (eds.). ACM Digital Library, p. 1479-1486

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

  306. Improvements to Static Probabilistic Timing Analysis for Systems with Random Cache Replacement Policies

    Davis, R., Jul 2013, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 22-24

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

  307. Mixed Criticality on Controller Area Network (CAN)

    Burns, A. & Davis, R., Jul 2013, Euromicro Conference on Real-Time Systems. IEEE, p. 125-134

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

  308. Static Probabilistic Timing Analysis for Multicore Processors with Shared Cache

    Davis, R., Jul 2013, Real-Time Scheduling Open Problems Seminar (RTSOPS). p. 3-5

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

  309. A research roadmap towards achieving scalability in model driven engineering

    Kolovos, D., Rose, L. M., Matragkas, N., Paige, R. F., Guerra, E., Sánchez Cuadrado, J., de Lara, J., Ráth, I., Varró, D., Tisi, M. & Cabot, J., 17 Jun 2013, Proceedings of the Workshop on Scalability in Model Driven Engineering. ACM, 2. (ACM International Conference Proceeding Series).

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

  310. Gel and hydroflotation agents prevent adhesion formation after gynaecological surgery

    Mackie, F. L., Iles, D., Metwally, M., Dias, S., Watson, A. & Ahmad, G., 1 Jun 2013, BJOG: An International Journal of Obstetrics & Gynaecology. S1 ed. Vol. 120. p. 380-380 1 p.

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

  311. 3D scene correction using disparities with its projections

    Grum, M. & Bors, A. G., Jun 2013, Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing, Seoul, Korea, . IEEE, p. 1-4 4 p.

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

  312. Distributed cooperative spatial multiplexing with Slepian Wolf code

    Xie, N. & Burr, A., Jun 2013, IEEE Vehicular Technology Conference. 5 p. 6692508

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

  313. Minimal surface distortion function for optimizing 3D watermarking

    Bors, A. G. & Luo, M., Jun 2013, Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing, Seoul, Korea. IEEE, p. 1-4 4 p.

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

  314. Log2cloud: Log-based prediction of cost-performance trade-offs for cloud deployments

    Perez-Palacin, D., Calinescu, R. & Merseguer, J., 27 May 2013, Proceedings of the ACM Symposium on Applied Computing. p. 397-404

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

  315. Complementing metaheuristic search with higher abstraction techniques

    Burton, F. R. & Poulding, S., 1 May 2013, Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop on. IEEE, p. 45-48

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

  316. Efficient probabilistic testing of model transformations using search

    Rose, L. M. & Poulding, S., 1 May 2013, Combining Modelling and Search-Based Software Engineering (CMSBSE), 2013 1st International Workshop on. IEEE, p. 16-21

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

  317. Improving the Dependability of Sensornets

    Fairbairn, M. L., Bate, I. & Stankovic, J., 1 May 2013, The 9th IEEE International Conference on Distributed Computing in Sensor Systems 2013 (IEEE DCoSS 2013). Cambridge, USA

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

  318. Using Feedback Control Within WSN's to Meet Application Requirements

    Fairbairn, M. L. & Bate, I., 1 May 2013, 5th Workshop on Performance Control in Wireless Sensor Networks 2013 (PWSN2013). Cambridge, USA

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

  319. Preliminary findings to design EIE curriculua harmonised to the technical global challenges

    Poboroniuc, M., Cojocaru, D., Livint, G., Ward, T., Cachia, E. & Bencheva, N., May 2013, 24th EAEEIE Annual Conference. Chania, Greece, p. 198-203 6 p.

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

  320. Airborne chemical measurements provide time-critical decision support during offshore blowouts: Examples from Deepwater Horizon in 2010 and Elgin in 2012

    Ryerson, T. B., Lewis, A. C., Bauguitte, S., Lee, J. D., Hopkins, J. R., Punjabi, S. & Lidster, R. T., 7 Apr 2013, 245th National Meeting of the American-Chemical-Society (ACS), New Orleans, LA, APR 07-11, 2013 : 226-ANYL. American Chemical Society, Vol. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY.

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

  321. Ada 2012: Resource Sharing and Multiprocessors

    Lin, S. & Wellings, A. B. A. J., 1 Apr 2013, Proceeding of the 15th IRTAW. ACM Letters, Vol. XXXII. p. 32-44 13 p.

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

  322. CHI and the future robot enslavement of humankind: a retrospective

    Kirman, B., Linehan, C., Lawson, S. & O'Hara, D., 1 Apr 2013, ACM SIGCHI Conference on Human Factors in Computer Systems.. ACM

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

  323. Designing function configuration decoders for the PAnDA architecture using multi-objective Cartesian Genetic Programming

    Walker, J. A., Trefzer, M. A. & Tyrrell, A. M., 1 Apr 2013, Evolvable Systems (ICES), 2013 IEEE International Conference on. IEEE, p. 96-103

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

  324. Do games attract or sustain engagement in citizen science? A study of volunteer motivations

    Iacovides, I., Jennett, C., Cornish-Trestrail, C. & Cox, A. L., 1 Apr 2013, CHI '13 Extended Abstracts on Human Factors in Computing Systems. New York, USA: ACM, p. 1101-1106 6 p.

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

  325. Exploiting the reconfigurability of the PAnDA architecture to overcome physical substrate variations

    Walker, J. A., Trefzer, M. A., Bale, S. J. & Tyrrell, A. M., 1 Apr 2013, Evolvable Systems (ICES), 2013 IEEE International Conference on. IEEE, p. 37-42

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

  326. TTF-Ravenscar: A Profile to Support Reliable High-Integrity Multiprocessor Ada Applications

    Burns, A., Wellings, A. J. & Malik, A. H., 1 Apr 2013, Proceeding of the 15th IRTAW. ACM, Vol. XXXII. p. 15-23 9 p.

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

  327. Integrating Cache Related Pre-emption Delay Analysis into EDF Scheduling

    Lunniss, W., Altmeyer, S., Maiza, C. & Davis, R. I., Apr 2013, Real-Time Applications and Embedded Technology Symposium (RTAS). IEEE, p. 75-84

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

  328. A modular test-case for validation of electromagnetic solvers in electromagnetic compatibility applications

    Flintoft, I. D., Dawson, J. F., Dawson, L. & Marvin, A. C., 19 Mar 2013, Computational Electromagnetics for ELectromagnetic Compatibility. Granada, Spain, 6 p.

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

  329. Ribbon proofs for separation logic

    Wickerson, J., Dodds, M. & Parkinson, M. J., 16 Mar 2013, Programming Languages and Systems: ESOP'13 Proceedings of the 22nd European conference on Programming Languages and Systems. ACM, Vol. 7792 LNCS. p. 189-208 10 p. (Lecture Notes in Computer Science; vol. 7792).

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

  330. Stereoscopic game design and evaluation

    Rivett, J. & Holliman, N. S., 12 Mar 2013, Stereoscopic Displays and Applications XXIV. Burlingame: SPIE--The International Society for Optical Engineering, Vol. 8648. 864813

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

  331. Performance modelling of magnetohydrodynamics codes

    Bird, R. F., Wright, S. A., Beckingsale, D. A. & Jarvis, S. A., 1 Mar 2013, Computer Performance Engineering - 9th European Workshop, EPEW 2012, Revised Selected Papers. Vol. 7587 LNCS. p. 197-209 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7587 LNCS).

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

  332. Burns Standard Notation for real time scheduling

    Davis, R., Mar 2013, Real-Time Systems: the past, the present and the future. Audsley, N. & Baruah, S. (eds.). CreateSpace Independent Publishing Platform , p. 38-41

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

  333. Geometric and wave-based acoustic modelling using Blender

    Van Mourik, J. & Murphy, D. T., 8 Feb 2013, Proceedings of the 49th AES International Conference on Audio for Games. Murphy, D. (ed.). New York: Audio Engineering Society, p. P-5 9 p.

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

  334. The STRUCTURES Project: Strategies for The impRovement of critical infrastrUCTUre Resilience to Electromagnetic attackS

    Dawson, J. F., 1 Feb 2013, IET Seminar on: Extreme Electromagnetics - The Triple Threat to Infrastructure. 10 p.

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

  335. An exact algorithm for likelihood-based imprecise regression in the case of simple linear regression with interval data

    Wiencierz, A. & Cattaneo, M. E. G. V., 1 Jan 2013, Advances in Intelligent Systems and Computing. Vol. 190 AISC. p. 293-301 9 p. (Advances in Intelligent Systems and Computing; vol. 190 AISC).

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

  336. Measurement of the fission fragment angular distribution for Th-232(n,f) at the CERN n-TOF facility

    Tarrío, D., Tassan-Got, L., Audouin, L., Duron, I., Leong, L. S., Paradela, C., Altstadt, S., Andrzejewski, J., Barbagallo, M., Bécares, V., Bečvář, F., Bellont, F., Berthoumieux, F., Billowes, J., Boccone, V., Bosnar, D., Brugger, M., Calviani, M., Calviño, F., Cano-Ott, D. & 80 others, Carrapiço, C., Cerutti, F., Chiaveri, E., Chin, M., Colonna, N., Cortés, G., Cortés-Giraldo, M. A., Diakaki, M., Domingo-Pardo, C., Dzysiuk, N., Eleftheriadis, C., Ferrari, A., Fraval, K., Ganesan, S., Garcìa, A. R., Giubrone, G., Gómez-Hornillos, M. B., Gonçalves, I. F., González-Romero, E., Griesmayer, E., Guerrero, C., Gunsing, F., Gurusamy, P., Jenkins, D. G., Jericho, E., Kadi, Y., Räppeler, F., Karadimos, D., Koehler, P., Kokkoris, M., Krtička, M., Krol, J., Langer, C., Lederer, C., Leeb, H., Losito, R., Manousos, A., Marganiec, J., Martìnez, T., Massimi, C., Mastinu, P. F., Mastromarco, M., Meaze, M., Mendoza, E., Mengoni, A., Milazzo, P. M., Mingrone, F., Mirea, M., Mondalaers, W., Pavlik, A., Perkowski, J., Plompen, A., Praena, J., Quesada, J. M., Rauscher, T., Reifarth, R., Riego, A., Roman, F., Rubbia, C., Sarmento, R., Schillebeeckx, P., Schmidt, S., Tagliente, G., Tain, J. L., Tsinganis, A., Valenta, S., Vannini, G., Variole, V., Vaz, P., Ventura, A., Versac, R., Vermeulen, M. J., Vlachoudis, V., Vlastou, R., Wallner, A., Ware, T., Weigand, M., Weiß, C., Wright, T. J. & Zugec, P., 1 Jan 2013, CERN-Proceedings. CERN, p. 253-260

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

  337. Multilevel linear network coded modulation for the wireless cloud

    Fang, D. & Burr, A., 1 Jan 2013, Proceedings of the International Symposium on Wireless Communication Systems. IEEE Computer Society Press, p. 597-601 5 p.

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

  338. Neutron beam imaging with micromegas detectors in combination with neutron time-of-flight at the n-TOF facility at CERN

    Belloni, F., Andriamonje, S., Berthoumieux, E., Calviani, M., Chiaveri, E., Colonna, N., Giomataris, Y., Guerrero, C., Gunsing, F., Iguaz, F. J., Kebbiri, M., Pancin, J., Papaevangelou, T., Tsinganis, A., Vlachoudis, V., Altstadt, S., Andrzejewski, J., Audouin, L., Barbagallo, M., Bécares, V. & 88 others, Bečvář, F., Billowes, J., Boccone, V., Bosnar, D., Brugger, M., Calviño, F., Cano-Ott, D., Carrapiço, C., Cerutti, F., Chiaveri, E., Chin, M., Cortés, G., Corté-Giraldo, M. A., Diakaki, M., Domingo-Pardo, C., Duran, I., Dzysiuk, N., Eleftheriadis, C., Ferrari, A., Fraval, K., Ganesan, S., García, A. R., Giubrone, G., Gómez-Hornillos, M. B., Gonçalves, I. F., González-Romero, E., Griesmayer, E., Gurusamy, P., Jenkins, D. G., Jericha, E., Kadi, Y., Käppeler, F., Karadimos, D., Koehler, P., Kokkoris, M., Krtička, M., Kroll, J., Langer, C., Lederer, C., Leeb, H., Leong, L. S., Losito, R., Manousos, A., Marganiec, J., Marítnez, T., Massimi, C., Mastinu, P. F., Mastromarco, M., Meaze, M., Mendoza, E., Mengoni, A., Milazzo, P. M., Mingrone, F., Mirea, M., Mondalaers, W., Paradela, C., Pavlik, A., Perkowski, J., Plompen, A., Praena, J., Quesada, J. M., Rauscher, T., Reifarth, R., Riego, A., Roman, F., Rubbia, C., Sarmento, R., Schillebeeckx, P., Schmidt, S., Tagliente, G., Tain, J. L., Tarrío, D., Tassan-Got, L., Valenta, S., Vannini, G., Variale, V., Vaz, P., Ventura, A., Versaci, R., Vermeulen, M. J., Vlachoudis, V., Vlastou, R., Wallner, A., Ware, T., Weigand, M., Weiss, C., Wright, T. J. & Žugec, P., 1 Jan 2013, 4th International Conference on Current Problems in Nuclear Physics and Atomic Energy, NPAE 2012 - Proceedings. PART 2 ed. Kiev Institute for Nuclear Research,KINR, p. 366-368

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

  339. Neutron studies for advanced reactors at n-TOF (CERN)

    Tagliente, G., Altstadt, S., Andrzejewski, J., Audouin, L., Barbagallo, M., Bécares, V., Bečvář, F., Belloni, F., Berthoumieux, E., Billowes, J., Boccone, V., Bosnar, D., Brugger, M., Calviani, M., Calviño, F., Cano-Ott, D., Carrapiço, C., Cerutti, F., Chiaveri, E., Chin, M. & 79 others, Colonna, N., Cortés, G., Cortés-Giraldo, M. A., Diakaki, M., Domingo-Pardo, C., Duran, I., Dzysiuk, N., Eleftheriadis, C., Ferrari, A., Fraval, K., Ganesan, S., García, A. R., Giubrone, G., Gómez-Hornillos, M. B., Gonçalves, I. F., González-Romero, E., Griesmayer, E., Guerrero, C., Gunsing, F., Gurusamy, P., Jenkins, D. G., Jericha, E., Kadi, Y., Käppeler, F., Karadimos, D., Koehler, P., Kokkoris, M., Krtička, M., Kroll, J., Langer, C., Lederer, C., Leeb, H., Leong, L. S., Losito, R., Manousos, A., Marganiec, J., Martínez, T., Massimi, C., Mastinu, P. F., Mastromarco, M., Mendoza, E., Mengoni, A., Milazzo, P. M., Mingrone, F., Mirea, M., Mondalaers, W., Paradela, C., Pavlik, A., Perkowski, J., Plompen, A., Praena, J., Quesada, J. M., Rauscher, T., Reifarth, R., Riego, A., Roman, F., Rubbia, C., Sarmento, R., Schillebeeckx, P., Schmidt, S., Tain, J. L., Tarrío, D., Tassan-Got, L., Tsinganis, A., Valenta, S., Vannini, G., Variale, V., Vaz, P., Ventura, A., Versaci, R., Vermeulen, M. J., Vlachoudis, V., Vlastou, R., Wallner, A., Ware, T., Weigand, M., Weiss, C., Wright, T. J. & Žugec, P., 1 Jan 2013, 11th International Topical Meeting on Nuclear Applications of Accelerators, AccApp 2013. Belgian Nuclear Research Center, p. 183-187 5 p.

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

  340. Opportunistic space time code for four-relay network

    Abu-Hudrouss, A. M. & Burr, A. G., 1 Jan 2013, 19th European Wireless Conference, EW 2013. VDE VERLAG GMBH, p. 1-4 4 p.

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

  341. Reducing the effect of correlated brain sources in MEG using a linearly constrained spatial filter based on Minimum Norm

    Sánchez, J. A. & Halliday, D. M., 1 Jan 2013, Conference Record - Asilomar Conference on Signals, Systems and Computers. IEEE Computer Society Press, p. 1828-1832 5 p. 6810618

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

  342. Scenario-based modeling to capture requirements for immune inspired profile adaptation

    Azmi, N. F. M., Timmis, J. & Polack, F., 1 Jan 2013, 2013 8th International Conference on Information Technology in Asia - Smart Devices Trend: Technologising Future Lifestyle, Proceedings of CITA 2013. IEEE Computer Society Press, p. 1-6 6 p. 6637551

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

  343. '’Is the Board a neutral (and therefore reform-able) institution or one composed of individuals and groups whose decision-making is defined by their socio-economic position?’

    Talbot, L. E., 2013, (Unpublished) Fourth Sustainable Companies Workshop, 'The Role of the Board and Possible Reform Proposals', 12th June 2013 Oslo University.

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

  344. '’Why orientating corporate governance around labour creates the necessary conditions for a sustainable company'’

    Talbot, L. E., 2013, (Unpublished) Symposium 'New Perspectives on the Role of the Board', 11th June Oslo University .

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

  345. 1st international workshop on assurance cases for software-intensive systems (ASSURE 2013)

    Denney, E., Pai, G., Habli, I., Kelly, T. & Knight, J. C., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1505-1506 2 p.

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

  346. 1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013)

    Harman, M., Paige, R. F. & Williams, J. R., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1513-1514 2 p.

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

  347. 5th international workshop on modeling in software engineering (MiSE 2013)

    Atlee, J. M., Baillargeon, R., Chechik, M., France, R. B., Gray, J., Paige, R. F. & Rumpe, B., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1531-1532 2 p.

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

  348. A Clifford Algebraic Framework for Coxeter Group Theoretic Computations

    Dechant, P-P., 2013, Conference proceedings: Applied Geometric Algebras in Computer Science and Engineering 2012 (AGACSE 2012), July 2-4, La Rochelle, France. Springer-verlag, p. 89–108

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

  349. A Mixed Quality of Service based Linear Transceiver Design for Multi-user MIMO Network with Linear Transmit Covariance Constraints

    Cumanan, K., Rahulamathavan, Y., Lambotharan, S. & Ding, Z., 2013, A Mixed Quality of Service based Linear Transceiver Design for Multi-user MIMO Network with Linear Transmit Covariance Constraints. IEEE Wireless Communications and Networking Conference (WCNC)

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

  350. A Systematic Review of Cloud Lock-In Solutions

    Costa Silva, G., Rose, L. M. & Calinescu, R. C., 2013, Cloud Computing Technology and Science (CloudCom), 2013 IEEE 5th International Conference on. IEEE, Vol. 2. p. 363-368

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

  351. A Traceability-Driven Approach to Model Transformation Testing

    Matragkas, N. D., Kolovos, D. S., Paige, R. F. & Zolotas, A., 2013, Proceedings of the Second Workshop on the Analysis of Model Transformations (AMT 2013), Miami, FL, USA, September 29, 2013.

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

  352. A Verified Protocol to Implement Multi-way Synchronisation and Interleaving in CSP

    Oliveira, M. V. M., Júnior, I. S. D. M. & Woodcock, J., 2013, Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013. Proceedings. Hierons, R. M., Merayo, M. G. & Bravetti, M. (eds.). SPRINGER, Vol. 8137. p. 46-60 15 p. (Lecture Notes in Computer Science).

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

  353. A coevolutionary approach to learn animal behavior through controlled interaction

    Li, W., Gauci, M. & Gross, R., 2013, Proceedings of the 2013 Annual Conference on Genetic and Evolutionary Computation. Amsterdam, Netherlands: ACM, p. 223-230

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

  354. ADS easy: an automated e-archiving system for Archaeology

    Richards, J. D., Moore, R., Hardman, C. & Xia, L., 2013, Archaeology in the Digital Era: Papers from the 40th Annual Conference of Computer Applications and Quantitative Methods in Archaeology (CAA), Southampton, 26-29 March 2012. p. 299-306

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

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

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

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

  356. Accelerating Immunos 99

    Taylor, P. N., Polack, F. A. C. & Timmis, J., 2013, Proceedings of the European Conference on Artificial Life. MIT Press, p. 983-898

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

  357. Acquisition of articles by Sinhalese ESL/EFL learners

    Indrarathne, B., 2013, Sri Lanka as a Hub in Asia: The Way Forward, Outcomes of the Annual Symposium 2013 of the General Sir John Kotelawala Defence University. Ratmalana, Sri Lanka

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

  358. Adding Spreadsheets to the MDE Toolkit

    Francis, M., Kolovos, D. & Paige, R. F., 2013, Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings. Springer, Vol. 8107 LNCS. p. 35-51 17 p. (Lecture Notes in Computer Science; vol. 8107).

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

  359. Advances in Bayesian Network Learning using Integer Programming

    Bartlett, M. & Cussens, J., 2013, Proceedings of the 29th Conference on Uncertainty in Artificial Intelligence (UAI 2013). AUAI Press, p. 182-191 10 p.

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

  360. An Agglomerative Hierarchical Clustering Algorithm for Labelling Morphs

    Can, B. & Manandhar, S., 2013, Recent Advances in Natural Language Processing, RANLP 2013, 9-11 September, 2013, Hissar, Bulgaria. p. 129-135 7 p.

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

  361. An Automated Constraint Modelling and Solving Toolchain

    Akgun, O., Frisch, A. M., Gent, I. P., Hussain, B. S., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2013, ARW 2013 - 20th Automated Reasoning Workshop.

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

  362. An EDF Run-Time Profile based on Ravenscar

    Burns, A., 2013, Proceeding of the 15th IRTAW. ACM Letters, Vol. XXXII. p. 24-31 8 p.

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

  363. An Experimental Investigation on Empathy as an Emotion-Induction Mechanism in Music Listening

    Ditter, D., Schmidt, L., Tessmer, N. & Egermann, H., 2013, Abstract Book of the 3rd International Conference on Music Emotion.

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

  364. An incremental verification framework for component-based software systems

    Johnson, K. H. A., Calinescu, R. C. & Kikuchi, S., 2013, CBSE '13 : Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. New York: ACM, p. 33-42 10 p.

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

  365. An investigation into the errors in the CISPR 12 full vehicle radiated emissions measurements due to vehicle directivity

    Paterson, M. & Dawson, J. F., 2013, Electromagnetic Compatibility (EMC EUROPE), 2013 International Symposium on. p. 310-315 6 p.

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

  366. An optimisation algorithm for minimising energy dissipation in NoC-based hard real-time embedded systems

    Mohd Sayuti, M. N. S., Soares Indrusiak, L. & Garcia Ortiz, A., 2013, Proceedings of the 21st International Conference on Real-Time Networks and Systems (RTNS). ACM, p. 3-12 10 p.

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

  367. Analysing changing vibrato behaviour in solo voice ensemble singing

    Daffern, H. & Howard, D. M., 2013, Pan European Voice Conference.

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

  368. Analysis of the shielding properties of metalised nonwoven materials

    Austin, A. N., Dawson, J. F., Flintoft, I. D. & Marvin, A. C., 2013, Electromagnetic Compatibility (EMC EUROPE), 2013 International Symposium on. p. 526-531 6 p.

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

  369. Analytical and semi-analytical treatment of optical and electrical properties of large optical cavity high-power lasers: Nonlinear resistance and effect of waveguide doping

    Avrutin, E. A. & Ryvkin, B. S., 2013, Proceedings of the 2013 High Power Diode Lasers and Systems Conference, HPD 2013 - Co-located with Photonex 2013. IEEE Computer Society Press, p. 10-11 2 p. 6706593

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

  370. Aspects of Integrable Defects

    Corrigan, E., 2013, Proceedings of the XXIX International Colloquium on Group Theoretical Mthods in Physics: Symmetries and Groups in Contemporary Physics. Bai, C., Gazeau, J-P. & Ge, M-L. (eds.). World Scientific Publishing, p. 121-132 (Nankai Series in Pure, Applied Mathematics and Theoretical Physics; vol. 11).

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

  371. Automated Calibration of agent-based immunological simulations

    Tripp, M., Read, M. N., Rose, L. M., Leonov, H. & Timmis, J., 2013, Advances in Artificial Life, ECAL 2013. Lio, P., Miglino, O., Nicosia, G., Nolfi, S. & Pavone, M. (eds.). MIT Press, p. 874-875

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

  372. Automated Symmetry Breaking and Model Selection in Conjure

    Akgun, O., Frisch, A. M., Gent, I. P., Hussain, B. S., Jefferson, C. A., Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2013, CP 2013 - Principles and Practice of Constraint Programming, 19th International Conference.

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

  373. Bandits all the way down: UCB1 as a simulation policy in Monte Carlo Tree Search

    Powley, E. J., Whitehouse, D. & Cowling, P. I., 2013, Computational Intelligence in Games (CIG), 2013 IEEE Conference on. p. 1-8 8 p.

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

  374. Co-performer empathy and peak performance in expert ensemble playing

    Waddington-Jones, C. E., 2013, Proceedings of the International Symposium of Performance Science . Williamon, A. & Goebl, W. (eds.). Brussels: European Association of Conservatoires, p. 331-336 6 p.

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

  375. Comparative Effectiveness of Active Versus Sham Acupuncture Versus Usual Care in the Management of Chronic, Non-Cancer Pain in Primary Care

    Saramago Goncalves, P. R., Weatherly, H. L. A., Manca, A., Sculpher, M. & MacPherson, H., 2013, Value in Health, 16(7):A556-A557. p. 1-2 2 p.

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

  376. Coordination and alignment of electrical and information engineering in European higher education institutions

    Welzer, T. & Ward, T., 2013, ASEE International Forum. p. 1-9 9 p.

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

  377. Corner Detection in Spherical Images via the Accelerated Segment Test on a Geodesic Grid

    Guan, H., Smith, W. A. P. & Ren, P., 2013, Advances in Visual Computing: 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part I. PART 1 ed. Springer, Vol. 8033 LNCS. p. 407-415 9 p. (Lecture Notes in Computer Science; vol. 8033).

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

  378. Cost-Effectiveness Analysis of Linezolid and Vancomycin in Patients with Complicated Skin and Soft-Tissue Infections Caused by Methicilin-Resistant Staphylococcus in Portugal

    Ines, M., Saramago Goncalves, P. R. & Pinto, A., 2013, Value in Health, 16(7):A506.

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

  379. Crafting interactive systems: learning from digital art practice

    Taylor, R., Schofield, G. P., Hook, J. D., Ladha, K., Bowers, J. & Wright, P. C., 2013, Extended Abstracts of the ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 3223-3226

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

  380. Creative Collaboration across Scotland: Building an Appetite for Innovation

    Maxwell, D. & Biggs, S., 2013, ESRS Congress, Florence 29 July - 1 August 2013.

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

  381. Design to support interpersonal communication in the special educational needs classroom

    Durrant, A., Hook, J. D., McNaney, R., Williams, K., Smith, T., Kipling, M., Stockman, T. & Olivier, P., 2013, Proceedings of the ACM International Conference on Interaction Design and Children. Association for Computing Machinery (ACM), p. 46-55 10 p.

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

  382. Dirichlet Processes for Joint Learning of Morphology and PoS Tags

    Can, B. & Manandhar, S., 2013, Sixth International Joint Conference on Natural Language Processing, IJCNLP 2013, Nagoya, Japan, October 14-18, 2013. p. 1087-1091 5 p.

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

  383. Dynamic task remapping for power and latency performance improvement in priority-based non-preemptive Networks On Chip

    Harbin, J. R. & Soares Indrusiak, L., 2013, Proceedings of the 8th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC). IEEE, p. 1-7 7 p.

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

  384. Dynamics of semiconductor passively mode-locked lasers: Experiment and theory

    Javaloyes, J., Balle, S., Avrutin, E. A., Tandoi, G., Stolarz, P., Sorel, M., Ironside, C. N. & Marsh, J., 2013, 2013 15th International Conference on Transparent Optical Networks, ICTON 2013. 6602707

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

  385. Efficient Subdomains for Random Testing

    Patrick, M. T., Alexander, R., Oriol, M. Y. A. & Clark, J. A., 2013, Search Based Software Engineering. Springer, Vol. 8084 LNCS. p. 251-256 6 p. (Lecture Notes in Computer Science; vol. 8084).

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

  386. Enforcing Consistency of 3D Scenes with Multiple Objects Using Shape-from-Contours

    Grum, M. & Bors, A. G., 2013, Computer Analysis of Images and Patterns: 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part I. PART 1 ed. Springer, Vol. 8047 LNCS. p. 539-547 9 p. (Lecture Notes in Computer Science; vol. 8047).

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

  387. Establishing typicality: a closer look at individual formants

    Hughes, V., 2013, Proceedings of Meetings on Acoustics (POMA - ICA 2013). Montreal, Canada, Vol. 19.

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

  388. Estimating the Clinical and Quality of Life Benefits of Acupuncture from Multiple Patient Level Data Sources: What a Pain!

    Manca, A., Sculpher, M., Saramago Goncalves, P. R., Weatherly, H. L. A. & Patton, T. E., 2013, Society for Medical Decision Making, 35th Annual meeting.

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

  389. Evidence for differential allometric effect on carnivoran scapular shape

    Gálvez-López, E., 2013, Anatomical Record: Special Feature. Vol. 296. p. 275

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

  390. Explicit Java Control of Low-Power Heterogeneous Parallel Processing in the ToucHMore Project

    Gauthier, L., Gray, I., Larkham, A., Gasser, A. & Acquaviva, A., 2013, JTRES '13 Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. p. 68-77

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

  391. Exploring the Use of Metaheuristic Search to Infer Models of Dynamic System Behaviour

    Williams, J. R., Poulding, S. M., Paige, R. F. & Polack, F., 2013, MoDELS@Run.time. p. 76-88 13 p.

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

  392. Extending Mixed Criticality Scheduling

    Fleming, T. & Burns, A., 2013, Proc. WMC, RTSS. p. 7-12 6 p.

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

  393. Extending the Associative Rule Chaining Architecture for Multiple Arity Rules

    Burles, N. J., Austin, J. & O'Keefe, S., 2013, Proceedings of the Ninth International Workshop on Neural-Symbolic Learning and Reasoning. p. 47-51 5 p.

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

  394. Fast transaction-level dynamic power consumption modelling in priority preemptive wormhole switching networks on chip

    Harbin, J. R. & Soares Indrusiak, L., 2013, Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) . IEEE, p. 172-179

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

  395. Formal Conditions on the Licensing of True Resultatives

    Sells, P. & Shibagaki, R., 2013, Proceedings of WAFL: MITWPL #67. Ozge, U. (ed.). MIT Working Papers in Linguistics, Vol. 8. p. 337-342

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

  396. Formal Models of SysML Block

    Miyazawa, A. H., Lima, L. & Cavalcanti, A. L. C., 2013, 15th International Conference on Formal Engineering Methods. Springer, Vol. 8144 LNCS. p. 249-264

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

  397. Geometric morphometric analysis of antler development in Iberian red deer (Cervus elaphus hispanicus)

    Martínez-Salmerón, D., Gálvez-López, E., Azorit, C., O'Higgins, P. & Casinos, A., 2013, Anatomical Record: Special Feature. Vol. 296. p. 194

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

  398. Going deep: Supporting collaborative exploration of evolution in natural history museums

    Davis, P., Horn, M., Schrementi, L., Block, F., Phillips, B., Evans, E. M., Diamond, J. & Shen, C., 2013, Computer-Supported Collaborative Learning Conference, CSCL. Vol. 1. p. 153-160 8 p.

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

  399. Governing urban climate change risk: An environmentalities analysis of early transitions in Maputo, Mozambique

    Ensor, J. E., Boyd, E., Castan Broto, V. & Juhola, S., 2013, Transformation 2013.

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

  400. Higher-Order UTP in Theories of Object-Orientation

    Zeyda, F. & Cavalcanti, A. L. C., 2013, 4th International Symposium on Unifying Theories of Programming. Springer, Vol. 7681. p. 204-223 (Lecture Notes in Computer Science; vol. 7681).

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

  401. How we can learn from acquisition: the acquisition-learning debate revisited

    Whong, M., Marsden, H. & Gil, K-H., 2013, Proceedings of the 12th Generative Approaches to Second Language Acquisition Conference (GASLA 2013). Cabrelli Amaro, J., Judy, T. & Pascual y Cabo, D. (eds.). Cascadilla Proceedings Project, p. 203-210

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

  402. Image restoration and the management of reputation: a study of Northern Rock press releases during a crisis period

    Linsley, P. M., Slack, R. & Edkins, A., 2013, (Unpublished) Conference on The Language of Institutions, University of Texas at Austin.

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

  403. Immune-Inspired Error Detection for Multiple Faulty Robots in Swarm Robotics

    Lau, H. K., Bate, I. & Timmis, J., 2013, Advances in Artificial Life ECAL 2013. Lio, P., Miglino, O., Nicosia, G., Nolfi, S. & Pavone, M. (eds.). MIT Press, Vol. 12. p. 846-853 8 p.

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

  404. Improved Priority Assignment for the Abort-and-Restart (AR) Model

    Wong, H. C. & Burns, A., 2013, 7th Junior Researcher Workshop on Real-Time Computing (JRWRTC).

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

  405. Improving Reliability of Real-Time Systems through Value and Time Voting

    Aysan, H., Bate, I., Graydon, P. & Punnekkat, S., 2013, Proceedings of the 19th Pacific Rim International Symposium on Dependable Computing (PRDC).

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

  406. Impulse response estimation for the auralisation of vehicle engine sounds using dual channel FFT analysis

    Shelley, S. B., Murphy, D. T. & Goodwin, S., 2013, Proceedings of the Sound and Music Computing Conference 2013. Bresin, R. (ed.). Berlin: Logos Verlag Berlin, p. 506-511 6 p.

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

  407. Increasing accuracy by decreasing presentation quality in transcription tasks

    Soboczenski, F., Cairns, P. & Cox, A. L., 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 2 ed. Vol. 8118 LNCS. p. 380-394 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8118 LNCS, no. PART 2).

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

  408. Innovation through design in food retailing: a case study exercise

    D'Ippolito, B. & Timpano, F., 2013, British Academy of Management. University of Liverpool, UK

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

  409. Integrating Monte Carlo Tree Search with Knowledge-Based Methods to Create Engaging Play in a Commercial Mobile Game.

    Whitehouse, D., Cowling, P. I., Powley, E. J. & Rollason, J., 2013, AIIDE.

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

  410. Is Audsley's Scheme the Most Expressive Optimal Priority Assignment Algorithm?

    Burns, A., 2013, Proceedings RTSOPS (ECRTS). p. 8-11 4 p.

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

  411. JISC DataPool: The relationship between institutional and discipline based repositories

    Earl, G., Beale, G., Pagi, H. & White, W., 2013, World Archaeological Congress.

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

  412. Learning by volunteer computing, thinking and gaming: What and how are volunteers learning by participating in Virtual Citizen Science?

    Kloetzer, L., Scheider, D., Jennett, C., Iacovides, I., Eveleigh, A., Cox, A. L. & Gold, M., 2013, Changing Configurations of Adult Education in Transitional Times: Conference Proceedings. ESREA: European Society for Research on the Education of Adults, p. 73-92

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

  413. Leggere il Decameron a margine del codice Mannelli

    Clarke, K. P., 2013, Boccaccio e i suoi lettori. Una lunga ricezione. Anselmi, G. M., Baffetti, G., Delcorno, C. & Nobili, S. (eds.). Societa Editrice il Mulino, p. 195-207

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

  414. Library abstraction for C/C++ concurrency

    Batty, M., Dodds, M. & Gotsman, A., 2013, POPL '13 : Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York: ACM, p. 235-248 14 p.

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

  415. Locomotor adaptations in scapular shape in carnivorans

    Gálvez-López, E., 2013, Anatomical Record: Special Feature. Vol. 296. p. 194-195

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

  416. Making Digital: Visual Approaches to the Digital Humanities

    Beale, G., Beale, N., Minkin, L. & Dawson, I., 2013, Electronic Visualisation and the Arts 2013. K. N., J. B. & S. M. (eds.). London: British Computer Society (BCS), p. 240-255 16 p.

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

  417. Metamodelling for Grammarware Researchers

    Paige, R. F., Kolovos, D. & Polack, F. A. C., 2013, Software Language Engineering: 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012, Revised Selected Papers. Springer, Vol. 7745 LNCS. p. 64-82 (Lecture Notes in Computer Science; vol. 7745).

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

  418. Mixed Criticality on Controller Area Network

    Burns, A. & Davis, R. I., 2013, Proceedings of ECRTS. IEEE, p. 125-134 10 p.

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

  419. Model Management in the Wild

    Paige, R. F., Kolovos, D., Rose, L. M., Matragkas, N. & Williams, J. R., 2013, Generative and Transformational Techniques in Software Engineering IV: International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers. Springer, Vol. 7680 LNCS. p. 197-218 (Lecture Notes in Computer Science; vol. 7680).

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

  420. Monte Carlo tree search with macro-actions and heuristic route planning for the multiobjective physical travelling salesman problem

    Powley, E. J., Whitehouse, D. & Cowling, P. I., 2013, Computational Intelligence in Games (CIG), 2013 IEEE Conference on. p. 1-8 8 p.

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

  421. Multimodel-Driven Software Engineering for Evolving Enterprise Systems

    Paige, R. F., Calinescu, R., Kolovos, D. S., Matragkas, N. D. & Cliff, D., 2013, Joint Proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013) Co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29 - October 04, 2013.. p. 23-32 10 p.

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

  422. Navigating, Discovering and Exploring the Web: Strategies Used by People with Print Disabilities on Interactive Websites

    Power, C. D., Petrie, H., Swallow, D. M., Murphy, E., Gallagher, B. & Velasco, C. A., 2013, Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I. PART 1 ed. Springer, Vol. 8117 LNCS. p. 667-684 8 p. (Lecture Notes in Computer Science; vol. 8117).

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

  423. Numerical evaluation of a dual-mode antenna for use in reverberation chambers

    Flintoft, I. D., Esposito, G., Marvin, A. C., Dawson, L., Robinson, M. P. & Dawson, J. F., 2013, Electromagnetic Compatibility (EMC EUROPE), 2013 International Symposium on. p. 520-525

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

  424. On Extensible Networks for Embedded Systems

    Polzlbauer, F., Bate, I. & Brenner, E., 2013, Proceedings of the 20th Annual IEEE International Conference and Workshops on the Engineering of Computer Based Systems (ECBS). p. 69-77 9 p.

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

  425. Orthonormal Diffusion Decompositions of Images for Optical Flow Estimation

    Gudivada, S. K. N. & Bors, A. G., 2013, Computer Analysis of Images and Patterns: 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II. PART 2 ed. Springer, Vol. 8048 LNCS. p. 241-249 9 p. (Lecture Notes in Computer Science; vol. 8048).

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

  426. Overcoming Faults using Evolution on the PAnDA Architecture

    Burmester Campos, P., Lawson, D. M. R., Trefzer, M. A., Walker, J. A., Bale, S. J. & Tyrrell, A., 2013, Proceedings of the IEEE Congress on Evolutionary Computation (CEC). IEEE, p. 613-620

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

  427. Overcoming erroneous domain knowledge in plan-based reward shaping

    Efthymiadis, K., Devlin, S. & Kudenko, D., 2013, 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2. p. 1245-1246 2 p.

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

  428. PFT - A low overhead predictability enhancement technique for non-preemptive NoCs

    Sudev, B. & Soares Indrusiak, L., 2013, Proceedings of the 21st IEEE/IFIP International Conference on VLSI and System-on-Chip (VLSI-SoC). IEEE, p. 314-317

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

  429. Perspectives on the future of conservation education: Scanning the horizon

    Chitty, G., 2013, Imagining Conservation: the next 20 years. Piplani, N. (ed.). York: York Conservation Studies Alumni, p. 50-54

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

  430. Potential-based reward shaping for POMDPs

    Eck, A., Son, L. K., Devlin, S. & Kudenko, D., 2013, 12th International Conference on Autonomous Agents and Multiagent Systems 2013, AAMAS 2013. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), Vol. 2. p. 1123-1124 2 p.

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

  431. Pre fetching across a shared memory tree within a network-on-chip architecture

    Garside, J. & Audsley, N. C., 2013, 2013 International Symposium on System-on-Chip, SoC 2013 - Proceedings. IEEE Computer Society Press, 6675268

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

  432. Principled Construction of Software Safety Cases

    Hawkins, R., Habli, I. & Kelly, T., 2013, SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013.

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

  433. Programmatic Muddle Management

    Kolovos, D. S., Matragkas, N. D., Rodriguez, H. H. & Paige, R. F., 2013, Proceedings of the Workshop on Extreme Modeling co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages Systems (MoDELS 2013), Miami, Florida, USA, September 29, 2013.. p. 2-10 9 p.

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

  434. Programming FPGA based NoCs with Java

    Plumbridge, G. & Audsley, N. C., 2013, 2013 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2013. IEEE Computer Society Press, 6732323

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

  435. Protecting the Dead in Viking-Age England

    Hadley, D., 2013, Proceedings of the Sixteenth Viking Congress. Reykjavik: Museum of Reykjavik, p. 201-208

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

  436. Provisional and Conditional clauses in Old Japanese

    Frellesvig, B., Horn, S., Russell, K. & Sells, P., 2013, Proceedings of WAFL: MITWPL #67. Ozge, U. (ed.). MIT Working Papers in Linguistics, Vol. 8. p. 65-78

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

  437. Raising out of V+tate Phrases

    Tanaka, H., Kizu, M. & Sells, P., 2013, Proceedings of FAJL : MITWPL #66. Yatsushiro, K. & Sauerland, U. (eds.). MIT Working Papers in Linguistics, Vol. 8. p. 227-238

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

  438. Real-time low-power task mapping in Networks-on-Chip

    Mohd Sayuti, M. N. S. & Soares Indrusiak, L., 2013, Proceedings of the IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE, p. 14-19

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

  439. Repentir: digital exploration beneath the surface of an oil painting

    Hook, J. D., Briggs, J., Blythe, M., Walsh, N. & Olivier, P., 2013, Extended Abstracts of the ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 2947-2950

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

  440. Risk management in the City of London: the lived experience of the middle ranking employee

    Linsley, P. M. & McMurray, R., 2013, (Unpublished) European Accounting Association conference, Paris.

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

  441. Safety Assurance Driven Problem Formulation for Mixed-Criticality Scheduling

    Graydon, P. & Bate, I., 2013, Proceedings of the Workshop on Mixed-Criticality Systems. p. 19-24 6 p.

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

  442. Scheduling HPC Workflows for Responsiveness and Fairness with Networking Delays and Inaccurate Estimates of Execution Times

    Burkimsher, A., Bate, I. & Indrusiak, L. S., 2013, Proceedings of the 19th International Conference on Parallel Processing (Euro-Par 2013). Wolf, F., Mohr, B. & Mey, D. (eds.). Springer Berlin / Heidelberg, Vol. 8097. p. 126-137 12 p. (Lecture Notes in Computer Science).

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

  443. Search-based parameter tuning on application-level load balancing for distributed embedded systems

    Caliskanelli, I. & Indrusiak, L. S., 2013, Proceedings - 2013 IEEE International Conference on High Performance Computing and Communications, HPCC 2013 and 2013 IEEE International Conference on Embedded and Ubiquitous Computing, EUC 2013. IEEE Computer Society Press, p. 2050-2057 8 p.

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

  444. Searching for the Minimum Failures that Can Cause a Hazard in a Wireless Sensor Network

    Bate, I. & Fairbairn, M., 2013, Proceedings of Genetic and Evolutionary Computation Conference (GECCO).

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

  445. Simulink timed models for program verification

    Cavalcanti, A. L. C., Mota, A. & Woodcock, JAMES. C. P., 2013, Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Vol. 8051 LNCS. p. 82-99

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

  446. Support for Multiprocessor Platforms

    Burns, A. & Wellings, A. J., 2013, Proceeding of the 15th IRTAW. ACM Letters, Vol. XXXII. p. 9-14 6 p.

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

  447. Supporting Learning Within the Workplace: Device Training in Healthcare

    Iacovides, I., Cox, A. L. & Blandford, A., 2013, Proceedings of the 31st European Conference on Cognitive Ergonomics. New York, NY, USA: ACM, p. 30:1-30:4 (ECCE '13).

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

  448. Supporting data management for 3D and raster data: lessons learned from the DataPool project

    Beale, G., Hitchcock, S., Pagi, H. & Boardman, R., 2013, Society for Imaging Science and Technology: Archiving. Burns, P. (ed.). Springfield: IS&T, p. 255-258 4 p.

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

  449. Testing Autonomous Robot Control Software Using Procedural Content Generation

    Arnold, J. & Alexander, R., 2013, Computer Safety, Reliability, and Security. Springer, Vol. 8153 LNCS. p. 33-44 12 p. (Lecture Notes in Computer Science; vol. 8153).

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

  450. Testing with Inputs and Outputs in CSP

    Cavalcanti, A. L. C. & Hierons, R., 2013, 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013. Vol. 7793 LNCS. p. 359-374

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

  451. The Application of the Original Priority Ceiling Protocol to Mixed Criticality Systems

    Burns, A., 2013, ReTiMiCS, RTCSA. George, L. & Lipari, G. (eds.). p. 7-11 5 p.

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

  452. The ReflecTable: Bridging the Gap between Theory and Practice in Design Education

    Hook, J. D., Hjermitslev, T., Iversen, O. & Olivier, P., 2013, Human-Computer Interaction – INTERACT 2013. SPRINGER-VERLAG BERLIN, p. 624-641 (Lecture Notes in Computer Science; vol. 8118).

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

  453. The Triangle of Life

    Eiben, G., Hoodendoorn, M., Bredeche, N., Stradner, J., Timmis, J., Tyrrell, A. & Winfield, A. F. T., 2013, Proceedings of the European Conference on Artificial Life. MIT Press, p. 1056-1063

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

  454. The pop-up ethnographer: roles of the researcher in temporary spaces

    Maxwell, D., Woods, M. & Prior, S., 2013, Proceedings of the Ethnographic Praxis in Industry Conference. : EPIC 2013, London 15-18 September 2013. John Wiley & Sons, p. 175-190

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

  455. Towards A More Practical Model for Mixed Criticality Systems

    Burns, A. & Baruah, S., 2013, Proc. WMC, RTSS. p. 1-6 6 p.

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

  456. Towards a Model-Driven Solution to the Vendor Lock-In Problem in Cloud Computing

    Costa Silva, G., Rose, L. M. & Calinescu, R. C., 2013, Cloud Computing Technology and Science (CloudCom), 2013 IEEE 5th International Conference on. IEEE, Vol. 1. p. 711-716

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

  457. Towards a Multi-Domain Model-Driven Traceability Approach

    Taromirad, M., Matragkas, N. D. & Paige, R. F., 2013, Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems, MPM@MoDELS 2013, Miami, Florida, September 30, 2013.. p. 27-36 10 p.

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

  458. Towards a multi-view point safety contract

    Ruiz, A., Kelly, T. & Espinoza, H., 2013, SAFECOMP 2013 - Workshop SASSUR (Next Generation of System Assurance Approaches for Safety-Critical Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, Toulouse, France, 2013.

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

  459. Unifying Theories of Logic and Specification

    Bandur, V. & Woodcock, J., 2013, Formal Methods: Foundations and Applications - 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Iyoda, J. & Moura, L. M. D. (eds.). SPRINGER, Vol. 8195. p. 18-33 16 p. (Lecture Notes in Computer Science).

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

  460. Unifying Theories of Programming in Isabelle

    Foster, S. & Woodcock, J., 2013, Unifying Theories of Programming and Formal Engineering Methods - International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures. Liu, Z., Woodcock, J. & Zhu, H. (eds.). SPRINGER, Vol. 8050. p. 109-155 47 p. (Lecture Notes in Computer Science).

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

  461. Unlimited editions: three approaches to the dissemination and display of digital art

    Blythe, M., Briggs, J., Hook, J. D., Wright, P. C. & Olivier, P., 2013, Proceedings of the ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 139-148

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

  462. Using Contracts to Guide the Search-Based Verification of Concurrent Programs

    Poskitt, C. M. & Poulding, S. M., 2013, Proceedings of SSBSE 2013. Vol. 8084 LNCS. p. 263-268 (Lecture Notes in Computer Science; vol. 8084).

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

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

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

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

  464. Using parallel corpora for word sense disambiguation

    Shahid, A. R. & Kazakov, D. L., 2013, RANLP-13. Hissar, Bulgaria

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

  465. Watermark Optimization of 3D Shapes for Minimal Distortion and High Robustness

    Bors, A. G. & Luo, M., 2013, Computer Analysis of Images and Patterns: 15th International Conference, CAIP 2013, York, UK, August 27-29, 2013, Proceedings, Part II. PART 2 ed. Springer, Vol. 8048 LNCS. p. 298-306 9 p. (Lecture Notes in Computer Science; vol. 8048).

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

  466. Waves: exploring idiographic design for live performance

    Hook, J. D., McCarthy, J., Wright, P. C. & Olivier, P., 2013, Proceedings of the ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 2969-2978

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

  467. What do Metamodels Really Look Like?

    Williams, J. R., Zolotas, A., Matragkas, N. D., Rose, L. M., Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2013, Proceedings of the 3rd International Workshop on Experiences and Empirical Studies in Software Modeling co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, USA, October 1, 2013.. p. 55-60 6 p.

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

  468. ‘Operationalizing sustainability in corporate law reform through a labour-centred corporate governance. A UK perspective’

    Talbot, L. E., 2013, (Unpublished) Conference Sustainable Companies: We Make it Happen December 5th - 6th 2013 Oslo University .

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

  469. ‘Why Shareholder Shouldn’t Vote and Why We Think They Should’

    Talbot, L. E., 2013, (Unpublished) ESRC Seminar Series, Critical Corporations Project, 9th December 2013 Cass Business School. .

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

  470. 2012
  471. Complex sphere decoding with a modified tree pruning and successive interference cancellation

    Li, L., Caiado De Lamare, R. & Burr, A. G., 24 Dec 2012, Proceedings of the International Symposium on Wireless Communication Systems. p. 226-230 5 p. 6328363

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

  472. Cooperative spatial multiplexing with distributed amplify-and-forward relays

    Xie, N. & Burr, A., 24 Dec 2012, Proceedings of the International Symposium on Wireless Communication Systems. p. 616-620 5 p. 6328441

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

  473. Software Failure Propagation Prevention: Prevention of failure propagation between software of different criticality categories

    Hann, M., Wellings, A., Audsley, N. & Dapena, P. R., 18 Dec 2012, Proceedings of DASIA 2012 - DAta Systems In Aerospace. Vol. 701 SP.

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

  474. Automatic orchestration of video streams to enhance group communication

    Falelakis, M., Groen, M., Frantzis, M., Kaiser, R. & Ursu, M. F., 10 Dec 2012, SAM 2012 - Proceedings of the 2012 ACM Workshop on Socially-Aware Multimedia, Co-located with ACM Multimedia 2012. p. 25-29 5 p.

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

  475. A study on dynamic vocal tract shaping for diphthong simulation using a 2D Digital Waveguide Mesh

    Rugchatjaroen, A. & Howard, D. M., 1 Dec 2012, 15th International Conference on Digital Audio Effects, DAFx 2012 Proceedings.

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

  476. Agile requirements traceability using domain-specific modelling languages

    Taromirad, M. & Paige, R. F., 1 Dec 2012, 2012 Extreme Modeling Workshop, XM 2012 - Post-Proceedings, Satellite Event of the IEEE/ACM 15th International Conference on Model Driven Engineering Languages and Systems, MODELS 2012. p. 45-50 6 p.

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

  477. Chaining model transformations

    Etien, A., Aranega, V., Blanc, X. & Paige, R. F., 1 Dec 2012, Proceedings of the 1st Workshop on the Analysis of Model Transformations, AMT 2012. p. 9-14 6 p.

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

  478. Cooperative wireless network coding for uplink transmission on hierarchical wireless networks

    Burr, A. & Sykora, J., 1 Dec 2012, Conference Proceedings of the International Symposium on Signals, Systems and Electronics. 6374305

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

  479. Modelling and comparing cloud computing service level agreements

    Alkandari, F. & Paige, R. F., 1 Dec 2012, 1st International Workshop on Model-Driven Engineering for High Performance and CLoud Computing, MDHPCL 2012 - Satellite Event of MODELS 2012.

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

  480. Monte Carlo Tree Search with macro-actions and heuristic route planning for the Physical Travelling Salesman Problem

    Powley, E. J., Whitehouse, D. & Cowling, P. I., 1 Dec 2012, 2012 IEEE Conference on Computational Intelligence and Games, CIG 2012. p. 234-241 8 p. 6374161

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

  481. Searching for model migration strategies

    Williams, J. R., Paige, R. F. & Polack, F. A. C., 1 Dec 2012, Proceedings of the 6th International Workshop on Models and Evolution, ME 2012. p. 39-44 6 p.

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

  482. Soft-bit correction with robust quantize-and-forward for physical layer network coding in two-way relay fading channel

    Fang, D. & Burr, A. G., 1 Dec 2012, IEEE International Conference on Communications. p. 2506-2510 5 p. 6364250

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

  483. Towards the automated generation of hard disk models through physical geometry discovery

    Wright, S. A., Pennycook, S. J. & Jarvis, S. A., 1 Dec 2012, Proceedings - 2012 SC Companion: High Performance Computing, Networking Storage and Analysis, SCC 2012. p. 437-445 9 p. 6495845

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

  484. Video communication for networked communities: Challenges and opportunities

    Stevens, T., Kegel, I., Williams, D., Torres, P., Cesar, P., Stenton, P., Kaiser, R., Ursu, M., Falelakis, M. & Farber, N., 1 Dec 2012, 2012 16th International Conference on Intelligence in Next Generation Networks, ICIN 2012. p. 148-155 8 p. 6376018

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

  485. Investigation of Scratchpad Memory for Preemptive Multitasking

    Whitham, J., Davis, R. I., Audsley, N. C., Altmeyer, S. & Maiza, C., Dec 2012, Real-Time Systems Symposium (RTSS), 2012 IEEE 33rd . IEEE, p. 3-13

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

  486. Optimal Fixed Priority Scheduling with Deferred Pre-emption

    Davis, R. I. & Bertogna, M., Dec 2012, Real-Time Systems Symposium (RTSS), 2012 IEEE 33rd . IEEE, p. 39-50

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

  487. Runtime optimisation in WSNs for load balancing using pheromone signalling

    Caliskanelli, I., Harbin, J. R., Soares Indrusiak, L., Mitchell, P. D., Chesmore, D. & Polack, F. A. C., Dec 2012, 2012 IEEE 3rd International Conference on Networked Embedded Systems for Every Application (NESEA). p. 1-8

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

  488. Township comets: The impact of South African jazz on the UK scene

    Eato, J. E., Dec 2012, iaspm 2011 proceedings: Situating popular musics. Montano, E. & Nardi, C. (eds.). International Association for the Study of Popular Music, Vol. IASPM 16th International Conference Proceedings. p. 112-118

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

  489. Translating Java for resource constrained embedded systems

    Plumbridge, G. & Audsley, N., 23 Nov 2012, ReCoSoC 2012 - 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip, Proceedings. 6322868

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

  490. Compositional reverification of probabilistic safety properties for large-scale complex IT systems

    Calinescu, R., Kikuchi, S. & Johnson, K., 9 Nov 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7539 LNCS. p. 303-329 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7539 LNCS).

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

  491. Immune inspired adaptive information filtering: Focusing on profile adaptation

    Mohd Azmi, N. F., Polack, F. & Timmis, J., 5 Nov 2012, Bio-Inspired Model of Network, Information, and Computing Systems - 6th International ICST Conference, BIONETICS 2011, Revised Selected Papers. p. 242-247 6 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering; vol. 103 LNICST).

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

  492. Optimising task layout to increase schedulability via reduced cache related pre-emption delays

    Lunniss, W., Altmeyer, S. & Davis, R. I., Nov 2012, Proceedings of the 20th International Conference on Real-Time and Network Systems. p. 161-170

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

  493. Re-sampling for statistical timing analysis of real-time systems

    Maxim, D., Houston, M., Santinelli, L., Bernat, G., Davis, R. I. & Cucu-Grosjean, L., Nov 2012, Proceedings of the 20th International Conference on Real-Time and Network Systems . p. 111-120

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

  494. Searching air sectors for risk

    Clegg, K. D. & Alexander, R., Nov 2012, Proceedings of the 2nd SESAR Innovation Days.

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

  495. Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns

    Johnson, K., Reed, S. & Calinescu, R., 29 Oct 2012, Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011. Eder, K., Loureno, J. & Shehory, O. (eds.). Springer, p. 145-159 15 p. (Lecture Notes in Computer Science; vol. 7261).

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

  496. Sensitivity analysis in model-driven engineering

    Williams, J. R., Burton, F. R., Paige, R. F. & Polack, F. A. C., 24 Oct 2012, Model Driven Engineering Languages and Systems - 15th International Conference, MODELS 2012, Proceedings. p. 743-758 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7590 LNCS).

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

  497. LDPLFS: Improving I/O performance without application modification

    Wright, S. A., Hammond, S. D., Pennycook, S. J., Miller, I., Herdman, J. A. & Jarvis, S. A., 18 Oct 2012, Proceedings of the 2012 IEEE 26th International Parallel and Distributed Processing Symposium Workshops, IPDPSW 2012. p. 1352-1359 8 p. 6270802

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

  498. Comparative analysis of data persistence technologies for large-scale models

    Barmpis, K. & Kolovos, D., 1 Oct 2012, XM '12 Proceedings of the 2012 Extreme Modeling Workshop. ACM, p. 33-38 6 p.

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

  499. EuGENia live: a flexible graphical modelling tool

    Rose, L. M., Kolovos, D. & Paige, R. F., 1 Oct 2012, XM '12 Proceedings of the 2012 Extreme Modeling Workshop. ACM, p. 15-20 6 p.

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

  500. Intra and Inter Domain Social Information Service (IIDSIS): definition and evaluation of a supporting architecture

    Davide, F., Vatalaro, F., Collova, F., Puglia, S. & Kirman, B., 1 Oct 2012, 15th International Telecommunications Network Strategy and Planning Symposium, NETWORKS 2012. Rome

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

  501. Profiling the fault tolerance for the adaptive protein processing associative memory

    Qadir, O., Timmis, J., Tempesti, G. & Tyrrell, A., 1 Oct 2012, Proceedings of the 2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012. p. 246-253 8 p. 6268658

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

  502. Optimal program partitioning for predictable performance

    Whitham, J. & Audsley, N., 25 Sep 2012, Proceedings of the 24th Euromicro Conference on Real-Time Systems, ECRTS 2012. p. 122-131 10 p. 6257565

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

  503. "Get lost, GetLostBot!" annoying people by offering recommendations when they are not wanted

    Kirman, B., 1 Sep 2012, Workshop on the Personalising the Local Mobile Experience at ACM Conference on Recommender Systems..

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

Previous 1 2 Next