Search research publications and outputs

  1. 2018
  2. Metaheuristic Design Patterns: New Perspectives for Larger-Scale Search Architectures

    Krawiec, K., Simons, C., Swan, J. & R. Woodward, J., 2018, Handbook of Research on Emergent Applications of Optimization Algorithms. Vasant, P., Alparslan-Gok, S. Z. & Weber, G-W. (eds.). Hershey, PA, USA: IGI Global, p. 1-36 36 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  3. 2017
  4. A re-characterization of hyper-heuristics

    Swan, J., De Causmaecker, P., Martin, S. & Özcan, E., 19 Sep 2017, (Accepted/In press) Recent Developments of Metaheuristics. L. Amodeo E-G. Talbi, F. Y. (ed.). Springer, p. 1-16 16 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  5. 2016
  6. Discovering Relational Structure in Program Synthesis Problems with Analogical Reasoning

    Swan, J. & Krawiec, K., 1 Jul 2016, Genetic Programming Theory and Practice XIV. Riolo, R., Tozier, B. & Goldman, B. (eds.). Ann Arbor, USA: Springer, (Genetic and Evolutionary Computation).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  7. 2015
  8. Automatically Detecting Fallacies in System Safety Arguments

    Kelly, T., Wells, S., Yuan, T. & Manandhar, S., 2015, Proceedings of the 15th International Workshop on Computation Models of Natural Argument. p. 1-10 10 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  9. SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java

    Miyazawa, A. & Cavalcanti, A. L. C., 2015, REFINE Workshop.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  10. Similarity Analysis from Limiting Quantum Walks

    Curado, M., Escolano, F., Hancock, E., Nourbakhsh, F., Pelillo, M. & Hancock, E. R., 2015, Similarity-Based Pattern Recognition: Third International Workshop, SIMBAD 2015, Copenhagen, Denmark, October 12–14, 2015, Proceedings. Feragen, A., Pelillo, M. & Loog, M. (eds.). Springer International Publishing, Vol. 9370. p. 38-53 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  11. Visualising Magnitude: Graphical Number Representations Help Users Detect Large Number Entry Errors

    Borghouts, J. W., Soboczenski, F., Cairns, P. & Brumby, D. P., 2015, HFES 2015 International Annual Meeting.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  12. 2014
  13. Formal Refinement in SysML

    Miyazawa, A. & Cavalcanti, A. L. C., 2014, 11th International Conference on Integrated Formal Methods: Proceedings. Albert, E. & Sekerinski, E. (eds.). SPRINGER, p. 155-170 16 p. (Lecture Notes in Computer Science; vol. 8739).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  14. Leibniz on Probability and Statistics

    Cussens, J., 2014, (Accepted/In press) Oxford Handbook on Leibniz. Antognazza, M. R. (ed.). Oxford: Oxford University Press

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  15. Pattern Recognition with Non-Euclidean Similarities

    Hancock, E. R., Xu, E. & Wilson, R. C., 2014, Man-Machine Interactions 3. Gruca, D. A., Czach?rski, T. & Kozielski, S. (eds.). Springer International Publishing, p. 3-15 13 p. (Advances in Intelligent Systems and Computing; vol. 242).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Previous 1 2 3 4 5 6 Next