Search research publications and outputs

  1. Chapter › Research
  2. 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

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

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

  5. Entry for encyclopedia/dictionary › Research
  6. 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

  7. Conference contribution › Research
  8. "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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  26. Board Evaluation For The Virus Game.

    Cowling, P. I., 2005, CIG.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Previous 1 2 Next