Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

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

  3. Published

    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., Jun 2018, In : Clinical Endocrinology. 88, 6, p. 920-927 8 p.

    Research output: Contribution to journalArticle

  4. Published

    Closed frequent itemset mining with arbitrary side constraints

    Kocak, G., Akgun, O., Miguel, I. J. & Nightingale, P. W., 17 Nov 2018, 2018 IEEE International Conference on Data Mining Workshops (ICDMW). Tong, H., Li, Z. J., Zhu, F. & Yu, J. (eds.). IEEE Computer Society, p. 1224 - 1232 9 p. 8637581

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

  5. Published

    Code is science manifesto

    Yehudi, Y., Aragon, S. & Konovalov, A., Sep 2018.

    Research output: Contribution to conferencePoster

  6. Published

    Complexity of n-Queens completion (extended abstract)

    Gent, I. P., Jefferson, C. A. & Nightingale, P. W., 13 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 5608-5611 4 p.

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

  7. E-pub ahead of print

    Computing finite semigroups

    East, J., Egri-Nagy, A., Mitchell, J. D. & Péresse, Y., 14 Feb 2018, In : Journal of Symbolic Computation. 45 p.

    Research output: Contribution to journalArticle

  8. Published

    Computing maximal subsemigroups of a finite semigroup

    Donoven, C. R., Mitchell, J. D. & Wilson, W. A., 1 Jul 2018, In : Journal of Algebra. 505, p. 559-596 38 p.

    Research output: Contribution to journalArticle

  9. Published

    Congruence - Congruence subgroups of SL(2,Integers), Version 1.2.2 (Refereed GAP package)

    Dooms, A., Jespers, E., Konovalov, A. & Verrill, H., 6 Feb 2018

    Research output: Non-textual formSoftware

  10. Published

    Congruence lattices of finite diagram monoids

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

    Research output: Contribution to journalArticle

  11. Published

    Contraction-free sequent calculi in intuitionistic logic: a correction

    Dyckhoff, R., Dec 2018, In : Journal of Symbolic Logic. 83, 4, p. 1680-1682 3 p.

    Research output: Contribution to journalArticle

Previous 1...3 4 5 6 7 8 9 10 ...124 Next

ID: 1395

Top