Browse Publications

  1. Publications content icon
    Published
  2. Publications content icon
    Published

    A numerical study of crosswind effects on the slipstream of a freight train

    Dominic Flynn, Hassan Hemida, 9 Apr 2016, Proceedings of the third international conference on railway technology: research, development and maintenance. Pombo, J. (ed.). Civil-Comp Press

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

  3. Publications content icon
    Published

    A performance comparison indicator for Pareto front approximations in many-objective optimization

    Miqing Li, 11 Jul 2015, GECCO 2015 - Proceedings of the 2015 Genetic and Evolutionary Computation Conference. Silva, S. (ed.). Association for Computing Machinery , p. 703-710

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

  4. Publications content icon
    Published

    A test problem for visual investigation of high-dimensional multi-objective search

    Miqing Li, 16 Sep 2014, Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 2140-2147 6900306

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

  5. Publications content icon
    Published

    Across-subjects classification of stimulus modality from human MEG high frequency activity

    Simon Hanslmayr, 12 Mar 2018, In : PLoS Computational Biology. 14, 3, e1005938.

    Research output: Contribution to journalArticle

  6. Publications content icon
    Published

    Aerodynamics of trains in tunnels

    Hassan Hemida, 9 Apr 2016, Proceedings of the third international conference on railway technology: research, development and maintenance. Pombo, J. (ed.). Civil-Comp Press, 39

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

  7. Publications content icon
    Published

    An asymptotic bound for the strong chromatic number

    Allan Lo, Sep 2019, In : Combinatorics, Probability and Computing. 28, 5, p. 768-776 9 p.

    Research output: Contribution to journalArticle

  8. Publications content icon
    Published

    An improved two archive algorithm for many-objective optimization

    Xin Yao, 16 Sep 2014, Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 2869-2876 8 p. 6900491

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

  9. Publications content icon
    Published

    Application of a Genetic Algorithm in structure determination from powder diffraction data

    Benson Kariuki, Roy Johnston, Ken Harris, Shinbyoung Ahn, 1 Dec 1998, In : Match. 38, p. 123-135 13 p.

    Research output: Contribution to journalArticle

  10. Publications content icon
    Published

    Artificial immune systems for optimisation

    Christine Zarges, 12 Jul 2014, GECCO 2014 - Companion Publication of the 2014 Genetic and Evolutionary Computation Conference. Association for Computing Machinery , p. 749-764 16 p.

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

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

  12. Publications content icon
    Published

    Automating post-processing of high volumes of velocity time-series: A software approach

    Mike Jesson, John Bridgeman & Mark Sterling, 1 Dec 2013, Civil-Comp Proceedings. Vol. 102.

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

  13. Publications content icon
    Published

    Black-box complexity of parallel search with distributed populations

    Per Kristian Lehre, 17 Jan 2015, FOGA 2015 - Proceedings of the 2015 ACM Conference on Foundations of Genetic Algorithms XIII. Association for Computing Machinery , p. 3-15 13 p.

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

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

  15. Publications content icon
    Published
  16. Publications content icon
    Published
  17. Publications content icon
    Published

    Connected chord diagrams and bridgeless maps

    Noam Zeilberger, 22 Nov 2019, In : The Electronic Journal of Combinatorics. 26, 4, p. 1-56 56 p., P4.37.

    Research output: Contribution to journalArticle

  18. Publications content icon
    Published
  19. Publications content icon
    Published

    Cooperative co-evolution with differential grouping for large scale optimization

    Xin Yao, Jun 2014, In : IEEE Transactions on Evolutionary Computation. 18, 3, p. 378-393 16 p., 6595612.

    Research output: Contribution to journalArticle

  20. Publications content icon
    Published
  21. 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

  22. Publications content icon
    Published

    Current balancing of cascaded H-bridge converters for PV systems with partial shading

    Pietro Tricoli, 2 Nov 2015, In : COMPEL. 34, 6, p. 1879-1895 17 p.

    Research output: Contribution to journalArticle

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

    Decompositions of complete uniform hypergraphs into Hamilton Berge cycles

    Daniela Kuhn & Deryk Osthus, 1 Jan 2014, In : Journal of Combinatorial Theory, Series A. 126, 1, p. 128-135 8 p.

    Research output: Contribution to journalArticle

  25. Publications content icon
    Published

    Efficient optimisation of noisy fitness functions with population-based evolutionary algorithms

    Per Kristian Lehre, 17 Jan 2015, FOGA 2015 - Proceedings of the 2015 ACM Conference on Foundations of Genetic Algorithms XIII. Association for Computing Machinery , p. 62-68 7 p.

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

  26. Publications content icon
    Published

    Escaping local optima with diversity mechanisms and crossover

    Per Kristian Lehre, 20 Jul 2016, GECCO 2016 - Proceedings of the 2016 Genetic and Evolutionary Computation Conference. Association for Computing Machinery , p. 645-652 8 p.

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

  27. Publications content icon
    Published

    Evolution under partial information

    Per Kristian Lehre, 2014, GECCO 2014 - Proceedings of the 2014 Genetic and Evolutionary Computation Conference. Association for Computing Machinery , p. 1359-1366 8 p.

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

  28. Publications content icon
    Published

    Evolutionary algorithms and artificial immune systems on a bi-stable dynamic optimisation problem

    Christine Zarges, 12 Jul 2014, GECCO 2014 - Proceedings of the 2014 Genetic and Evolutionary Computation Conference. Association for Computing Machinery , p. 975-982 8 p.

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

  29. Publications content icon
    Published

    Evolving exact integer algorithms with Genetic Programming

    Xin Yao, 16 Sep 2014, Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 1816-1823 8 p. 6900292

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

  30. Publications content icon
    Published

    Faster exact algorithms for some terminal set problems

    Rajesh Chitnis, 1 Sep 2017, In : Journal of Computer and System Sciences. 88, September, p. 195-207 13 p.

    Research output: Contribution to journalArticle

  31. Publications content icon
    Published

    Finite Intervals in the Lattice of Topologies

    Chris Good, Nov 2014, In : Order. 31, 3, p. 325-335 11 p.

    Research output: Contribution to journalArticle

  32. Publications content icon
    Published

    Finite element methodology for railway switch simulation

    Hassan Hemida, Edward Stewart & Clive Roberts, 1 Jan 2014, In : Civil-Comp Proceedings. 105

    Research output: Contribution to journalArticle

  33. Publications content icon
    Published

    Foreword

    Manfred Kerber, Christoph Lange-Bever & Colin Rowat, Mar 2014, In : Mathematics in Computer Science. 8, 1, p. 1-4 4 p.

    Research output: Contribution to journalEditorial

  34. Publications content icon
    Published

    Fractional and integer matchings in uniform hypergraphs

    Daniela Kuhn, Deryk Osthus, 1 May 2014, In : European Journal of Combinatorics. 38, p. 83-96 14 p.

    Research output: Contribution to journalArticle

  35. Publications content icon
    Published

    Frequency fitness assignment

    Xin Yao, 27 Mar 2014, In : IEEE Transactions on Evolutionary Computation. 18, 2, p. 226-243 18 p., 6476662.

    Research output: Contribution to journalArticle

  36. Publications content icon
    E-pub ahead of print

    From QBFs to MALL and back via focussing

    Anupam Das, 22 May 2020, In : Journal of Automated Reasoning. 25 p.

    Research output: Contribution to journalArticle

  37. Publications content icon
    Published

    From signatures to monads in UniMath

    Benedikt Ahrens, 15 Aug 2019, In : Journal of Automated Reasoning. 63, 2, p. 285-318 34 p.

    Research output: Contribution to journalArticle

  38. Publications content icon
    Published

    Graph-based approaches for over-sampling in the context of ordinal regression

    Xin Yao, 1 May 2015, In : IEEE Transactions on Knowledge and Data Engineering. 27, 5, p. 1233-1245 13 p., 6940273.

    Research output: Contribution to journalArticle

  39. Publications content icon
    Published

    Hamilton cycles in sparse robustly expanding digraphs

    Allan Lo, 7 Sep 2018, In : Electronic Journal of Combinatorics. 25, 3, #P3.44.

    Research output: Contribution to journalArticle

  40. Publications content icon
    Published

    Heuristic optimization for software project management with impacts of team efficiency

    Xin Yao, 16 Sep 2014, Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 3016-3023 8 p. 6900527

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

  41. Publications content icon
    Published

    Improved runtime bounds for the univariate marginal distribution algorithm via anti-concentration

    Per Kristian Lehre & Hai Nguyen, 1 Jul 2017, GECCO '17 Proceedings of the Genetic and Evolutionary Computation Conference. Association for Computing Machinery , p. 1383-1390 8 p.

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

  42. Publications content icon
    Published
  43. Publications content icon
    Published
  44. Publications content icon
    Published

    Model representation and cooperative coevolution for finite-state machine evolution

    Xin Yao, 16 Sep 2014, Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 2700-2707 8 p. 6900622

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

  45. Publications content icon
    Published

    Multi-colony ant algorithms for the dynamic travelling salesman problem

    Xin Yao, 12 Jan 2015, 2014 IEEE Symposium on Computational Intelligence in Dynamic and Uncertain Environments (CIDUE), Proceedings. Institute of Electrical and Electronics Engineers (IEEE), p. 9-16 8 p. 7007861

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

  46. Publications content icon
    Published

    Numerical investigation of the parametric pendulum under filtered random phase excitation

    P Alevras, 1 Jan 2013, p. 1272-1280. 9 p.

    Research output: Contribution to conference (unpublished)Paper

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

  48. Publications content icon
    Published

    On the Easiest and Hardest Fitness Functions

    Xin Yao, 1 Apr 2015, In : IEEE Transactions on Evolutionary Computation. 19, 2, p. 295-305 11 p., 6800034.

    Research output: Contribution to journalArticle

  49. Publications content icon
    Published
  50. Publications content icon
    Published

    Ontology-based validation and identification of regulatory phenotypes

    Georgios Gkoutos, 1 Sep 2018, In : Bioinformatics. 34, 17, p. i857-i865

    Research output: Contribution to journalArticle

Previous 1 2 Next