Search research publications and outputs

  1. 2005
  2. Application areas of AIS: The past, the present and The Future

    Hart, E. & Timmis, J., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 483-497 15 p.

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

  3. Baselines for joint-action reinforcement learning of coordination in cooperative multi-agent systems

    Carpenter, M. & Kudenko, D., 2005, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS II. Kudenko, D., Kazakov, D. & Alonso, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 55-72 18 p.

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

  4. Biomolecular immune-computer: Theoretical basis and experimental simulator

    Goncharova, L. B., Jacques, Y., Martin-Vide, C., Tarakanov, A. O. & Timmis, J. I., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 72-85 14 p.

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

  5. Board Evaluation For The Virus Game.

    Cowling, P. I., 2005, CIG.

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

  6. Choosing the fittest subset of low level heuristics in a hyperheuristic framework

    Chakhlevitch, K. & Cowling, P., 2005, European Conference on Evolutionary Computation in Combinatorial Optimization. p. 23-33 11 p.

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

  7. Combined Simulator Statistics and Block-Code Sampling to Study Performance Enhancement of Microarchitecture

    Huibin, S., Bailey, C., Farrall, G., Hastie, N. & Jenkins, S., 2005, Proceedings of IEEE International System-On-Chip Conference 2005. p. 33 - 36

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

  8. Comparing resource sharing with information exchange in co-operative agents, and the role of environment structure

    Bartlett, M. & Kazakov, D., 2005, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS II. Kudenko, D., Kazakov, D. & Alonso, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 41-54 14 p.

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

  9. Conceptual modelling of knowledge-based systems using UML

    Abdullah, M. S., Paige, R., Thompson, C., Benest, A. & Kimble, C., 2005, Artificial Intelligence Applications and Innovations II. Li, DL. & Wang, B. (eds.). NEW YORK: SPRINGER, p. 23-33 11 p.

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

  10. Consistency control in data-driven design automation environments

    Indrusiak, L. S., Murgan, T., Glesner, M. & Reis, R., 2005, ISSCS 2005: International Symposium on Signals, Circuits and Systems, Proceedings. NEW YORK: IEEE, p. 629-632 4 p.

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

  11. Consistency for Quantified Constraint Satisfaction Problems

    Nightingale, P., 2005, Proceedings of the 11th International Conference on Principles and Practice of Constraint Programming (CP 2005). p. 792-796 5 p.

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

  12. Control law diagrams in circus

    Cavalcanti, A., Clayton, P. & O'Halloran, C., 2005, FM 2005: FORMAL METHODS, PROCEEDINGS. Fitzgerald, J., Hayes, IJ. & Tarlecki, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 253-268 16 p.

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

  13. Dealing with Emergent Properties in Embedded Systems

    Bate, I., 2005, Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. p. 63-66 4 p.

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

  14. Dealing with emergent properties in embedded systems

    Bate, I., 2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 63-66 4 p.

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

  15. Defining and decomposing safety policy for systems of systems

    Hall-May, M. & Kelly, T., 2005, COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS. Winther, R., Gran, BA. & Dahll, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 37-51 15 p.

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

  16. Design for flexible and scalable avionics systems

    Bate, I. & Emberson, P., 2005, 2005 IEEE Aerospace Conference, Vols 1-4. NEW YORK: IEEE, p. 2837-2848 12 p.

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

  17. Designing a binary neural network co-processor

    Freeman, M. & Austin, J., 2005, DSD 2005: 8th Euromicro Conference on Digital System Design, Proceedings. Wolinski, C. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 223-226 4 p.

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

  18. Designing a domain-specific contract language: A metamodelling approach

    Chan, Z. E. & Paige, R. F., 2005, MODEL DRIVEN ARCHITECTURE FOUNDATIONS AND APPLICATIONS, PROCEEDINGS. Hartman, A. & Kreische, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 175-189 15 p.

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

  19. Developing a UML profile for modelling knowledge-based systems

    Abdullah, M. S., Kimble, C., Paige, R., Benest, I. & Evans, A., 2005, MODEL DRIVEN ARCHITECTURE. Assmann, U., Aksit, M. & Rensink, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 220-233 14 p.

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

  20. Distributed health monitoring for aero-engines on the GRID: DAME

    Jackson, T., Austin, J., Fletcher, M., Jessop, M., Liang, B., Pasley, A., Ong, M., Ren, X., Allan, G., Kadirkamanathan, V., Thompson, H. A. & Fleming, P. J., 2005, 2005 IEEE Aerospace Conference, Vols 1-4. NEW YORK: IEEE, p. 3738-3747 10 p.

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

  21. Efficient Integration of Bimodal Branch Prediction and Pipeline Analysis

    Bate, I. & Reutemann, R., 2005, Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. p. 39-44 6 p.

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

  22. Efficient access of remote resources in embedded networked computer systems

    Usher, P. S. & Audsley, N. C., 2005, EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005 WORKSHOPS, PROCEEDINGS. Enokido, T., Yan, L., Xiao, B., Kim, D., Dai, Y. & Yang, LT. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 632-641 10 p.

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

  23. Efficient integration of bimodal branch prediction and pipeline analysis

    Bate, I. & Reutemann, R., 2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 39-44 6 p.

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

  24. Entanglement in quantum information processing

    Braunstein, S. L., 2005, Decoherence, Entanglement and Information Protection in Complex Quantum Systems. Akulin, VM., Sarfati, A., Kurizki, G. & Pellegrin, S. (eds.). DORDRECHT: SPRINGER, p. 17-26 10 p.

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

  25. Evolution of a human-competitive quantum fourier transform algorithm using genetic programming

    Massey, P., Clark, J. A. & Stepney, S., 2005, Proceedings of the 2005 Conference on Genetic and Evolutionary Computation. New York, NY, USA: ACM, p. 1657-1663 7 p. (GECCO '05).

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

  26. Evolving the game of life

    Kazakov, D. & Sweet, M., 2005, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS II. Kudenko, D., Kazakov, D. & Alonso, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 132-146 15 p.

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