Search research publications and outputs

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  51. Dynamic Potential-Based Reward Shaping

    Devlin, S. M. & Kudenko, D., Jun 2012, Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems. IFAAMAS, p. 433-440 8 p.

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

  52. Probabilistic Hierarchical Clustering Of Morphological Paradigms

    Manandhar, S. K. & Can, B., 23 Apr 2012, EACL '12 Proceedings of the 13th Conference of the European Chapter of the Association for Computational Linguistics . Stroudsburg, PA: Association for Computational Linguistics, p. 654-663 10 p.

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

  53. A Tool for Development and Evaluation of Accessible Web 2.0 Applications

    Kervina, D., Pustisek, M., Ackermann, P., Velasco, C. A. & Power, C. D., 2012, 21st International Electrotechnical and Computer Science Conference. IEEE COMPUTER SOC, p. 89-92 4 p.

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

  54. Resource-sensitive synchronization inference by abduction

    Botincan, M., Dodds, M. D. & Jagannathan, S., 2012, POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages . New York: ACM, p. 309-322 14 p.

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

  55. Testing Implications of the Adaptive Market Hypothesis via Computational Intelligence

    Kazakov, D. L. & Butler, M. R., 2012, Computational Intelligence for Financial Engineering & Economics (CIFEr), 2012 IEEE Conference on . IEEE, p. 1-8

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

  56. Unifying Theories of Undefinedness in UTP

    Woodcock, J. & Bandur, V., 2012, Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers. Wolff, B., Gaudel, M-C. & Feliachi, A. (eds.). Heidelberg: SPRINGER, Vol. 7681. p. 1-22 22 p. (Lecture Notes in Computer Science).

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

  57. Use of a Genetic Algorithm in Modelling Small Structures in Airframes: Characterising and modelling joints, seams, and apertures

    Xia, R., Dawson, J. F., Flintoft, I., Marvin, A. & Porter, S. J., 2012, 2012 International Symposium on Electromagnetic Compatibility (EMC EUROPE). IEEE, 6 p.

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

  58. 2011
  59. Light-weight parallel I/O analysis at scale

    Wright, S. A., Hammond, S. D., Pennycook, S. J. & Jarvis, S. A., 1 Dec 2011, Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Proceedings. Vol. 6977 LNCS. p. 235-249 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6977 LNCS).

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

  60. Reverberation Chamber Immunity Testing: A novel methodology to avoid accidental DUT damage

    Aurand, T., Dawson, J. F., Robinson, M. P. & Marvin, A., 26 Sep 2011, (Accepted/In press) 10th Int. Symposium on Electromagnetic Compatibility (EMC Europe 2011). York, UK, p. 391-393 3 p.

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

  61. Virtual HIRF tests in CST STUDIO SUITE™: A Reverberant environment application

    Tallini, D., Dawson, J. F., Flintoft, I. D., Kunze, M. & Munteanu, I., 12 Sep 2011, ICEAA 2011 International Conference on Electromagnetics in Advanced Applications . Torino, Italy , p. 849-852 4 p.

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

  62. Statistical distributions of the re-radiated spectrum from two correlated non-linear devices in a reverberation chamber

    Chen, J., Marvin, A., Flintoft, I. D. & Dawson, J. F., 14 Aug 2011, 2011 IEEE International Symposium on Electromagnetic Compatibility: 14-19 August 2011. Long Beach, California: IEEE, p. 682-686 5 p.

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

  63. Extensible Automated Constraint Modelling

    Akgun, O., Miguel, I., Jefferson, C., Frisch, A. M. & Hnich, B., Aug 2011, Proceedings of theTwenty-Fifth AAAI Conference on Artificial Intelligence. San Francisco: AAAI Press, p. 4-11 8 p.

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

  64. Timed circus: Timed CSP with the miracle

    Wei, K., Woodcock, J. & Burns, A., 25 Jul 2011, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. Perseil, I., Breitman, K. & Sterritt, R. (eds.). IEEE Computer Society Press, p. 55-64 10 p. 5773380

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

  65. Designing from within: humanaquarium

    Taylor, R., Schofield, G. P., Shearer, J., Wright, P. C., Boulanger, P., Olivier, P. & Wallace, J., 7 May 2011, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM), p. 1855-1864 10 p.

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

  66. Theoretical Considerations of Potential-Based Reward Shaping for Multi-Agent Systems

    Devlin, S. & Kudenko, D., May 2011, The 10th International Conference on Autonomous Agents and Multiagent Systems . ACM, p. 225-232

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

  67. Bayesian network learning with cutting planes

    Cussens, J., 2011, Proceedings of the 27th Conference on Uncertainty in Artificial Intelligence (UAI 2011). Cozman, F. & Pfeffer, A. (eds.). Corvallis, Oregon: AUAI Press, p. 153-160 8 p.

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

  68. Empirical results from an evaluation of the accessibility of websites by dyslexic users

    Freire, A. P., Petrie, H. & Power, C. D., 2011, Proceedings of the Workshop on Accessible Design in the Digital World. p. 41-53 13 p.

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

  69. L2 acquisition of any: negative evidence, negative implicature and negative L1 transfer

    Gil, K., Marsden, H. & Whong, M., 2011, Selected Proceedings of the Second Language Research Forum 2010. Cascadilla Proceedings Project, p. 29-39

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

  70. The value chain for web accessibility: challenges and opportunities

    Petrie, H., Power, C. D., Swallow, D., Velasco, C. A., Gallagher, B., Magennis, M., Murphy, E., Collin, S. & Down, K., 2011, Proceedings of Accessible Design In the Digital World 2011. University of York

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

  71. Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models

    Santos, O. M. D., Woodcock, J. & Paige, R. F., 2011, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. Perseil, I., Breitman, K. & Sterritt, R. (eds.). IEEE Computer Society Press, p. 117-126 10 p.

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