Skip to content

Research at St Andrews

Centre for Interdisciplinary Research in Computational Algebra

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

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

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

  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

    Learning-based dynamic pinning of parallelized applications in many-core systems

    Chasparis, G., Rossbory, M., Janjic, V. & Hammond, K., 21 Mar 2019, Proceedings 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2019). Institute of Electrical and Electronics Engineers Inc., 8 p. 8671569

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

  7. Published

    Proof-carrying plans

    Schwaab, C. J., Komendantskaya, E., Hill, A., Farka, F., Petrick, R., Wells, J. & Hammond, K., Jan 2019, Practical Aspects of Declarative Languages: 21st International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings. Alferes, J. J. & Johansson, M. (eds.). Cham: Springer, p. 204-220 19 p. (Lecture Notes in Computer Science (Programming and Software Engineering); vol. 11372).

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

  8. Published

    Representation learning for minority and subtle activities in a smart home environment

    Rosales Sanabria, A., Kelsey, T. W. & Ye, J., 22 Jul 2019, Proceedings of the IEEE International Conference on Pervasive Computing and Communications (PerCom 2019). IEEE Computer Society, 7 p. 8767417

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

  9. Published

    Security and privacy of medical data: challenges for next-generation patient-centric healthcare systems

    Janjic, V., Bowles, J., Belk, M. & Pitsillides, A., 6 Jun 2019, ACM UMAP 2019 Adjunct - Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization. New York: Association for Computing Machinery, Inc, p. 213-214 2 p.

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

  10. Published

    Substitutes for the non-existent square lattice designs for 36 varieties (Extended Abstract)

    Bailey, R. A. & Cameron, P. J., 1 Apr 2019, Biuletyn Oceny Odmian. Gacek, E. (ed.). Słupia Wielka, Vol. 35. p. 11-13 3 p.

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

  11. Published

    Towards Improving Solution Dominance with Incomparability Conditions: A case-study using Generator Itemset Mining

    Kocak, G., Akgün, Ö., Miguel, I. & Guns, T., 30 Sep 2019, The 18th workshop on Constraint Modelling and Reformulation (ModRef 2019), Proceedings. 14 p.

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

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

ID: 1395

Top