Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2020
  2. E-pub ahead of print

    On random presentations with fixed relator length

    Ashcroft, C. & Roney-Dougal, C. M., 19 Jan 2020, In : Communications in Algebra. Latest Articles, 15 p.

    Research output: Contribution to journalArticle

  3. 2019
  4. Published

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

    Bobzien, S. & Dyckhoff, R., Apr 2019, In : Studia Logica. 107, 2, p. 375–397 23 p.

    Research output: Contribution to journalArticle

  5. Published

    Anti-Müllerian hormone (AMH) in the diagnosis of menstrual disturbance due to polycystic ovarian syndrome

    Abbara, A., Eng, P. C., Phylactou, M., Clarke, S. A., Hunjan, T., Roberts, R., Vimalesvaran, S., Christopoulous, G., Islam, R., Purugganan, K., Comninos, A. M., Trew, G. H., Salim, R., Hramyka, A., Owens, L., Kelsey, T. W. & Dhillo, W., 26 Sep 2019, In : Frontiers in Endocrinology. 10, 11 p., 656.

    Research output: Contribution to journalArticle

  6. E-pub ahead of print

    Appendage to: Multi-part balanced incomplete-block designs

    Bailey, R. A. & Cameron, P. J., 29 Oct 2019, In : Statistical Papers. First Online, 2 p.

    Research output: Contribution to journalArticle

  7. Published

    Association schemes for diagonal groups

    Cameron, P. J. & Eberhard, S., 27 Oct 2019, In : Australasian Journal of Combinatorics. 75, 3, p. 357-364

    Research output: Contribution to journalArticle

  8. Published

    Athanor: high-level local search over abstract constraint specifications in Essence

    Attieh, S., Dang, N., Jefferson, C., Miguel, I. & Nightingale, P., 10 Aug 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence. Kraus, S. (ed.). International Joint Conferences on Artificial Intelligence, p. 1056-1063

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

  9. Published

    Automatic Streamlining for Constrained Optimisation

    Spracklen, P., Dang, N., Akgün, Ö. & Miguel, I., 1 Jan 2019, Principles and Practice of Constraint Programming - 25th International Conference, CP 2019, Proceedings. Schiex, T. & de Givry, S. (eds.). Springer, p. 366-383 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11802 LNCS).

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

  10. Published

    Automatic streamlining for constrained optimisation

    Spracklen, P., Dang, N., Akgun, O. & Miguel, I. J., 2019, Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings. Schiex, T. & de Givry, S. (eds.). Cham: Springer, p. 366-383 (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 11802).

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

  11. Published
  12. Forthcoming

    Bounded homomorphisms and finitely generated fiber products of lattices

    DeMeo, W., Mayr, P. & Ruskuc, N., 26 Nov 2019, (Accepted/In press) In : International Journal of Algebra and Computation.

    Research output: Contribution to journalArticle

  13. E-pub ahead of print

    Characterising bimodal collections of sets in finite groups

    Huczynska, S. & Paterson, M., 9 Jul 2019, In : Archiv der Mathematik. First Online, 10 p.

    Research output: Contribution to journalArticle

  14. Published

    Characterization of follicles in girls and young women with Turner syndrome who underwent ovarian tissue cryopreservation

    Mamsen, L. S., Charkiewicz, K., Anderson, R. A., Telfer, E. E., McLaughlin, M., Kelsey, T. W., Kristensen, S. G., Gook, D. A., Ernst, E. & Andersen, C. Y., Jun 2019, In : Fertility and Sterility. 111, 6, p. 1217-1225.e3 12 p.

    Research output: Contribution to journalArticle

  15. Published

    Cloud benchmarking for maximising performance of scientific applications

    Varghese, B., Akgun, O., Miguel, I. J., Thai, L. T. & Barker, A. D., 1 Jan 2019, In : IEEE Transactions on Cloud Computing. 7, 1, p. 170-182 13 p., 7553491.

    Research output: Contribution to journalArticle

  16. E-pub ahead of print

    Embedding right-angled Artin groups into Brin-Thompson groups

    Belk, J., Bleak, C. & Matucci, F., 23 Apr 2019, In : Mathematical Proceedings of the Cambridge Philosophical Society. First View, 5 p.

    Research output: Contribution to journalArticle

  17. Published

    Enumeration of idempotents in planar diagram monoids

    Dolinka, I., East, J., Evangelou, A., FitzGerald, D., Ham, N., Hyde, J., Loughlin, N. & Mitchell, J. D., 15 Mar 2019, In : Journal of Algebra. 522, p. 351-385 35 p.

    Research output: Contribution to journalArticle

  18. Published

    Equitable partitions of Latin-square graphs

    Bailey, R. A., Cameron, P. J., Gavrilyuk, A. L. & Goryainov, S. V., 1 Mar 2019, In : Journal of Combinatorial Designs. 27, 3, p. 142-160

    Research output: Contribution to journalArticle

  19. Published

    Extending the ‘Open-Closed Principle’ to automated algorithm configuration

    Swan, J., Adriænsen, S., Barwell, A. D., Hammond, K. & White, D., 4 Mar 2019, In : Evolutionary Computation. 27, 1, p. 173-193 21 p.

    Research output: Contribution to journalArticle

  20. Published

    FSH requirements for follicle growth during controlled ovarian stimulation

    Abbara, A., Patel, A. H., Hunjan, T., Clarke, S., Chia, G., Eng, P. C., Phylactou, M., Comninos, A., Lavery, S., Trew, G., Salim, R., Rai, R., Kelsey, T. W. & Dhillo, W., 27 Aug 2019, In : Frontiers in Endocrinology. 10, 11 p., 579.

    Research output: Contribution to journalArticle

  21. Published

    Fertility preservation by ovarian tissue freezing in patients with genetic and chromosomal disorders

    Mamsen, L. S., Anderson, R. A., Telfer, E. E., McGlaughlin, M., Kelsey, T. W., Ernst, E., Macklon, K. T., Lund, A. M., Kristensen, S. G., Gook, D. A. & Andersen, C. Y., 2019.

    Research output: Contribution to conferenceAbstract

  22. Published

    GAP – Groups, Algorithms, and Programming, Version 4.10.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., 23 Feb 2019

    Research output: Non-textual formSoftware

  23. Published

    GAP – Groups, Algorithms, and Programming, Version 4.10.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., 19 Jun 2019

    Research output: Non-textual formSoftware

  24. Published

    Generating subdirect products

    Mayr, P. & Ruskuc, N., 1 Oct 2019, In : Journal of the London Mathematical Society. 100, 2, p. 404-424

    Research output: Contribution to journalArticle

  25. Published

    Groups St Andrews 2017 in Birmingham

    Campbell, C. M., Parker, C. W., Quick, M., Robertson, E. F. & Roney-Dougal, C. M., Apr 2019, Cambridge University Press. 508 p. (London Mathematical Lecture Note Series 455)

    Research output: Book/ReportBook

  26. Published

    Groups of fast homeomorphisms of the interval and the ping-pong argument

    Bleak, C., Brin, M. G., Kassabov, M., Tatch Moore, J. & Zaremsky, M. C. B., 31 Jan 2019, In : Journal of Combinatorial Algebra. 3, 1, p. 1-40

    Research output: Contribution to journalArticle

  27. Published

    How people visually represent discrete constraint problems

    Zhu, X., Nacenta, M., Akgün, Ö. & Nightingale, P. W., 24 Jan 2019, In : IEEE Transactions on Visualization and Computer Graphics. Early Access, p. 1-14 14 p.

    Research output: Contribution to journalArticle

  28. Published
  29. Published

    Indefinite proof and inversions of syllogisms

    Dyckhoff, R., 2019, In : Bulletin of Symbolic Logic. 25, 2, p. 196-207 12 p.

    Research output: Contribution to journalArticle

  30. Published

    Instance generation via generator instances

    Akgun, O., Dang, N., Miguel, I. J., Salamon, A. Z. & Stone, C. L., 2019, Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings. Schiex, T. & de Givry, S. (eds.). Cham: Springer, p. 3-19 (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 11802).

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

  31. Published

    Integrals of groups

    Araújo, J., Cameron, P. J., Casolo, C. & Matucci, F., Oct 2019, In : Israel Journal of Mathematics. 234, 1, p. 149-178

    Research output: Contribution to journalArticle

  32. E-pub ahead of print

    Involution centralisers in finite unitary groups of odd characteristic

    Glasby, S., Praeger, C. & Roney-Dougal, C. M., 26 Sep 2019, In : Journal of Algebra. In press

    Research output: Contribution to journalArticle

  33. Published

    Kisspeptin as a novel biomarker for pregnancy complications

    Phylactou, M., Abbara, A., Al-Memar, M., Chia Eng, P., Comninos, AN., Izzi-Engbeaya, C., Clarke, SA., Mills, E., Nadir, R., Sykes, M., Pacuszka, E., Yang, L., Fourie, H., Bech, P., Kelsey, T., Bourne, T. & Dhillo, WS., 5 Nov 2019, Endocrine Abstracts. BioScientifica Ltd., 1 p. OP5.4. (Endocrine Abstracts; vol. 65).

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

  34. Published

    Learning-based dynamic pinning of parallelized applications in many-core systems

    Chasparis, G., Rossbory, M., Janjic, V. & Hammond, K., 21 Mar 2019, Proceedings 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2019). Institute of Electrical and Electronics Engineers Inc., 8 p. 8671569

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

  35. Published

    LibraryCarpentry/lc-shell: Library Carpentry: Introduction to the Shell for librarians, June 2019

    Baker, J., Erdmann, C., Dennis, T., Heggø, D. M., Leinweber, K., [Unknown], H., Capes, G., [Unknown], J., Oliver, J., Duckles, J., [Unknown], B., Mendes, A., Conrado, A. C., Weaver, B., Williamson, E., Lessing, I., Marwaha, K., Lascarides, M., Hayslett, M., Lilleberg, T. & 72 others, Devenyi, G., Srinath, A., [Unknown], C., Silva, R., [Unknown], C., Becker, E. A., Emonet, R., Sauze, C., Jankowski, E., Guillou, S., Szamosi, J. C., Srinath, A., Bryk, J., Burle, M-H., Lim, M., Leak, S., Mentzel, C., Buckley, K. M., [Unknown], L., Robinson, M., Feller, M., Fritz, M., Soranzo, N., Ullah, R., Steltenpool, R., Mey, Y., Kassil, A., Morley, A., Denisenko, E., Burns, H., Burkhardt, H., Williams, J., Macklin, J., shaikh, R., Mellan, T., Huffman, A., Konovalov, A., Reid, A., McRae, A. T. T., Rokem, A., Atmaja, B. T., Bolker, B., Gabriel, B., Ballsun-Stanton, B., Bridges, D., McKain, D., Lituiev, D., [Unknown], E., [Unknown], E., Shamma, F., Profiti, G., Linde, I. V. D., Rantaharju, J., Guelfi, J., Pellman, J., Gouw, M., Zingale, M., Henry, M., Oneka, M., Hoggett, M., Barral, N., Brenowitz, N. D., Kaluza, O., McCann, P., Hoyt, P., [Unknown], S., Schmeing, S., Jones, S., Miller, S. J., Dowrick, T., Koppejan, V. & Chhatre, V., 2 Jul 2019

    Research output: Other contribution

  36. Published

    Minimal and canonical images

    Jefferson, C., Jonauskyte, E., Pfeiffer, M. & Waldecker, R., 1 Mar 2019, In : Journal of Algebra. 521, p. 481-506

    Research output: Contribution to journalArticle

  37. Published

    Multi-part balanced incomplete-block designs

    Bailey, R. A. & Cameron, P. J., 18 Apr 2019, In : Statistical Papers. 60, 2, p. 55-76 22 p.

    Research output: Contribution to journalArticle

  38. Published

    New refiners for permutation group search

    Jefferson, C., Pfeiffer, M. & Waldecker, R., May 2019, In : Journal of Symbolic Computation. 92, p. 70-92 23 p.

    Research output: Contribution to journalArticle

  39. E-pub ahead of print

    On the number of subsemigroups of direct products involving the free monogenic semigroup

    Clayton, A. & Ruskuc, N., 1 Feb 2019, In : Journal of the Australian Mathematical Society. First View, 12 p.

    Research output: Contribution to journalArticle

  40. Published

    Orbits of primitive k-homogenous groups on (n-k)-partitions with applications to semigroups

    Araújo, J., Bentz, W. & Cameron, P. J., 1 Jan 2019, In : Transactions of the American Mathematical Society. 371, 1, p. 105-136

    Research output: Contribution to journalArticle

  41. Published

    Paris 1907: the observer vs the administrator

    Peres, T., Gomez Mena, J., Robertson, E., Falconer, I. & O'Connor, J., 1 Feb 2019, In : Astronomy & Geophysics. 60, 1, p. 1.40-1.42

    Research output: Contribution to journalArticle

  42. Published

    Perinatal complications in female survivors of cancer: a systematic review and meta-analysis

    van der Kooi, A. L., Kelsey, T. W., van den Heuvel-Eibrink, M., Laven, J. S. E., Wallace, W. H. B. & Anderson, R. A., Apr 2019, In : European Journal of Cancer. 111, p. 126-137

    Research output: Contribution to journalArticle

  43. E-pub ahead of print

    Presentations for subrings and subalgebras of finite co-rank

    Mayr, P. & Ruskuc, N., 29 Nov 2019, In : Quarterly Journal of Mathematics. Advance Article, 19 p.

    Research output: Contribution to journalArticle

  44. Published

    Proof-carrying plans

    Schwaab, C. J., Komendantskaya, E., Hill, A., Farka, F., Petrick, R., Wells, J. & Hammond, K., Jan 2019, Practical Aspects of Declarative Languages: 21st International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings. Alferes, J. J. & Johansson, M. (eds.). Cham: Springer, p. 204-220 19 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 11372).

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

  45. Published

    Rationality for subclasses of 321-avoiding permutations

    Albert, M. H., Brignall, R., Ruskuc, N. & Vatter, V., May 2019, In : European Journal of Combinatorics. 78, p. 44-72

    Research output: Contribution to journalArticle

  46. E-pub ahead of print

    Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang

    Janjic, V., Brown, C., Barwell, A. & Hammond, K., 24 Jun 2019, In : Concurrency and Computation : Practice and Experience. Early View, p. 1-25 25 p., e5420.

    Research output: Contribution to journalArticle

  47. Published

    Representation learning for minority and subtle activities in a smart home environment

    Rosales Sanabria, A., Kelsey, T. W. & Ye, J., 22 Jul 2019, Proceedings of the IEEE International Conference on Pervasive Computing and Communications (PerCom 2019). IEEE Computer Society, 7 p. 8767417

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

  48. Published

    Representation learning for minority and subtle activities in a smart home environment

    Rosales Sanabria, A., Kelsey, T., Dobson, S. A. & Ye, J., 28 Oct 2019, In : Journal of Ambient Intelligence and Smart Environments. Pre-press, p. 1-19

    Research output: Contribution to journalArticle

  49. E-pub ahead of print

    Right noetherian semigroups

    Miller, C. & Ruskuc, N., 25 Sep 2019, In : International Journal of Algebra and Computation. Online Ready, 36 p.

    Research output: Contribution to journalArticle

  50. Published

    Security and privacy of medical data: challenges for next-generation patient-centric healthcare systems

    Janjic, V., Bowles, J., Belk, M. & Pitsillides, A., 6 Jun 2019, ACM UMAP 2019 Adjunct - Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization. New York: Association for Computing Machinery, Inc, p. 213-214 2 p.

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

  51. Published

    Smallest cyclically covering subspaces of Fqn, and lower bounds in Isbell's conjecture

    Cameron, P. J., Ellis, D. & Raynaud, W., Oct 2019, In : European Journal of Combinatorics. 81, p. 242-255

    Research output: Contribution to journalArticle

  52. Published

    Solving computational problems in the theory of word-representable graphs

    Akgün, Ö., Gent, I. P., Kitaev, S. & Zantema, H., 24 Feb 2019, In : Journal of Integer Sequences. 22, 2, 17 p., 19.2.5.

    Research output: Contribution to journalArticle

  53. Published

    Substitutes for the non-existent square lattice designs for 36 varieties (Extended Abstract)

    Bailey, R. A. & Cameron, P. J., 1 Apr 2019, Biuletyn Oceny Odmian. Gacek, E. (ed.). Słupia Wielka, Vol. 35. p. 11-13 3 p.

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

  54. E-pub ahead of print

    The Hall–Paige conjecture, and synchronization for affine and diagonal groups

    Bray, J., Cai, Q., Cameron, P. J., Spiga, P. & Zhang, H., 7 Mar 2019, In : Journal of Algebra. 545, p. 27-42

    Research output: Contribution to journalArticle

  55. Published

    The power graph of a torsion-free group

    Cameron, P. J., Guerra, H. & Jurina, S., Feb 2019, In : Journal of Algebraic Combinatorics. 49, 1, p. 83-98

    Research output: Contribution to journalArticle

  56. Published

    Towards Improving Solution Dominance with Incomparability Conditions: A case-study using Generator Itemset Mining

    Kocak, G., Akgün, Ö., Miguel, I. & Guns, T., 30 Sep 2019, The 18th workshop on Constraint Modelling and Reformulation (ModRef 2019), Proceedings. 14 p.

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

  57. Published

    Towards Lifted Encodings for Numeric Planning in Essence Prime

    Espasa Arxer, J., Miguel, I. J., Villaret, M. & Coll, J., 30 Sep 2019.

    Research output: Contribution to conferencePaper

  58. Published

    Weighted external difference families and R-optimal AMD codes

    Huczynska, S. & Paterson, M., Mar 2019, In : Discrete Mathematics. 342, 3, p. 855-867

    Research output: Contribution to journalArticle

  59. Published

    YangBaxter - Combinatorial Solutions for the Yang-Baxter equation, Version 0.7.0 (GAP package)

    Vendramin, L. & Konovalov, A., 23 Feb 2019

    Research output: Non-textual formSoftware

  60. Published

    swcarpentry/shell-novice: Software Carpentry: the UNIX shell, June 2019

    Wilson, G., Capes, G., Devenyi, G. A., Koch, C., Silva, R., Srinath, A., Morris, C., Jackson, M., Boughton, A., Emonet, R., Gacenga, F., Nederbragt, L., [Unknown], C., Irving, D., Becker, E. A., Deniz, F., Stimberg, M., Beagrie, R. A., McCloy, D., Soranzo, N. & 142 others, Ross, N., Srinath, A., Sauze, C., Michonneau, F., Marwaha, K., Guillou, S., Magle, T., Jankowski, E., White, E. P., Blischak, J., Fernandes, F., Bekolay, T., Szamosi, J. C., Gray, N., Hagh, V. F., Baird, D., Lang, D., Belikov, E., Bryk, J., Chung, K., Sadjadi, M., Burle, M-H., Lim, M., Barmby, P., Leak, S., Mentzel, C., Standage, D., Eyers, D., Attali, D., Nielsen, D. M., Winston, D., Simpson, J., Duckles, J., Madin, J., Buckley, K. M., [Unknown], L., Robinson, M., Feller, M., Fritz, M., Gardner, P., Steinbach, P., Ullah, R., Steltenpool, R., [Unknown], S., Mey, Y., Kassil, A., Mac, A., Morley, A., Telenczuk, B., Brunson, D., [Unknown], D., Denisenko, E., Dolson, E., Burns, H., Burkhardt, H., Alexander, H., Fontenelle, H., Schyndel, J. V., vdL, J., Williams, J., Leinweber, K., Zamparo, L., Macklin, J., Buske, O., shaikh, R., Brase, R., Mellan, T., Huffman, A., Orr, A. J., Richie-Halford, A., [Unknown], A., Konovalov, A., Keener, A., Brown, A., Bedini, A., Reid, A., McRae, A. T. T., Walker, A., Rokem, A., Sobhani, A., Atmaja, B. T., Bolker, B., Gabriel, B., Seyffert, B., Mills, B., Ballsun-Stanton, B., [Unknown], B., Marini, C., Jones, D., Bridges, D., McKain, D., Vollmer, D., Lituiev, D., Latornell, D., [Unknown], E., [Unknown], E., McTavish, E. J., Shamma, F., Profiti, G., Linde, I. V. D., Mensa, I. A., Rantaharju, J., Milhans, J., Guelfi, J., Kim, J. T., Pellman, J., Blin, K., Keipert, K., Palamartchouk, K., Noga, K., Carlise, M., Gouw, M. R., Mandel, M., Gidden, M., Peterson, M., Doyle, M., Zingale, M., Henry, M., Oneka, M., Hoggett, M., Barral, N., Brenowitz, N. D., [Unknown], N., Kaluza, O., McCann, P., Doehle, P., Hoyt, P. R., Lijnzaad, P., Banaszkiewicz, P., Mount, S., Simpkin, S., Ritchie, S., [Unknown], S., Schmeing, S., Jones, S., Turner, S., Miller, S., Keighley, T., Keighley, T., Dowrick, T., Koppejan, V. & Chhatre, V., 3 Jul 2019

    Research output: Other contribution

  61. 2018
  62. 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

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

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

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

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

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

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

  69. Published

    Code is science manifesto

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

    Research output: Contribution to conferencePoster

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

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

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

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

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

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

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

  77. Published
  78. 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

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

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

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

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

  83. Published
  84. 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

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

  86. Published

    GAP - Open source software system for discrete computational mathematics

    Konovalov, A., Sep 2018.

    Research output: Contribution to conferencePoster

  87. Published

    GAP - Open source software system for discrete computational mathematics

    Konovalov, A., Apr 2018.

    Research output: Contribution to conferencePoster

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

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

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

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

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

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

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

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

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

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

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

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

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

  101. Published
  102. 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

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

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

ID: 1395

Top