Browse Publications

  1. 2015
  2. Publications content icon
    Published

    Effects of cardiac structural remodelling during heart failure on cardiac excitation - Insights from a heterogeneous 3D model of the rabbit atria

    Robert Stephenson, 16 Feb 2015, Computing in Cardiology Conference 2015, CinC 2015. Murray, A. (ed.). IEEE Computer Society, p. 969-972 4 p. 7411074. (Computing in Cardiology; vol. 42).

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

  3. Publications content icon
    Published

    Artificial neural network models

    Peter Tino, 1 Jan 2015, Springer Handbook of Computational Intelligence. Kacprzyk, J. & Pedrycz, W. (eds.). Springer, p. 455-471 17 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Publications content icon
    Published

    Genetic algorithms

    Jon Rowe, 1 Jan 2015, Springer Handbook of Computational Intelligence. Kacprzyk, J. & Pedrycz, W. (eds.). Berlin, Heidelberg: Springer, p. 825-844 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Publications content icon
    Published

    What you see is what you do: Applying ecological interface design to visual analytics

    1 Jan 2015, In : CEUR Workshop Proceedings. 1330, p. 125-131 7 p.

    Research output: Contribution to journalArticle

  6. Publications content icon
    Published

    Zipfian discrimination

    Petar Milin, 1 Jan 2015, In : CEUR Workshop Proceedings. 1347, p. 29-31 3 p.

    Research output: Contribution to journalConference article

  7. Publications content icon
    Published

    A logical approach for behavioural composition of scenario-based models

    Behzad Bordbar, 2015, Formal Methods and Software Engineering 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings. Editor, M., Conchon, S. & Zaidi, F. (eds.). Springer, Vol. 9407. p. 252-269 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9407).

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

  8. Publications content icon
    Published

    Automated detection of galaxy groups through probabilistic hough transform

    Peter Tino, Trevor Ponman, 2015, Neural Information Processing : 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings Part III. Arik, S., Huang, T., Lai, W. K. & Lui, Q. (eds.). Springer, Vol. 9491. p. 323-331 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9491).

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

  9. Publications content icon
    Published

    Automatically calculating quantitative integrity measures for imperative programs

    Tom Chothia, Chris Novakovic, 2015, Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance : 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers. Garcia-Alfaro, J., Herrera-Joancomartí, J. & Lupu, E. (eds.). Springer, Vol. 8872. p. 250-265 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8872).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. Publications content icon
    Published

    Categorisation of 3D objects in range images using compositional hierarchies of parts based on MDL and entropy selection criteria

    Krzysztof Walas & Ales Leonardis, 2015, Image Analysis: 19th Scandinavian Conference, SCIA 2015, Copenhagen, Denmark, June 15-17, 2015. Proceedings. Paulsen, R. R. & Pedersen, K. S. (eds.). Springer, Vol. 9127. p. 289-301 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9127).

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

  11. Publications content icon
    Published

    Design and usability evaluation of adaptive e-learning systems based on learner knowledge and learning style

    Robert Hendley, 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part II. Abascal, J., Barbosa, S., Fetter, M., Gross, T., Palanque, P. & Winckler, M. (eds.). Springer, Vol. 9297. p. 584-591 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9297).

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

  12. Publications content icon
    Published

    Improving the performance of the Germinal center artificial immune system using ɛ-dominance: a multi-objective knapsack problem case study

    Christine Zarges & Jon Rowe, 2015, Evolutionary Computation in Combinatorial Optimization: 15th European Conference, EvoCOP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings. Ochoa, G. & Chicano, F. (eds.). Springer, Vol. 9026. p. 114-125 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9026).

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

  13. Publications content icon
    Published

    Intelligent computer mathematics: International conference, CICM 2015 Washington, DC, USA, july 13–17, 2015 proceedings

    Manfred Kerber (ed.), (ed.), (ed.), (ed.) & Volker Sorge (ed.), 2015, Springer. 359 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9150)

    Research output: Book/ReportBook

  14. Publications content icon
    Published

    Large scale indefinite kernel fisher discriminant

    Frank-Michael Schleif & Peter Tino, 2015, Similarity-Based Pattern Recognition : Third International Workshop, SIMBAD 2015, Copenhagen, Denmark, October 12-14, 2015. Proceedings. Feragen, A., Pelillo, M. & Loog, M. (eds.). Springer, Vol. 9370. p. 160-170 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9370).

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

  15. Publications content icon
    Published

    Learning analytics for the academic: An action perspective

    Alan Dix, 2015, In : Journal of Universal Computer Science. 21, 1, p. 48-65 18 p.

    Research output: Contribution to journalArticle

  16. Publications content icon
    Published

    Moving through MOOCS: Pedagogy, learning design and Patterns of Engagement

    Russell Beale, Alison Cooper, 2015, Design for Teaching and Learning in a Networked World: 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15-18, 2015, Proceedings. Conole, G., Klobučar, T., Rensing, C., Konert, J. & Lavoué, É. (eds.). Springer, Vol. 9307. p. 70-84 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9307).

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

  17. Publications content icon
    Published

    The visual object tracking VOT2014 challenge results

    Ales Leonardis & 37 others, , 2015, Computer Vision - ECCV 2014 Workshops : Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part II. Agapito, L., Bronstein, M. M. & Rother, C. (eds.). Springer, Vol. 8926. p. 191-217 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8926).

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

  18. 2014
  19. Publications content icon
    Published

    A Tight Algorithm for Strongly Connected Steiner Subgraph on Two Terminals with Demands (Extended Abstract)

    Rajesh Chitnis, 3 Dec 2014, Parameterized and Exact Computation : 9th International Symposium, IPEC 2014, Wroclaw, Poland, September 10-12, 2014. Revised Selected Papers. Cygan, M. & Heggernes, P. (eds.). Springer Verlag, p. 159-171 (Lecture Notes in Computer Science ; vol. 8894).

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

  20. Publications content icon
    Published
  21. Publications content icon
    Published

    The bees algorithm and its applications

    Duc Pham, 30 Nov 2014, Handbook of Research on Artificial Intelligence Techniques and Algorithms. IGI Global, p. 122-151 30 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  22. Publications content icon
    Published

    Using obstacles for systematically modeling, analysing, and mitigating risks in cloud adoption

    Rami Bahsoon, 31 Oct 2014, Cloud Technology: Concepts, Methodologies, Tools, and Applications. IGI Global, Vol. 3. p. 1351-1372 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  23. Publications content icon
    Published
  24. Publications content icon
    Published

    Unbiased black-box complexity of parallel search

    Per Kristian Lehre, 24 Sep 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.). 1 ed. Springer, p. 892-901 10 p. (Lecture Notes in Computer Science ; vol. 8672).

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

  25. Publications content icon
    Published

    Security of energy supply with change in weather conditions and dynamic thermal limits

    Dilan Jayaweera, Sep 2014, In : IEEE Transactions on Smart Grid. 5, 5, p. 2246-2254 9 p., 6809226.

    Research output: Contribution to journalArticle

  26. Publications content icon
    Published

    Performance analysis of randomised search heuristics operating with a fixed budget

    Christine Zarges, 14 Aug 2014, In : Theoretical Computer Science. 545, C, p. 39-58 20 p.

    Research output: Contribution to journalArticle

  27. Publications content icon
    Published

    When reverse-engineering meets side-channel analysis - Digital lockpicking in practice

    David Oswald, 14 Aug 2014, Selected Areas in Cryptography - SAC 2013: 20th International Conference, Burnaby, BC, Canada, August 14-16, 2013, Revised Selected Papers. Lange, T., Lauter, K. & Lisoněk, P. (eds.). Springer, Vol. 8282 LNCS. p. 571-588 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8282 LNCS).

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

  28. Publications content icon
    Published

    The rocky road from Hume to Kant: correlations and theories in robots and animals

    Jeremy Wyatt, 30 Jul 2014, From animals to robots and back : reflections on hard problems in the study of cognition: a collection in honour of Aaron Sloman. Wyatt, J. L., Petters, D. D. & Hogg, D. C. (eds.). Springer, Vol. 22. p. 133-149 17 p. (Cognitive Systems Monographs; vol. 22).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  29. Publications content icon
    Published

    Relating System Quality and Software Architecture

    (ed.), Rami Bahsoon (ed.), (ed.), (ed.) & (ed.), 25 Jul 2014, Elsevier. 380 p.

    Research output: Book/ReportBook

  30. Publications content icon
    Published

    Relating System Quality and Software Architecture, Preface: Foundations and Approaches

    Rami Bahsoon, 25 Jul 2014, Relating System Quality and Software Architecture. Elsevier, p. 1-20 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  31. Publications content icon
    Published

    Building for the Future: Architectures for the Next Generation of Intelligent Robots

    Nick Hawes, 11 Jul 2014, From Animals to Robots and Back: Reflections on Hard Problems in the Study of Cognition - A Collection in Honour of Aaron Sloman. Wyatt, J. L., Petters, D. D. & Hogg, D. C. (eds.). Springer, p. 107-118 12 p. (Cognitive Systems Monographs; vol. 22).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  32. Publications content icon
    Published

    Sweet dreams and nightmares: Security in the internet of things

    David Oswald, 30 Jun 2014, Information Security Theory and Practice. Securing the Internet of Things: 8th IFIP WG 11.2 International Workshop, WISTP 2014, Heraklion, Crete, Greece, June 30 – July 2, 2014. Proceedings. Naccache, D. & Sauveron, D. (eds.). Springer, Vol. 8501 LNCS. p. 1-9 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8501 LNCS).

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

  33. Publications content icon
    Published

    Economics-Driven Software Architecting for Cloud

    Rami Bahsoon, 18 Jun 2014, Economics-Driven Software Architecture. Elsevier, p. 83-103 21 p. Chapter 5

    Research output: Chapter in Book/Report/Conference proceedingChapter

  34. Publications content icon
    Published

    Economics-Driven Software Architecture

    (ed.), Rami Bahsoon (ed.), (ed.) & (ed.), 18 Jun 2014, Elsevier. 341 p.

    Research output: Book/ReportBook

  35. Publications content icon
    Published

    Economics-Driven Software Architecture: Introduction

    Rami Bahsoon, 18 Jun 2014, Economics-Driven Software Architecture. Elsevier, p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  36. Publications content icon
    Published

    Diversity-driven selection of multiple crossover operators for the capacitated arc routing problem

    Xin Yao, 23 Apr 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. 97-108 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

  37. Publications content icon
    Published
  38. Publications content icon
    Published
  39. Publications content icon
    Published
  40. Publications content icon
    Published

    3D articulated registration of the mouse hind limb for bone morphometric analysis in rheumatoid arthritis

    Amy Naylor, Andrew Filer & Ela Claridge, 2014, Biomedical Image Registration: 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014. Proceedings. Ourselin, S. & Modat, M. (eds.). Springer, Vol. 8545. p. 41-50 (Lecture Notes in Computer Science ; vol. 8545).

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

  41. Publications content icon
    Published

    A graph theoretic approach for object shape representation in compositional hierarchies using a hybrid generative-descriptive model

    Mete Ozay, Ales Leonardis & Jeremy Wyatt, 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). PART 3 ed. Springer, Vol. 8691 LNCS. p. 566-581 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8691 , no. 3).

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

  42. Publications content icon
    Published

    Abstract datatypes for real numbers in type theory

    Martin Escardo, 2014, Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Dowek, G. (ed.). Springer, Vol. 8560 LNCS. p. 208-223 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8560 LNCS).

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

  43. Publications content icon
    Published

    Acknowledging discourse function for sentiment analysis

    Phillip Smith & Mark Lee, 2014, Computational Linguistics and Intelligent Text Processing : 15th International Conference, CICLing 2014, Kathmandu, Nepal, April 6-12, 2014, Proceedings, Part II. Gelbukh, A. (ed.). Springer, Vol. 8404 LNCS. p. 45-52 8 p. (Lecture Notes in Computer Science ; vol. 8404).

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

  44. Publications content icon
    Published

    An immune-inspired algorithm for the set cover problem

    Jon Rowe & 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, J. (eds.). Springer, Vol. 8672. p. 243-251 9 p. (Lecture Notes in Computer Science; vol. 8672).

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

  45. Publications content icon
    Published

    Bayes optimality of human perception, action and learning: behavioural and neural evidence

    Ulrik Beierholm, 2014, Brain-Inspired Computing: Lecture Notes in Computer Science. Springer, Vol. 8603. p. 117-129 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8603).

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

  46. Publications content icon
    Published

    Bounded linear types in a resource semiring

    Dan Ghica, 2014, Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Springer, Vol. 8410. p. 331-350 20 p. (Lecture Notes in Computer Science ; vol. 8410).

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

  47. Publications content icon
    Published

    Combining systems for mathematical creativity (invited talk)

    Volker Sorge, 2014, Artificial Intelligence and Symbolic Computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings. Aranda-Corral, G. A., Cal;met, J. & Martin-Mateos, F. J. (eds.). Springer, Vol. 8884. p. 7-8 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8884).

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

  48. Publications content icon
    Published

    Concentrated hitting times of randomized search heuristics with variable drift

    Per Kristian Lehre, 2014, Algorithms and Computation - 25th International Symposium, ISAAC 2014, Proceedings. Ahn, H-K. & Shin, C-S. (eds.). Springer Verlag, p. 686-697 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8889).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  49. Publications content icon
    Published

    Extended episodic experience in social mediating technology: Our Legacy

    Alan Dix, 2014, Social Computing and Social Media: 6th International Conference, SCSM 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings. Meiselwitz, G. (ed.). Springer, Vol. 8531 LNCS. p. 452-461 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8531 LNCS).

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

  50. Publications content icon
    Published

    From Animals to Robots and Back: Reflections on Hard Problems in the Study of Cognition: A Collection in Honour of Aaron Sloman

    Jeremy Wyatt (ed.), (ed.) & (ed.), 2014, Springer. (Cognitive Systems Monographs; vol. 22)

    Research output: Book/ReportAnthology

  51. Publications content icon
    Published

    Improving efficiency of heuristics for the large scale traveling thief problem

    Xin Yao, 2014, Simulated Evolution and Learning : 10th International Conference, SEAL 2014, Dunedin, New Zealand, December 15-18, 2014. Proceedings. Springer, Vol. 8886. p. 631-643 13 p. (Lecture Notes in Computer Science; vol. 8886).

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

  52. Publications content icon
    Published

    LeakWatch: Estimating information leakage from java programs

    Tom Chothia, 2014, Computer Security - ESORICS 2014 : 19th European Symposium on Research in Computer Security, Wroclaw, Poland, September 7-11, 2014. Proceedings, Part II. Kutyłowski, M. & Vaidya, J. (eds.). PART 2 ed. Springer, Vol. 8713 LNCS. p. 219-236 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8713 LNCS, no. PART 2).

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