Search research publications and outputs

  1. 2014
  2. Breaking conditional symmetry in automated constraint modelling with CONJURE

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 18 Aug 2014, ECAI 2014. IOS Press, Vol. 263. p. 3-8 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Designing resource-constrained embedded heterogeneous systems to cope with variability

    Gray, I., Acquaviva, A. & Audsley, N., 30 Jun 2014, Handbook of Research on Embedded Systems Design. IGI Global, p. 75-101 27 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems

    Bagnato, A., Quadri, I., Brosse, E., Sadovykh, A., Indrusiak, L. S., Paige, R., Audsley, N., Gray, I., Kolovos, D. S., Matragkas, N., Rossi, M., Baresi, L., Crippa, M. C., Genolini, S., Hansen, S. & Meisel-Blohm, G., 30 Jun 2014, Handbook of Research on Embedded Systems Design. IGI Global, p. 181-208 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Assurance cases for block-configurable software

    Hawkins, R., Miyazawa, A., Cavalcanti, A., Kelly, T. & Rowlands, J., 2014, Computer Safety, Reliability, and Security: 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings. Bondavalli, A. & Di Giandomenico, F. (eds.). Cham: Springer-Verlag, Vol. 8666 LNCS. p. 155-169 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8666 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. Effective High Level SysML/MARTE Methodology for Real-Time and Embedded Avionics Systems

    Gray, I., Bagnato, A., Brosse, E., Quadri, I. R., Sadovykh, A., Soares Indrusiak, L., Paige, R. F., Rossi, M., Crippa, M. C., Genolini, S., Hansen, S., Meisel-Blohm, G., Audsley, N. C., Kolovos, D., Matragkas, N. & Baresi, L., 2014, Handbook of Research on Embedded Systems Design. IGI Global, p. 181-208

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Quantifying Uncertainty in Safety Cases Using Evidential Reasoning

    Nair, S., Walkinshaw, N. & Kelly, T., 2014, Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings. Bondavalli, A., Ceccarelli, A. & Ortmeier, F. (eds.). Cham: Springer International Publishing, p. 413-418 6 p. (Lecture Notes in Computer Science; vol. 8696).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Rethinking of Strategy for Safety Argument Development

    Sun, L., Silva, N. & Kelly, T., 2014, Computer Safety, Reliability, and Security: SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014. Proceedings. Bondavalli, A., Ceccarelli, A. & Ortmeier, F. (eds.). Cham: Springer International Publishing, p. 384-395 12 p. (Lecture Notes in Computer Science; vol. 8696).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. 2013
  10. Model-driven engineering and model transformation: For fun and profit

    Paige, R. F. & Kolovos, D. S., 19 Jun 2013, Engineering Dependable Software Systems. IOS Press;, Vol. 34. p. 275-311 37 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  11. Protection of Color Images by Selective Encryption

    Puech, W., Bors, A. G. & Rodrigues, J. M., 2013, Advanced Color Image Processing and Analysis. Fernandex-Maliogne, C. (ed.). New York: Springer, p. 397-421

    Research output: Chapter in Book/Report/Conference proceedingChapter

  12. Thermodynamic Depth in Undirected and Directed Networks

    Hancock, E. R. & Escolano, F., 2013, Advances in Network Complexity. Dehmer, M., Mowshowitz, A. & Emmert-Streib, F. (eds.). John Wiley & Sons, p. 229-247

    Research output: Chapter in Book/Report/Conference proceedingChapter

  13. 2012
  14. Graph heat kernel based image smoothing

    Fan, Z., Hancock, E. R. & Shang, L., 1 Dec 2012, Graph-Based Methods in Computer Vision: Developments and Applications. IGI Global, p. 302-330 29 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  15. Interfacing java to hardware coprocessors and FPGAs

    Whitham, J. & Audsley, N., 1 Nov 2012, Distributed, Embedded and Real-time Java Systems. Springer US, Vol. 9781441981585. p. 177-197 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  16. Preface

    Higuera-Toledano, M. T. & Wellings, A. J., 1 Nov 2012, Distributed, Embedded and Real-time Java Systems. Higuera-Toledano, M. T. & Wellings, A. J. (eds.). p. v-viii

    Research output: Chapter in Book/Report/Conference proceedingChapter

  17. Programming embedded systems: Interacting with the embedded platform

    Dibble, P., Hunt, J. J. & Wellings, A. J., 1 Nov 2012, Distributed, Embedded and Real-time Java Systems. Springer US, Vol. 9781441981585. p. 129-158 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  18. Supporting Multiprocessors in the Real-Time Specification for Java Version 1.1

    Wellings, A. J., Dibble, P. & Holmes, D., 1 Nov 2012, Distributed, Embedded and Real-time Java Systems. Higuera-Toledano, M. T. & Wellings, A. J. (eds.). Springer US, Vol. 9781441981585. 23 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  19. Computing gender difference using Fisher-Rao metric from facial surface normals

    Ceolin, S. & Hancock, E. R., 1 Aug 2012, SIBGRAPI 2012 (XXV Conference on Graphics, Patterns and Images). C. Freitas L. Silva, R. S. & Sarkar, S. (eds.). p. 336-343 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  20. 3D Face Recognition

    Mian, A. & Pears, N. E., 2012, 3D Imaging, Analysis and Applications. Springer, p. 311-366 55 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  21. 3D Shape Classification Using Commute Time

    Haseeb, M. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 208-215 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  22. A Jensen-Shannon Kernel for Hypergraphs

    Bai, L., Hancock, E. & Ren, P., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 181-189 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  23. A Statistical Operator for Detecting Weak Edges in Low Contrast Images

    Mittal, A., Sofat, S., Hancock, E. R. & Mousset, S., 2012, Image Analysis and Recognition - 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I. Campilho, A. J. C. & Kamel, M. S. (eds.). PART 1 ed. Springer Berlin/Heidelberg, Vol. 7324. p. 89-96 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  24. An Efficient Scheme for Color Edge Detection in Uniform Color Space

    Mittal, A., Sofat, S. & Hancock, E. R., 2012, Autonomous and Intelligent Systems - Third International Conference, AIS 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings. Kamel, M., Karray, F. & Hagras, H. (eds.). Springer, Vol. 7326. p. 260-267 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  25. Approximate Axial Symmetries from Continuous Time Quantum Walks

    Rossi, L., Torsello, A. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 144-152 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  26. Assessing Software Interference Management When Modifying Safety-Related Software: Computer Safety, Reliability, and Security

    Graydon, P. J. & Kelly, T., 2012, Computer Safety, Reliability, and Security. Ortmeier, F. & Daniel, P. (eds.). Springer Berlin / Heidelberg, Vol. 7613. p. 132-145 14 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  27. Contracting for Assurance of Military Aviation Software Systems

    Reinhardt, D. W. & McDermid, J. A., 2012, Proceedings of the Australian System Safety Conference 2012.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  28. Detection of Edges in Color Images: A Review and Evaluative Comparison of State-of-the-Art Techniques

    Mittal, A., Sofat, S. & Hancock, E. R., 2012, Autonomous and Intelligent Systems - Third International Conference, AIS 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings. Kamel, M., Karray, F. & Hagras, H. (eds.). Springer, Vol. 7326. p. 250-259 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  29. Energy and Environment

    Emberson, L., Rockström, J., He, K., Amann, M., Barron, J., Feresu, S., Hicks, K., Johanson, F. X., Karlqvist, A., Klimont, Z., Mylvakanam, I., Offutt, M., Song, W. W., Vallack, H. & Zhang, Q., 2012, The Global Energy Assessment: Toward a Sustainable Future : key findings summary for policymakers technical summary. IIASA, Laxenburg, Austria and Cambridge University Press, UK, p. 191-254

    Research output: Chapter in Book/Report/Conference proceedingChapter

  30. Estimating Surface Characteristics and Extracting Features from Polarisation

    Zhang, L. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 400-408 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  31. Formal Methods for the Development and Verification of Autonomic IT Systems

    Calinescu, R., Kikuchi, S. & Kwiatkowska, M., 2012, Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification. Cong-Vinh, P. (ed.). IGI Global, p. 1-37

    Research output: Chapter in Book/Report/Conference proceedingChapter

  32. Graph Complexity from the Jensen-Shannon Divergence

    Bai, L. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 79-88 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  33. Heat Flow-Thermodynamic Depth Complexity in Directed Networks

    Escolano, F., Bonev, B. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 190-198 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  34. Hypergraph Spectra for Semi-supervised Feature Selection

    Zhang, Z., Hancock, E. & Bai, X., 2012, Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2012, Bristol, UK, September 24-28, 2012. Proceedings, Part I. Flach, P. A., Bie, T. D. & Cristianini, N. (eds.). PART 1 ed. Springer Berlin/Heidelberg, Vol. 7523. p. 207-222 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  35. Hypergraph Spectra for Unsupervised Feature Selection

    Zhang, Z. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 620-628 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  36. Information Theoretic Prototype Selection for Unattributed Graphs

    Han, L., Rossi, L., Torsello, A., Wilson, R. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 33-41 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  37. Introduction [to 3D Imaging, Analysis and Applications]

    Koch, R., Pears, N. E. & Liu, Y., 2012, 3D Imaging, Analysis and Applications. London: Springer, p. 1-31 31 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  38. Localized graph-based feature selection for clustering

    Zhang, Z. & Hancock, E., 2012, Image Analysis and Recognition - 9th International Conference, ICIAR 2012, Aveiro, Portugal, June 25-27, 2012. Proceedings, Part I. Campilho, A. J. C. & Kamel, M. S. (eds.). PART 1 ed. Springer Berlin/Heidelberg, Vol. 7324. p. 1-10 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  39. Nonclassical Computation: a dynamical systems perspective

    Stepney, S., 2012, Handbook of Natural Computing. Rozenberg, G., Bäck, T. & Kok, J. N. (eds.). Springer, Vol. 2. p. 1979-2025

    Research output: Chapter in Book/Report/Conference proceedingChapter

  40. Passive 3D Imaging

    Se, S. & Pears, N. E., 2012, 3D Imaging, Analysis and Applications. Springer, p. 35-94 60 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  41. RT-OSGi: Integrating the OSGi framework with the real-time specification for Java

    Richardson, T. & Wellings, A. J., 2012, Distributed, Embedded and Real-time Java Systems. Higuera-Toledano, T. M. & Wellings, A. J. (eds.). Springer US, Vol. 9781441981585. p. 293-322 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  42. Shape Analysis Using the Edge-Based Laplacian

    Aziz, F., Wilson, R. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 382-390 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  43. Unsupervised Clustering of Human Pose Using Spectral Embedding

    Haseeb, M. & Hancock, E., 2012, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, SSPRSPR 2012, Hiroshima, Japan, November 7-9, 2012. Proceedings. Gimel'farb, G. L., Hancock, E. R., Imiya, A., Kuijper, A., Kudo, M., Omachi, S., Windeatt, T. & Yamada, K. (eds.). Springer Berlin/Heidelberg, Vol. 7626. p. 467-473 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  44. 2011
  45. Auditory Display in Assistive Technology

    Edwards, A. D. N., 2011, The Sonification Handbook. Hermann, T., Hunt, A. & Neuhoff, J. (eds.). Berlin: Logos Verlag Berlin

    Research output: Chapter in Book/Report/Conference proceedingChapter

  46. Model-based Failure Analysis of Business Process

    Ge, X., Paige, R. F. & McDermid, J. A., 2011, ICEIS 2011 - Proceedings of the 13th International Conference on Enterprise Information Systems, Volume 3, Beijing, China. 8-11 June, 2011. SciTePress, Vol. 3 ISAS. p. 388-391 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  47. 2010
  48. An Artificial Immune System for Robot Organisms

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  49. Fine-Grained Timing Using Genetic Programming

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  50. Fostering character education with games and interactive story generation

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  52. Time perception, immersion and music in videogames

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  53. 2009
  54. Exploring enterprise information systems

    Tabatabaie, M., Paige, R. & Kimble, C., 1 Dec 2009, Social, Managerial, and Organizational Dimensions of Enterprise Information Systems. IGI Global, p. 415-432 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  55. General-purpose autonomic computing

    Calinescu, R., 1 Dec 2009, Autonomic Computing and Networking. Springer US, p. 3-30 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  56. The structure of partial isometries

    Hines, P. M. & Braunstein, S., Nov 2009, Semantic Techniques in Quantum Computation. Gay, S. & Mackie, I. (eds.). Cambridge: Cambridge University Press, p. 361-388 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  57. Towards establishing a self-management architecture for dynamic risk management in 'intelligent' aero-engine control

    Kurd, Z., Kelly, T., McDermid, J. A., Calinescu, R. & Kwiatkowska, M. Z., Jan 2009, IET System Safety 2009. 555 CP ed. London: IET and SaRS, Vol. 2009. p. 33-40

    Research output: Chapter in Book/Report/Conference proceedingChapter

  58. An Argument-Based Approach to the Integration of Safety and Design

    Attwood, K. C., Kelly, T. & Wilkinson, P., 2009, Journal of the Safety and Reliability Society. 4 ed. Vol. 29. p. 5-16 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  59. Defence Standard 00-56 Issue 4: Towards Evidence-Based Safety Standards

    Menon, C., Hawkins, R. & McDermid, J., 2009, Safety-Critical Systems: Problems, Process and Practice: Proceedings of the Seventeenth Safety-Critical Systems Symposium Brighton, UK, 3 - 5 February 2009 . Dale, C. & Anderson, T. (eds.). SPRINGER, p. 223-243 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  60. Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control

    Kurd, Z., Kelly, T., McDermid, J., Calinescu, R. & Kwiatkowska, M., 2009, Computer Safety, Reliability, and Security: 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings . Buth, B., Rabe, G. & Seyfarth, T. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5775. p. 326-341 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  61. Metaheuristic traceability attack against SLMAP, an RFID lightweight authentication protocol

    Hernandez-Castro, J. C., Tapiador, J. E., Peris-Lopez, P., Clark, J. A. & Talbi, E-G., 2009, 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009. IEEE, p. 1-5 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  62. Motion History Histograms for Human Action Recognition

    Meng, H., Pears, N., Freeman, M., Bailey, C., Kisacanin, B. (ed.), Bhattacharyya, S. S. (ed.) & Chai, S. (ed.), 2009, Embedded Computer Vision. SPRINGER-VERLAG LONDON LTD, p. 139-162 24 p. (Advances in Pattern Recognition).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  63. Navigational Consistency in Websites: What Does it Mean to Users?

    Petrie, H., Papadofragkakis, G., Power, C. & Swallow, D., 2009, HUMAN-COMPUTER INTERACTION - INTERACT 2009, PT I. Gross, T., Gulliksen, J., Kotze, P., Oestreicher, L., Palanque, P. & Prates, RO. (eds.). PART 1 ed. BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5726. p. 423-427 5 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  64. Power-Aware Intrusion Detection in Mobile Ad Hoc Networks

    Sen, S., Clark, J. A., Tapiador, J. E., Zheng, J. (ed.), Mao, S. (ed.), Midkiff, S. F. (ed.) & Zhu, H. (ed.), 2009, Ad Hoc Networks, First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers. Springer, Vol. 28. p. 224-239 16 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  65. Relaxation labelling using distributed neural networks

    Austin, J., 2009, Biologically-Inspired Optimisation Methods: Parallel Algorithms, Systems and Applications. Lewis, A., Mostaghim, S. & Randall, M. (eds.). Berlin: Springer, p. 111-138 28 p. (Studies in Computational Intelligence; vol. 210).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  66. Using automated search to generate test data for matlab

    Rhys, S. L., Poulding, S. M., Clark, J. A. & Rothlauf, F. (ed.), 2009, Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009. ACM, p. 1697-1704 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  67. 2008
  68. CLP(BN ): constraint logic programming for probabilistic knowledge

    Santos Costa, V., Page, D. & Cussens, J., 2008, Probabilistic Inductive Logic Programming: Theory and Applications. De Raedt, L., Frasconi, P., Kersting, K. & Muggleton, S. (eds.). Berlin: Springer, p. 156-188 32 p. (Lecture Notes in Artificial Intelligence; vol. 4911).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  69. From immersion to addiction in videogames

    Seah, M. & Cairns, P., 2008, Proceedings of the 22nd British HCI Group Annual. British Computer Society Swinton, UK, UK, Vol. 1. p. 55-63

    Research output: Chapter in Book/Report/Conference proceedingChapter

  70. 2007
  71. Engagement with an interactive museum exhibit

    Haywood, N., Cairns, P., McEwan, T. (ed.), Gulliksen, J. (ed.) & Benyon, D. (ed.), Dec 2007, People and Computers XIX — The Bigger Picture. London: Springer, p. 113-129 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  72. Embodiment

    Stepney, S., Flower, D. (ed.) & Timmis, J. (ed.), 2007, In Silico Immunology. Springer, p. 265-288 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  73. Unentangling nuclear magnetic resonance computing

    Bechmann, M. W., Clark, J. A., Sebald, A. A-M. & Stepney, S., 2007, Unconventional Computing 2007. Bristol, U.K.: Luniver Press, p. 1-18

    Research output: Chapter in Book/Report/Conference proceedingChapter

  74. 2006
  75. Multi-cultural visualization : how functional programming can enrich visualization (and vice versa)

    Borgo, R., Duke, D., Wallace, M. & Runciman, C., 22 Nov 2006, Vision, Modeling, and Visualization 2006 : Proceedings, November 22 - 24, 2006. AKA Verlag - IOS Press, p. 245-252 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  76. The Signal Data Explorer: A high performance Grid based signal search tool for use in distributed diagnostic applications

    Fletcher, M., Jackson, T., Jessop, M., Liang, B. & Austin, J., 2006, Sixth IEEE International Symposium on Cluster Computing and the Grid. Turner, SJ., Lee, BS. & Cai, W. (eds.). LOS ALAMITOS: IEEE COMPUTER SOC, p. 217-224 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  77. UML + Z: UML augmented with Z

    Amálio, N., Polack, F. & Stepney, S., 2006, Software Specification Methods : an Overview Using a Case Study. Hermes Science Publishing

    Research output: Chapter in Book/Report/Conference proceedingChapter

  78. Z/eyes and the Mondex Electronic Purse

    Woodcock, J. & Reitas, L., 2006, THEORETICAL ASPECTS OF COMPUTING - ICTAC 2006. BERLIN: SPRINGER-VERLAG BERLIN, p. 15-34 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

  83. 2004
  84. An overview of artificial immune systems

    Timmis, J., Knight, T., Castro, L. N. D. & Hart, E., 2004, Computation in Cells and Tissues: Perspectives and Tools for Thought. Springer, p. 51-86 36 p. (Natural Computation).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  85. Improving certification capability through automatic code generation

    Audsley, N. C., Bate, I., Crook-Dawkins, S. & McDermid, J., 2004, Building the Information Society: IFIP 18th World Computer Congress Topical Sessions. Springer Boston, Vol. IFIP Congress Topical Sessions. (IFIP International Federation for Information Processing).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  86. Three-dimensional face recognition: An Eigensurface approach

    Heseltine, T., Pears, N. & Austin, J., 2004, ICIP: 2004 INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1- 5. NEW YORK: IEEE, Vol. 2. p. 1421-1424 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  87. 2003
  88. A Multi-layered Immune Inspired Machine Learning Algorithm

    Knight, T. & Timmis, J., 2003, Applications and Science in Soft Computing. Springer, p. 195-202 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  89. 2002
  90. A Search-Based Automated Test-Data Generation Framework for Safety-Critical Systems

    Tracey, N. J., Clark, J. A., McDermid, J. A., Mander, K. C. & Henderson, P. (ed.), 2002, Systems Engineering for Business Process Change: New Directions - Collected Papers from the EPSRC Research Programme. Springer-verlag, p. 174-213 40 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  91. Artificial Immune Systems: A Novel Approach to Pattern Recognition

    Castro, L. N. D. & Timmis, J., 2002, Artificial Neural Networks in Pattern Recognition. University of Paisley, p. 67-84 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  92. CONVERSE: A Family Oriented Software Development Process for Engine Controllers

    Buttle, D. L., Clark, J. A., McDermid, J. A., Stephenson, Z. R. & Henderson, P. (ed.), 2002, Systems Engineering for Business Process Change. Springer-verlag, p. 38-73 36 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  93. Issues in learning language in logic

    Cussens, J., 2002, COMPUTATIONAL LOGIC: LOGIC PROGRAMMING AND BEYOND, PT II. BERLIN: SPRINGER-VERLAG BERLIN, p. 491-505 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  94. 2001
  95. A novel binary spell checker

    Hodge, V. J., Austin, J., Dorffner, G. (ed.), Bischof, H. (ed.) & Hornik, K. (ed.), 2001, Artificial neural networks : ICANN 2001 : International Conference, Vienna, Austria, August 21-25, 2001 : proceedings. Berlin, Germany: Springer-verlag, p. 1199-1204 5 p. (Lecture Notes in Computer Science; vol. 2130).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  96. Artificial immune systems: Using the immune system as inspiration for data mining

    Timmis, J. & Knight, T., 2001, Data Mining: A Heuristic Approach. Idea Group, p. 209-230 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  97. Connectionist propositional logic a simple correlation matrix memory based reasoning system

    Kustrin, D. & Austin, J., 2001, EMERGENT NEURAL COMPUTATIONAL ARCHITECTURES BASED ON NEUROSCIENCE: TOWARDS NEUROSCIENCE-INSPIRED COMPUTING. BERLIN: SPRINGER-VERLAG BERLIN, p. 534-546 13 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  98. Scalability in Linda-like Coordination Systems

    Menezes, R., Tolksdorf, R., Wood, A. M., Omicini, A. (ed.), Zambonelli, F. (ed.), Klusch, M. (ed.) & Baldwin, R. T. (ed.), 2001, Coordination of Internet Agents: Models, Technologies and Applications. Springer, p. 299-319 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  99. The cost-effectiveness of therapeutics for Alzheimer's disease

    Manca, A., Davies, L. M. & Burns, A., 2001, Neuropsychopharmacology: The fifth Generation of Progress. Lippincott Williams & Wilkins

    Research output: Chapter in Book/Report/Conference proceedingChapter

  100. Towards novel neuroscience-inspired computing

    Wermter, S., Austin, J., Willshaw, D. & Elshaw, M., 2001, EMERGENT NEURAL COMPUTATIONAL ARCHITECTURES BASED ON NEUROSCIENCE: TOWARDS NEUROSCIENCE-INSPIRED COMPUTING. BERLIN: SPRINGER-VERLAG BERLIN, p. 119 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  101. 2000
  102. Family diversity and poverty and the mental wellbeing of young people

    Clarke, L., Bradshaw, J. & Williams, J., 2000, Changing Families, Changing Communities: Researching Health and Wellbeing Among Children and Young People, Proceedings of a joint conference held by the HEA Research Directorate and Young People's Health Network. Ryan, H. & Bull, J. (eds.). London: Health Development Agency, p. pp. 39-58 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  103. 1999
  104. An Introduction to Inductive Logic Programming and Learning Language in Logic

    Dzeroski, S., Cussens, J. & Manandhar, S., 1999, Learning Language in Logic : Lecture Notes in Artificial Intelligence 1925. Springer, Vol. 1925/2000. p. 3-36 (Lecture Notes in Computer Science/ Lecture Notes in Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  105. Non resident fathers in Britain

    Bradshaw, J., Stimson, C., Skinner, C. & Williams, J., 1999, Changing Britain: families and households in the 1990s. McRae, S. (ed.). Oxford: Oxford University Press, p. pp. 404-426 23 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  106. 1998
  107. An Efficient VLSI Architecture for an Enhanced TSS Algorithm for Video Coding Applications

    Xu, D., Crispin-Bailey, C. & Sotudeh, R., Oct 1998, Recent Advances in Information Science and Technology. World Scientific Publishing, p. 82-86 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  108. An Assessment of Technologies for Multimedia Data streaming

    Crispin-Bailey, C., Maierhofer, M. & Sotudeh, R., 1998, Technologies for the Information Society: Developments and Opportunities. Stanford-Smith, B., Kidd, P. & Roger, J-Y. (eds.). IOS Press, p. 514-519 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  109. Jisys: Development of an artificial immune system for real world applications

    Hunt, J., Timmis, J., Cooke, D., Neal, M. & King, C., 1998, Artificial Immune Systems and their Applications. Springer, p. 157-186 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  110. 1997
  111. Measurement and Assurance

    McDermid, J. A., Redmill, F. (ed.) & Dale, C. (ed.), 1997, Life Cycle Management for Dependability. London: Springer-Verlag, p. 77-104 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  112. 1996
  113. Engineering Safety Critical Systems

    McDermid, J. A., 1996, Computing Tomorrow : Future Research Directions in Computer Science. Wand, I. & Milner, R. (eds.). Cambridge: CUP, p. 217-245

    Research output: Chapter in Book/Report/Conference proceedingChapter

  114. Using correlation matrix memories for inferencing in expert systems

    Austin, J. & Filer, R., 1996, NEURAL NETWORKS AND THEIR APPLICATIONS. Taylor, JG. (ed.). CHICHESTER: John Wiley & Sons, p. 229-244 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  115. 1995
  116. Integrating Unbounded Software Components into Hard Real-Time Systems

    Audsley, N. C., Burns, A., Davis, R. I. & Wellings, A. J., Jun 1995, Imprecise and Approximate Computation. Natarajan, S. (ed.). p. 63-86 (The Springer International Series in Engineering and Computer Science,; vol. 318).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  117. Real-Time System Scheduling

    Audsley, N. C., Burns, A., Davis, R., Tindell, K. W. & Wellings, A., Jun 1995, Predictably Dependable Computing Systems.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  118. C-NNAP - A parallel processing architecture for binary neural networks

    Kennedy, J. V., Austin, J., Pack, R. & Cass, B., 1995, Proceedings of the IEEE International Conference on Neural Networks (ICNN 95). (University of Western Australia, Perth, Australia, Nov 27-Dec 01, 1995). New York: IEEE, Vol. 2. p. 1037-1041 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  119. Formal Specification of an Aerospace System: the Attitude Monitor

    Barroca, LM., Coombes, A. C., Fitzgerald, J. C., McDermid, J. A., Saeed, A., Spencer, L., Hinchey, M. (ed.) & Bowen, J. (ed.), 1995, Applications of Formal Methods. Prentice Hall, p. 307-332 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  120. Safety Arguments, Software and System Reliability

    McDermid, J. A. & Pham, H. (ed.), 1995, Software Reliability and Testing. New York: IEEE Computer Society Press, p. 82-89 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

Previous 1 2 Next