Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

  1. 2016
  2. Published

    A dynamical definition of f.g. virtually free groups

    Bennett, D. & Bleak, C., Feb 2016, In : International Journal of Algebra and Computation. 26, 1, p. 105-121 17 p.

    Research output: Contribution to journalArticle

  3. Published

    A normative model of serum inhibin B in young males

    Kelsey, T. W., Miles, A., Mitchell, R. T., Anderson, R. & Wallace, W. H. B., 14 Apr 2016, In : PLoS One. 11, 4, 10 p., e0153843.

    Research output: Contribution to journalArticle

  4. Published

    A theoretical framework for constraint propagator triggering

    Cohen, D. A., Jefferson, C. & Petrie, K. E. J., 20 Jun 2016, Proceedings of the 9th Annual Symposium on Combinatorial Search, SoCS 2016. Baier, J. A. & Botea, A. (eds.). AAAI Press, Vol. 2016-January. p. 19-27 9 p.

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

  5. Published

    A validated normative model for human uterine volume from birth to age 40 years

    Kelsey, T. W., Ginbey, E., Chowdhury, M. M., Bath, L. E., Anderson, R. A. & Wallace, W. H. B., 13 Jun 2016, In : PLoS One. 11, 6, 14 p., e0157375.

    Research output: Contribution to journalArticle

  6. Published

    ABVD chemotherapy for lymphoma affects number and morphology of primordial follicles in the adolescent and adult ovary

    McGloughlin, M., Kelsey, T. W., Wallace, W. H. B., Anderson, R. A. & Telfer, E. E., 6 Jul 2016, p. i124-i125.

    Research output: Contribution to conferenceAbstract

  7. Published

    Accuracy of circulating adiponectin for predicting gestational diabetes: a systematic review and meta-analysis

    Iliodromiti, S., Sassarini, J., Kelsey, T., Lindsay, R., Sattar, N. & Nelson, S., Apr 2016, In : Diabetologia. 59, 4, p. 692-699 8 p.

    Research output: Contribution to journalArticle

  8. Published

    Adult dental anxiety: recent assessment approaches and psychological management in a dental practice setting

    Humphris, G. M., Spyt, J., Herbison, A. & Kelsey, T., May 2016, In : Dental Update. 43, 4, p. 388-394 7 p.

    Research output: Contribution to journalArticle

  9. Submitted

    An exploration of normalish subgroups of R. Thompson's groups F and T

    Bleak, C., 10 Mar 2016, (Submitted) In : Proceedings of the American Mathematical Society. p. 1-4 4 p.

    Research output: Contribution to journalArticle

  10. Published

    Anti-Müllerian hormone serum concentrations of women with germline BRCA1 or BRCA2 mutations

    Phillips, K-A., Collins, I. M., Milne, R. L., McLachlan, S. A., Friedlander, M., Hickey, M., Stern, C., Hopper, J. L., Fisher, R., Kannemeyer, G., Picken, S., Smith, C. D., Kelsey, T. W. & Anderson, R. A., May 2016, In : Human Reproduction. 31, 5, p. 1126-1132 7 p.

    Research output: Contribution to journalArticle

  11. Published

    Anti-müllerian hormone serum concentrations of women with germline BRCA1 or BRCA2 mutations

    Phillips, K. A., Collins, I. M., Milne, R. L., McLachlan, S. A., Friedlander, M., Hickey, M., Stern, C., Hopper, J. L., Fisher, R., Kannemeyer, G., Picken, S., Smith, C. D., Kelsey, T. W. & Anderson, R. A., 1 Aug 2016, In : Obstetrical and Gynecological Survey. 71, 8, p. 474-475 2 p.

    Research output: Contribution to journalComment/debate

  12. Published

    Automorphism groups of countable algebraically closed graphs and endomorphisms of the random graph

    Dolinka, I., Gray, R. D., McPhee, J. D., Mitchell, J. D. & Quick, M., May 2016, In : Mathematical Proceedings of the Cambridge Philosophical Society. 160, 3, p. 437-462 26 p.

    Research output: Contribution to journalArticle

  13. Published

    Circle - Adjoint groups of finite rings, Version 1.5.4 (Refereed GAP package)

    Konovalov, A. & Soules, P., 8 Jan 2016

    Research output: Non-textual formSoftware

  14. Published

    Coinductive soundness of corecursive type class resolution

    Farka, F., Komendantskaya, E., Hammond, K. & Fu, P., 18 Aug 2016, Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016). Hermenegildo, M. V. & Lopez-Garcia, P. (eds.). arXiv, 15 p.

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

  15. Published

    Constructing flag-transitive, point-imprimitive designs

    Cameron, P. J. & Praeger, C. E., 4 May 2016, In : Journal of Algebraic Combinatorics. 43, 4, p. 755-769

    Research output: Contribution to journalArticle

  16. Published

    Decision problems for word-hyperbolic semigroups

    Cain, A. J. & Pfeiffer, M. J., 1 Nov 2016, In : Journal of Algebra. 465, p. 287-321

    Research output: Contribution to journalArticle

  17. Published

    Design keys for multiphase experiments

    Bailey, R. A., 2016, mOda 11---Advances in Model-Oriented Design and Analysis: Proceedings of the 11th International Workshop in Model-Oriented Design and Analysis held in Hamminkeln, Germany, June 12-17, 2016. Kunert, J., M"uller, C. H. & Atkinson, A. C. (eds.). Springer, p. 27-35 9 p. (Contributions to Statistics).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  18. Published

    Effect of first line cancer treatment on the ovarian reserve and follicular density in girls under the age of 18 years

    El Issaoui, M., Giorgine, V., Mamsen, L. S., Rechnitzer, C., Birkebæk, N., Clausen, N., Kelsey, T. W. & Andersen, C. Y., Dec 2016, In : Fertility and Sterility. 106, 7, p. 1757–1762.e1

    Research output: Contribution to journalArticle

  19. Published

    Embeddings into Thompson's group V and coCF groups

    Bleak, C., Matucci, F. & Neunhöffer, M., Oct 2016, In : Journal of the London Mathematical Society. 94, 2, p. 583-597 15 p.

    Research output: Contribution to journalArticle

  20. Published

    Ends of semigroups

    Craik, S., Gray, R., Kilibarda, V., Mitchell, J. D. & Ruskuc, N., Oct 2016, In : Semigroup Forum. 93, 2, p. 330-346 17 p.

    Research output: Contribution to journalArticle

  21. Published

    Estimability of variance components when all model matrices commute

    Bailey, R. A., Ferreira, S. S., Ferreira, D. & Nunes, C., 1 Mar 2016, In : Linear Algebra and its Applications. 492, p. 144-160 17 p.

    Research output: Contribution to journalArticle

  22. Published

    Exploiting short supports for improved encoding of arbitrary constraints into SAT

    Akgün, Ö., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Rueher, M. (ed.). Springer, p. 3-12 (Lecture Notes in Computer Science; vol. 9892).

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

  23. Published

    Farms, pipes, streams and reforestation: reasoning about structured parallel processes using types and hylomorphisms

    Castro, D., Hammond, K. & Sarkar, S., 4 Sep 2016, Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016). New York: ACM, p. 4-17 (ACM SIGPLAN Notices; vol. 51, no. 9).

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

  24. Published

    Fertility preservation in pre-pubertal girls with cancer: the role of ovarian tissue cryopreservation

    Wallace, W. H. B., Kelsey, T. W. & Anderson, R. A., Jan 2016, In : Fertility and Sterility. 105, 1, p. 6-12 7 p.

    Research output: Contribution to journalArticle

  25. Submitted

    Finite index subgroups of R. Thompson’s group F

    Bleak, C. P. & Wassink, B., 28 Jan 2016, (Submitted) In : Groups. Complexity. Cryptology. 26 p.

    Research output: Contribution to journalArticle

  26. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.2

    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. & Torpey, M. C., 20 Feb 2016

    Research output: Non-textual formSoftware

  27. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.3

    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. & Torpey, M. C., 19 Mar 2016

    Research output: Non-textual formSoftware

  28. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.4

    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. & Torpey, M. C., 4 Jun 2016

    Research output: Non-textual formSoftware

  29. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.5

    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. & Torpey, M. C., 25 Sep 2016

    Research output: Non-textual formSoftware

  30. Published

    GAP – Groups, Algorithms, and Programming, Version 4.8.6

    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., 12 Nov 2016

    Research output: Non-textual formSoftware

  31. Published
  32. Published

    Guessing games on triangle-free graphs

    Cameron, P. J., Dang, A. & Riis, S., 2016, In : Electronic Journal of Combinatorics. 23, 1, 15 p., P1.48.

    Research output: Contribution to journalArticle

  33. Published

    HPC-GAP: engineering a 21st-century High-Performance Computer algebra system

    Behrends, R., Hammond, K., Janjic, V., Konovalov, A., Linton, S. A., Loidl, H-W., Maier, P. & Trinder, P., 10 Sep 2016, In : Concurrency and Computation : Practice and Experience. 28, 13, p. 3606-3636 31 p.

    Research output: Contribution to journalArticle

  34. Published

    Habitat complexity in aquatic microcosms affects processes driven by detritivores

    Flores, L., Bailey, R. A., Elosegi, A., Larrañaga, A. & Reiss, J., 1 Nov 2016, In : PLoS One. 11, 11, 15 p., e0165065.

    Research output: Contribution to journalArticle

  35. Forthcoming

    Ideal structure of the C*-algebra of Thompson group T

    Bleak, C. & Juschenko, K., 25 Apr 2016, (Accepted/In press) Topological Methods in Geometric Group Theory. Cambridge University Press, 10 p. (London Mathematical Society Lecture Note Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  36. Published

    Idempotent rank in the endomorphism monoid of a non-uniform partition

    Dolinka, I., East, J. & Mitchell, J. D., Feb 2016, In : Bulletin of the Australian Mathematical Society. 93, 1, p. 73-91

    Research output: Contribution to journalArticle

  37. Published

    Interoperability in the OpenDreamKit project: the Math-in-the-Middle approach

    Dehaye, P-O., Iancu, M., Kohlhase, M., Konovalov, A., Lelièvre, S., Müller, D., Pfeiffer, M., Rabe, F., Thiéry, N. M. & Wiesling, T., 2016, Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. Kohlhase, M., Johansson, M., Miller, B., de Moura, L. & Tompa, F. (eds.). Cham: Springer, p. 117-131 15 p. (Lecture Notes in Computer Science; vol. 9791).

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

  38. Published

    Intuitionistic decision procedures since Gentzen

    Dyckhoff, R., 5 May 2016, Advances in Proof Theory. Kahle, R., Strahm, T. & Studer, T. (eds.). Birkhäuser Basel, p. 245-267 (Progress in Computer Science and Applied Logic; vol. 28).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  39. Published

    Kindergarten Cop: dynamic nursery resizing for GHC

    Ferreiro, H., Castro, L., Janjic, V. & Hammond, K., 17 Mar 2016, CC 2016 Proceedings of the 25th International Conference on Compiler Construction . New York: ACM, p. 56-66 10 p.

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

  40. Published

    Lapedo: hybrid skeletons for programming heterogeneous multicore machines in Erlang

    Janjic, V., Brown, C. M. & Hammond, K., Apr 2016, Parallel Computing: On the Road to Exascale. Joubert, G. R., Leather, H., Parsons, M., Peters, F. & Sawyer, M. (eds.). IOS Press, p. 185-195 (Advances in Parallel Computing; vol. 27).

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

  41. Published

    MapMySmoke–a context aware mobile phone application targeted at smoking cessation

    Schick, R. S., Humphris, G. M., Kelsey, T. W., Marston, J. & Sampson, K., 22 Nov 2016.

    Research output: Contribution to conferencePoster

  42. Published
  43. Published
  44. Published

    On the star-height of subword counting languages and their relationship to Rees zero-matrix semigroups

    Bourne, T. & Ruškuc, N., 15 Nov 2016, In : Theoretical Computer Science. 653, p. 87-96

    Research output: Contribution to journalArticle

  45. Published

    OpenMath - OpenMath functionality in GAP, Version 11.3.0 (Refereed GAP package)

    Costantini, M., Konovalov, A., Nicosia, L. M. & Solomon, A., 8 Jan 2016

    Research output: Non-textual formSoftware

  46. Published

    OpenMath - OpenMath functionality in GAP, Version 11.3.1 (Refereed GAP package)

    Costantini, M., Konovalov, A., Nicosia, L. M. & Solomon, A., 28 Jan 2016

    Research output: Non-textual formSoftware

  47. Published

    PAEAN: portable and scalable runtime support for parallel Haskell dialects

    Berthold, J., Loidl, H-W. & Hammond, K., 2016, In : Journal of Functional Programming. 26, 39 p., e10.

    Research output: Contribution to journalArticle

  48. Published

    POSIX lexing with derivatives of regular expressions (proof pearl)

    Ausaf, F., Dyckhoff, R. & Urban, C., 2016, Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings. Blanchette, J. C. & Merz, S. (eds.). Springer, p. 69-86 18 p. (Lecture Notes in Computer Science; vol. 9807).

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

  49. Published

    Primitive groups, graph endomorphisms and synchronization

    Araújo, J., Bentz, W., Cameron, P. J., Royle, G. & Schaefer, A., Dec 2016, In : Proceedings of the London Mathematical Society. 113, 6, p. 829-867 39 p.

    Research output: Contribution to journalArticle

  50. Published

    RPL: a domain-specific language for designing and implementing parallel C++ applications

    Janjic, V., Brown, C. M., MacKenzie, K. W., Hammond, K., Danelutto, M., Aldinucci, M. & Garcia, D. J., 4 Apr 2016, 2016 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP). Cotronis, Y., Daneshtalab, M. & Papadopoulos, G. A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 288-295 7445342. (Euromicro Workshop on Parallel and Distributed Processing).

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

  51. Published

    Randomization-based models for multitiered experiments: I. A chain of randomizations

    Bailey, R. A. & Brien, C. J., Jun 2016, In : Annals of Statistics. 44, 3, p. 1131-1164 34 p.

    Research output: Contribution to journalArticle

  52. Published

    Regular fractions of factorial arrays

    Groemping, U. & Bailey, R. A., 2016, mODa 11---Advances in Model-Oriented Design and Analysis: Proceedings of the 11th International Workshop in Model-Oriented Design and Analysis. Kunert, J., M"uller, C. H. & Atkinson, A. C. (eds.). Springer, p. 143-151 9 p. (Contributions to Statistics).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  53. Published

    Software Carpentry: Programming with GAP: Version 1.0

    Software Carpentry team, 18 Nov 2016, Zenodo.

    Research output: Other contribution

  54. Published

    Some remarks on proof-theoretic semantics

    Dyckhoff, R., 2016, Advances in Proof-Theoretic Semantics. Piecha, T. & Schroeder-Heister, P. (eds.). Springer, p. 79-93 15 p. (Trends in Logic; vol. 43).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  55. Published

    String C-groups as transitive subgroups of Sn

    Cameron, P. J., Fernandes, M. E., Leemans, D. & Mixer, M., 1 Feb 2016, In : Journal of Algebra. 447, p. 468-478

    Research output: Contribution to journalArticle

  56. Published

    Ten Simple Rules for taking advantage of Git and GitHub

    Perez-Riverol, Y., Gatto, L., Wang, R., Sachsenberg, T., Uszkoreit, J., da Veiga Leprevost, F., Fufezan, C., Ternent, T., Eglen, S. J., Katz, D. S., Pollard, T. J., Konovalov, A., Flight, R. M., Blin, K. & Vizcaíno, J. A., 14 Jul 2016, In : PLoS Computational Biology. 12, 7, 11 p., e1004947.

    Research output: Contribution to journalArticle

  57. Published

    The classification of partition homogeneous groups with applications to semigroup theory

    André, J., Araúo, J. & Cameron, P. J., 15 Apr 2016, In : Journal of Algebra. 452, p. 288-310

    Research output: Contribution to journalArticle

  58. Submitted

    The further chameleon groups of Richard Thompson and Graham Higman: Automorphisms via dynamics for the Higman groups G_{n,r}

    Bleak, C., Cameron, P., Maissel, Y., Navas, A. & Olukoya, F., 30 May 2016, (Submitted) In : Mathematics arXiv. 44 p.

    Research output: Contribution to journalArticle

  59. Published

    The structure of a graph inverse semigroup

    Mesyan, Z. & Mitchell, J. D., 2016, In : Semigroup Forum. First online, 20 p.

    Research output: Contribution to journalArticle

  60. Published

    Timing properties and correctness for structured parallel programs on x86-64 multicores

    Hammond, K., Brown, C. M. & Sarkar, S., 2016, Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers. van Eekelen, M. & Dal Lago, U. (eds.). Springer, p. 101-125 26 p. (Lecture Notes in Computer Science; vol. 9964).

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

  61. Published

    Topological graph inverse semigroups

    Mesyan, Z., Mitchell, J. D., Morayne, M. & Péresse, Y. H., 1 Aug 2016, In : Topology and Its Applications. 208, p. 106-126 21 p.

    Research output: Contribution to journalArticle

  62. Published

    Towards semi-automatic data-type translation for parallelism in Erlang

    Barwell, A. D., Brown, C. M., Castro, D. & Hammond, K., 23 Sep 2016, Proceedings of the 15th International Workshop on Erlang. New York: ACM, p. 60-61

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

  63. Published

    Two generalizations of homogeneity in groups with applications to regular semigroups

    Araujo, J. & Cameron, P. J., 2016, In : Transactions of the American Mathematical Society. 368, p. 1159-1188 30 p.

    Research output: Contribution to journalArticle

  64. Published

    Universal sequences for the order-automorphisms of the rationals

    Hyde, J., Jonusas, J., Mitchell, J. D. & Peresse, Y. H., Aug 2016, In : Journal of the London Mathematical Society. 94, 1, p. 21-37 17 p.

    Research output: Contribution to journalArticle

  65. Published

    Using “program shaping” and algorithmic skeletons to parallelise an evolutionary multi-agent system in Erlang

    Barwell, A. D., Brown, C. M., Hammond, K., Turek, W. & Byrski, A., 2016, In : Computing and Informatics. 35, 4, 37 p.

    Research output: Contribution to journalArticle

ID: 1395

Top