Skip to content

Research at St Andrews

University > Research portal > Research organisations > Centre for Interdisciplinary Research in Computational Algeb... > Research publications

Centre for Interdisciplinary Research in Computational Algebra

1 - 10 out of 1,231Page size: 10
  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 journal › Article

  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 journal › Article

  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 proceeding › Conference 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 proceeding › Conference contribution

  6. Published

    Automorphism groups of linearly ordered structures and endomorphisms of the ordered set (Q,≤) of rational numbers

    McPhee, J. D., Mitchell, J. D. & Quick, M., Mar 2019, In : Quarterly Journal of Mathematics. 70, 1, p. 171-194 24 p.

    Research output: Contribution to journal › Article

  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 journal › Article

  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 journal › Article

  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 journal › Article

  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 journal › Article

  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 journal › Article

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

Type

Publication year

Full text

Status

DOI

ID: 1395

Top