Skip to content

Research at St Andrews

University > Research portal > Research publications

Advanced search

Search for research publications

1 - 10 out of 2,310Page size: 10
  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 proceeding › Conference 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 journal › Article

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

  5. Published

    A survey and taxonomy of resource optimisation for executing Bag-of-Task applications on public clouds

    Thai, L., Varghese, B. & Barker, A. May 2018 In : Future Generation Computer Systems. 82, p. 1-11

    Research output: Contribution to journal › Article

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

  7. Published

    Addressing challenges in assessing Human-Computer Interaction at scale

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

    Research output: Contribution to conference › Other

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

  9. Published

    An Academic’s Observations from a Sabbatical at Google

    Barker, A. D. 2018 In : Communications of the ACM.

    Research output: Contribution to journal › Article

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

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

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