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

Previous 1 2 3 4 5 Next