Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  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 Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 1242-1248 7 p.

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

  3. Published

    A review of literature on parallel constraint solving

    Gent, I. P., Miguel, I. J., Nightingale, P. W., McCreesh, C., Prosser, P., Moore, N. & Unsworth, C., Sep 2018, In : Theory and Practice of Logic Programming. 18, 5-6, p. 725-758 34 p.

    Research output: Contribution to journalArticle

  4. Published

    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., 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Springer, p. 3-12 (Lecture Notes in Computer Science; vol. 11008).

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

  5. Published

    Automatic generation and selection of streamlined constraint models via Monte Carlo search on a model lattice

    Spracklen, P., Akgun, O. & Miguel, I. J., 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Cham: Springer, p. 362-372 (Lecture Notes in Computer Science; vol. 11008).

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

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

  9. Published

    Code is science manifesto

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

    Research output: Contribution to conferencePoster

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

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

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

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

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

  15. Published

    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., Jul 2018, In : Journal of Assisted Reproduction and Genetics. 35, 7, p. 1209-1217 9 p.

    Research output: Contribution to journalArticle

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

  18. Published

    Example - Example/Template of a GAP Package, Version 4.1.0 (GAP package)

    Nickel, W., Gamble, G. & Konovalov, A., 26 Apr 2018

    Research output: Non-textual formSoftware

  19. Published

    Example - Example/Template of a GAP Package, Version 4.1.1 (GAP package)

    Nickel, W., Gamble, G. & Konovalov, A., 18 Jul 2018

    Research output: Non-textual formSoftware

  20. Published

    Existence and non-existence results for strong external difference families

    Huczynska, S. & Paterson, M. B., Jan 2018, In : Discrete Mathematics. 341, 1, p. 87-95

    Research output: Contribution to journalArticle

  21. Published

    FactInt - Advanced Methods for Factoring Integers, Version 1.6.2 (Refereed GAP package)

    Kohl, S. & Konovalov, A., 18 Feb 2018

    Research output: Non-textual formSoftware

  22. Published
  23. Published

    Follicle size on day of trigger most likely to yield a mature oocyte

    Abbara, A., Vuong, L. N., Ho, V. N. A., Clarke, S. A., Jeffers, L., Comninos, A. N., Salim, R., Ho, T. M., Kelsey, T. W., Trew, G. H., Humaiden, P. & Dhillo, W. S., 25 Apr 2018, In : Frontiers in Endocrinology. 9, 11 p., 193.

    Research output: Contribution to journalArticle

  24. Published

    Francy - an interactive discrete mathematics framework for GAP

    Martins, M. M. & Pfeiffer, M. J., 2018, Mathematical Software – ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings. Davenport, J. H., Kauers, M., Labahn, G. & Urban, J. (eds.). Cham: Springer, p. 352-358 (Lecture Notes in Computer Science (Theoretical Computer Science and General Issues); vol. 10931).

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

  25. Published

    GAP - Open source software system for discrete computational mathematics

    Konovalov, A., Sep 2018.

    Research output: Contribution to conferencePoster

  26. Published

    GAP - Open source software system for discrete computational mathematics

    Konovalov, A., Apr 2018.

    Research output: Contribution to conferencePoster

  27. Published

    GAP – Groups, Algorithms, and Programming, Version 4.10.0

    The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 1 Nov 2018

    Research output: Non-textual formSoftware

  28. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.10

    The GAP Group, Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 15 Jan 2018

    Research output: Non-textual formSoftware

  29. Published

    GAP – Groups, Algorithms, and Programming, Version 4.9.1

    The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 5 May 2018

    Research output: Non-textual formSoftware

  30. Published

    GAP – Groups, Algorithms, and Programming, Version 4.9.2

    The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 4 Jul 2018

    Research output: Non-textual formSoftware

  31. Published

    GAP – Groups, Algorithms, and Programming, Version 4.9.3

    The GAP Group, Behrends, R., Breuer, T., Horn, M., Hulpke, A., Jefferson, C. A., Konovalov, A., Linton, S. A., Lübeck, F., Mitchell, J. D., Pfeiffer, M. J., Siccha, S. & Torpey, M. C., 5 Sep 2018

    Research output: Non-textual formSoftware

  32. Published

    Generating sets of finite groups

    Cameron, P. J., Lucchini, A. & Roney-Dougal, C. M., 1 Sep 2018, In : Transactions of the American Mathematical Society. 370, 9, p. 6751-6770

    Research output: Contribution to journalArticle

  33. Published

    Groups in Galway and Groups St Andrews conferences

    Campbell, C. M., 23 May 2018, Proceedings of the Conference on History of Mathematics and Teaching of Mathematics, Miskolc, 2018. Miskolc: University of Miskolc, p. 25-33

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

  34. Published

    Infinitely many reducts of homogeneous structures

    Bodor, B., Cameron, P. J. & Szabó, C., Jun 2018, In : Algebra Universalis. 79, 10 p., 43.

    Research output: Contribution to journalArticle

  35. Published

    LAGUNA - Lie AlGebras and UNits of group Algebras, Version 3.9.0 (Refereed GAP package)

    Bovdi, V., Konovalov, A., Rossmanith, R. & Schneider, C., 26 Apr 2018

    Research output: Non-textual formSoftware

  36. Published

    LAGUNA - Lie AlGebras and UNits of group Algebras, Version 3.9.1 (Refereed GAP package)

    Bovdi, V., Konovalov, A., Rossmanith, R. & Schneider, C., 30 Nov 2018

    Research output: Non-textual formSoftware

  37. Published

    Maximal subsemigroups of finite transformation and diagram monoids

    East, J., Kumar, J., Mitchell, J. D. & Wilson, W. A., 15 Jun 2018, In : Journal of Algebra. 504, p. 176-216

    Research output: Contribution to journalArticle

  38. Published

    Memory consistency models using constraints

    Akgün, Ö., Hoffmann, R. & Sarkar, S., 27 Aug 2018, The Seventeenth Workshop on Constraint Modelling and Reformulation (ModRef 2018), Proceedings. 16 p.

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

  39. Published

    Metamorphic testing of constraint solvers

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Springer, p. 727-736 (Lecture Notes in Computer Science; vol. 11008).

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

  40. Published
  41. Published

    Modelling Langford's Problem: a viewpoint for search

    Akgün, Ö. & Miguel, I., 27 Aug 2018, The Seventeenth Workshop on Constraint Modelling and Reformulation (ModRef 2018), Proceedings. 11 p.

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

  42. E-pub ahead of print

    On skew braces and their ideals

    Konovalov, A., Smoktunowicz, A. & Vendramin, L., 22 Dec 2018, In : Experimental Mathematics. Latest Articles, 10 p.

    Research output: Contribution to journalArticle

  43. Published

    Online resource for the history of astronomy

    Talbot, G., Shand, I., Falconer, I., Robertson, E. & O'Connor, J., 1 Feb 2018, In : Astronomy and Geophysics. 59, 1, p. 1.20-1.21 aty025.

    Research output: Contribution to journalArticle

  44. Published

    PatternClass Version 2.4.2: A permutation pattern class package (GAP package)

    Hoffmann, R., Linton, S. & Albert, M., 24 Jul 2018

    Research output: Non-textual formSoftware

  45. Published

    PrimGrp - GAP Primitive Permutation Groups Library, Version 3.3.1 (GAP package)

    Hulpke, A., Roney-Dougal, C. M., Russell, C. & Konovalov, A., 17 Feb 2018

    Research output: Non-textual formSoftware

  46. Published

    PrimGrp - GAP Primitive Permutation Groups Library, Version 3.3.2 (GAP package)

    Hulpke, A., Roney-Dougal, C. M., Russell, C. & Konovalov, A., 27 Oct 2018

    Research output: Non-textual formSoftware

  47. Published

    Proof-relevant Horn clauses for dependent type inference and term synthesis

    Farka, F., Komendantskya, E. & Hammond, K., 2018, In : Theory and Practice of Logic Programming. 18, 3-4, p. 484-501

    Research output: Contribution to journalArticle

  48. Published

    Sesqui-arrays, a generalisation of triple arrays

    Bailey, R. A., Cameron, P. J. & Nilson, T., 1 Jun 2018, In : Australasian Journal of Combinatorics. 71, 3, p. 427-451

    Research output: Contribution to journalArticle

  49. Published

    Software Carpentry Lesson on the Computational Algebra System GAP

    Konovalov, A., May 2018.

    Research output: Contribution to conferencePoster

  50. Published

    Software Carpentry: Programming with GAP: Version 2.0

    Software Carpentry team, 13 Nov 2018, Zenodo.

    Research output: Other contribution

  51. Published

    Solvable quotients of subdirect products of perfect groups are nilpotent

    Kearnes, K., Mayr, P. & Ruskuc, N., Dec 2018, In : Bulletin of the London Mathematical Society. 50, 6, p. 1016-1026 11 p.

    Research output: Contribution to journalArticle

Previous 1 2 Next

ID: 1395

Top