Browse Publications

  1. 2014
  2. Publications content icon
    Published

    Less is more: Temporal fault predictive performance over multiple hadoop releases

    Leandro Minku, 2014, Proceedings of the 6th Symposium on Search-Based Software Engineering (SSBSE), Lecture Notes in Computer Science. Fortaleza, Brazil: Springer Verlag, Vol. 8636. p. 240-246 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8636 LNCS).

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

  3. Publications content icon
    Published

    Level-based analysis of genetic algorithms and other search processes

    Per Kristian Lehre, 2014, Parallel Problem Solving from Nature – PPSN XIII: 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings. Springer, p. 912-921 10 p. (Lecture Notes in Computer Science; vol. 8672).

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

  4. Publications content icon
    Published

    Local optima and weight distribution in the number partitioning problem

    Jon Rowe, 2014, Parallel Problem Solving from Nature – PPSN XIII : 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings. Bartz-Beielstein, T., Branke, J., Filipic, B. & Smith, J. (eds.). Springer, Vol. 8672. p. 862-871 10 p. (Lecture Notes in Computer Science ; vol. 8672).

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

  5. Publications content icon
    Published

    Multivariate cauchy EDA optimisation

    Ata Kaban, 2014, Intelligent Data Engineering and Automated Learning : IDEAL 2014 15th International Conference, Salamanca, Spain, September 10-12, 2014. Proceedings. Corchado, E., Lozano, J. A., Quintián, H. & Yin, H. (eds.). Springer, Vol. 8669 LNCS. p. 449-456 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8669 LNCS).

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

  6. Publications content icon
    Published

    On the runtime analysis of fitness sharing mechanisms

    Christine Zarges, 2014, Parallel Problem Solving from Nature – PPSN XIII: 13th International Conference, Ljubljana, Slovenia, September 13-17, 2014. Proceedings. Bartz-Beielstein, T., Branke, J., Filipič, B. & Smith, JI. (eds.). Springer, Vol. 8672. p. 932-941 10 p. (Lecture Notes in Computer Science; vol. 8672).

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

  7. Publications content icon
    Published

    Phase transition and landscape properties of the number partitioning problem

    Jon Rowe, 2014, Evolutionary Computation in Combinatorial Optimisation : 14th European Conference, EvoCOP 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers. Blum, C. & Ochoa, G. (eds.). Springer, Vol. 8600. p. 206-217 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8600).

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

  8. Publications content icon
    Published

    Probabilistic model checking of labelled markov processes via finite approximate bisimulations

    David Parker, 2014, Horizons of the Mind. A Tribute to Prakash Panangaden : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (eds.). Springer, Vol. 8464 LNCS. p. 40-58 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8464 LNCS).

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

  9. Publications content icon
    Published

    Requirements-driven social adaptation: Expert survey

    Rami Bahsoon, 2014, Requirements Engineering: Foundation for Software Quality: 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings. Salinesi, C. & Van de Weerd, I. (eds.). Springer, Vol. 8396 LNCS. p. 72-87 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8396 LNCS).

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

  10. Publications content icon
    Published

    Role of fiber orientation in atrial arrythmogenesis

    Robert Stephenson, 2014, In : Computing in Cardiology. 41, January, p. 1041-1044 4 p., 7043224.

    Research output: Contribution to journalConference article

  11. Publications content icon
    Published

    Role of occlusion in non-coulombic slip of the finger pad

    Brygida Dzidek, Mike Adams, Zhibing Zhang, 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8618. p. 109-116 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8618).

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

  12. Publications content icon
    Published

    Systematic elaboration of compliance requirements using compliance debt and portfolio theory

    Rami Bahsoon, 2014, Requirements Engineering: Foundation for Software Quality : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014. Proceedings. Salinesi, C. & van de Weerd, I. (eds.). Springer, Vol. 8396 LNCS. p. 152-167 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8396 LNCS).

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

  13. Publications content icon
    Published

    The performance effects of interaction frequency in parallel cooperative coevolution

    Xin Yao, 2014, Simulated Evolution and Learning: 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, 2014. Proceedings. Dick, G., Browne, W. N., Whigham, P., Zhang, M., Bui, L. T., Ishibuchi, H., Jin, Y., Li, X., Shi, Y., Songh, P., Tan, K. C. & Tang, K. (eds.). Springer, Vol. 8886. p. 82-93 12 p. (Lecture Notes in Computer Science; vol. 8886).

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

  14. Publications content icon
    Published

    Towards an architecture for knowledge representation and reasoning in robotics

    Jeremy Wyatt, 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8755. p. 400-410 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8755).

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

  15. Publications content icon
    Published

    Understanding randomised search heuristics lessons from the evolution of theory: A case study

    Christine Zarges, 2014, Proceedings of the 20th International Conference on Soft Computing (MENDEL 2014) . Radek, M. (ed.). Brno University of Technology, p. 293-298 6 p.

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

  16. Publications content icon
    Published

    Verification of markov decision processes using learning algorithms

    David Parker, 2014, Automated Technology for Verification and Analysis : 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings. Cassez, F. & Raskin, J-F. (eds.). Springer, Vol. 8837. p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8837).

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

  17. Publications content icon
    Published

    Visualising uncertainty for open learner model users

    Susan Bull & Matthew Johnson, 2014, CEUR Proceedings (UMAP Posters): CEUR . CEUR, Vol. 1181. p. 9-12 4 p.

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

  18. 2013
  19. Publications content icon

    Extracting myofibre orientation from micro-CT images: An optimisation study

    1 Dec 2013, Computing in Cardiology 2013, CinC 2013. p. 823-826 4 p. 6713504. (Computing in Cardiology; vol. 40).

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

  20. Publications content icon
    Published

    Automata-Theoretic Semantics of Idealized Algol with Passive Expressions

    Uday Reddy, 4 Nov 2013, p. 325-348. 24 p.

    Research output: Contribution to conference (unpublished)Paper

  21. Publications content icon
    Published

    Simulations of PCB assembly optimisation based on the bees algorithm with TRIZ-inspired operators

    Duc Pham, Nov 2013, Advances in Visual Informatics: Third International Visual Informatics Conference, IVIC 2013, Selangor, Malaysia, November 13-15, 2013. Proceedings. Zaman, H. B., Robinson, P., Olivier, P., Shih, T. K. & Velastin, S. (eds.). Springer, Vol. 8237. p. 335-346 12 p. (Lecture Notes in Computer Science; vol. 8237).

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

  22. Publications content icon
    Published

    Seamless distributed computing from the geometry of interaction

    Dan Ghica, 30 Oct 2013, Trustworthy Global Computing - 7th International Symposium, TGC 2012, Revised Selected Papers. p. 34-48 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8191 LNCS).

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

  23. Publications content icon
    Published

    Models of gaze control for manipulation tasks

    Jeremy Wyatt, Oct 2013, In : ACM Transactions on Applied Perception. 10, 4, 20.

    Research output: Contribution to journalArticle

  24. Publications content icon
    Published

    A tool for estimating information leakage

    Tom Chothia, Yusuke Kawamoto, 12 Aug 2013, Computer Aided Verification - 25th International Conference, CAV 2013, Proceedings. p. 690-695 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8044 LNCS).

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

  25. Publications content icon
    Published

    Should cool be a design goal?

    Benjamin Cowan & Russell Beale, 1 Jan 2013, HCI 2013 - 27th International British Computer Society Human Computer Interaction Conference: The Internet of Things. British Computer Society

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

  26. Publications content icon
    Published

    The effect of positive feedback in a constraint-based intelligent tutoring system

    Devon Barrow, 1 Jan 2013, In : Computers and Education. 60, 1, p. 264-272 9 p.

    Research output: Contribution to journalArticle

  27. 2012
  28. Publications content icon
    Published

    Community detection in social and biological networks using differential evolution

    Mirco Musolesi, Daniel Tennant, Ralf Weber, John Heath & Shan He, 30 Oct 2012, Learning and Intelligent Optimization - 6th International Conference, LION 6, Revised Selected Papers. p. 71-85 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7219 LNCS).

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

  29. Publications content icon
    Published

    A system-level game semantics

    Dan Ghica, 24 Sep 2012, In : Electronic Notes in Theoretical Computer Science. 286, p. 191-211 21 p.

    Research output: Contribution to journalArticle

  30. Publications content icon
    Published

    Game semantics in the nominal model

    Dan Ghica, 24 Sep 2012, In : Electronic Notes in Theoretical Computer Science. 286, p. 173-189 17 p.

    Research output: Contribution to journalArticle

  31. Publications content icon
    Published

    Preferred features of open learner models for university students

    Susan Bull, 22 Jun 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Cerri, SA. (ed.). Springer, Vol. 7315 LNCS. p. 411-421 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7315 LNCS).

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

  32. Publications content icon
    Published

    Virtual Scylla: Interactive 3D and Artificial Life for Marine Virtual Heritage

    Bob Stone & Robert Guest, Jun 2012, Beyond Boundaries, IKUWA 3: 3rd International Congress on Underwater Archaeology. Henderson, J. (ed.). Germany: Rudolf Habelt, p. 485-491

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

  33. Publications content icon
    Published
  34. Publications content icon
    Published

    The geometry of synthesis how to make hardware out of software

    Dan Ghica, 1 Jan 2012, Mathematics of Program Construction - 11th International Conference, MPC 2012, Proceedings. Gibbons, J. & Nogueira, P. (eds.). Springer Verlag, p. 23-24 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7342 LNCS).

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

  35. Publications content icon
    Published

    Gaze allocation analysis for a visually guided manipulation task

    Jeremy Wyatt, 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7426 LNAI. p. 44-53 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7426 LNAI).

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

  36. Publications content icon
    Published

    Learning using privileged information in prototype based models

    Shereen Fouad, Peter Tino, Somak Raychaudhury & Petra Schneider, 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 2 ed. Vol. 7553 LNCS. p. 322-329 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7553 LNCS, no. PART 2).

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

  37. Publications content icon
    Published

    Prototype based modelling for ordinal classification

    Shereen Fouad & Peter Tino, 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7435 LNCS. p. 208-215 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7435 LNCS).

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

  38. Publications content icon
    Published

    Understanding the semantic structure of human fMRI brain recordings with formal concept analysis

    Uta Noppeney, 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7278 LNAI. p. 96-111 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7278 LNAI).

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

  39. 2009
  40. Publications content icon
    Published

    Increasing the reliability of high redundancy actuators by using elements in series and parallel

    Roger Dixon, 4 Nov 2009, Computer Safety, Reliability, and Security - 28th International Conference, SAFECOMP 2009, Proceedings. p. 270-282 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5775 LNCS).

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

  41. Publications content icon
    Published
  42. 2008
  43. Publications content icon
    Published

    Assessing the impact of positive feedback in constraint-based tutors

    Devon Barrow, 1 Dec 2008, Intelligent Tutoring Systems - 9th International Conference, ITS 2008, Proceedings. p. 250-259 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5091 LNCS).

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

  44. Publications content icon
    Published

    Lecture Notes in Computer Science: Preface

    Russell Beale, 22 Sep 2008, Affect and Emotion in Human-Computer Interaction - From Theory to Applications. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4868 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  45. 2007
  46. Publications content icon
    Published

    Conceptual foundations of the metaphors of interaction

    William Edmondson & Mark Lee, 2007, MCCSIS 2007 - IADIS Multi Conference on Computer Science and Information Systems - Proceedings of Intelligent Systems and Agents 2007, Interfaces and Human Computer Interaction 2007, Computer Graphics and Visualization 2007. dos Reis, A. P., Blashki, K. & Xiao, Y. (eds.). IADIS Press, p. 51-58 8 p. (MCCSIS 2007 - IADIS Multi Conference on Computer Science and Information Systems - Proceedings of Intelligent Systems and Agents 2007, Interfaces and Human Computer Interaction 2007, Computer Graphics and Visualization 2007).

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

  47. 2005
  48. Publications content icon
    Published

    Automatic detection of meddies through texture analysis of sea surface temperature maps

    Marco Castellani, 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3808 LNCS. p. 359-370 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3808 LNCS).

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

  49. 2004
  50. Publications content icon
    Published

    Correctness of data representations involving heap data structures

    Uday Reddy, 1 Jan 2004, In : Science of Computer Programming. 50, 1-3, p. 129-160 32 p.

    Research output: Contribution to journalArticle

  51. 2002
  52. Publications content icon
    Published

    Objects and Classes in Algol-like Languages

    Uday Reddy, 10 Jan 2002, In : Information and Computation. 172, 1, p. 63-97 35 p.

    Research output: Contribution to journalArticle

  53. 2000
  54. Publications content icon
    Published

    Wearable computers and the possible development of musculoskeletal disorders

    James Knight & Chris Baber, 1 Dec 2000, p. 171-172. 2 p.

    Research output: Contribution to conference (unpublished)Paper

  55. 1999
  56. Publications content icon
    Published

    An implemented context system that combines belief reasoning, metaphor-based reasoning and uncertainty handling

    John Barnden & Mark Lee, 1 Jan 1999, Modeling and Using Context - 2nd International and Interdisciplinary Conference, CONTEXT 1999, Proceedings. Springer Verlag, p. 28-41 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1688).

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

  57. Publications content icon
    Published

    Human factors of multi-modal ubiquitous computing

    David Haniff, Chris Baber & William Edmondson, 1 Jan 1999, Handheld and Ubiquitous Computing - 1st International Symposium, HUC 1999, Proceedings. Gellersen, H-W. (ed.). Springer Verlag, p. 346-348 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1707).

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

Previous 1 2 3 4 Next