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

    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

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

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

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

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

  10. 2018
  11. Published

    A framework for constraint based local search using ESSENCE

    Akgun, O., Attieh, S. W. A., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W., Salamon, A. Z., Spracklen, P. & Wetter, J. P., 13 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 1242-1248 7 p.

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

  12. Published

    Automatic discovery and exploitation of promising subproblems for tabulation

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W. & Salamon, A. Z., 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Springer, p. 3-12 (Lecture Notes in Computer Science; vol. 11008).

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

Previous 1 2 3 4 5 Next

ID: 1395

Top