Search research publications and outputs

  1. Chapter (peer-reviewed) › Research › Peer-reviewed
  2. Checking Graph-Transformation Systems for Confluence

    Plump, D., 2010, Manipulation of Graphs, Algebras and Pictures: Essays Dedicated to Hans-Jörg Kreowski on the Occasion of His 60th Birthday. Drewes, F., Habel, A., Hoffmann, B. & Plump, D. (eds.). Technische Universität Berlin, 16 p. (Electronic Communications of the EASST; vol. 26).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

  3. Working paper › Research
  4. Other chapter contribution › Research
  5. Analysing System Failure Behaviours with PRISM

    Ge, X., Paige, R. F. & McDermid, J. A., Jun 2010, Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion (SSIRI-C). p. 130-136 6 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  6. Development of High Integrity Software Product Lines using Model Transformation

    Hutchesson, S. G. & McDermid, J. A., 2010, Computer Safety, Reliability and Security: SAFECOMP'10 Proceedings of the 29th International Conference on Computer Safety, Reliability, and Security. Heidelberg: Springer, Vol. 6351. p. 389-401 13 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  7. Induction

    Cussens, J., 2010, Encyclopedia of Machine Learning. Sammut, C. & Webb, G. I. (eds.). Springer, p. 519-522 4 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  8. Supporting Explicit Interpretation of Standards and Guidance

    Stephenson, Z. R. & McDermid, J. A., Oct 2010, IET Conference Publications: 5th IET International Conference on System Safety 2010. 567 CP ed. IEEE, Vol. 2010. p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  9. Conference contribution › Research
  10. A Comparison of Model Migration Tools

    Rose, L., Herrmannsdoerfer, M., Williams, J., Kolovos, D., Garces, K., Paige, R., Polack, F., Petriu, D. (ed.), Rouquette, N. (ed.) & Haugen, Ã. (ed.), 2010, Model Driven Engineering Languages and Systems. PART 1 ed. Springer Berlin / Heidelberg, Vol. 6394. p. 61-75 15 p. (Lecture Notes in Computer Science).

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

  11. A Hoare Calculus for Graph Programs

    Poskitt, C. M. & Plump, D., 2010, Proceedings 5th International Conference on Graph Transformation (ICGT 2010). Ehrig, H., Rensink, A., Rozenberg, G. & Schürr, A. (eds.). Springer, Vol. 6372 . p. 139-154 (Lecture Notes in Computer Science; vol. 6372).

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

  12. A Linear Approach of 3D Face Shape and Texture Recovery using a 3D Morphable Model

    Aldrian, O. & Smith, W. A. P., 2010, Proceedings of the British Machine Vision Conference.

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

  13. A Neural-Endocrine Architecture for Foraging in Swarm Robotic Systems

    Timmis, J., Murray, L. & Neal, M., 2010, NICSO 2010: NATURE INSPIRED COOPERATIVE STRATEGIES FOR OPTIMIZATION. Gonzalez, JR., Pelta, DA., Cruz, C., Terrazas, G. & Krasnogor, N. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 284. p. 319-330 12 p.

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

  14. A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines

    Habli, I. & Kelly, T., 2010, ARCHITECTING CRITICAL SYSTEMS, PROCEEDINGS. Giese, H. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6150 LNCS. p. 142-160 19 p.

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

  15. A feedback-driven timing synchronisation protocol for cellular sensornets

    Tate, J. & Bate, I., 2010, Proceedings of the 7th IEEE International Conference on Mobile Ad-hoc and Sensor Systems. IEEE, p. 482-491 10 p.

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

  16. A locality model for the real-time specification for Java

    Malik, A. H., Wellings, A. J. & Chang, Y., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010. Kalibera, T. & Vitek, J. (eds.). ACM, p. 36-45 10 p. (ACM International Conference Proceeding Series).

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

  17. A note on traces refinement and the conf relation in the unifying theories of programming

    Cavalcanti, A. & Gaudel, M. C., 26 Aug 2010, Unifying Theories of Programming - Second International Symposium, UTP 2008, Revised Selected Papers. p. 42-61 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5713 LNCS).

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

  18. A state-based approach to traceability maintenance

    Drivalos-Matragkas, N., Kolovos, D. S., Paige, R. F. & Fernandes, K. J., 2 Aug 2010, Proceedings of the 6th ECMFA Traceability Workshop, ECMFA-TW'10. p. 23-30 8 p.

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

  19. AEINS: The role of interactive narrative in fostering character education

    Hodhod, R., Kudenko, D. & Cairns, P., 2010, Proceedings of the 3rd International Symposium on AI and Games - A Symposium at the AISB 2010 Convention. p. 47-53 7 p.

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

  20. AI for Herding Sheep.

    Cowling, P. I. & Gmeinwieser, C., 2010, AIIDE.

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

  21. Accessibility of Blended and E-Learning for Mature Age and Disabled Students and Staff: Introduction to the Special Thematic Session

    Petrie, H., Power, C., Veasco, C. A. & Boticario, J. G., 2010, COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS, PT 1. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6179 LNCS. p. 484-485 2 p.

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

  22. Accessibility of blended and E-learning for mature age and disabled students and staff: introduction to the special thematic session

    Petrie, H., Power, C. D., Velasco, C. A. & Boticario, J. G., 2010, International Conference on Computers Helping People with Special Needs. Springer, p. 484-485 2 p.

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

  23. An Iterative Approach for Development of Safety-Critical Software and Safety Arguments

    Ge, X., Paige, R. F. & McDermid, J. A., 2010, AGILE Conference, 2010. IEEE, p. 35-43 9 p.

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

  24. An Overview of the SoBP for Software in the Context of DS 00-56 Issue 4

    Menon, C., Hawkins, R. D., McDermid, J. A. & Kelly, T. P., 2010, Making Systems Safer. Dale, C. & Anderson, T. (eds.). London: SPRINGER-VERLAG LONDON LTD, p. 129-147 19 p.

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

  25. Assessing trustworthiness of nodes to enhance performance in mobile ad hoc networks

    Bista, S. K., Dahal, K., Cowling, P. & Bouras, A., 2010, Privacy Security and Trust (PST), 2010 Eighth Annual International Conference on. p. 80-87 8 p.

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

  26. Associating Minutiae between Distorted Fingerprints Using Minimal Spanning Tree

    Zhu, E., Hancock, E., Ren, P., Yin, J. & Zhang, J., 2010, IMAGE ANALYSIS AND RECOGNITION, 2010, PT II, PROCEEDINGS. Campilho, A. & Kamel, M. (eds.). PART 2 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6112 LNCS. p. 235-245 11 p.

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

  27. Assurance of Automotive Safety – A Safety Case Approach

    Habli, I. & Palin, R. A., 2010, 29th International Conference on Computer Safety, Reliability and Security .

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

  28. Asynchronous event handling and safety critical Java

    Wellings, A. J. & Kim, M., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010. Kalibera, T. & Vitek, J. (eds.). ACM, p. 53-62 10 p. (ACM International Conference Proceeding Series).

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

  29. Building Model-Driven Engineering Traceability

    Paige, R. F., Olsen, G. K., Kolovos, D., Zschaler, S. & Power, C. D., 2010, ECMDA Traceability Workshop (ECMDA-TW). Sintef, p. 49 1 p.

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

  30. C-Link: Concept Linkage in Knowledge Repositories.

    Cowling, P. I., Remde, S., Hartley, P., Stewart, W., Stock-Brooks, J. & Woolley, T., 2010, AAAI Spring Symposium: Linked Data Meets Artificial Intelligence.

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

  31. Can recognising multiword expressions improve shallow parsing?

    Korkontzelos, I. & Manandhar, S., 2010, Human language technologies: the 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics. Stroudsburg, PA: Association for Computational Linguistics, p. 636-644 9 p.

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

  32. Combining Behavioural Real-time Software Modelling with the OSCI TLM-2.0 Communication Standard

    Yu, K. & Audsley, N. C., 2010, 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010. IEEE Computer Society, p. 1825-1832 8 p.

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

  33. Concurrent abstract predicates

    Dinsdale-Young, T., Dodds, M. D., Gardner, P., Parkinson, M. J. & Vafeiadis, V., 2010, ECOOP 2010 – Object-Oriented Programming : 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings. Springer, p. 504-528 25 p. (Lecture Notes in Computer Science; vol. 6183).

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

  34. Data Mining Techniques for Proactive Fault Diagnostics of Electronic Gaming Machines

    Butler, M. & Keselj, V., 2010, ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS. Farzindar, A. & Keselj, V. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6085 LNAI. p. 366-369 4 p.

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

  35. Depinning behaviour of domain wall in magnetic nanowire with asymmetric notch

    Liao, J., Ma, B., Zhang, Z., Jin, Q., Huang, Z., Hu, X., Ding, A., Zhang, W., Wu, J. & Xu, Y., 1 Dec 2010, Proceedings - 2010 8th International Vacuum Electron Sources Conference and Nanocarbon, IVESC 2010 and NANOcarbon 2010. p. 589-590 2 p. 5644171

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

  36. Detection of skin lesions using diffuse polarisation

    Subramaniam, N., Saman, G. & Hancock, E., 2010, 2010 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING. NEW YORK: IEEE, p. 3021-3024 4 p.

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

  37. Direct magnetic imaging of domain wall manipulation in necked permalloy wire using XPEEM

    Zhang, W., Wong, P. K. J., Morton, S. A., Scholl, A., Wu, J., Xu, Y. B., Van Der Laan, G., Yang, H. F., Xia, K., Gu, C. Z., Huang, Z. C., Luo, C. & Zhai, Y., 1 Dec 2010, Proceedings - 2010 8th International Vacuum Electron Sources Conference and Nanocarbon, IVESC 2010 and NANOcarbon 2010. p. 496-497 2 p. 5644238

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

  38. Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada

    Burns, A. & Wellings, A., 2010, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010. Real, J. & Vardanega, T. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6106 LNCS. p. 41-53 13 p.

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

  39. Distinguishing facial expression using the Fisher-Rao metric

    Ceolin, S. & Hancock, E. R., 2010, 2010 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING. NEW YORK: IEEE, p. 1437-1440 4 p.

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

  40. Dividing point value selections for Improved Quick Processor-Demand Analysis

    Zhang, F. & Burns, A., 16 Dec 2010, ICSTE 2010 - 2010 2nd International Conference on Software Technology and Engineering, Proceedings. Vol. 1. p. V1-170 -V1-175 5608891

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

  41. Do sensornet protocol variants yield real benefits?

    Tate, J. & Bate, I., 1 Mar 2010, 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2010, Oxford, England, UK, 22-26 March 2010. Sterritt, R., Eames, B. & Sprinkle, J. (eds.). Los Alamitos, CA: IEEE Computer Society Press, p. 19-28 10 p.

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

  42. Dual Priority Scheduling: Is the Processor Utilisation bound 100%?

    Burns, A., 2010, Proceedings of 1st International Real-Time Scheduling Open Problems Seminar, RTSOPS 2010. Davis, R. I. & Fisher, N. (eds.). p. 3-4 2 p.

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

  43. Encoding Circus programs in ProofPower-Z

    Zeyda, F. & Cavalcanti, A., 26 Aug 2010, Unifying Theories of Programming - Second International Symposium, UTP 2008, Revised Selected Papers. p. 218-237 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5713 LNCS).

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

  44. Ensemble Classification for Constraint Solver Configuration

    Kotthoff, L., Miguel, I. J. & Nightingale, P. W., 2010, Proceedings of the 16th International Conference on Principles and Practice of Constraint Programming. Cohen, D. (ed.). Netherlands: Springer, Vol. 6308. p. 321-329 9 p. (Lecture Notes in Computer Science).

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

  45. Evaluating goal-oriented analysis in the domain of enterprise information systems

    Tabatabaie, M., Polack, F. A. C. & Paige, R. F., 1 Dec 2010, ENTERprise Information Systems - International Conference, CENTERIS 2010, Proceedings. PART 1 ed. p. 62-70 9 p. (Communications in Computer and Information Science; vol. 109 CCIS, no. PART 1).

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

  46. Evaluation and Integration of COTS in Evidence based Assurance Frameworks

    Despotou, G., Bennett, M. & Kelly, T., 2010, MAKING SYSTEMS SAFER. Dale, C. & Anderson, T. (eds.). GODALMING: SPRINGER-VERLAG LONDON LTD, p. 233-254 22 p.

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

  47. Experiments in objet trouvé browsing

    Colton, S., Gow, J., Torres, P. & Cairns, P., 2010, Proceedings of the International Conference on Computational Creativity, ICCC-10. p. 238-247 10 p.

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

  48. Explicit Stabilisation for Modular Rely-Guarantee Reasoning

    Wickerson, J., Dodds, M. & Parkinson, M. J., 2010, Programming Languages and Systems: 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Springer, Vol. 6012 LNCS. p. 610-629 20 p. (Lecture Notes in Computer Science; vol. 6012).

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

  49. Exploring the Identity Manifold: Constrained Operations in Face Space

    Patel, A. & Smith, W. A. P., 2010, Proceedings of the European Conference on Computer Vision. PART 6 ed. Vol. 6316 LNCS. p. 112-125 14 p.

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

  50. Face Recognition Using Simplicial Complexes

    Zou, C. & Hancock, E. R., 2010, ADVANCES IN PATTERN RECOGNITION. CarrascoOchoa, JA., MartinezTrinidad, JF. & Kittler, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6256 LNCS. p. 22-29 8 p.

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

  51. Generating Special-Purpose Stateless Propagators for Arbitrary Constraints

    Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 2010, Principles and Practice of Constraint Programming – CP 2010. Cohen, D. (ed.). Netherlands: Springer, Vol. 6308. p. 206-220 15 p. (Lecture Notes in Computer Science).

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

  52. Graph Programs

    Plump, D., 2010, Pre-Proceedings 1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010). Kirchner, H. & Munoz, C. (eds.). p. 39-44 6 p.

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

  53. Hoare Logic for Graph Programs

    Plump, D. & Poskitt, C. M., 2010, Proceedings THEORY Workshop at Verified Software: Theories, Tools and Experiments (VS-THEORY 2010). Naumann, D. & Yang, H. (eds.). 11 p.

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

  54. Improving QoS of Multi-layer Networks-on-Chip with Partial and Dynamic Reconfiguration of Routers

    Moller, L., Fischer, P., Moraes, F., Indrusiak, L. S. & Glesner, M., 2010, 2010 International Conference on Field Programmable Logic and Applications (FPL). p. 229-233 5 p.

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

  55. Incrementally Discovering Object Classes Using Similarity Propagation and Graph Clustering

    Xia, S. & Hancock, E. R., 2010, COMPUTER VISION - ACCV 2009, PT III. Zha, H., Taniguchi, RI. & Maybank, S. (eds.). PART 3 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5996 LNCS. p. 373-383 11 p.

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

  56. Instruction Cache Prediction Using Bayesian Networks

    Bartlett, M., Bate, I. & Cussens, J., 1 Aug 2010, Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010). Lisbon, Portugal: IOS Press, Vol. 215. p. 1099-1100 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 215).

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

  57. Instruction Set Simulator for MPSoCs based on NoCs and MIPS Processors

    Moller, L., Rodrigues, A., Moraes, F., Indrusiak, L. S. & Glesner, M., 14 May 2010, Proceedings of the 5th International Workshop on Reconfigurable Communication-centric Systems on Chip (ReCoSoC). Hübner, M., Lagadec, L., Sander, O. & Becker, J. (eds.). Karlsruhe: KIT Scientific Publishing, p. 7-12 5 p.

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

  58. Investigating Average versus Worst-Case Timing Behavior of Data Caches and Data Scratchpads

    Whitham, J. & Audsley, N., 2010, 2010 22nd Euromicro Conference on Real-Time Systems (ECRTS). p. 165-174

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

  59. KAOS-β: A goal-oriented process model for EIS

    Tabatabaie, M., Polack, F. A. C. & Paige, R. F., 30 Nov 2010, Proceedings of the 8th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2010, in Conjunction with ICEIS 2010. p. 40-49 10 p.

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

  60. Language Vulnerabilities - Let's not forget Concurrency

    Burns, A. & Wellings, A. J., 1 Apr 2010, Proceedings of 14th International Real-Time Ada Workshop, IRTAW. ACM, Vol. XXX. p. 26-32 7 p. (Ada Letters).

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

  61. Learning Bayesian Networks for Improved Instruction Cache Analysis

    Bartlett, M., Bate, I. & Cussens, J., 2010, 2010 Ninth International Conference on Machine Learning and Applications: Proceedings of the 9th International Conference on Machine Learning and Applications. IEEE, p. 417-423 7 p.

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

  62. Learning When to Use Lazy Learning in Constraint Solving

    Gent, I. P., Jefferson, C. A., Kotthoff, L., Miguel, I. J., Moore, N. C. A., Nightingale, P. & Petrie, K., 2010, Proceedings of the 19th European Conference on Artificial Intelligence (ECAI-2010). IOS Press, p. 873-878 6 p. (Frontiers in Artificial Intelligence and Applications).

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

  63. Learning the Nature of Generalisation Errors in a 3D Morphable Model

    Aldrian, O. & Smith, W. A. P., 2010, Proceedings of the International Conference on Image Processing. p. 4557-4560 4 p.

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

  64. Maintaining Stable Node Populations In Long-Lifetime Sensornets

    Tate, J. & Bate, I., 1 Mar 2010, 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010. Calinescu, R., Paige, R. F. & Kwiatkowska, M. Z. (eds.). Los Alamitos, CA: IEEE Computer Society Press, p. 159-168 10 p.

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

  65. Minimal image sets for robust spherical gradient photometric stereo

    Dutta, A. & Smith, W. A. P., 15 Dec 2010, SA '10 ACM SIGGRAPH ASIA 2010 Sketches. ACM, 22

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

  66. Model Migration with Epsilon Flock

    Rose, L. M., Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2010, THEORY AND PRACTICE OF MODEL TRANSFORMATIONS. Tratt, L. & Gogolla, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6142 LNCS. p. 184-198 15 p.

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

  67. Model-Based Assurance for Justifying Automotive Functional Safety

    Habli, I., Kelly, T., Rivett, R. S. & Ibarra, I., 2010, 2010 SAE World Congress, Detroit.

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

  68. Optimising IDS Sensor Placement

    Chen, H., Clark, J. A., Shaikh, S. A., Chivers, H. & Nobles, P., 2010, FIFTH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY: ARES 2010, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 315-320 6 p.

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

  69. PAC-MDP learning with knowledge-based admissible models

    Grzes, M. & Kudenko, D., 2010, Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010). Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems , p. 349-356 8 p.

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

  70. Partitioned EDF Scheduling for Multiprocessors using a C=D Scheme

    Burns, A., Davis, R. I., Wang, P. & Zhang, F., 2010, Proceedings of 18th International Conference on Real-Time and Network Systems (RTNS). p. 169-178 10 p.

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

  71. Partitioned EDF scheduling for multiprocessors using a C=D task splitting scheme

    Burns, A., Davis, R. I., Wang, P. & Zhang, F., Nov 2010, International conference on Real-Time and Network Systems.

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

  72. Photometric Stereo under Low Frequency Environment Illumination

    Huang, R. & Smith, W. A. P., 2010, Advances in Visual Computing: 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29 – December 1, 2010, Proceedings, Part II. PART 2 ed. Springer, Vol. 6454 LNCS. p. 139-150 12 p. (Lecture Notes in Computer Science; vol. 6454).

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

  73. Quantifying the Suboptimality of Uniprocessor Fixed Priority Non-Pre-emptive Scheduling

    Davis, R. I., George, L. & Courbin, P., Nov 2010, International Conference on Real-Time and Network Systems.

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

  74. Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems

    Burns, A. & Littlewood, B., 1 Dec 2010, 2010 IEEE 31st Real-Time Systems Symposium (RTSS). IEEE Computer Society Press, p. 73-81 9 p.

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

  75. Reducing Queue Lock Pessimism in Multiprocessor Schedulability Analysis

    Chang, Y., Davis, R. I. & Wellings, A. J., Nov 2010, International conference on Real-Time and Network Systems. p. 99-108

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

  76. Reflections on the Simulation of Complex Systems for Science

    Polack, F. A. C., Andrews, P. S., Ghetiu, T., Read, M., Stepney, S., Timmis, J. & Sampson, A. T., 2010, Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on . IEEE, p. 276-285 9 p.

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

  77. Risk Based Access Control with Uncertain and Time-dependent Sensitivity

    Clark, J. A., Tapiador, J. E., McDermid, J. A., Cheng, P-C., Agrawal, D., Ivanic, N. & Slogget, D., 2010, Proceedings of the 2010 International Conference on Security and Cryptography. Katsikas, S. & Samarati, P. (eds.). SciTePress, p. 1-9 9 p.

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

  78. Satisfying Test Preconditions through Guided Object Selection

    Wei, Y., Gebhardt, S., Meyer, B. & Oriol, M., 2010, Software Testing, Verification and Validation (ICST), 2010 Third International Conference on. IEEE, p. 303-312

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

  79. Searching a multivariate partition space using weighted MAX-SAT

    Liverani, S., Cussens, J. & Smith, J. Q., 2010, Proceedings of the Sixth International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB) 2009. Masulli, F., Peterson, L. & Tagliaferri, R. (eds.). Springer, p. 240-253 14 p. (LNBI 6160).

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

  80. Semi-supervised Feature Selection for Gender Classification

    Wu, J., Smith, W. A. P. & Hancock, E. R., 2010, COMPUTER VISION - ACCV 2009, PT II. Zha, HB., Taniguchi, RI. & Maybank, S. (eds.). PART 2 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5995 LNCS. p. 23-33 11 p.

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

  81. Sensitivity analysis for EDF scheduled arbitrary deadline real-time systems

    Zhang, F., Burns, A. & Baruah, S., 24 Nov 2010, Proceedings - 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2010. p. 61-70 10 p. 5591291

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

  82. Sensitivity analysis of relative deadline for EDF scheduled real-time systems

    Zhang, F., Burns, A. & Baruah, S., 2010, Proceedings of 2nd International Conference on Mechanical and Electronics Engineering (ICMEE). p. V1-296 -V1-301

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

  83. Sensitivity analysis of task period for EDF scheduled arbitrary deadline real-time systems

    Zhang, F., Burns, A. & Baruah, S., 2010, Proceedings of 3rd IEEE International Conference on Computer Science and Information Technology (ICCSIT). p. 23-28 6 p.

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

  84. Sensitivity analysis of the minimum task period for arbitrary deadline real-time systems

    Zhang, F., Burns, A. & Baruah, S., 2010, Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC). IEEE Computer Society Press, p. 101-108 8 p. 5703233

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

  85. Sequential Data Mining using Correlation Matrix Memory

    Shanker, S., Turner, A., Sherly, E. & Austin, J., 2010, Proceedings. ICNIT 2010 International Conference on Networking and Information Technology. IEEE, p. 470-472 3 p.

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

  86. Shape and Refractive Index Recovery from Single-View Polarisation Images

    Huynh, C. P., Robles-Kelly, A. & Hancock, E., 2010, 2010 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR). LOS ALAMITOS: IEEE COMPUTER SOC, p. 1229-1236 8 p.

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

  87. Software Engineering Techniques for the Development of Systems of Systems

    Calinescu, R. & Kwiatkowska, M., 2010, FOUNDATIONS OF COMPUTER SOFTWARE: FUTURE TRENDS AND TECHNIQUES FOR DEVELOPMENT. Choppy, C. & Sokolsky, O. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6028 LNCS. p. 59-82 24 p.

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

  88. Software stage-effort estimation based on association rule mining and Fuzzy set theory

    Azzeh, M., Cowling, P. I. & Neagu, D., 2010, Computer and Information Technology (CIT), 2010 IEEE 10th International Conference on. p. 249-256 8 p.

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

  89. Spatial pyramid local keypoints quantization for bag of visual patches image representation

    Alqasrawi, Y., Neagu, D. & Cowling, P., 2010, Intelligent Systems Design and Applications (ISDA), 2010 10th International Conference on. p. 1270-1274 5 p.

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

  90. Spherical Embeddings for non-Euclidean Dissimilarities

    Wilson, R. C., Hancock, E. R., Pekalska, E. & Duin, R. P. W., 2010, 2010 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR). LOS ALAMITOS: IEEE COMPUTER SOC, p. 1903-1910 8 p.

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

  91. Studying the Applicability of the Scratchpad Memory Management Unit

    Whitham, J. & Audsley, N. C., 2010, 16th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2010, Stockholm, Sweden, April 12-15, 2010. Caccamo, M. (ed.). IEEE Computer Society, p. 205-214 10 p.

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

  92. Supporting Execution on Multiprocessor Platforms

    Burns, A. & Wellings, A. J., 1 Apr 2010, Proceedings of 14th International Real-Time Ada Workshop, IRTAW. Vol. XXX. (ACM Ada Letters).

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

  93. Supporting Islands of Coherency for highly-parallel embedded architectures using Compile-Time Virtualisation

    Gray, I. & Audsley, N. C., 2010, Proceedings of the 13th International Workshop on Software & Compilers for Embedded Systems.

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

  94. Surface Material Segmentation Using Polarisation

    Subramaniam, N. & Hancock, E., 2010, ADVANCES IN PATTERN RECOGNITION. CarrascoOchoa, JA., MartinezTrinidad, JF. & Kittler, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6256. p. 115-124 10 p.

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

  95. Taming EMF and GMF Using Model Transformation

    Kolovos, D. S., Rose, L. M., bin Abid, S., Paige, R. F. & Polack, F. A. C., 2010, Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. Springer, p. 211-225 (Lecture Notes in Computer Science; vol. 6394).

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

  96. Task parameter computations for constraint deadline real-time systems with EDF scheduling

    Zhang, F., Burns, A. & Baruah, S., 27 Aug 2010, Proceedings of International Conference onComputer Design and Applications (ICCDA). Vol. 3. p. V3-553 -V3-557 5541363

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

  97. Taxonomy Learning Using Word Sense Induction

    Klapaftis, I. P. & Manandhar, S., 2010, Human Language Technologies: The 2010 Annual Conference of the North American Chapter of the ACL. Association for Computational Linguistics, p. 82-90

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

  98. Techniques For The Synthesis Of Multiprocessor Tasksets

    Emberson, P., Stafford, R. & Davis, R. I., Jul 2010, WATERS workshop at the Euromicro Conference on Real-Time Systems. p. 6-11

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

  99. Tenori-on stage: YouTube as performance space

    Blythe, M. & Cairns, P., 2010, NordiCHI 2010: Extending Boundaries - Proceedings of the 6th Nordic Conference on Human-Computer Interaction. p. 72-81 10 p.

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

  100. The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005

    Wellings, A. J. & Burns, A., 2010, Proceedings of Reliable Software Technologies - Ada-Europe. Real, J. & Vardanega, T. (eds.). Springer, Vol. LNCS 6106. p. 196-207 12 p.

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

  101. The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005

    Wellings, A. & Burns, A., 2010, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010. Real, J. & Vardanega, T. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6106 LNCS. p. 196-207 12 p.

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

  102. The Semantics of Graph Programs

    Plump, D. & Steinert, S., 2010, Proceedings 10th International Workshop on Rule-Based Programming (RULE 2009). Mackie, I. & Martins Moreira, A. (eds.). p. 27-38 (Electronic Proceedings in Theoretical Computer Science ; vol. 21).

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

  103. The miracle of reactive programming

    Woodcock, J., 2010, Unifying Theories of Programming - Second International Symposium, UTP 2008, Revised Selected Papers. p. 202-217 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5713 LNCS).

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

  104. Timing Analyzing for Systems with Execution Dependencies between Tasks

    Lu, Y., Nolte, T., Bate, I. & Norstrom, C., 2010, The 25th ACM Symposium on Applied Computing (SAC2010). p. 357-358 2 p.

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

  105. Timing Analyzing for Systems with Task Execution Dependencies

    Lu, Y., Nolte, T., Bate, I. & Norstrom, C., 2010, Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2010, Seoul, Korea, 19-23 July 2010. Ahamed, S. I., Bae, D-H., Cha, S. D., Chang, C. K., Subramanyan, R., Wong, E. & Yang, H-I. (eds.). IEEE Computer Society, p. 515-524 10 p.

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

  106. Towards a Model-Based Refinement Process for Contractual Statecharts

    Paige, R. F., 4 May 2010, Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2010 13th IEEE International Symposium on . 2010 ed. IEEE Computer Society, Vol. 2. p. 108-115 8 p.

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

  107. Towards memory management for service-oriented real-time systems

    Richardson, T., Wellings, A. J., Dianes, J. A. & Díaz, M., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010. Kalibera, T. & Vitek, J. (eds.). ACM, p. 128-137 10 p. (ACM International Conference Proceeding Series).

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

  108. Trace Specifications in Alloy

    Jacob, J. L., 2010, ABSTRACT STATE MACHINES, ALLOY, B AND Z, PROCEEDINGS. Frappier, M., Glasser, U., Khurshid, S., Laleau, R. & Reeves, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5977 LNCS. p. 105-117 13 p.

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

  109. UTP semantics for handel-C

    Perna, J. I. & Woodcock, J., 2010, Unifying Theories of Programming - Second International Symposium, UTP 2008, Revised Selected Papers. p. 142-160 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5713 LNCS).

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

  110. Understanding and Supporting the Needs of Educational Professionals Working with Students with Disabilities and Mature Age Students

    Swallow, D., Petrie, H. & Power, C., 2010, COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS, PT 1. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6179 LNCS. p. 486-491 6 p.

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

  111. Understanding the Safety Lifecycle of Systems of Systems

    Despotou, G. & Kelly, T., 2010, 28th International System Safety Conference (ISSC).

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

  112. Understanding visitors' experiences with multimedia guides in cultural spaces

    Othman, M. K., Petrie, H. & Power, C. D., 2010, Proceedings of Transforming Culture in the Digital Age (International Conference in Tartu, April 14--16), Tartu, Estonia. Estonian National Museum, Estonian Literary Museum, University of Tartu, p. 30-36

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

  113. Unifying theories of interrupts

    McEwan, A. A. & Woodcock, J., 2010, Unifying Theories of Programming - Second International Symposium, UTP 2008, Revised Selected Papers. p. 122-141 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5713 LNCS).

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

  114. UoY: Graphs of Unambiguous Vertices for Word Sense Induction and Disambiguation

    Korkontzelos, I. & Manandhar, S., 2010, Proceedings of the 5th International Workshop on Semantic Evaluation, SemEval@ACL 2010, Uppsala University, Uppsala, Sweden, July 15-16, 2010. p. 355-358 4 p.

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

  115. Use of model transformation for the formal analysis of railway interlocking models

    Xu, T., Santos, O. M., Ge, X. & Woodcock, J., 2010, Computers in Railways XII, COMPRAIL 2010. p. 815-826 12 p. (WIT Transactions on the Built Environment; vol. 114).

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

  116. Using the Fisher-Rao Metric to Compute Facial Similarity

    Ceolin, S. & Hancock, E. R., 2010, IMAGE ANALYSIS AND RECOGNITION, PT I, PROCEEDINGS. Campilho, A. & Kamel, M. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6111 LNCS. p. 384-393 10 p.

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

  117. Using the executor framework to implement asynchronous event handling in the RTSJ

    Kim, M. & Wellings, A. J., 2010, Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2010, Prague, Czech Republic, August 19-21, 2010. Kalibera, T. & Vitek, J. (eds.). ACM, p. 16-25 10 p. (ACM International Conference Proceeding Series).

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

  118. VHDL Guidance for Safe and Certifiable FPGA Design

    Conmy, P., Pygott, C. & Bate, I., 1 Oct 2010, IET System Safety Conference.

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

  119. Virtual Learning Environments: Another Barrier to Blended and E-Learning

    Power, C., Petrie, H., Sakharov, V. & Swallow, D., 2010, COMPUTERS HELPING PEOPLE WITH SPECIAL NEEDS, PROCEEDINGS, PT 1. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6179 LNCS. p. 519-526 8 p.

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

  120. Wattsup? Motivating reductions in domestic energy consumption using social networks

    Foster, D., Lawson, S., Blythe, M. & Cairns, P., 2010, NordiCHI 2010: Extending Boundaries - Proceedings of the 6th Nordic Conference on Human-Computer Interaction. p. 178-187 10 p.

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

  121. Word sense induction disambiguation using hierarchical random graphs

    Klapaftis, I. P. & Manandhar, S., 2010, EMNLP '10 Proceedings of the 2010 Conference on Empirical Methods in Natural Language Processing . Stroudsburg, PA: Association for Computational Linguistics, p. 745-755 10 p.

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

  122. transML: A Family of Languages to Model Model Transformations

    Guerra, E., de Lara, J., Kolovos, D., Paige, R., dos Santos, O., Petriu, D., Rouquette, N. & Haugen, Ø., 2010, Model Driven Engineering Languages and Systems : 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. p. 106-120 15 p.

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

  123. Entry for encyclopedia/dictionary › Research
  124. Artificial Immune Systems

    Timmis, J., Sammut, C. (ed.) & Webb, G. I. (ed.), 2010, Encyclopedia of Machine Learning. Springer, p. 40-44 5 p.

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  125. Programming Phase: Formal Methods

    Paige, R. F., Woodcock, J., Brooke, P. J. & Cavalcanti, A., 2010, Encyclopedia of Software Engineering. Taylor and Francis, p. 772-785 14 p.

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  126. Chapter › Research
  127. An Artificial Immune System for Robot Organisms

    Timmis, J., Tyrrell, A., Mokhtar, M., Ismail, A., Owens, N. & Bi, R., Jun 2010, Symbiotic Multi-Robot Organisms: Reliability, Adaptability and Evolution. Levi & Kernback (eds.). Springer, p. 268-288 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  128. Fine-Grained Timing Using Genetic Programming

    White, D. R., Tapiador, J. E., Castro, J. C. H., Clark, J. A., Esparcia-Alcázar, A. I. (ed.), Ekárt, A. (ed.), Silva, S. (ed.), Dignum, S. (ed.) & Etaner-Uyar, A. S. (ed.), 2010, Genetic Programming, 13th European Conference, EuroGP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings. Springer, Vol. 6021. p. 325-336 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  129. Fostering character education with games and interactive story generation

    Hodhod, R., Cairns, P. & Kudenko, D., 2010, Designing Games for Ethics: Models, Techniques and Frameworks. IGI Global, p. 208-233 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  130. The Game of Life Rules on Penrose Tilings: still life and oscillators

    Owens, N. & Stepney, S., 2010, Game of Life Cellular Automata. Springer, p. 331-378 48 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  131. Time perception, immersion and music in videogames

    Sanders, T. & Cairns, P., 2010, Proceedings of the 24th BCS Conference on Human Computer Interaction HCI2010. p. 7 1 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  132. Other contribution › Research
  133. A Synchronous Approach to Threaded Program Verification

    Johnson, K. H. A., Besnard, L., Gautier, T. & Talpin, J-P., 2010, (Unpublished) 32 p.

    Research output: Other contribution

  134. Paper › Research › Peer-reviewed
  135. A Case for Dynamic Risk Assessment in NEC Systems of Systems

    Aitken, J. M., Alexander, R. & Kelly, T., 2010.

    Research output: Contribution to conferencePaperpeer-review

  136. A Computationally Efficient Method for Online Identification of Traffic Control Intervention Measures

    Krishnan, R., Hodge, V. J., Austin, J. & Polak, J., 5 Jan 2010.

    Research output: Contribution to conferencePaperpeer-review

  137. A Developmental and Immune-Inspired Dynamic Task Allocation Algorithm for Microprocessor Array Systems

    Liu, Y., Timmis, J., Qadir, O., Tempesti, G. & Tyrrell, A., Aug 2010, p. 199-212.

    Research output: Contribution to conferencePaperpeer-review

  138. A Neural-Endocrine Architecture for Foraging in Swarm Robotic Systems

    Timmis, J., Murray, L. & Neal, M., 2010, p. 319-330.

    Research output: Contribution to conferencePaperpeer-review

  139. A Petri Net Model of Granulomatous Inflammation

    Albergante, L., Timmis, J., Andrews, P. S., Beattie, L. & Kaye, P. M., 2010, p. 1-3.

    Research output: Contribution to conferencePaperpeer-review

  140. A Reflective Approach to Model-Driven Web Engineering

    Clowes, D., Kolovos, D. S., Holmes, C., Rose, L. M., Paige, R. F., Johnson, J., Dawson, R. & Probets, S. G., 2010, p. 62--73.

    Research output: Contribution to conferencePaperpeer-review

  141. A Supergraph-based Generative Model

    Han, L., Wilson, R. C. & Hancock, E. R., 2010, p. 1566-1569.

    Research output: Contribution to conferencePaperpeer-review

  142. A Visual Specification Language for Model-to-Model Transformations

    Guerra, E., Lara, J. D., Kolovos, D. S. & Paige, R. F., 2010, p. 119-126.

    Research output: Contribution to conferencePaperpeer-review

  143. A case study of hierarchically heterogeneous application modelling using UML and Ptolemy II

    Maatta, S., Indrusiak, L. S., Ost, L., Moller, L., Glesner, M., Moraes, F. G. & Nurmi, J., 1 Sep 2010, p. 68 -71.

    Research output: Contribution to conferencePaperpeer-review

  144. A computationally efficient method for online identification of traffic incidents and network equipment failures

    Hodge, V. J., Krishnan, R., Austin, J. & Polak, J., 4 Apr 2010.

    Research output: Contribution to conferencePaperpeer-review

  145. AURA-Alert: The use of Binary Associative Memories for Condition Monitoring Applications

    Austin, J., Jackson, T., Hodge, V. J. & Brewer, G., 22 Jun 2010, p. 699-711.

    Research output: Contribution to conferencePaperpeer-review

  146. Accessibility of Blended and E-Learning for Mature Age and Disabled Students and Staff: Introduction to the Special Thematic Session

    Petrie, H., Power, C., Velasco, C. A. & Boticario, J., 2010, p. 484-485.

    Research output: Contribution to conferencePaperpeer-review

  147. Affinity Propagation for Class Exemplar Mining

    Xia, S., Song, R. & Hancock, E. R., 2010, p. 191-201.

    Research output: Contribution to conferencePaperpeer-review

  148. An Admission Control Protocol for Real-Time OSGi

    Richardson, T. & Wellings, A. J., May 2010, p. 217. 224 p.

    Research output: Contribution to conferencePaperpeer-review

  149. An Experience Report in Requirements Elicitation for Accessible E-Learning Systems

    Power, C. & Petrie, H., 1 Mar 2010, p. 259 -261.

    Research output: Contribution to conferencePaperpeer-review

  150. An algebraic approach to information theory

    Patra, M. K. & Braunstein, S. L., 2010, p. 2708-2712.

    Research output: Contribution to conferencePaperpeer-review

  151. Assurance of Claims and Evidence for Aviation Systems

    Reinhardt, D. W. & McDermid, J. A., 20 Oct 2010, p. 1-10. 10 p.

    Research output: Contribution to conferencePaperpeer-review

  152. Automating Refinement of Circus Programs

    Zeyda, F. & Cavalcanti, A., 2010, p. 274-290.

    Research output: Contribution to conferencePaperpeer-review

  153. Bilingual lexicon extraction from comparable corpora using in-domain terms

    Ismail, A. & Manandhar, S., 2010, p. 481-489.

    Research output: Contribution to conferencePaperpeer-review

  154. Character Education Using Pedagogical Agents and Socratic Voice

    HodHod, R. A., Kudenko, D. & Cairns, P. A., 2010.

    Research output: Contribution to conferencePaperpeer-review

  155. Characterising Facial Gender Difference Using Fisher-Rao Metric

    Ceolin, S. & Hancock, E. R., 2010, p. 4308-4311.

    Research output: Contribution to conferencePaperpeer-review

  156. Communication Systems in ClawZ

    Vernon, M., Zeyda, F. & Cavalcanti, A., 2010, p. 334-348.

    Research output: Contribution to conferencePaperpeer-review

  157. Comparing Model-Metamodel and Transformation-Metamodel Co-evolution

    Rose, L. M., Etien, A., Méndez, D., Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2010.

    Research output: Contribution to conferencePaperpeer-review

  158. Competitive carbon counting: can social networking sites make saving energy more enjoyable?

    Foster, D., Blythe, M., Cairns, P. A. & Lawson, S., 2010, p. 4039-4044.

    Research output: Contribution to conferencePaperpeer-review

  159. Concordance: An Efficient Framework for Managing Model Integrity

    Rose, L. M., Kolovos, D. S., Drivalos, N., Williams, J. R., Paige, R. F., Polack, F. A. C. & Fernandes, K. J., 2010, p. 62--73.

    Research output: Contribution to conferencePaperpeer-review

  160. Controlling Complex Dynamics with Artificial Biochemical Networks

    Lones, M. A., Tyrrell, A. M., Stepney, S. & Caves, L. S. D., 2010, p. 159-170.

    Research output: Contribution to conferencePaperpeer-review

  161. Design to read: designing for people who do not read easily

    Jarrett, C., Petrie, H. & Summers, K., 2010, p. 4481-4484.

    Research output: Contribution to conferencePaperpeer-review

  162. Detecting Vorticity in Optical Flow of Fluids

    Doshi, A. & Bors, A. G., Aug 2010, p. 2118-2121. 4 p.

    Research output: Contribution to conferencePaperpeer-review

  163. Estimating Linear Models for Compositional Distributional Semantics

    Zanzotto, F. M., Korkontzelos, I., Fallucchi, F. & Manandhar, S., 2010, p. 1263-1271.

    Research output: Contribution to conferencePaperpeer-review

  164. Evaluating the impact of communication latency on applications running over on-chip multiprocessing platforms: A layered approach

    Indrusiak, L. S., Ost, L. C., Moraes, F. G., Maatta, S., Nurmi, J., Moller, L. & Glesner, M., 1 Jul 2010, p. 148 -153.

    Research output: Contribution to conferencePaperpeer-review

  165. Experiments in Object Trouve browsing

    Colton, S., Torres, P., Gow, J. & Cairns, P. A., 2010.

    Research output: Contribution to conferencePaperpeer-review

  166. Exploiting Loose Horizontal Coupling in Evolutionary Swarm Robotics

    Owen, J., Stepney, S., Timmis, J. & Winfield, A. F. T., 2010, p. 432-439.

    Research output: Contribution to conferencePaperpeer-review

  167. Formal Analysis in Model Management: Exploiting the Power of CZT

    Williams, J. R., Polack, F. A. C. & Paige, R. F., 2010, p. 414.

    Research output: Contribution to conferencePaperpeer-review

  168. Graph Embedding Using an Edge-Based Wave Kernel

    ElGhawalby, H. & Hancock, E. R., 2010, p. 60-69.

    Research output: Contribution to conferencePaperpeer-review

  169. Heat Flow-Thermodynamic Depth Complexity in Networks

    Escolano, F., Lozano, M. A. & Hancock, E. R., 2010, p. 1578-1581.

    Research output: Contribution to conferencePaperpeer-review

  170. INTELLIGENT DECISION SUPPORT FOR TRAFFIC MANAGEMENT

    Krishnan, R., Hodge, V., Austin, J., Polak, J., Jackson, T., Smith, M. & Lee, T., 25 Oct 2010.

    Research output: Contribution to conferencePaperpeer-review

  171. Information-Theoretic Detection of Masquerade Mimicry Attacks

    Tapiador, J. E. & Clark, J. A., 1 Sep 2010, p. 183 -190. 7 p.

    Research output: Contribution to conferencePaperpeer-review

  172. Inter-modelling: From Theory to Practice

    Guerra, E., Lara, J. D., Kolovos, D. S. & Paige, R. F., 2010, p. 376-391.

    Research output: Contribution to conferencePaperpeer-review

  173. Interplay between Language, Navigation and Kin selection

    Kazakov, D., 2010.

    Research output: Contribution to conferencePaperpeer-review

  174. Investigation of cultural dependency in mobile technology and older adults

    Abd Malik, S. & Edwards, A. D. N., 2010, p. 3835-3840.

    Research output: Contribution to conferencePaperpeer-review

  175. KAOS: A Goal-oriented Process Model for EIS

    Tabatabaie, M., Polack, F. A. C. & Paige, R. F., 2010, p. 40-49.

    Research output: Contribution to conferencePaperpeer-review

  176. Learning Autonomic Security Reconfiguration Policies

    Tapiador, J. E. & Clark, J. A., 2010, p. 902-909. 8 p.

    Research output: Contribution to conferencePaperpeer-review

  177. Measuring user experience of websites: think aloud protocols and an emotion word prompt list

    Petrie, H. & Precious, J., 2010, p. 3673-3678.

    Research output: Contribution to conferencePaperpeer-review

  178. Migrating Activity Diagrams with Epsilon Flock

    Rose, L. M., Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2010.

    Research output: Contribution to conferencePaperpeer-review

  179. Model Migration Case

    Rose, L. M., Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2010.

    Research output: Contribution to conferencePaperpeer-review

  180. Model Migration with Epsilon Flock

    Rose, L. M., Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2010, p. 184--198.

    Research output: Contribution to conferencePaperpeer-review

  181. Model-based design flow for NoC-based MPSoCs

    Ost, L., Indrusiak, L. S., Maatta, S., Mandelli, M., Nurmi, J. & Moraes, F., 1 Dec 2010, p. 750 -753.

    Research output: Contribution to conferencePaperpeer-review

  182. Modeling the behavior of the stock market with an Artificial Immune System

    Butler, M. & Kazakov, D., 1 Jul 2010, p. 1 -8.

    Research output: Contribution to conferencePaperpeer-review

  183. Modelling and Implementing Complex Systems with Timebands

    Woodcock, J., Oliveira, M., Burns, A. & Wei, K., 2010, p. 1-13.

    Research output: Contribution to conferencePaperpeer-review

  184. Multi-Agent Reinforcement Learning with Reward Shaping for KeepAway Takers

    Devlin, S., Grzes, M. & Kudenko, D., May 2010.

    Research output: Contribution to conferencePaperpeer-review

  185. Novel method of chaotic systems evaluation for implementations of encryption algorithms

    Dutra, E., Glesner, M., Finamore, W. A. & Indrusiak, L., 1 Apr 2010, p. 89 -96.

    Research output: Contribution to conferencePaperpeer-review

  186. On Homeostasis in Collective Robotic Systems

    Timmis, J. & Tyrrell, A. M., 2010, p. 307-309.

    Research output: Contribution to conferencePaperpeer-review

  187. On Identifying Spatial Traffic Patterns using Advanced Pattern Matching Techniques

    Krishnan, R., Hodge, V. J., Austin, J., Polak, J. & Lee, T., 10 Jan 2010.

    Research output: Contribution to conferencePaperpeer-review

  188. On modelling user observations in the UTP

    Banks, M. J. & Jacob, J. L., 2010, p. 101--119.

    Research output: Contribution to conferencePaperpeer-review

  189. Optical Flow Estimation Using Diffusion Distances

    Wartak, S. & Bors, A. G., Aug 2010, p. 189-192. 4 p.

    Research output: Contribution to conferencePaperpeer-review

  190. Particle Swarm Optimization of Bollinger Bands

    Butler, M. & Kazakov, D., 2010, p. 504-511.

    Research output: Contribution to conferencePaperpeer-review

  191. RBN-World: The hunt for a rich AChem

    Faulconbridge, A., Stepney, S. & Miller, J. F., 2010, p. 261--268.

    Research output: Contribution to conferencePaperpeer-review

  192. Realism in Statistical Analysis of Worst Case Execution Times

    Griffin, D. & Burns, A., 2010, p. 44-53.

    Research output: Contribution to conferencePaperpeer-review

  193. Recovering 3D Shape Using an Improved Fast Marching Method

    Zou, C. & Hancock, E. R., 2010, p. 1678-1681.

    Research output: Contribution to conferencePaperpeer-review

  194. Rectifying Non-Euclidean Similarity Data Using Ricci Flow Embedding

    Xu, W., Hancock, E. R. & Wilson, R. C., 2010, p. 3324-3327.

    Research output: Contribution to conferencePaperpeer-review

  195. Regularising the Ricci Flow Embedding

    Xu, W., Hancock, E. R. & Wilson, R. C., 2010, p. 579-588.

    Research output: Contribution to conferencePaperpeer-review

  196. Robust Computation of the Polarisation Image

    Saman, G. & Hancock, E. R., 2010, p. 971-974.

    Research output: Contribution to conferencePaperpeer-review

  197. Robust Shape from Polarisation and Shading

    Huynh, C. P., Robles-Kelly, A. & Hancock, E. R., 2010, p. 810-813.

    Research output: Contribution to conferencePaperpeer-review

  198. SAT Encodings of the AT-Most-k Constraint: Some Old, Some New, Some Fast, Some Slow

    Frisch, A. M. & Giannaros, P. A., 2010.

    Research output: Contribution to conferencePaperpeer-review

  199. Scribe Identification in Medieval English Manuscripts

    Gillam, T., Wilson, R. C. & Clark, J. A., 23 Aug 2010, p. 1880-1883. 4 p.

    Research output: Contribution to conferencePaperpeer-review

  200. Sonification Strategies for Examination of Biological Cells

    Edwards, A., Hunt, A., Hines, G., Jackson, V., Podvoiskis, A., Roseblade, R. & Stammers, J., 1 Jun 2010.

    Research output: Contribution to conferencePaperpeer-review

  201. Specification Coverage for Testing in Circus

    Cavalcanti, A. & Gaudel, M-C., 2010, p. 1-45.

    Research output: Contribution to conferencePaperpeer-review

  202. Spherical Embedding and Classification

    Wilson, R. C. & Hancock, E. R., 2010, p. 589-599.

    Research output: Contribution to conferencePaperpeer-review

  203. Tenori-on stage: YouTube as performance space

    Blythe, M. & Cairns, P. A., 2010, p. 72-81.

    Research output: Contribution to conferencePaperpeer-review

  204. Testing . NET Code with YETI

    Oriol, M. & Tassis, S., 2010.

    Research output: Contribution to conferencePaperpeer-review

  205. The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005

    Wellings, A. J. & Burns, A., 2010, p. 196-207.

    Research output: Contribution to conferencePaperpeer-review

  206. The Phish in the Pond: scam emails as literature

    Clark, J. A. & Blythe, M., 10 Apr 2010.

    Research output: Contribution to conferencePaperpeer-review

  207. The State of Practice in System Safety Research Evaluation

    Rae, A., Alexander, R. & Nicholson, M., Oct 2010.

    Research output: Contribution to conferencePaperpeer-review

  208. Towards Self-Healing Swarm Robotic Systems Inspired by Granuloma Formation

    Ismail, A. R. & Timmis, J., 2010, p. 313-314.

    Research output: Contribution to conferencePaperpeer-review

  209. Towards a Principled Design of Bio-inspired Solutions to Adaptive Information Filtering

    Azmi, N. F. M., Timmis, J. & Polack, F., 2010, p. 315-316.

    Research output: Contribution to conferencePaperpeer-review

  210. Unifying theories of confidentiality

    Banks, M. J., Jacob, J. L. & Qin, S., 2010, p. 120--136.

    Research output: Contribution to conferencePaperpeer-review

  211. Video games as research instruments

    Gámez, E. H. C., Cairns, P. A., Gow, J., Back, J. & Capstick, E., 2010, p. 4493-4496.

    Research output: Contribution to conferencePaperpeer-review

  212. Virtual Learning Environments: Another Barrier to Blended and E-Learning

    Power, C., Petrie, H., Sakharov, V. & Swallow, D., 2010, p. 519-526.

    Research output: Contribution to conferencePaperpeer-review

  213. Wattsup? motivating reductions in domestic energy consumption using social networks

    Foster, D., Lawson, S., Blythe, M. & Cairns, P. A., 2010, p. 178-187.

    Research output: Contribution to conferencePaperpeer-review

  214. What Is the Complexity of a Network? The Heat Flow-Thermodynamic Depth Approach

    Escolano, F., Lozano, M. A., Hancock, E. R. & Giorgi, D., 2010, p. 286-295.

    Research output: Contribution to conferencePaperpeer-review

  215. YETI on the Cloud

    Oriol, M. & Ullah, F., 1 Apr 2010, p. 434--437.

    Research output: Contribution to conferencePaperpeer-review

  216. it ransML: A Family of Languages to Model Model Transformations

    Guerra, E., Lara, J. D., Kolovos, D. S., Paige, R. F. & Santos, O. M. D., 2010, p. 106-120.

    Research output: Contribution to conferencePaperpeer-review

  217. Paper › Research › Not peer-reviewed
  218. A Systematic Approach for Developing Software Safety Arguments

    Hawkins, R. D. & Kelly, T., Jul 2010, p. 25-33.

    Research output: Contribution to conferencePaper

  219. A Timed Model of Circus with the Reactive Design Miracle

    Wei, K., Woodcock, J. & Burns, A., 2010, p. 315-319.

    Research output: Contribution to conferencePaper

  220. Automatically moving between levels in Artificial Chemistries

    Nellis, A. & Stepney, S., 2010, p. 269-276.

    Research output: Contribution to conferencePaper

  221. Calculated Secure Processes

    Banks, M. J. & Jacob, J. L., 1 Nov 2010, p. 19--28.

    Research output: Contribution to conferencePaper

  222. Capturing player experiences with post-game commentaries.

    Gow, J., Cairns, P. A., Colton, S., Baumgarten, R. & Miller, P., 2010.

    Research output: Contribution to conferencePaper

  223. Commute-Time Convolution Kernels for Graph Clustering

    Rahman, N. A. & Hancock, E. R., 2010, p. 316-323.

    Research output: Contribution to conferencePaper

  224. Concordance: A Framework for Managing Model Integrity

    Rose, L. M., Kolovos, D. S., Drivalos, N., Williams, J. R., Paige, R. F., Polack, F. A. C. & Fernandes, K. J., 2010, p. 245-260.

    Research output: Contribution to conferencePaper

  225. Conjure Revisited: Towards Automated Constraint Modelling

    Akgun, O., Frisch, A. M., Hnich, B., Jefferson, C. & Miguel, I., 1 Sep 2010.

    Research output: Contribution to conferencePaper

  226. Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada

    Burns, A. & Wellings, A. J., 2010, p. 41-53.

    Research output: Contribution to conferencePaper

  227. Ecore to GenModel Case

    Kolovos, D. S., Rose, L. M., Paige, R. F. & de Lara, J., 2010.

    Research output: Contribution to conferencePaper

  228. Formalising Harmony Seeking Rules of Morphogenesis

    Hoverd, T. & Stepney, S., 2010, p. 386-393.

    Research output: Contribution to conferencePaper

  229. Ihara Coefficients: A Flexible Tool for Higher Order Learning

    Ren, P., Aleksic, T., Wilson, R. C. & Hancock, E. R., 2010, p. 670-679.

    Research output: Contribution to conferencePaper

  230. In Search of Sound 'in silico' Research: Validating a Complex System Simulation

    Ghetiu, T., Polack, F. A. C. & Bown, J. L., 2010, p. 312.

    Research output: Contribution to conferencePaper

  231. Matching Research Goals and Methods in System Safety Engineering

    Alexander, R., Rae, A. & Nicholson, M., 2010.

    Research output: Contribution to conferencePaper

  232. Mining Exemplars for Object Modelling Using Affinity Propagation

    Xia, S., Liu, J. & Hancock, E. R., 2010, p. 918-921.

    Research output: Contribution to conferencePaper

  233. Safety Lifecycle Activities for Autonomous Systems Development

    Alexander, R., Gorry, B. & Kelly, T., 2010.

    Research output: Contribution to conferencePaper

  234. Semi-supervised Feature Selection for Gender Classification

    Wu, J., Smith, W. A. P. & Hancock, E. R., 2010, p. 23-33.

    Research output: Contribution to conferencePaper

  235. Using the CoSMoS Process to Enhance an Executable Model of Auxin Transport Canalisation

    Garnett, P., Stepney, S., Day, F. & Leyser, O., 2010, p. 9-32.

    Research output: Contribution to conferencePaper

  236. Book › Research
  237. Artificial Immune Systems: 9th International Conference, ICARIS 2010, Edinburgh, UK, July 26-29, 2010. Proceedings

    Hart, E. (ed.), McEwan, C. (ed.), Timmis, J. (ed.) & Hone, A. (ed.), 2010, Springer. (Lecture Notes in Computer Science; vol. 6209)

    Research output: Book/ReportBook

  238. Distributed, Parallel and Biologically Inspired Systems: 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

    Hinchey, M. (ed.), Kleinjohann, B. (ed.), Kleinjohann, L. (ed.), Lindsay, P. A. (ed.), Rammig, F. J. (ed.), Timmis, J. (ed.) & Wolf, M. (ed.), 2010, Springer. (IFIP Advances in Information and Communication Technology; vol. 329)

    Research output: Book/ReportBook

  239. Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, SSPRSPR 2010, Cesme, Izmir, Turkey, August 18-20, 2010. Proceedings

    Hancock, E. R. (ed.), Wilson, R. C. (ed.), Windeatt, T. (ed.), Ulusoy, I. (ed.) & Escolano, F. (ed.), 2010, Springer. (Lecture Notes in Computer Science; vol. 6218)

    Research output: Book/ReportBook

  240. Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007

    Borba, P. (ed.), Cavalcanti, A. (ed.), Sampaio, A. (ed.) & Woodcock, J. (ed.), 2010, Springer. (Lecture Notes in Computer Science; vol. 6153)

    Research output: Book/ReportBook

  241. The Epsilon Book

    Kolovos, D., Rose, L., Paige, R. & Garcia-Dominguez, A., 2010, Eclipse.

    Research output: Book/ReportBook

  242. Theoretical Aspects of Computing - ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

    Cavalcanti, A. (ed.), Déharbe, D. (ed.), Gaudel, M-C. (ed.) & Woodcock, J. (ed.), 2010, Springer. (Lecture Notes in Computer Science; vol. 6255)

    Research output: Book/ReportBook

  243. Unconventional Computation: 9th International Conference, UC 2010, Tokyo, Japan, June 21-25, 2010. Proceedings

    Calude, C. S. (ed.), Hagiya, M. (ed.), Morita, K. (ed.), Rozenberg, G. (ed.) & Timmis, J. (ed.), 2010, Springer. (Lecture Notes in Computer Science; vol. 6079)

    Research output: Book/ReportBook

  244. Master's Thesis › Research
  245. ‘Quantum’ Parallel computation with neural networks

    Burles, N. J., 2010, 85 p.

    Research output: ThesisMaster's Thesis

  246. Doctoral Thesis › Research
  247. Genetic Programming for Low-Resource Systems

    White, D. R., 2010, The University of York. 168 p.

    Research output: ThesisDoctoral Thesis

  248. Spectrogram Track Detection: An Active Contour Algorithm

    Lampert, T., 2010, York: The Department of Computer Science, University of York. 201 p.

    Research output: ThesisDoctoral Thesis

  249. Special issue › Research › Peer-reviewed
  250. Editorial › Research › Peer-reviewed
  251. ENERGY EFFICIENCY IN COMMUNICATIONS

    Zhang, H., Gladisch, A., Pickavet, M., Tao, Z. & Mohr, W., Nov 2010

    Editorial in IEEE Communications Magazine

  252. Guest editorial

    Paige, R. F., Olsen, G. K., Oldevik, J. & Neple, T., Sep 2010

    Editorial in Software and Systems Modeling

  253. Letter › Research › Peer-reviewed
  254. Quantum Cryptography Approaching the Classical Limit

    Weedbrook, C., Pirandola, S., Lloyd, S. & Ralph, T. C., 8 Sep 2010

    Letter in Physical Review Letters

  255. Article › Research › Peer-reviewed
  256. A randomised placebo-controlled safety and acceptability trial of PRO 2000 vaginal microbicide gel in sexually active women in Uganda

    Kamali, A., Byomire, H., Muwonge, C., Bakobaki, J., Rutterford, C., Okong, P., Profy, A., Byaruhanga, R., Namukwaya, S., McCormack, S., Grosskurth, H., Nunn, A. J. & Lacey, C. J. N., Jun 2010

    Article in Sexually Transmitted Infections

  257. Ada and the software vulnerabilities project: The SPARK Annex

    Burns, A., Tokar, J. L., Baird, S., Barnes, J., Chapman, R., Dismukes, G., González-Harbour, M., Michell, S., Moore, B., Pinho, L. M., Ploedereder, E., Real, J., Rosen, J. P., Schonberg, E., Taft, S. T. & Vardanega, T., 1 Dec 2010

    Article in Ada User Journal

  258. Blind Steganalysis of Mp3stego

    Hernandez-Castro, J. C., Tapiador, J. E., Palomar, E. & Romero-Gonzalez, A., Sep 2010

    Article in Journal of information science and engineering

  259. Considering Software Preservation

    Matthews, B., Shaon, A., Bicarregui, J., Jones, C., Conway, E. & Woodcock, J., 2010

    Article in ERCIM News

  260. Do drastic weather effects on diet influence changes in chemical composition, mechanical properties and structure in deer antlers?

    Landete-Castillejos, T., Currey, J. D., Estevez, J. A., Fierro, Y., Calatayud, A., Ceacero, F., Garcia, A. J. & Gallego, L., Oct 2010

    Article in Bone

  261. Getting ready for REDD plus in Tanzania: a case study of progress and challenges

    Burgess, N. D., Bahane, B., Clairs, T., Danielsen, F., Dalsgaard, S., Funder, M., Hagelberg, N., Harrison, P., Haule, C., Kabalimu, K., Kilahama, F., Kilawe, E., Lewis, S. L., Lovett, J. C., Lyatuu, G., Marshall, A. R., Meshack, C., Miles, L., Milledge, S. A. H., Munishi, P. K. T. & 6 others, Nashanda, E., Shirima, D., Swetnam, R. D., Willcock, S., Williams, A. & Zahabu, E., Jul 2010

    Article in Oryx

  262. Impact of asthma among primary attention children

    Velastegui, C., Perez-Canto, P., Zarate, V., Arenas, D., Salinas, P., Moreno, G. & Prado, F., Feb 2010

    Article in Revista medica de chile

  263. Implementing logical connectives in constraint programming

    Jefferson, C. A., Moore, N. C. A., Nightingale, P. & Petrie, K. E., 1 Nov 2010

    Article in Artificial Intelligence

  264. Mechanisms of Bone Deformation and Fracture

    Gupta, H., Fratzl, P., Kerschnitzki, M., Krauss, S., Seto, J., Wagermaier, W., Benecke, G., Boesecke, P., Funari, S., Currey, J. & Estevez, J., Mar 2010

    Article in Bone

  265. PRO2000 vaginal gel for prevention of HIV-1 infection (Microbicides Development Programme 301): a phase 3, randomised, double-blind, parallel-group trial

    McCormack, S., Ramjee, G., Kamali, A., Rees, H., Crook, A. M., Gafos, M., Jentsch, U., Pool, R., Chisembele, M., Kapiga, S., Mutemwa, R., Vallely, A., Palanee, T., Sookrajh, Y., Lacey, C. J., Darbyshire, J., Grosskurth, H., Profy, A., Nunn, A., Hayes, R. & 1 others, Weber, J., 16 Oct 2010

    Article in Lancet

  266. Personality in captivity reflects personality in the wild

    Herborn, K. A., Macleod, R., Miles, W. T. S., Schofield, A. N. B., Alexander, L. & Arnold, K. E., Apr 2010

    Article in ANIMAL BEHAVIOUR

  267. SBST: 3rd International Workshop on Search-Based Software Testing

    Feldt, R., Cohen, M., Arcuri, A., Baresel, A. & Clark, J. A., 2010

    Article in computer.org

  268. Sound refactorings

    Cornelio, M., Cavalcanti, A. & Sampaio, A., Mar 2010

    Article in Science of Computer Programming

  269. Using audio to support animated route information in a hospital touch-screen kiosk

    Wright, P., Soroka, A., Belt, S., Pham, D. T., Dimov, S., De Roure, D. & Petrie, H., Jul 2010

    Article in Computers in Human Behavior

  270. Visualisation of lymphoid organ development

    Veiga-Fernandes, H., Foster, K., Patel, A., Coles, M. & Kioussis, D., 2010

    Article in Methods in molecular biology (Clifton, N.J.)

  271. Article › Research › Not peer-reviewed
  272. Software › Research
  273. Java Bread Board

    Crispin-Bailey, C. & Freeman, M., 2010

    Research output: Non-textual formSoftware

  274. STDetect: Spectrogram Track Detection

    Lampert, T., 20 Dec 2010

    Research output: Non-textual formSoftware