Search research publications and outputs

  1. 2019
  2. Cloud-based Integrated Process Planning and Scheduling Optimisation via Asynchronous Islands

    Zhao, S., Mei, H., Dziurzanski, P., Przewozniczek, M. W. & Soares Indrusiak, L., 1 Jul 2019, (Accepted/In press) 16th International Conference on the Economics of Grids, Clouds, Systems, and Services.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Tools and workloads for many-core computing

    Singh, A., Dziurzanski, P., Merrett, G. & Al-Hashimi, B., 26 Jun 2019, Many-Core Computing: Hardware and software. Al-Hashimi, B. M. & Merrett, G. V. (eds.). IET, p. 117-140 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. A Database and Evaluation for Classification of RNA Molecules Using Graph Methods

    Algul, E. & Wilson, R. C., 13 Jun 2019, Graph-Based Representations in Pattern Recognition - 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19-21, 2019, Proceedings. Springer, p. 78-87 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP

    Ye, K., Foster, S. D. & Woodcock, JAMES. C. P., 30 May 2019, From Astrophysics to Unconventional Computation. Springer, p. 215-254 40 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. Evaluating BCI for Musical Expression: Historical Approaches, Challenges and Benefits

    Williams, D. A. H., 26 May 2019, Brain Art. Springer, p. 145-158 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Value-driven Manufacturing Planning using Cloud-based Evolutionary Optimisation

    Zhao, S., Dziurzanski, P. & Soares Indrusiak, L., 18 Apr 2019, (Accepted/In press) 10th International Conference on Manufacturing Science and Technology.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Cloud-based Dynamic Distributed Optimisation of Integrated Process Planning and Scheduling in Smart Factories

    Zhao, S., Dziurzanski, P., Przewozniczek, M., Komarnicki, M. & Soares Indrusiak, L., 21 Mar 2019, (Accepted/In press) The Genetic and Evolutionary Computation Conference.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Emotional Congruence in Video Game Audio

    Williams, D. A. H., Murphy, D. T. & Cowling, P. I., 2019, Encyclopedia of Computer Graphics and Games (ECCG). Springer

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. 2018
  11. Implementing Digital Twins of Smart Factories with Interval Algebra

    Dziurzanski, P., Swan, J., Soares Indrusiak, L. & Ramos, J., 15 Nov 2018, (Accepted/In press) IEEE International Conference on Industrial Technology. 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  12. Performance Assessment of Recursive Probability Matching for Adaptive Operator Selection in Differential Evolution

    Sharma, M., López-Ibáñez, M. & Kazakov, D. L., Sep 2018, 15th Intl Conf. on Parallel Problem Solving from Nature: (PPSN 2018). SPRINGER-VERLAG BERLIN, p. 321-333 13 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  13. Working with participants

    Power, C. D. & Petrie, H., 30 Aug 2018, (Accepted/In press) Web accessibility: A foundation for research. Harper, S. & Yesilada, Y. (eds.). 2nd ed. Springer

    Research output: Chapter in Book/Report/Conference proceedingChapter

  14. Accessibility and usability of self-service terminals, technologies and systems

    Petrie, H. & Darzentas, J. S., 11 Jul 2018, Proceedings of the 16th International Conference on Computers Helping People with Special Needs (ICCHP 2018). LNCS 10897. . Cham, Switzerland: Springer

    Research output: Chapter in Book/Report/Conference proceedingChapter

  15. Ageism and sexism amongst young computer scientists

    Petrie, H., 11 Jul 2018, Computers Helping people with Special Needs: Proceedings of 16th International Conference, ICCHP 2018. Miesenberger, K. & Kouroupetroglou, G. (eds.). Cham, Switerland: Springer, Vol. LNCS 10897. p. 421-425 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  16. Assistive technology abandonment: research realities and potentials

    Petrie, H., Carmien, S. & Lewis, A. W., 11 Jul 2018, Proceedings of the 16th International Conference on Computers Helping People with Special Needs (ICCHP 2018). LNCS 10897.. Cham, Switzerland: Springer

    Research output: Chapter in Book/Report/Conference proceedingChapter

  17. Standards, guidelines and legislation related to self-service technologies: developments since 2013

    Petrie, H. & Darzentas, J. S., 11 Jul 2018, Proceedings of the 16th International Conference on Computers Helping People with Special Needs (ICCHP 2018). LNCS 10897. . Springer

    Research output: Chapter in Book/Report/Conference proceedingChapter

  18. Generational differences in password management behaviour

    Merdenyan, B. & Petrie, H., 2 Jul 2018, Proceedings of the 32nd International BCS Human Computer Interaction Conference (HCI 2018).. British Computer Society (BCS)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  19. From premature semantics to mature interaction programming

    Cairns, P. A. & Thimbleby, H., Feb 2018, Computational Interaction. Howes, A. (ed.). Oxford: Oxford University Press, p. 213-248

    Research output: Chapter in Book/Report/Conference proceedingChapter

  20. Learning implicational models of universal grammar parameters

    Kazakov, D. L., Cordoni, G., Algahtani, E., Ceolin, A., Irimia, M-A., Kim, S-S., Michelioudakis, D., Radkevich, N., Guardiano, C. & Longobardi, G., 29 Jan 2018, The Evolution of Language: Proceedings of the 12th International Conference (EVOLANGXII). Cuskley, C., Flaherty, M., Little, H., McCrohon, L., Ravignani, A. & Verhoef, T. (eds.). Torun, Poland: Online at http://evolang.org/torun/proceedings/papertemplate.html?p=176, 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  21. Frontlines in Games User Research

    Drachen, A., Nacke, L. E. & Mirza-Babaei, P., 25 Jan 2018, Games User Research. Oxford: Oxford University Press, p. 509-520

    Research output: Chapter in Book/Report/Conference proceedingChapter

  22. BCI for Music Making: Then, Now, and Next

    Williams, D. A. H. & Miranda, E. R., 24 Jan 2018, Brain-Computer Interfaces Handbook: Technological and Theoretical Advances. Nam, C. S., Nijholt, A. & Lotte, F. (eds.). CRC PRESS-TAYLOR & FRANCIS GROUP, p. 191-205 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  23. Can Games Be More Than Fun?

    Cairns, P. A., 2018, Funology 2: From Usability to Enjoyment. Blythe, M. & Monk, A. (eds.). 2nd ed. Springer, p. 33-46 14 p. (Human-Computer Interaction Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  24. Digital Technology for Older People: A Review of Recent Research

    Petrie, H. & Darzentas, J. S., 2018, (Accepted/In press) The Oxford Handbook of Digital Technology and Society. New York: Oxford: Oxford University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  25. Game Analytics for Games User Research

    Drachen, A. & Connor, S., 2018, Games User Research. Oxford: Oxford University Press, p. 333-354

    Research output: Chapter in Book/Report/Conference proceedingChapter

  26. Introduction to Games User Research

    Drachen, A., Nacke, L. E. & Mirza-Babaei, P., 2018, Games User Research. Oxford: Oxford University Press, p. 1-12

    Research output: Chapter in Book/Report/Conference proceedingChapter

  27. Issues of culture in designing for accessibility

    Petrie, H., Weber, G., Jadhav, C. & Darzentas, J. S., 2018, Global thoughts, local designs: INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers. Clemmensen, T., Rajamanickam, V., Dannemann, P., Petrie, H. & Winckler, M. (eds.). Cham, Switzerland: Springer, Vol. LNCS 10774. p. 55 - 67 13 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  28. Safety of Artificial Intelligence and its role in Autonomy: A Maritime Perspective

    McDermid, J. A. & Daffey, K., 2018, Safety Critical Systems Symposium.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  29. 2017
  30. Sound Simulation and Co-simulation for Robotics

    Cavalcanti, A. L. C., Miyazawa, A. & Woodcock, J., Nov 2017, Present and Ulterior Software Engineering. M. M. & B. M. (eds.). Springer International Publishing Switzerland, p. 173-194 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  31. Image Retrieval Based on Query by Saliency Content, Chapter 8

    Bors, A. G. & Papushoy, A., Aug 2017, Visual Content Indexing and Retrieval with Psycho-Visual Models. Benois-Pineau, J. & Le Callet, P. (eds.). Springer, p. 171-209 38 p. (Multimedia Systems and Applications).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  32. Playing Catch-up - The Fate of Safety Engineering?

    McDermid, J. A., Feb 2017, Developments in System Safety Engineering. Parsons, M. & Kelly, T. (eds.). Safety Critical Systems Club, Vol. 25. p. 1-22

    Research output: Chapter in Book/Report/Conference proceedingChapter

  33. Associative Memory in Reaction-Diffusion Chemistry

    Stovold, J. H. & O'Keefe, S. E. M., 2017, Advances in Unconventional Computing: Volume 2: Prototypes, Models and Algorithms. Adamatzky, A. (ed.). 1 ed. SPRINGER-VERLAG BERLIN, Vol. 2. p. 141-165 25 p. (Emergence, Complexity and Computation; vol. 23).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  34. Characterization, Analysis, and Recommendations for Exploiting the Opportunities of Cyber-Physical Systems

    McDermid, J. A., Torngren, M., Asplund, F., Bensalem, S., Passerone, R., Pfeifer, H., Gangiovanni-Vincentelli, A. & Schatz, B., 2017, Cyber-Physical Systems. Song, H., Rawat, D., Jeschke, S. & Brecher, C. (eds.). Cambridge, MA: Elsevier Academic Press, p. 1-14 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  35. Curiously Motivated: Profiling Curiosity with Self-Reports and Behaviour Metrics in the Game "Destiny"

    Schaekermann, M., Nacke, L. E., Johnson, D., Drachen, A., Sifa, R., Wallner, G. & Krieglstein, S., 2017, Proceedings of the Annual Symposium on Computer-Human Interaction in Play (CHI-PLAY). p. 143-156

    Research output: Chapter in Book/Report/Conference proceedingChapter

  36. Evaluating the Onboarding Phase of Free-to-Play Mobile Games: A Mixed-Methods Approach

    Thomsen, L. E., Petersen, F. W., Drachen, A. & Mirza-babaei, P., 2017, Proceedings of the Annual Symposium on Computer-Human Interaction in Play (CHI-PLAY). p. 377-388

    Research output: Chapter in Book/Report/Conference proceedingChapter

  37. Introduction to Unconventional Computing

    Stepney, S., 2017, Guide to Unconventional Computing for Music. Miranda, E. R. (ed.). Springer, p. 1-21 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  38. Polyhedral approaches to learning Bayesian networks

    Haws, D., Cussens, J. & Studený, M., 2017, Algebraic and Geometric Methods in Discrete Mathematics: Contemporary Mathematics. Providence, RI: American Mathematical Society, Vol. 685. p. 155-188 34 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  39. Reservoir Computing as a model for in materio computing

    Dale, M. N., Miller, J. F. & Stepney, S., 2017, Advances in Unconventional Computing. Adamatsky, A. (ed.). Springer, Vol. 1. p. 533-571

    Research output: Chapter in Book/Report/Conference proceedingChapter

  40. The changing face of model-driven engineering

    Paige, R. F., Zolotas, A. & Kolovos, D., 2017, Present and Ulterior Software Engineering. Springer International Publishing, p. 103-118 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  41. The perceived assortativity of social networks: Methodological problems and solutions

    Fisher, D., Silk, M. & Franks, D. W., 2017, Trends in Social Network Analysis. p. 1-19

    Research output: Chapter in Book/Report/Conference proceedingChapter

  42. 2016
  43. Electoral Systems Used around the World

    Shahandashti, S. F., 13 Dec 2016, Real-World Electronic Voting: Design, Analysis and Deployment. Hao, F. & Ryan, P. Y. A. (eds.). CRC Press, (Series in Security, Privacy and Trust).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  44. Engagement in digital games

    Cairns, P. A., Jun 2016, Why Engagement Matters: Cross-disciplinary perspectives of user engagement in digital media. O'Brien, H. & Cairns, P. (eds.). Springer, p. 81-104 4

    Research output: Chapter in Book/Report/Conference proceedingChapter

  45. Experimental methods in Human-Computer Interaction

    Cairns, P. A., 2016, Encylopedia of Human-Computer Interaction, 2nd edn. Soedergaard, M. & Dam, R. (eds.). Interaction Design Foundation, 34

    Research output: Chapter in Book/Report/Conference proceedingChapter

  46. The Art of Penrose Life

    Stepney, S., 2016, Designing Beauty: The Art of Cellular Automata. Adamatzky, A. & Martinez, G. J. (eds.). Springer, p. 103-109 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  47. 2015
  48. Ortho-diffusion decompositions for face recognition from low quality images

    Gudivada, S. K. N. & Bors, A. G., Oct 2015, 2015 IEEE International Conference on Image Processing ICIP, 2015 : Proceedings . IEEE, p. 3625-3629 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  49. Robust Learning from Ortho-Diffusion Decompositions

    Gudivada, S. & Bors, A. G., Sep 2015, Computer Analysis of Images and Patterns : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I. Azzopardi, G. & Petkov, N. (eds.). Springer, p. 546-557 12 p. (Lecture Notes in Computer Science; vol. 9256).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  50. Hard Real-time Guarantee of Automotive Applications during Mode Changes

    Dziurzanski, P., Singh, A. K., Soares Indrusiak, L. & Saballus, B., 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York : ACM Digital Library, p. 161-170

    Research output: Chapter in Book/Report/Conference proceedingChapter

  51. Mechanised Theory Engineering in Isabelle

    Foster, S. D. & Woodcock, J., 2015, Dependable Software Systems Engineering. Irlbeck, M., Peled, D. & Pretschner, A. (eds.). IOS Press, Vol. 40. p. 246-287 (NATO Science for Peace and Security Series, D: Information and Communication Security; vol. 40).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  52. Supporting the Automated Generation of Modular Product Line Safety Cases

    Oliveira, A. L., Braga, R. T. V., Masiero, P. C., Papadopoulos, Y., Habli, I. & Kelly, T., 2015, Theory and Engineering of Complex Systems and Dependability: Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3 2015, Brunów, Poland. Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T. & Kacprzyk, J. (eds.). Cham: Springer International Publishing, Vol. 365. p. 319-330 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  105. 2009
  106. 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

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

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

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

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

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

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

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

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

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

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

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

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

  119. 2008
  120. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  153. 2000
  154. 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

  155. 1999
  156. 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

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

  158. 1998
  159. 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

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

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

  162. 1997
  163. 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

  164. 1996
  165. 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

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

  167. 1995
  168. 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

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

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

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

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

  173. Towards Operational Measures for Computer Security: Concepts

    Brocklehurst, S., Dobson, J. E., Fenton, N., Gollman, D., Littlewood, B., McDermid, J. A., Mellor, P., Page, S., Wright, D., Randell, B. (ed.), Laprie, J-C. (ed.), Kopetz, H. (ed.) & Littlewood, B. (ed.), 1995, Predictably Dependable Computing Systems. Springer-verlag, p. 537-553 17 p. (ESPRIT Basic Research Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  174. Towards Operational Measures of Computer Security: Concepts

    Brocklehurst, S., Dobson, J. E., Fenton, N., Gollman, D., Littlewood, B., McDermid, J. A., Mellor, P., Page, S., Wright, D., Randell, B. (ed.), Laprie, J-C. (ed.), Kopetz, H. (ed.) & Littlewood, B. (ed.), 1995, Predictably Dependable Computing Systems. Springer-verlag, p. 537-553 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  175. sc \Linda Implementation Revisited

    Rowstron, A., Douglas, A. & Wood, A., 1995, Transputer and occam Developments. IOS Press, p. 125-138 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  176. 1994
  177. Formal Methods for Real-Time Systems

    Barroca, L. M., McDermid, J. A., Halang, W. A. (ed.) & Stoyenko, A. D. (ed.), 1994, Real-Time Computing. Berlin: Springer-verlag

    Research output: Chapter in Book/Report/Conference proceedingChapter

  178. What is the Right Specification, Design and Implementation Paradigm for Real-Time Applications?

    McDermid, J. A., Halang, W. A. (ed.) & Stoyenko, A. D. (ed.), 1994, Real-Time Computing. Springer-verlag

    Research output: Chapter in Book/Report/Conference proceedingChapter

  179. 1993
  180. Formal Methods: Use and Relevance for the Development of Safety Critical Systems

    McDermid, J. A. & Bennett, P. A. (ed.), 1993, Safety Aspects of Computer Control. Oxford: Butterworth Heinemann, p. 96-153 58 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  181. HOOD

    Buxton, J. N., McDermid, J. A., Thayer, K. (ed.) & McGettrick, A. D. (ed.), 1993, Software Engineering: A European Perspective. IEEE Computer Society Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  182. Issues in the Development of Safety Critical Systems

    McDermid, J. A., Redmill, F. (ed.) & Anderson, T. (ed.), 1993, Safety Critical Systems. London: Chapman and Hall, p. 16-42 27 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  183. Risk Management

    Hood, G. C. & McDermid, J. A., 1993, Risk: Analysis, Perception and Management. Royal Society, Vol. London. p. 135-182 48 p. (Report of a Royal Society Study Group ).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  184. 1992
  185. The Structure of Permissions: A Normative Framework for Access Rights

    Morris, P., McDermid, J. A., Landwehr, C. (ed.) & Jajodia, S. (ed.), 1992, Database Security V: Status and Prospects. North Holland, p. 77-98 22 p. (IFIP Transactions A: Computer Science and Technology).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  186. 1991
  187. CADiZ - Computer Aided Design in Z

    Jordan, D. T., McDermid, J. A., Toyn, I. & Nicholls, J. E. (ed.), 1991, Z User Workshop, Oxford 1990. Springer-Verlag, p. 93-104 12 p. (Workshops in Computing).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  188. Software Development Process Models

    McDermid, J. A., Rook, P. & McDermid, J. A. (ed.), 1991, Software Engineers' Reference Book. Oxford: Butterworth Heinemann

    Research output: Chapter in Book/Report/Conference proceedingChapter

  189. 1990
  190. Integrated Project Support Environments: General Principles and Issues in the Development of High Integrity Systems

    McDermid, J. A. & Kitchenham, B. A. (ed.), 1990, Software engineering for large software systems. Elsevier Science, 57 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  191. Integrated Project Support Environments and Software Engineering Toolsets

    McDermid, J. A., Jenkins, D. G. (ed.) & Welland, R. C. (ed.), 1990, Software engineering for electronic systems designers. I E E E, (IEE Computing Series; vol. 18).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  192. Security Policies for Integrated Project Support Environments

    Hocking, E. S., McDermid, J. A., Landwehr, C. E. (ed.) & Spooner, D. (ed.), 1990, Database Security III: Status and Prospects. III ed. Monterey: IFIP/North Holland, p. 41-74 34 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  193. Specifying Security Properties

    Jacob, J. L. & Hoare, C. A. R. (ed.), 1990, Developments in Concurrency and Communication. Reading, Mass, U. S. A.: http://www.aw.com/Addison Wesley, p. 221-237 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  194. 1988
  195. Intermediate-level Vision, Relations and Processor Arrays: An Application of sc \Clip4 to Image Sequence Analysis

    Wood, A. M. & Page, I. (ed.), 1988, Parallel Architectures and Computer Vision. Oxford University Press, p. 157-170 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  196. 1987
  197. Assurance

    McDermid, J. A. & Anderson, T. (ed.), 1987, Safe and Secure Computing Systems. Blackwell Scientific, p. 163-188 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  198. 1986
  199. Higher Level Operations using Processor Arrays

    Wood, A. M., Uhr, L. (ed.), Preston~Jr., K. (ed.), Levialdi, S. (ed.) & Duff, M. (ed.), 1986, Evaluation of Multicomputers for Image Processing. academic press, p. 91-105 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  200. Motion Analysis

    Wood, A. M., Duff, M. J. B. (ed.) & Fountain, T. J. (ed.), 1986, Cellular Logic Image Processing. academic press, p. 174-207 34 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  201. Software for sc \Clip4

    Wood, A. M., Reynolds, D. E., Duff, M. J. B. (ed.) & Fountain, T. J. (ed.), 1986, Cellular Logic Image Processing. academic press, p. 69-94 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  202. 1981
  203. The Interaction between Hardware, Software, and Algorithms

    Wood, A. M., Duff, M. J. B. (ed.) & Levialdi, S. (ed.), 1981, Languages and Architectures for Image Processing. Academic Press, p. 1-11 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter