Search research publications and outputs

  1. Article › Research › Peer-reviewed
  2. Adsorption-catalytic process for carbon disultide removal from air

    Yegiazarov, Y., Clark, J., Potapova, L., Radkevich, V., Yatsimirsky, V. & Brunel, D., 15 May 2005

    Article in Catalysis Today

  3. Amino acid depletion and appearance during porcine preimplantation embryo development in vitro

    Booth, P. J., Humpherson, P. G., Watson, T. J. & Leese, H. J., Nov 2005

    Article in Reproduction

  4. Equilibrium Monte Carlo simulations of A1-L1 ordering in FePt nanoparticles

    Yang, B., Asta, M., Mryasov, O. N., Klemmer, T. J. & Chantrell, R. W., Aug 2005

    Article in Scripta Materialia

  5. Guidelines for a graduate curriculum on embedded software and systems

    Caspi, P., Sangiovanni-Vincentelli, A. L., Almeida, L., Benveniste, A., Bouyssounouse, B., Buttazzo, G. C., Crnkovic, I., Damm, W., Engblom, J., Fohler, G., García-Valls, M., Kopetz, H., Lakhnech, Y., Laroussinie, F., Lavagno, L., Lipari, G., Maraninchi, F., Peti, P., Puente, J. A. D. L., Scaife, N. & 8 others, Sifakis, J., Simone, R. D., Törngren, M., Veríssimo, P., Wellings, A. J., Wilhelm, R., Willemse, T. A. C. & Yi, W., 2005

    Article in ACM Transactions in Embedded Computing Systems

  6. Ideal MHD stability of the mega-ampere spherical tokamak

    Hole, M. J., Akers, R. J., Appel, L. C., Buttery, R. J., Brickley, C., Conway, N. J., Gryaznevich, M., Hender, T. C., Kwon, O. J., Valovic, M., Medvedev, S., Patel, A., Saarelma, S., Taylor, D., Wilson, H. R. & MAST Team, N. V., Apr 2005

    Article in Plasma Physics and Controlled Fusion

  7. Literature review › Research › Peer-reviewed
  8. Editorial › Research › Peer-reviewed
  9. Book › Research
  10. Advances in Artificial Life: 8th European Conference, ECAL 2005, Canterbury, UK, September 5-9, 2005, Proceedings

    Capcarrère, M. S., Freitas, A. A., Bentley, P. J., Johnson, C. G. & Timmis, J., 2005, Springer. (Lecture Notes in Artificial Intelligence; vol. 3630)

    Research output: Book/ReportBook

  11. Other report › Research
  12. Formalizing anonymity: A review

    Wright, J., Stepney, S., Clark, J. A. & Jacob, J. L., 2005, YCS-2005-389 ed. Department of Computer Science, University of York. 64 p. (York Computer Science Technical Report Series; vol. YCS, no. YCS-2005-389)

    Research output: Book/ReportOther report

  13. Paper › Research › Not peer-reviewed
  14. A Generic Framework for Population-Based Algorithms, Implemented on Multiple FPGAs

    Newborough, J., Stepney, S., Jacob, C., Pilat, M. L., Bentley, P. J. & Timmis, J., 2005, p. 43-55.

    Research output: Contribution to conferencePaper

  15. A simulation environment for emergent properties: extended abstract

    Turner, H. R., Stepney, S. & Polack, F. A. C., 2005.

    Research output: Contribution to conferencePaper

  16. An Architecture for Modelling Emergence in CA-Like Systems

    Polack, F., Stepney, S., Turner, H. R., Welch, P. H., Barnes, F. R. M., Capcarrère, M. S., Freitas, A. A., Bentley, P. J., Johnson, C. G. & Timmis, J., 2005, p. 433-442.

    Research output: Contribution to conferencePaper

  17. Artificial catalysed reaction networks for search

    Weeks, A. & Stepney, S., 2005.

    Research output: Contribution to conferencePaper

  18. Baselines for Joint-Action Reinforcement Learning of Coordination in Cooperative Multi-agent Systems

    Carpenter, M. & Kudenko, D., 2005, p. 55-72.

    Research output: Contribution to conferencePaper

  19. Behaviour, realism and immersion in games

    Cheng, K. & Cairns, P. A., 2005, p. 1272--1275.

    Research output: Contribution to conferencePaper

  20. Breaking the Model: finalisation and a taxonomy of security attacks

    Clark, J. A., Stepney, S. & Chivers, H., 2005, p. 225--242.

    Research output: Contribution to conferencePaper

  21. Coordination with Multicapabilities

    Udzir, N. I., Wood, A. M. & Jacob, J. L., 2005, p. 79--108.

    Research output: Contribution to conferencePaper

  22. Designing an Ubiquitous Computing Development Kit

    Crispin-Bailey, C. & Freeman, M. J., 25 Oct 2005, p. 99-105. 7 p.

    Research output: Contribution to conferencePaper

  23. FPGA Based Video Processing System For Ubiquitous Applications

    Crispin-Bailey, C., Pears, N. E. & Meng, H., 25 Oct 2005, p. 59-63. 5 p.

    Research output: Contribution to conferencePaper

  24. Growing Music: Musical Interpretations of L-Systems

    Worth, P. & Stepney, S., 2005, p. 545-550.

    Research output: Contribution to conferencePaper

  25. Penrose Life: Ash and Oscillators

    Hill, M., Stepney, S. & Wan, F., 2005, p. 471-480.

    Research output: Contribution to conferencePaper

  26. Rule Migration: Exploring a design framework for modelling emergence in CA-like systems

    Turner, H. & Stepney, S., 2005.

    Research output: Contribution to conferencePaper

  27. Towards Using Simulation to Evaluate Safety Policy for Systems of Systems

    Alexander, R., Hall-May, M., Despotou, G. & Kelly, T., 2005.

    Research output: Contribution to conferencePaper

  28. Paper › Research › Peer-reviewed
  29. A Web Services Description Framework to Support Dynamic Run-Time Binding in Grid-based Systems

    Cakic, J. & Paige, R. F., 2005, p. 85-96.

    Research output: Contribution to conferencePaperpeer-review

  30. A pragmatist aesthetics approach to the design of a technological artefact

    Fiore, S., Wright, P. & Edwards, A., 2005, p. 129-132.

    Research output: Contribution to conferencePaperpeer-review

  31. A proposal for an optical implementation of a universal quantum phase gate

    Rebic, S., Vitali, D., Ottaviani, C., Tombesi, P., Artoni, M. & Cataliotti, F., 1 Mar 2005, p. 245.

    Research output: Contribution to conferencePaperpeer-review

  32. Agile Formal Method Engineering

    Paige, R. F. & Brooke, P. J., 2005, p. 109-128. 19 p.

    Research output: Contribution to conferencePaperpeer-review

  33. Agile Security Using an Incremental Security Architecture

    Chivers, H., Paige, R. F. & Ge, X., 2005, p. 57-65. 8 p.

    Research output: Contribution to conferencePaperpeer-review

  34. An Agile and Extensible Code Generation Framework

    Kolovos, D. S., Paige, R. F. & Polack, F., 2005, p. 226-229.

    Research output: Contribution to conferencePaperpeer-review

  35. An Object-Oriented Structuring for Z Based on Views

    Amálio, N., Polack, F., Stepney, S., Treharne, H., King, S., Henson, M. C. & Schneider, S. A., 2005, p. 262-278.

    Research output: Contribution to conferencePaperpeer-review

  36. Application Areas of AIS: The Past, The Present and The Future

    Hart, E. & Timmis, J., 2005, p. 483-497.

    Research output: Contribution to conferencePaperpeer-review

  37. Artificial Homeostatic System: A Novel Approach

    Vargas, P. A., Moioli, R. C., Castro, L. N. D., Timmis, J., Neal, M. & Zuben, F. J. V., 2005, p. 754-764.

    Research output: Contribution to conferencePaperpeer-review

  38. Automatic Critiques of Interface Modes

    Gow, J., Thimbleby, H. W. & Cairns, P. A., 2005, p. 201-212.

    Research output: Contribution to conferencePaperpeer-review

  39. Beyond Guidelines: What Can We Learn from the Visual Information Seeking Mantra?

    Craft, B. & Cairns, P. A., 2005, p. 110-118.

    Research output: Contribution to conferencePaperpeer-review

  40. Biomolecular Immune-Computer: Theoretical Basis and Experimental Simulator

    Goncharova, L. B., Jacques, Y., Martín-Vide, C., Tarakanov, A. O. & Timmis, J., 2005, p. 72-85.

    Research output: Contribution to conferencePaperpeer-review

  41. Characterising Graphs using the Heat Kernel

    Xiao, B., Wilson, R. C. & Hancock, E. R., 2005.

    Research output: Contribution to conferencePaperpeer-review

  42. Chemical similarity searching using a neural graph matcher

    Klinger, S. & Austin, J., 2005, p. 479-484.

    Research output: Contribution to conferencePaperpeer-review

  43. Comparing Variants of the Beckmann Model

    Ragheb, H. & Hancock, E. R., 2005.

    Research output: Contribution to conferencePaperpeer-review

  44. Control Law Diagrams in it ircus

    Cavalcanti, A., Clayton, P. & O'Halloran, C., 2005, p. 253-268.

    Research output: Contribution to conferencePaperpeer-review

  45. Defining and Decomposing Safety Policy for Systems of Systems

    Hall-May, M. & Kelly, T., 2005, p. 37-51.

    Research output: Contribution to conferencePaperpeer-review

  46. Designing a Domain-Specific Contract Language: A Metamodelling Approach

    Chan, Z. E. & Paige, R. F., 2005, p. 175-189.

    Research output: Contribution to conferencePaperpeer-review

  47. Developing ubiquitous computing applications

    Freeman, M. & Bailey, C., 2005, p. 263-270.

    Research output: Contribution to conferencePaperpeer-review

  48. Do 'Attractive Things Work Better'? An Exploration of Search Tool Visualisations

    Chawda, B., Craft, B., Cairns, P., Rüger, S. & Heesch, D., 2005.

    Research output: Contribution to conferencePaperpeer-review

  49. Establishing a Standard Business Process Execution Architecture for Integrating Web Services

    Gunasinghe, T. & Kelly, T., 2005, p. 365-372.

    Research output: Contribution to conferencePaperpeer-review

  50. Evolving the Game of Life

    Kazakov, D. & Sweet, M., 2005, p. 132-146.

    Research output: Contribution to conferencePaperpeer-review

  51. Exploiting independence for branch operations in Bayesian learning of CRTs

    Angelopoulos, N. & Cussens, J., 2005.

    Research output: Contribution to conferencePaperpeer-review

  52. Extending Ravenscar with CSP Channels

    Atiya, D-A., King, S., Vardanega, T. & Wellings, A. J., 2005, p. 79-90.

    Research output: Contribution to conferencePaperpeer-review

  53. Fast Isometric Parametrization of 3D Triangular Mesh

    Sun, X. & Hancock, E. R., 2005.

    Research output: Contribution to conferencePaperpeer-review

  54. Flexible Dynamic Binding in Agile Grid Development

    Cakic, J., Paige, R., Chivers, H., Ge, X., McDermid, J. & Austin, J., 2005.

    Research output: Contribution to conferencePaperpeer-review

  55. Forcing standardization or accommodating diversity? a framework for applying the WCAG in the real world

    Kelly, B., Sloan, D., Phipps, L., Petrie, H. & Hamilton, F., 2005, p. 46-54.

    Research output: Contribution to conferencePaperpeer-review

  56. Goal-Based Safety Standards: Opportunities and Challenges

    Kelly, T. P., McDermid, J. A. & Weaver, R. A., 2005.

    Research output: Contribution to conferencePaperpeer-review

  57. Hardware implementation of similarity functions

    Freeman, M., Weeks, M. & Austin, J., 2005, p. 329-332.

    Research output: Contribution to conferencePaperpeer-review

  58. High-integrity extreme programming

    Paige, R. F., Chivers, H., McDermid, J. A. & Stephenson, Z. R., 1 Dec 2005, p. 1518-1523. 6 p.

    Research output: Contribution to conferencePaperpeer-review

  59. Image Segmentation using Commute Times

    Qiu, H., Hancock, E. R., Clocksin, W. F., Fitzgibbon, A. W. & Torr, P. H. S., 2005.

    Research output: Contribution to conferencePaperpeer-review

  60. Improving the Performance of Embedded Superscalatr Microprocessors by Adding Partial Pipeline

    Crispin-Bailey, C., Shi, H., Hastie, N. & Farrel, G., 31 Aug 2005, p. 15-20. 6 p.

    Research output: Contribution to conferencePaperpeer-review

  61. Instruction level parallelism of stack-code under varied issue widths, and one-level branch prediction

    Bailey, C. & Shi, H., 2005, p. 23-30.

    Research output: Contribution to conferencePaperpeer-review

  62. Learning to Coordinate Using Commitment Sequences in Cooperative Multi-agent Systems

    Kapetanakis, S., Kudenko, D. & Strens, M. J. A., 2005, p. 106-118.

    Research output: Contribution to conferencePaperpeer-review

  63. Literate Proving: Presenting and Documenting Formal Proofs

    Cairns, P. A. & Gow, J., 2005, p. 159-173.

    Research output: Contribution to conferencePaperpeer-review

  64. Mobile Phone Preferences and Values: the U.K. vs. Korea

    Cha, H., Oshlyansky, L. & Cairns, P. A., 2005, p. 29-41.

    Research output: Contribution to conferencePaperpeer-review

  65. Modeling of Dual-Route Fear Conditioning Paradigm in the Auditory Cortex

    Sengupta, B., Austin, J. & Green, G., 2005, p. 3632-3644.

    Research output: Contribution to conferencePaperpeer-review

  66. Modelling Incremental Learning With The Batch SOM Training Method

    Baez-Monroy, V. O. & O'Keefe, S., 2005, p. 542-544.

    Research output: Contribution to conferencePaperpeer-review

  67. Moving Nature-Inspired Algorithms to Parallel, Asynchronous and Decentralised Environments

    Ridge, E., Kudenko, D., Kazakov, D. & Curry, E., 2005, p. 35-49.

    Research output: Contribution to conferencePaperpeer-review

  68. NEEDS CORRECTING High-integrity extreme programming

    Paige, R. F., Chivers, H., McDermid, J. A., Stephenson, Z. R., Haddad, H., Liebrock, L. M., Omicini, A. & Wainwright, R. L., 2005, p. 1518-1523.

    Research output: Contribution to conferencePaperpeer-review

  69. On Techniques for Content-Based Visual Annotation to Aid Intra-Track Music Navigation

    Wood, G. & O'Keefe, S., 2005, p. 58-65.

    Research output: Contribution to conferencePaperpeer-review

  70. Operational Semantics for Model Checking Circus

    Woodcock, J., Cavalcanti, A. & Freitas, L., 2005, p. 237-252.

    Research output: Contribution to conferencePaperpeer-review

  71. Product-Line Technology Recommendations for Integrated Modular Systems

    Stephenson, Z. R., NIcholson, M. & McDermid, J. A., 2005.

    Research output: Contribution to conferencePaperpeer-review

  72. Proof versus testing in the context of Safety Standards

    Galloway, A., Paige, R. F., Tudor, N. J., Weaver, R. A., Toyn, I. & McDermid, J. A., 2005.

    Research output: Contribution to conferencePaperpeer-review

  73. Quantum ensembles and quantum informatics

    Akulin, VM., Kurizki, G., Braunstein, SL. & Ozhigov, Y., 2005, p. 15-16.

    Research output: Contribution to conferencePaperpeer-review

  74. Reinforcement Learning of Coordination in Heterogeneous Cooperative Multi-agent Systems

    Kapetanakis, S. & Kudenko, D., 2005, p. 119-131.

    Research output: Contribution to conferencePaperpeer-review

  75. Requirements as Conjectures: Intuitive DVD Menu Navigation

    Rossmorris, J., Stepney, S., Treharne, H., King, S., Henson, M. C. & Schneider, S. A., 2005, p. 172-186.

    Research output: Contribution to conferencePaperpeer-review

  76. Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern

    Banach, R., Poppleton, M., Jeske, C., Stepney, S., Fitzgerald, J., Hayes, I. J. & Tarlecki, A., 2005, p. 382-398.

    Research output: Contribution to conferencePaperpeer-review

  77. Retrenchment and the Mondex Electronic Purse

    Banach, R., Poppleton, M., Jeske, C. & Stepney, S., 2005, p. 41-48.

    Research output: Contribution to conferencePaperpeer-review

  78. Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults

    Lima, G. M. D. A. & Burns, A., 2005, p. 154-173.

    Research output: Contribution to conferencePaperpeer-review

  79. Tagged sets: A secure and transparent coordination medium

    Oriol, M. & Hicks, M., 2005, p. 252--267.

    Research output: Contribution to conferencePaperpeer-review

  80. The PISA architecture, a Viable platform for the Superscalar Execution of Statically Scheduled Stack Code

    Crispin-Bailey, C. & Alli, S., 31 Aug 2005, p. 23-26. 4 p.

    Research output: Contribution to conferencePaperpeer-review

  81. The Temporal Knapsack Problem and Its Solution

    Bartlett, M., Frisch, A. M., Hamadi, Y., Miguel, I., Tarim, A. & Unsworth, C., 2005, p. 34-48.

    Research output: Contribution to conferencePaperpeer-review

  82. Towards the Systematic Generation of Channelling Constraints

    Hernández, B. M. & Frisch, A. M., 2005, p. 859.

    Research output: Contribution to conferencePaperpeer-review

  83. Transforming and Refining Abstract Constraint Specifications

    Frisch, A. M., Hnich, B., Miguel, I., Smith, B. M. & Walsh, T., 2005, p. 76-91.

    Research output: Contribution to conferencePaperpeer-review

  84. UBB Mining: Finding Unexpected Browsing Behaviour in Clickstream Data to Improve a Web Site's Design

    Ting, I-H., Kimble, C. & Kudenko, D., 2005, p. 179-185.

    Research output: Contribution to conferencePaperpeer-review

  85. Unified Modeling Language for Knowledge Modelling

    Abdullah, M. S., Paige, R. F., Benest, I. D. & Kimble, C., 2005, p. 952-957.

    Research output: Contribution to conferencePaperpeer-review

  86. Unifying Program Refinement Calculi

    Woodcock, J., 2005, p. 76.

    Research output: Contribution to conferencePaperpeer-review

  87. Using Scenarios to Identify and Trade-Off Dependability Objectives in Design

    Despotou, G., McDermid, J. A. & Kelly, T. P., 2005.

    Research output: Contribution to conferencePaperpeer-review

  88. Variational segmentation of color images

    Nasios, N. & Bors, A. G., Sep 2005, p. 614-617.

    Research output: Contribution to conferencePaperpeer-review

  89. WHERE? The Use of Bayesian Networks in Critical Applications

    Hawkins, R. D. & McDermid, J. A., 2005.

    Research output: Contribution to conferencePaperpeer-review

  90. XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language

    Chivers, H. & Paige, R. F., 2005, p. 205-219.

    Research output: Contribution to conferencePaperpeer-review

  91. ZB 2005: Formal Specification and Development in Z and B

    Treharne, H., King, S., Henson, M. C. & Schneider, S. A., 2005.

    Research output: Contribution to conferencePaperpeer-review

  92. Other › Research › Not peer-reviewed
  93. A Comparative Study of Real-Valued Negative Selection to Statistical Anomaly Detection Techniques

    Stibor, T., Timmis, J. & Eckert, C., 2005, p. 262-275.

    Research output: Contribution to conferenceOther

  94. A Markov Chain Model of the B-cell Algorithm

    Clarke, E., Hone, A. N. W. & Timmis, J., 2005, p. 318-330.

    Research output: Contribution to conferenceOther

  95. A compact fiducial for affine augmented reality

    Parnham, D. J., Robinson, J. A. & Zhao, Y., 1 Apr 2005, p. 347-352.

    Research output: Contribution to conferenceOther

  96. Application Areas of AIS: Past, Present and Future

    Hart, E. & Timmis, J., 2005, p. 483-497.

    Research output: Contribution to conferenceOther

  97. Challenges for Artificial Immune Systems

    Timmis, J., 2005, p. 355-367.

    Research output: Contribution to conferenceOther

  98. Immunising Automated Teller Machines

    Ayara, M., Timmis, J., Lemos, R. D. & Forrest, S., 2005, p. 404-417.

    Research output: Contribution to conferenceOther

  99. Inspiration for the Next Generation of Artificial Immune Systems

    Andrews, P. & Timmis, J., 2005, p. 126-138.

    Research output: Contribution to conferenceOther

  100. Is Negative Selection Appropriate for Anomaly Detection?

    Stibor, T., Mohr, P., Timmis, J. & Eckert, C., 2005, p. 321-328.

    Research output: Contribution to conferenceOther

  101. Chapter › Research
  102. A neural network for mining large volumes of time series data

    Liang, B. & Austin, J., Dec 2005, IEEE International Conference on Industrial Technology (ICIT) 2005 (14-17 December 2005, City University of Hong Kong). New York: IEEE, Vol. 1-2. p. 688-693 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  103. Once More Unto the Breach: Towards Artificial Homeostasis?

    Neal, M. & Timmis, J., 2005, Recent Developments in Biologically Inspired Computing. Idea Group, p. 340-365 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  104. Towards a danger theory inspired artificial immune system for web mining

    Secker, A., Freitas, A. & Timmis, J., 2005, Web Mining: applications and techniques. Idea Group, p. 145-168 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  105. Entry for encyclopedia/dictionary › Research
  106. Addressing Quality Requirements in GIS Architectures

    Habli, I. & Kelly, T., 2005, 8th International Conference of Global Spatial Data Infrastructure.

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

  107. Conference contribution › Research
  108. "Devices are people too" - Using process patterns to elicit security requirements in novel domains: A ubiquitous healthcare example

    Liu, Y., Clark, J. A. & Stepney, S., 2005, SECURITY IN PERVASIVE COMPUTING, PROCEEDINGS. Hutter, D. & Ullmann, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 31-45 15 p.

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

  109. A Markov chain model of the B-cell algorithm

    Clark, E., Hone, A. & Timmis, J., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 318-330 13 p.

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

  110. A comparative study of real-valued negative selection to statistical anomaly detection techniques

    Stibor, T., Timmis, J. & Eckert, C., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 262-275 14 p.

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

  111. A generic framework for population-based algorithms, implemented on multiple FPGAs

    Newborough, J. & Stepney, S., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 43-55 13 p.

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

  112. A linear generative model for graph structure

    Luo, B., Wilson, R. C. & Hancock, E. R., 2005, GRAPH-BASED REPRESENTATIONS IN PATTERN RECOGNITION, PROCEEDINGS. Brun, L. & Vento, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 54-62 9 p.

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

  113. A neural supergraph matching architecture

    Klinger, S. & Austin, J., 2005, Proceedings of the International Joint Conference on Neural Networks (IJCNN), Vols 1-5. NEW YORK: IEEE, p. 2453-2458 6 p.

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

  114. A pattern restore method for restoring missing patterns in server side clickstream data

    Ting, I-H., Kudenko, D. & Kimble, C., 2005, Web Technologies Research and Development - APWeb 2005. Zhang, Y., Tanaka, K., Yu, JX., Wang, S. & Li, M. (eds.). Berlin / Heidelberg: Springer, p. 501-512 11 p. (Lecture Notes in Computer Science; vol. 3399).

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

  115. A pragmatic perspective on UML for system-on-chip design

    Indrusiak, L. S., 2005, Norchip 2005, Proceedings. NEW YORK: IEEE, p. 169-171 3 p.

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

  116. Adaptive Agents and Multi-Agent Systems II: Adaptation and Multi-Agent Learning

    Kudenko, D. & Kazakov, D., 2005, Adaptive Agents and Multi-Agent Systems II: Adaptation and Multi-Agent Learning.

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

  117. Advantages of the Linz-Sprott weak nonlinearity on the FPGA implementation of chaotic systems: a comparative analysis

    Indrusiak, L. S., Dutra e Silva Junior, E. C. & Glesner, M., 2005, ISSCS 2005: International Symposium on Signals, Circuits and Systems, Proceedings. NEW YORK: IEEE, p. 753-756 4 p.

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

  118. Agile security using an incremental security architecture

    Chivers, H., Paige, R. F. & Ge, X. C., 2005, EXTREME PROGRAMMING AND AGILE PROCESSES IN SOFTWARE ENGINEERING, PROCEEDINGS. Baumeister, H., Marchesi, M. & Holcombe, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 57-65 9 p.

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

  119. An agile and extensible code generation framework

    Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2005, EXTREME PROGRAMMING AND AGILE PROCESSES IN SOFTWARE ENGINEERING, PROCEEDINGS. Baumeister, H., Marchesi, M. & Holcombe, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 226-229 4 p.

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

  120. An architecture for modelling emergence in CA-like systems

    Polack, F., Stepney, S., Turner, H., Welch, P. & Barnes, F., 2005, ADVANCES IN ARTIFICAL LIFE, PROCEEDINGS. Capcarrere, MS., Freitas, AA., Bentley, PJ., Johnson, CG. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 433-442 10 p.

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

  121. An automated approach to specification-based program inspection

    Liu, S. Y., Nagoya, F., Chen, Y. T., Goya, M. & McDermid, J. A., 2005, FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS. Lau, KK. & Banach, R. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 421-434 14 p.

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

  122. An object-oriented structuring for Z based on views

    Amalio, N., Polack, F. & Stepney, S., 2005, ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS. Treharne, H., King, S., Henson, M. & Schneider, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 262-278 17 p.

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

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

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

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

  126. Board Evaluation For The Virus Game.

    Cowling, P. I., 2005, CIG.

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

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

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

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

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

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

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

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

  134. Cost monitoring and enforcement in the real-time specification for java: A formal evaluation

    dos Santos, O. M. & Wellings, A., 8 Dec 2005, Proceedings of the 26th IEEE Real-time Systems Symposium. LOS ALAMITOS: IEEE COMPUTER SOC, p. 177-186 9 p.

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

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

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

  137. Decay of a Jπ=36+ resonance in the 24Mg + 24Mg reaction

    Salsac, M. D., Haas, F., Courtin, S., Beck, C., Rousseau, M., Zafra, A. S. I., Algora, A., Beghini, S., Behera, B. R., Chapman, R., Corradi, L., Dombradi, Z., Farnea, E., Fioretto, E., Gadea, A., Jenkins, D. G., Latina, A., Lenzi, S., Liang, X., Marginean, N. & 10 others, Montagnoli, G., Napoli, D., Papka, P., Pokrovski, I., Pollarolo, G., Scarlassara, F., Stefanini, A. M., Szilner, S., Trotta, M. & Wang, Z. M., 21 Nov 2005, EXOTIC NUCLEAR SYSTEMS: International Symposium on Exotic Nuclear Systems, ENS'05. p. 291-295 5 p. (AIP Conference Proceedings; vol. 802).

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

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

  139. Design For Flexible And Scalable Avionics Systems

    Bate, I. & Emberson, P., 1 Mar 2005, IEEE Aerospace Conference. Big Sky, MT, USA

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

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

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

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

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

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

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

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

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

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

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

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

  151. Experiences on Actor-oriented Design of Reconfigurable Systems

    Indrusiak, L. S. & Glesner, M., 2005, Proceedings of the 1st International Workshop on Reconfigurable Communication-centric Systems-on-Chip, ReCoSoC 2005, Montpellier, France, June 2005. Sassatelli, G., Glesner, M., Torres, L., Indrusiak, L. S. & Hollstein, T. (eds.). Univ. Montpellier II, p. 79-84 6 p.

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

  152. Exploiting informative priors for Bayesian classification and regression trees

    Angelopoulos, N., Cussens, J., Pack Kaelbling, L. (ed.) & Saffiotti, A. (ed.), 2005, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Professional Book Center, p. 641-646 5 p.

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

  153. Extended analysis with reduced pessimism for systems with limited paralellism

    Bletsas, K. & Audsley, N. C., 2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 525-531 7 p.

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

  154. Extending ravenscar with CSP channels

    Atiya, D. A. & King, S., 2005, RELIABLE SOFTWARE TECHNOLOGY ADA-EUROPE 2005, PROCEEDINGS. Vardanega, T. & Wellings, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 79-90 12 p.

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

  155. Finding the number of clusters for nonparametric segmentation

    Nasios, N. & Bors, A. G., 2005, COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS. Gagalowicz, A. & Philips, W. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 213-221 9 p.

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

  156. Growing music: Musical interpretations of L-systems

    Worth, P. & Stepney, S., 2005, APPLICATIONS OF EVOLUTIONARY COMPUTING, PROCEEDINGS. Rothlauf, F., Branke, J., Cagnoni, S., Corne, DW., Drechsler, R., Jin, Y., Machado, P., Marchiori, E., Romero, J., Smith, GD. & Squillero, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 545-550 6 p.

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

  157. Haptic and tactile feedback in directed movements

    Subramanian, S., Gutwin, C., Sanchez, M. N., Power, C. D. & Liu, J., 2005, Proceedings of GOTHI-05 Guidelines On Tactile and Haptic Interactions. University of Saskatchewan, p. 37 1 p.

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

  158. Hierarchical fixed priority pre-emptive scheduling

    Davis, R. I. & Burns, A., 2005, IEEE Real-Time Systems Symposium. p. 389-398 10 p.

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

  159. Immunising automated teller machines

    Ayara, M., Timmis, J., de Lemos, R. & Forrest, S., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 404-417 14 p.

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

  160. Impact of Embedded Systems on RTOS Use and Design

    Andrews, D., Bate, I., Nolte, T., Otero-Perez, C. M. & Petters, S. M., 2005, Proceedings of the Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT). p. 13-20 8 p.

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

  161. Implementing application specific RTOS policies using reflection

    Patil, A. & Audsley, N., 2005, RTAS 2005: 11th IEEE Real Time and Embedded Technology and Applications Symposium, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 438-447 10 p.

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

  162. Inspiration for the next generation of artificial immune systems

    Andrews, P. S. & Timmis, J., 2005, ARTIFICIAL IMMUNE SYSTEMS, PROCEEDINGS. Jacob, C., Pilat, ML., Bentley, PJ. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 126-138 13 p.

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

  163. Integrating hybrid garbage collection with dual priority scheduling

    Chang, Y. & Wellings, A., 2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 185-188 4 p.

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

  164. Isomorphic Types for Open Coordination Systems

    Wilkinson, A., Zheng, Z. Q. (ed.) & Wood, A. M., 2005, Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing and Systems. ACTA Press, p. 404-408 4 p.

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

  165. Learning to coordinate using commitment sequences in cooperative multi-agent systems

    Kapetanakis, S., Kudenko, D. & Strens, M. J. A., 2005, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS II. Kudenko, D., Kazakov, D. & Alonso, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 106-118 13 p.

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

  166. MCAR: multi-class classification based on association rule

    Thabtah, F., Cowling, P. & Peng, Y., 2005, Computer Systems and Applications, 2005. The 3rd ACS/IEEE International Conference on. p. 33 1 p.

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

  167. Manifold embedding of graphs using the heat kernel

    Bai, X., Wilson, R. C. & Hancock, E. R., 1 Dec 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 34-49 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3604 LNCS).

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

  168. Maxbeam2: a new method of identifying salient Beamlets

    Edwards, J., Nicholson, J. & O'Keefe, S., 2005, Proc. SPIE 5914: Wavelets XI. San Diego, CA: SPIE--The International Society for Optical Engineering, p. 695-703

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

  169. Modeling and prototyping of communication systems using Java: A case study

    Indrusiak, L. S., Prudencio, R. B. & Glesner, M., 2005, 16th International Workshop on Rapid System Prototyping, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 225-231 7 p.

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

  170. Modelling incremental learning with the batch SOM training method

    Baez-Monroy, V. O. & O'Keefe, S., 1 Dec 2005, Proceedings - HIS 2005: Fifth International Conference on Hybrid Intelligent Systems. Vol. 2005. p. 542-544 3 p. 1587809

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

  171. Modelling to safety

    Radjenovic, A., 2005, SOFTWARE ARCHITECTURE, PROCEEDINGS. Morrison, R. & Oquendo, F. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 162-167 6 p.

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

  172. Non-linear addressing scheme for a lookup-based transformation function in a reconfigurable noise generator

    Dutra, E., Indrusiak, L. & Glesner, M., 2005, SBCCI 2005: 18th Symposium on Integrated Circuits and Systems Design, Proceedings. NEW YORK: ASSOC COMPUTING MACHINERY, p. 242-247 6 p.

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

  173. Nonparametric clustering using quantum mechanics

    Nasios, N. & Bors, A. G., 2005, 2005 International Conference on Image Processing (ICIP), Vols 1-5. NEW YORK: IEEE, p. 2581-2584 4 p.

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

  174. On techniques for content-based visual annotation to aid intra-track music navigation

    Wood, G. & O'Keefe, S., 1 Dec 2005, ISMIR 2005 - 6th International Conference on Music Information Retrieval. p. 58-65 8 p.

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

  175. Operational semantics for model checking circus

    Woodcock, J., Cavalcanti, A. & Freitas, L., 2005, FM 2005: FORMAL METHODS, PROCEEDINGS. Fitzgerald, J., Hayes, IJ. & Tarlecki, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 237-252 16 p.

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

  176. Optical flow diffusion with robustified kernels

    Doshi, A. & Bors, A. G., 2005, COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS. Gagalowicz, A. & Philips, W. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 222-230 9 p.

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

  177. Penrose life: Ash and oscillators

    Hill, M., Stepney, S. & Wan, R., 2005, ADVANCES IN ARTIFICAL LIFE, PROCEEDINGS. Capcarrere, MS., Freitas, AA., Bentley, PJ., Johnson, CG. & Timmis, J. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 471-480 10 p.

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

  178. Principles of employing a self-organizing map as a Frequent Itemset Miner

    Baez-Monroy, V. O. & O'Keefe, S., 2005, ARTIFICIAL NEURAL NETWORKS: BIOLOGICAL INSPIRATIONS - ICANN 2005, PT 1, PROCEEDINGS. Duch, W., Kacprzyk, J. & Zadrozny, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 363-370 8 p. (Lecture Notes in Computer Science; vol. 3696).

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

  179. Principles of employing a self-organizing map as a frequent itemset miner

    Baez-Monroy, V. O. & O'Keefe, S., 1 Dec 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3696 LNCS. p. 363-370 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3696 LNCS).

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

  180. Proof vs testing in the context of safety standards

    Galloway, A., Paige, R. F., Tudor, N. J., Weaver, R. A., Toyn, I. & McDermid, J., 1 Dec 2005, 24th DASC: 24th Digital Avionics Systems Conference - Proceedings. Vol. 2. 1563405

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

  181. Proving properties of stateflow models using ISO standard Z and CADIZ

    Toyn, I. & Galloway, A., 2005, ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS. Treharne, H., King, S., Henson, M. & Schneider, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 104-123 20 p.

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

  182. Proxy-based integration of reconfigurable hardware within simulation environments: Improving e-learning experience in microelectronics

    Orostegui, D. F. J., Indrusiak, L. S. & Glesner, M., 2005, 2005 IEEE International Conference on Microelectronic Systems Education, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 59-60 2 p.

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

  183. QCSP-Solve: A Solver for Quantified Constraint Satisfaction Problems

    Gent, I. P., Nightingale, P. & Stergiou, K., 2005, Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005). p. 138-143 6 p.

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

  184. Real-time Java for embedded devices: The Javamen project

    Borg, A., Audsley, N. & Wellings, A., 1 Dec 2005, Perspectives in Pervasive Computing. 1 ed. Vol. 2005. p. 1-10 10 p.

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

  185. Reinforcement learning of coordination in heterogeneous cooperative multi-agent systems

    Kapetanakis, S. & Kudenko, D., 2005, ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS II. Kudenko, D., Kazakov, D. & Alonso, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 119-131 13 p.

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

  186. Requirements as conjectures: Intuitive DVD menu navigation

    Rossmorris, J. & Stepney, S., 2005, ZB 2005: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B, PROCEEDINGS. Treharne, H., King, S., Henson, M. & Schneider, S. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 172-186 15 p.

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

  187. Retrenching the Purse: Finite sequence numbers, and the Tower Pattern

    Banach, R., Poppleton, M., Jeske, C. & Stepney, S., 2005, FM 2005: FORMAL METHODS, PROCEEDINGS. Fitzgerald, J., Hayes, IJ. & Tarlecki, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 382-398 17 p.

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

  188. Safe composition of real time software

    Bate, I. & Conmy, P., 2005, Proceedings of the 9th International Conference on High Assurance Systems Engineering. Cantarella, JD. (ed.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 79-88 10 p.

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

  189. Scheduling fixed-priority hard real-time tasks in the presence of faults

    Lima, G. & Burns, A., 2005, DEPENDABLE COMPUTING, PROCEEDINGS. Maziero, CA., Silva, JG., SantosAndrade, AM. & Silva, FMD. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 154-173 20 p.

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

  190. Search-based mutation testing for Simulink models

    Zhan, Y. & Clark, J. A., 2005, GECCO 2005: Genetic and Evolutionary Computation Conference, Vols 1 and 2. Beyer, HG. (ed.). NEW YORK: ASSOC COMPUTING MACHINERY, p. 1061-1068 8 p.

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

  191. Searching against distributed data using a web service architecture

    Jackson, T., Jessop, M., Pasley, A. & Austin, J., 2005, CLADE 2005: Challenges of Large Applications in Distributed Environments, Proceedings. NEW YORK: IEEE, p. 122-129 8 p.

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

  192. Specifying information-flow controls

    Chivers, H. & Jacob, J., 2005, 25th IEEE International Conference on Distributed Computing Systems Workshops, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 114-120 7 p.

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

  193. Stability of the eigenvalues of graphs

    Zhu, P. & Wilson, R. C., 5 Sep 2005, COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS. Gagalowicz, A. & Philips, W. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 371-378 8 p.

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

  194. Telephone access for deaf people

    Edwards, A. D. N., 2005, Home-Oriented Informatics and Telematics, Proceedings. Sloane, A. (ed.). NEW YORK: Springer, p. 235-243 9 p.

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

  195. Tempering for Bayesian C&RT

    Cussens, J., Wrobel, S. (ed.), Angelopoulos, N. & De Raedt, L. (ed.), 2005, Proceedings of the 22nd International Conference on Machine Learning. p. 17-24 7 p. (ACM International Conference Proceeding Series; vol. 19).

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

  196. Temporal isolation in Ravenscar-Java

    Cai, H. & Wellings, A., 2005, ISORC 2005: Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Proceedings. Ghafoor, A., Brinkschulte, U., Ramamritham, K. & Pettit, RG. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 364-371 8 p.

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

  197. The Rules of Constraint Modelling

    Frisch, A. M., Jefferson, C., Martinez Hernandez, B. & Miguel, I., 2005, Proceedings of the 19th International Joint Conference on Artificial Intelligence. p. 109-116 7 p.

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

  198. The Styx IP-core for ubiquitous network device interoperability

    Audsley, N. C., Gao, R. & Patil, A., 1 Dec 2005, Perspectives in Pervasive Computing. 1 ed. Vol. 2005. p. 115-126 12 p.

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

  199. The application of compile-time reflection to software fault tolerance using Ada 95

    Rogers, P. & Wellings, A. J., 2005, RELIABLE SOFTWARE TECHNOLOGY ADA-EUROPE 2005, PROCEEDINGS. Vardanega, T. & Wellings, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 236-247 12 p.

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

  200. The temporal knapsack problem and its solution

    Bartlett, M., Frisch, A. M., Hamadi, Y., Miguel, I., Tarim, S. A. & Unsworth, C., 2005, INTEGRATION OF AI AND OR TECHNIQUES IN CONSTRAINT PROGRAMMING FOR COMBINATORIAL OPTIMIZATION PROBLEMS. Bartak, R. & Milano, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 34-48 15 p.

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

  201. Towards the systematic generation of channelling constraints

    Martinez-Hernandez, B. & Frisch, A. M., 2005, PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2005, PROCEEDINGS. VanBeek, P. (ed.). BERLIN: SPRINGER-VERLAG BERLIN, p. 859-859 1 p.

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

  202. Two-stage visual localisation: Landmark-based pose initialisation and model-based pose refinement

    Chen, Z. Z., Pe, P., McDermid, J. & Pears, N., 2005, 2005 IEEE/RSJ International Conference on Intelligent Robots and Systems, Vols 1-4. NEW YORK: IEEE, p. 3763-3769 7 p.

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

  203. UBB mining: Finding Unexpected Browsing Behaviour in clickstream data to improve a web site's design

    Ting, I. H., Kimble, C. & Kudenko, D., 2005, 2005 IEEE/WIC/ACM International Conference on Web Intelligence, Proceedings. LOS ALAMITOS: IEEE COMPUTER SOC, p. 179-185 7 p.

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

  204. Using Safety Critical Artificial Neural Networks in gas turbine aero-engine control

    Kurd, Z. & Kelly, T. P., 2005, COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS. Winther, R., Gran, BA. & Dahll, G. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 136-150 15 p. (Lecture Notes in Computer Science; vol. 3688).

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

  205. Verifying fault-tolerant distributed systems using Object-Based Graph Grammars

    Dotti, F. L., Mendizabal, O. M. & dos Santos, O. M., 2005, DEPENDABLE COMPUTING, PROCEEDINGS. Maziero, CA., Silva, JG., SantosAndrade, AM. & Silva, FMD. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 80-100 21 p.

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

  206. XRound: Bidirectional transformations and unifications via a reversible template language

    Chivers, H. & Paige, R. F., 2005, MODEL DRIVEN ARCHITECTURE FOUNDATIONS AND APPLICATIONS, PROCEEDINGS. Hartman, A. & Kreische, D. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 205-219 15 p.

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

  207. Other chapter contribution › Research
  208. Deductive Reasoning and Statistical Inference

    Cussens, J., 2005, Encyclopedia of Statistics in Behavioral Science. Wiley

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

  209. Working paper › Research
  210. Toward Practical Dynamic Software Updating

    Neamtiu, I., Stoyle, G., Oriol, M. & Hicks, M., 2005, College Park: Citeseer.

    Research output: Working paper

  211. Chapter (peer-reviewed) › Research › Peer-reviewed
  212. Confluence of Graph Transformation Revisited

    Plump, D., 2005, Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday. Middledorp, A., VanOostrom, V., VanRaamsdonk, F. & DeVrijer, R. (eds.). BERLIN: Springer, p. 280-308 29 p. (Lecture Notes in Computer Science; vol. 3838).

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