Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

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

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

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

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

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

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

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

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

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

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

ID: 1395

Top