Browse Publications

  1. 1995
  2. Publications content icon
    Published

    Understanding LOLITA: Experiences in teaching large scale functional programming

    Stephen Jarvis, & , 1995, Funtional Programming Languages in Education - 1st International Symposium, FPLE 1995, Proceedings. Hartel, P. H. & Plasmeijer, R. (eds.). Springer Verlag, p. 103-119 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1022).

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

  3. 1997
  4. Publications content icon

    The results of: Profiling large-scale lazy functional programs

    1997, Implementation of Functional Languages - 8th International Workshop, IFL 1996, Selected Papers. Kluge, W. (ed.). Springer Verlag, p. 200-221 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1268).

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

  5. 1998
  6. Publications content icon
    Published

    Analysing an SQL application with a BSPlib call-graph profiling tool

    Stephen Jarvis, & , 1998, Euro-Par 1998 Parallel Processing - 4th International Conference, Proceedings. Springer Verlag, p. 157-164 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1470 LNCS).

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

  7. 1999
  8. 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

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

  10. 2000
  11. Publications content icon
    Published

    Cayley type graphs and cubic graphs of large girth

    John Bray, Chris Parker & , 21 Mar 2000, In: Discrete Mathematics. 214, 1-3, p. 113-121 9 p.

    Research output: Contribution to journalArticlepeer-review

  12. 2001
  13. Publications content icon
    Published

    Hausdorff compactifications of topological function spaces via the theory of continuous lattices

    Martin Escardo, Mar 2001, In: Electronic Notes in Theoretical Computer Science. 40, p. 161 1 p.

    Research output: Contribution to journalConference articlepeer-review

  14. 2002
  15. Publications content icon
    Published

    Portable and architecture independent parallel performance tuning using BSP

    Stephen Jarvis, , & , Nov 2002, In: Parallel Computing. 28, 11, p. 1587-1609 23 p.

    Research output: Contribution to journalArticlepeer-review

  16. 2003
  17. Publications content icon
    Published

    Agent-based grid load balancing using performance-driven task scheduling

    Stephen Jarvis, & , 2003, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003. Institute of Electrical and Electronics Engineers (IEEE), 1213139. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003).

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

  18. Publications content icon
    Published

    Performance prediction and its use in parallel and distributed computing systems

    Stephen Jarvis, , , , & , 2003, Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003. Institute of Electrical and Electronics Engineers (IEEE), 1213495. (Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003).

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

  19. Publications content icon
    Published

    Local grid scheduling techniques using performance prediction

    Stephen Jarvis, , & , Mar 2003, In: IEE Proceedings: Computers and Digital Techniques. 150, 2, p. 87-96 10 p.

    Research output: Contribution to journalArticlepeer-review

  20. 2004
  21. Publications content icon
    Published

    Hybrid Performance-Oriented Scheduling of Moldable Jobs with QoS Demands in Multiclusters and Grids

    Stephen Jarvis, , & , 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jin, H., Sun, J., Pan, Y. & Xiao, N. (eds.). Springer Verlag, p. 217-224 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3251).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

    Parametric limits

    Uday Reddy, 1 Jan 2004, p. 242-253. 12 p.

    Research output: Contribution to conference (unpublished)Paperpeer-review

  25. Publications content icon
    Published

    Electronic Notes in Theoretical Computer Science: Preface

    Martin Escardo & Achim Jung, 25 Oct 2004, In: Electronic Notes in Theoretical Computer Science. 73, p. 1-2 2 p.

    Research output: Contribution to journalConference articlepeer-review

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

  28. Publications content icon
    Published

    Performance-based middleware for Grid computing

    Stephen Jarvis, Feb 2005, In: Concurrency Computation Practice and Experience. 17, 2-4, p. 215-234 20 p.

    Research output: Contribution to journalArticlepeer-review

  29. Publications content icon
    Published

    Guest editors' introduction: Special issue on practical development of exact real number computation

    Martin Escardo & , Jul 2005, In: Journal of Logic and Algebraic Programming. 64, 1, p. 1-2 2 p.

    Research output: Contribution to journalArticlepeer-review

  30. Publications content icon
    Published

    An investigation into the application of different performance prediction methods to distributed enterprise applications

    Stephen Jarvis, , , & , Nov 2005, In: Journal of Supercomputing. 34, 2, p. 93-111 19 p.

    Research output: Contribution to journalArticlepeer-review

  31. 2006
  32. Publications content icon
    Published

    ANNE - A new algorithm for evolution of artificial neural network classifier systems

    Marco Castellani, 2006, 2006 IEEE Congress on Evolutionary Computation, CEC 2006. p. 3294-3301 8 p. 1688728

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

  33. Publications content icon
    Published

    Preface

    Martin Escardo, Achim Jung & , 12 May 2006, In: Electronic Notes in Theoretical Computer Science. 155, 1 SPEC. ISS., p. 1-3 3 p.

    Research output: Contribution to journalEditorialpeer-review

  34. Publications content icon
    Published

    Prediction of short-lived TCP transfer latency on bandwidth asymmetric links

    Stephen Jarvis, Nov 2006, In: Journal of Computer and System Sciences. 72, 7, p. 1201-1210 10 p.

    Research output: Contribution to journalArticlepeer-review

  35. 2008
  36. Publications content icon
    Published

    Passive bilateral control of a teleoperation system considering hysteresis nonlinearity of slave robot

    Mozafar Saadat, , & , 2008, Haptics: Perception, Devices and Scenarios - 6th International Conference, EuroHaptics 2008, Proceedings. Springer Verlag, p. 83-93 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5024 LNCS).

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

  37. Publications content icon
    Published

    Robust impedance control of a delayed telemanipulator considering hysteresis nonlinearity of the piezo-actuated slave robot

    Mozafar Saadat, , & , 2008, Haptics: Perception, Devices and Scenarios - 6th International Conference, EuroHaptics 2008, Proceedings. Springer Verlag, p. 63-72 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5024 LNCS).

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

  38. Publications content icon
    Published

    Performance prediction for a code with data-dependent runtimes

    Stephen Jarvis, , , , & , 10 Mar 2008, In: Concurrency Computation Practice and Experience. 20, 3, p. 195-206 12 p.

    Research output: Contribution to journalArticlepeer-review

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

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

  41. 2009
  42. Publications content icon
    Published

    Performance improvement of a pwm-sliding mode position controller used in pneumatic actuation

    Mozafar Saadat, Jan 2009, In: Intelligent Automation and Soft Computing. 15, 1, p. 73-84 12 p.

    Research output: Contribution to journalArticlepeer-review

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

  44. 2010
  45. Publications content icon
    Published

    Black-box search by unbiased variation

    Per Kristian Lehre & , 2010, Proceedings of the 12th Annual Genetic and Evolutionary Computation Conference, GECCO '10. p. 1441-1448 8 p.

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

  46. Publications content icon
    Published

    On the parallelisation of MCMC by speculative chain execution

    Stephen Jarvis & , 2010, Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2010. 5470689. (Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2010).

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

  47. Publications content icon
    Published

    On the parallelisation of MCMC-based image processing

    Stephen Jarvis & , 2010, Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2010. 5470896. (Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2010).

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

  48. Publications content icon
    Published

    Performance prediction and evaluation

    Stephen Jarvis, , & , 2010, Euro-Par 2010 Parallel Processing - 16th International Euro-Par Conference, Proceedings. PART 1 ed. p. 86-87 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6271 LNCS, no. PART 1).

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

  49. Publications content icon
    Published

    Resource management of enterprise cloud systems using layered queuing and historical performance models

    Stephen Jarvis, 2010, Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2010. 5470782. (Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2010).

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

  50. Publications content icon
    Published

    To upgrade or not to upgrade? Catamount vs. Cray linux environment

    Stephen Jarvis, , , & , 2010, Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2010. 5470885. (Proceedings of the 2010 IEEE International Symposium on Parallel and Distributed Processing, Workshops and Phd Forum, IPDPSW 2010).

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

  51. Publications content icon
    Published

    Dragmath

    Christopher Sangwin & , 10 Oct 2010

    Research output: Non-textual formSoftware

  52. 2011
  53. Publications content icon
    Published

    Light-weight parallel I/O analysis at scale

    Stephen Jarvis, 2011, Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Proceedings. p. 235-249 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6977 LNCS).

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

  54. Publications content icon
    Published

    WMTools - Assessing parallel application memory utilisation at scale

    Stephen Jarvis, 2011, Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Proceedings. p. 148-162 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6977 LNCS).

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

  55. 2012
  56. Publications content icon
    Published

    A crown jewel defense strategy based particle swarm optimization

    Shan He & , 2012, 2012 IEEE Congress on Evolutionary Computation, CEC 2012. 6256145. (2012 IEEE Congress on Evolutionary Computation, CEC 2012).

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

  57. Publications content icon
    Published

    A memory binary particle swarm optimization

    Shan He & , 2012, 2012 IEEE Congress on Evolutionary Computation, CEC 2012. 6256150. (2012 IEEE Congress on Evolutionary Computation, CEC 2012).

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

  58. Publications content icon
    Published

    Community detection using cooperative co-evolutionary differential evolution

    Thomas White, , Mirco Musolesi, Nil Turan Jurdzinski, , Shan He, John Heath & Xin Yao, 2012, Parallel Problem Solving from Nature, PPSN XII - 12th International Conference, Proceedings. PART 2 ed. p. 235-244 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7492 LNCS, no. PART 2).

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

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

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

  61. Publications content icon
    Published

    Memetic clustering based on particle swarm optimizer and K-means

    Shan He & , 2012, 2012 IEEE Congress on Evolutionary Computation, CEC 2012. 6252916. (2012 IEEE Congress on Evolutionary Computation, CEC 2012).

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

  62. Publications content icon
    Published

    Memetic three-dimensional gabor feature extraction for hyperspectral imagery classification

    Shan He & , 2012, Advances in Swarm Intelligence - Third International Conference, ICSI 2012, Proceedings. PART 1 ed. p. 479-488 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7331 LNCS, no. PART 1).

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

  63. Publications content icon
    Published

    Performance analysis for workflow management systems under role-based authorization control

    Stephen Jarvis, 2012, Advances in Grid and Pervasive Computing - 7th International Conference, GPC 2012, Proceedings. p. 323-337 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7296 LNCS).

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

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

  65. Publications content icon
    Published

    Survival analysis of gene expression data using PSO based radial basis function networks

    Shan He & , 2012, 2012 IEEE Congress on Evolutionary Computation, CEC 2012. 6256144. (2012 IEEE Congress on Evolutionary Computation, CEC 2012).

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

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

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

  68. 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)peer-review

  69. Publications content icon
    Published

    Rainbow matchings of size δ(G) in properly edge-colored graphs

    Allan Lo, , & , 28 Jun 2012, In: Electronic Journal of Combinatorics. 19, 2

    Research output: Contribution to journalArticlepeer-review

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

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

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

  73. 2013
  74. Publications content icon
    Published

    A constructive model of uniform continuity

    Martin Escardo, 2013, Typed Lambda Calculi and Applications - 11th International Conference, TLCA 2013, Proceedings. p. 236-349 114 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7941 LNCS).

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

  75. Publications content icon
    Published

    An investigation of the performance portability of OpenCL

    Stephen Jarvis, 2013, In: Journal of Parallel and Distributed Computing. 73, 11, p. 1439-1450 12 p.

    Research output: Contribution to journalArticlepeer-review

  76. Publications content icon
    Published

    Generalizations of Hedberg's theorem

    Martin Escardo, & , 2013, Typed Lambda Calculi and Applications - 11th International Conference, TLCA 2013, Proceedings. p. 173-188 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7941 LNCS).

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

  77. Publications content icon
    Published

    Ontological extension of PROSA for manufacturing network formation

    Mozafar Saadat & , 2013, Industrial Applications of Holonic and Multi-Agent Systems - 6th International Conference, HoloMAS 2013, Proceedings. p. 140-151 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8062 LNAI).

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

  78. Publications content icon
    Published

    Optimisation of patch distribution strategies for AMR applications

    Stephen Jarvis, 2013, Computer Performance Engineering - 9th European Workshop, EPEW 2012, Revised Selected Papers. p. 210-223 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7587 LNCS).

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

  79. Publications content icon
    Published

    Performance modelling of magnetohydrodynamics codes

    Stephen Jarvis, 2013, Computer Performance Engineering - 9th European Workshop, EPEW 2012, Revised Selected Papers. p. 197-209 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7587 LNCS).

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

  80. Publications content icon
    Published

    Algorithmic solution of higher type equations

    Martin Escardo, Aug 2013, In: Journal of Logic and Computation. 23, 4, p. 839-854 16 p.

    Research output: Contribution to journalArticlepeer-review

  81. Publications content icon
    Published

    Analysing the reliability of actuation elements in series and parallel configurations for high-redundancy actuation

    Roger Dixon, 1 Aug 2013, In: International Journal of Systems Science. 44, 8, p. 1504-1521 18 p.

    Research output: Contribution to journalArticlepeer-review

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

  83. Publications content icon
    Published

    There is no upper bound for the diameter of the commuting graph of a finite group

    Chris Parker, 1 Sep 2013, In: Journal of Combinatorial Theory. Series A. 120, 7, p. 1600-1603 4 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

  87. 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)Paperpeer-review

  88. Publications content icon
    Published

    Continuity of gödel's system T definable functionals via effectful forcing

    Martin Escardo, 4 Nov 2013, In: Electronic Notes in Theoretical Computer Science. 298, p. 119-141 23 p.

    Research output: Contribution to journalArticlepeer-review

  89. Publications content icon
    Published

    Non-uniform sampling strategies for digital control

    Roger Dixon, 1 Dec 2013, In: International Journal of Systems Science. 44, 12, p. 2234-2254 21 p.

    Research output: Contribution to journalArticlepeer-review

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

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

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

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

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

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

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

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

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

  100. Publications content icon
    Published

    Cooperative coevolution with route distance grouping for large-scale capacitated arc routing problems

    Xin Yao, 2014, In: IEEE Transactions on Evolutionary Computation. 18, 3, p. 435-449 15 p., 6595573.

    Research output: Contribution to journalArticlepeer-review

  101. Publications content icon
    Published
  102. 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

  103. Publications content icon
    Published

    High Performance Computing Systems: Performance Modeling, Benchmarking and Simulation: 4th International Workshop, PMBS 2013 Denver, CO, USA, November 18, 2013 Revised Selected Papers

    Stephen Jarvis, & , 2014, High Performance Computing Systems: Performance Modeling, Benchmarking and Simulation - 4th International Workshop, PMBS 2013, Revised Selected Papers. Jarvis, S. A., Wright, S. A. & Hammond, S. D. (eds.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8551).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Previous 1 2 3 Next