Skip to content

Research at St Andrews

Advanced search

Search for research publications

  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

    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

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

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

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

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

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