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

Previous 1 2 3 4 5 6 7 8 Next