Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

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

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

  3. Published

    Computer algebra meets automated theorem proving: Integrating maple and PVS

    Adams, A., Dunstan, M., Gottliebsen, H., Kelsey, T., Martin, U. & Owre, S., 1 Jan 2001, Theorem Proving in Higher Order Logics - 14th International Conference, TPHOLs 2001, Proceedings. Boulton, R. J. & Jackson, P. B. (eds.). Springer-Verlag, p. 27-42 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2152).

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

  4. Published

    Ovarian reserve and reproductive age may be determined from measurement of ovarian volume by transvaginal sonography (multiple letters) [3]

    Broekmans, F. J., Faddy, M., te Velde, E. R., Wallace, W. H. B. & Kelsey, T. W., 1 Jan 2005, In : Human Reproduction. 20, 4, p. 1114-1116 3 p.

    Research output: Contribution to journalLetter

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

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

  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

    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

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

  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

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

ID: 1395

Top