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

  51. Publications content icon
    Published

    Optimal path and cycle decompositions of dense quasirandom graphs

    Stefan Glock, Daniela Kuhn & Deryk Osthus, 1 May 2016, In : Journal of Combinatorial Theory. Series B. 118, p. 88-108 21 p.

    Research output: Contribution to journalArticle

  52. Publications content icon
    Published

    Parameterized complexity of the anchored k-core problem for directed graphs

    Rajesh Chitnis, 1 Apr 2016, In : Information and Computation. 247, p. 11-22

    Research output: Contribution to journalArticle

  53. Publications content icon
    Published

    Parametric limits

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

    Research output: Contribution to conference (unpublished)Paper

  54. Publications content icon
    Published

    Performance-based prognosis scheme for industrial gas turbines

    Elias Tsoutsanis, 8 Sep 2015, 2015 IEEE Conference on Prognostics and Health Management: Enhancing Safety, Efficiency, Availability, and Effectiveness of Systems Through PHAf Technology and Application, PHM 2015. Institute of Electrical and Electronics Engineers (IEEE), 7245018

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

  55. Publications content icon
    Published

    Populations can be essential in dynamic optimisation

    Per Kristian Lehre, 11 Jul 2015, GECCO 2015 - Proceedings of the 2015 Genetic and Evolutionary Computation Conference. Association for Computing Machinery , p. 1407-1414 8 p.

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

  56. Publications content icon
    Published

    Predatory Genetic algorithms

    Frederick Manby, Roy Johnston & Christian Roberts, 1 Dec 1998, In : Match. 38, p. 111-122 12 p.

    Research output: Contribution to journalArticle

  57. Publications content icon
    Published

    Program for the online analysis and display of neuronal activity

    Chris Miall, 1 Nov 1983, In : Medical & Biological Engineering & Computing. 21, 6, p. 771-775 5 p.

    Research output: Contribution to journalArticle

  58. Publications content icon
    Published

    Protein folding estimation using Paired-Bacteria Optimizer

    Shan He, 16 Sep 2014, Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 2027-2032 6 p. 6900467

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

  59. Publications content icon
    Published

    Quantum behaved particle swarm optimization for data clustering with multiple objectives

    Ata Kaban, 12 Jan 2015, 6th International Conference on Soft Computing and Pattern Recognition, SoCPaR 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 215-220 6 p. 7008008

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

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

  61. Publications content icon
    Published

    Reevaluating immune-inspired hypermutations using the fixed budget perspective

    Christine Zarges, 1 Oct 2014, In : IEEE Transactions on Evolutionary Computation. 18, 5, p. 674-688 15 p., 6879426.

    Research output: Contribution to journalArticle

  62. Publications content icon
    Published

    Refined upper bounds on the expected runtime of non-elitist populations from fitness-levels

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

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

  63. Publications content icon
    Published

    Reusing genetic programming for ensemble selection in classification of unbalanced data

    Xin Yao, 1 Dec 2014, In : IEEE Transactions on Evolutionary Computation. 18, 6, p. 893-908 16 p., 6677603.

    Research output: Contribution to journalArticle

  64. Publications content icon
    Published

    Runtime analysis of selection hyper-heuristics with classical learning mechanisms

    Per Kristian Lehre, 16 Sep 2014, Proceedings of the 2014 IEEE Congress on Evolutionary Computation, CEC 2014. Institute of Electrical and Electronics Engineers (IEEE), p. 2515-2523 9 p. 6900602. (IEEE Congress on Evolutionary Computation (CEC); vol. 2014).

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

  65. Publications content icon
    Published

    Simplified runtime analysis of estimation of distribution algorithms

    Per Kristian Lehre, 11 Jul 2015, GECCO 2015 - Proceedings of the 2015 Genetic and Evolutionary Computation Conference. Association for Computing Machinery , p. 513-518 6 p.

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

  66. Publications content icon
    Published

    Stable matching-based selection in evolutionary multiobjective optimization

    Miqing Li, 31 Dec 2014, In : IEEE Transactions on Evolutionary Computation. 18, 6, p. 909-923 15 p., 6678563.

    Research output: Contribution to journalArticle

  67. Publications content icon
    Published
  68. Publications content icon
    Published

    The earthquake behaviour of low-rise houses made by either reinforced concrete, partially reinforced masonry or a novel steel composite system

    Marios Theofanous, 2013, ECCOMAS Thematic Conference - COMPDYN 2013: 4th International Conference on Computational Methods in Structural Dynamics and Earthquake Engineering, Proceedings - An IACM Special Interest Conference. National Technical University of Athens, p. 1095-1106 12 p.

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

  69. Publications content icon
    Published
  70. Publications content icon
    Published
  71. Publications content icon
    Published

    The performance and control requirements of a REPOINT track switch

    Roger Dixon, 1 Jan 2014, In : Civil-Comp Proceedings. 104, 215.

    Research output: Contribution to journalConference article

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

  73. Publications content icon
    Published

    Tilings in randomly perturbed dense graphs

    Andrew Treglown, Mar 2019, In : Combinatorics, Probability and Computing. 28, 2, p. 159-176 18 p.

    Research output: Contribution to journalArticle

  74. Publications content icon
    Published

    Two_Arch2: An Improved Two-Archive Algorithm for Many-Objective Optimization

    Xin Yao, 1 Aug 2015, In : IEEE Transactions on Evolutionary Computation. 19, 4, p. 524-541 18 p., 6883177.

    Research output: Contribution to journalArticle

  75. Publications content icon
    Published

    Variable neighborhood decomposition for Large Scale Capacitated Arc Routing Problem

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

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

  76. Publications content icon
    Published

    What are dynamic optimization problems?

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

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

  77. Publications content icon
    Published