Skip to content

Research at St Andrews

Advanced search

Search for research publications

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

  3. E-pub ahead of print

    A reference architecture and model for sensor data warehousing

    Dobson, S. A., Golfarelli, M., Graziani, S. & Rizzi, S. 31 Jul 2018 In : IEEE Sensors Journal. Early Access, 12 p.

    Research output: Contribution to journalArticle

  4. E-pub ahead of print

    A review of literature on parallel constraint solving

    Gent, I. P., Miguel, I. J., Nightingale, P. W., McCreesh, C., Prosser, P., Moore, N. & Unsworth, C. 2 Aug 2018 In : Theory and Practice of Logic Programming. First View, 34 p.

    Research output: Contribution to journalArticle

  5. Published
  6. Published

    AdaM: adapting multi-user interfaces for collaborative environments in real-time

    Park, S., Gebhardt, C., Rädle, R., Feit, A., Vrzakova, H., Dayama, N., Yeo, H. S., Klokmose, C., Quigley, A. J., Oulasvirta, A. & Hilliges, O. 21 Apr 2018 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems (CHI'18). New York, NY: ACM, 14 p. 184

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

  7. Published

    Addressing challenges in assessing Human-Computer Interaction at scale

    Wilde, A. G. & Snow, S. 12 Jan 2018

    Research output: Contribution to conferenceOther

  8. E-pub ahead of print

    Algorithms for experimenting with Zariski dense subgroups

    Detinko, A., Flannery, D. & Hulpke, A. 4 Jun 2018 In : Experimental Mathematics. Latest Articles, 10 p.

    Research output: Contribution to journalArticle

  9. Published
  10. E-pub ahead of print

    Analyticity, balance and non-admissibility of Cut in Stoic Logic

    Bobzien, S. & Dyckhoff, R. 20 Apr 2018 In : Studia Logica. First Online, 23 p.

    Research output: Contribution to journalArticle

  11. Published

    Automated data gathering and training tool for personalized "Itchy Nose"

    lee, J. U., Yeo, H. S., Starner, T., Quigley, A. J., Kunze, K. A. & Woo, W. O. 7 Feb 2018 AH '18 Proceedings of the 9th Augmented Human International Conference. New York: ACM, 3 p. 43

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

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