Search research publications and outputs

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

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

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

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

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

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

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

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

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

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

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

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

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

  15. Variational segmentation of color images

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

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

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

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

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

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

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

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

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

  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 conferencePaper

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

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

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

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

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

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

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

  37. A simulation environment for emergent properties: extended abstract

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

    Research output: Contribution to conferencePaper

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

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

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

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

  42. Agile Formal Method Engineering

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

    Research output: Contribution to conferencePaper

  43. Agile Security Using an Incremental Security Architecture

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

    Research output: Contribution to conferencePaper

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

  45. An Agile and Extensible Code Generation Framework

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

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

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

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

    Research output: Contribution to conferenceOther

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

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

    Research output: Contribution to conferencePaper

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

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

  56. Artificial catalysed reaction networks for search

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

    Research output: Contribution to conferencePaper

  57. Automatic Critiques of Interface Modes

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

    Research output: Contribution to conferencePaper

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

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

  60. Behaviour, realism and immersion in games

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

    Research output: Contribution to conferencePaper

Previous 1 2 3 Next