Browse Publications

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

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

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

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

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

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

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

  9. Publications content icon
    Published
  10. 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

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

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

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

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

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

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

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

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

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

  20. Publications content icon
    Published
Previous 1 2 3 4 Next