Skip to content

Research at St Andrews

Advanced search

Search for research publications

  1. 2019
  2. Published

    A cache-level quality of experience metric to characterize ICNs for adaptive streaming

    Li, W., Fayed, M., Oteafy, S. M. A. & Hassanein, H. S., Feb 2019, In : IEEE Communications Letters. 23, 2, p. 262-265 4 p., 8594670.

    Research output: Contribution to journalArticle

  3. Published

    A comparison of guiding techniques for out-of-view objects in full-coverage displays

    Petford, J., Carson, I., Nacenta, M. & Gutwin, C., 18 Apr 2019, Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems (CHI'19). New York: ACM, 13 p. 58

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

  4. Published

    A discursive question: supporting student-authored multiple choice questions through peer-learning software in non-STEMM disciplines

    Snow, S., Wilde, A., Denny, P. & Schraefel, M. C., Jul 2019, In : British Journal of Educational Technology. 50, 4, p. 1815-1830 17 p., 12686.

    Research output: Contribution to journalArticle

  5. Published

    A framework for automated conflict detection and resolution in medical guidelines

    Bowles, J., Caminati, M. B., Cha, S. & Mendoza, J., 1 Aug 2019, In : Science of Computer Programming. 182, p. 42-63 22 p.

    Research output: Contribution to journalArticle

  6. Published

    A more principled use of the p-value? Not so fast: a critique of Colquhoun's argument

    Arandelović, O., 15 May 2019, In : Royal Society Open Science. 6, 5, 5 p., 181519.

    Research output: Contribution to journalArticle

  7. Published

    A novel method to prevent phishing by using OCR technology

    Wang, Y. & Duncan, I. M. M., 5 Jun 2019. 5 p.

    Research output: Contribution to conferencePaper

  8. Forthcoming
  9. 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 journalArticle

  10. Forthcoming

    Augmented sports for learning using wearable head-worn and wrist-worn devices

    Yeo, H. S., Koike, H. & Quigley, A. J., 24 Mar 2019, (Accepted/In press) The First IEEE VR Workshop on Human Augmentation and Its Applications. IEEE Computer Society

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

  11. Published

    Automating Event-B invariant proofs by rippling and proof patching

    Lin, Y., Bundy, A., Grov, G. & Maclean, E., Feb 2019, In : Formal Aspects of Computing. 31, 1, p. 95-129 35 p.

    Research output: Contribution to journalArticle

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