Skip to content

Research at St Andrews

Advanced search

Search for research publications

  1. 2018
  2. Published

    A framework for constraint based local search using ESSENCE

    Akgun, O., Attieh, S. W. A., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W., Salamon, A. Z., Spracklen, P. & Wetter, J. P. 13 Jul 2018 Proceedings of the 27th International Joint Conference on Artificial Intelligence. p. 1242-1248 7 p.

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

  3. Forthcoming

    A review of literature on parallel constraint solving

    Gent, I. P., McCreesh, C., Miguel, I. J., Moore, N., Nightingale, P. W., Prosser, P. & Unsworth, C. 30 Apr 2018 (Accepted/In press) In : Theory and Practice of Logic Programming.

    Research output: Contribution to journalArticle

  4. E-pub ahead of print

    Analyticity, balance and non-admissibility of Cut in Stoic Logic

    Bobzien, S. & Dyckhoff, R. 20 Apr 2018 In : Studia Logica. First Online, 23 p.

    Research output: Contribution to journalArticle

  5. Forthcoming

    Automatic discovery and exploitation of promising subproblems for tabulation

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W. & Salamon, A. Z. 15 Jun 2018 (Accepted/In press) Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Springer, (Lecture Notes in Computer Science)

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

  6. Published

    Automatically deriving cost models for structured parallel processes using hylomorphisms

    Castro, D., Hammond, K., Sarkar, S. & Alguwaifli, Y. Feb 2018 In : Future Generation Computer Systems. 79, Part 2, p. 653-668

    Research output: Contribution to journalArticle

  7. E-pub ahead of print

    Clinical parameters of ovarian hyperstimulation syndrome (OHSS) following different triggers of oocyte maturation in IVF treatment

    Abbara, A., Islam, R., Clarke, S. A., Jeffers, L., Christopoulos, G., Comninos, A. N., Salim, R., Lavery, S. A., Vuong, T. N. L., Humaidan, P., Kelsey, T. W., Trew, G. H. & Dhillo, W. S. 6 Mar 2018 In : Clinical Endocrinology. Early View, 8 p.

    Research output: Contribution to journalArticle

  8. Published

    Complexity of n-Queens Completion (Extended Abstract)

    Gent, I. P., Jefferson, C. A. & Nightingale, P. W. 13 Jul 2018 Proceedings of the 27th International Joint Conference on Artificial Intelligence. p. 5608-5611 4 p.

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

  9. E-pub ahead of print

    Congruence lattices of finite diagram monoids

    East, J., Mitchell, J. D., Ruskuc, N. & Torpey, M. 15 Jun 2018 In : Advances in Mathematics. 333, p. 931-1003 73 p.

    Research output: Contribution to journalArticle

  10. E-pub ahead of print

    Cryopreservation of ovarian tissue may be considered in young girls with galactosemia

    Mamsen, L. S., Kelsey, T. W., Ernst, E., Macklon, K. T., Lund, A. M. & Andersen, C. Y. 26 May 2018 In : Journal of Assisted Reproduction and Genetics. First Online

    Research output: Contribution to journalArticle

  11. Published

    Effects of neonicotinoids on bees: an invalid experiment

    Bailey, R. A. & Greenwood, J. J. D. Jan 2018 In : Ecotoxicology. 27, 1, p. 1-7

    Research output: Contribution to journalLetter

Previous 1 2 3 4 5 6 7 8 ...92 Next