Discovery - University of Dundee - Online Publications

Library & Learning Centre

School of Computing

  1. Automating change of representation for proofs in discrete mathematics

    Raggi, D., Bundy, A., Grov, G. & Pease, A. 23 Jun 2015 Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 Proceedings. Kerber, M., Carette, J., Kaliszyk, C., Rabe, F. & Sorge, V. (eds.). Springer , Vol. LNAI 9150, p. 227-242 16 p. (Lecture Notes In Computer Science; vol. 9150)

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

  2. Realizability models for a linear dependent PCF

    Brunel, A. & Gaboardi, M. 20 Jun 2015 In : Theoretical Computer Science. 585, p. 55-70 16 p.

    Research output: Contribution to journalArticle

  3. Hydrodynamic stretching for prostate cancer detection

    Belotti, Y., Conneely, M., Palmer, S., Huang, T., Campbell, P. A., McKenna, S., Nabi, G. & McGloin, D. 1 Jun 2015 Bio-MEMS and Medical Microdevices II. van den Driesche, S. (ed.). Bellingham: SPIE-International Society for Optical Engineering, Vol. 9518, 95180H. (Proceedings of SPIE; vol. 9518)

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

  4. Learning person-person interaction in collective activity recognition

    Chang, X., Zheng, W. S. & Zhang, J. Jun 2015 In : IEEE Transactions on Image Processing. 24, 6, p. 1905-1918 14 p., 7055886

    Research output: Contribution to journalArticle

  5. Suitability of UK biobank retinal images for automatic analysis of morphometric properties of the vasculature

    MacGillivray, T. J., Cameron, J. R., Zhang, Q., El-Medany, A., Mulholland, C., Sheng, Z., Dhillon, B., Doubal, F. N., Foster, P. J., Trucco, E., Sudlow, C. & UK Biobank Eye and Vision Consortium 22 May 2015 In : PLoS ONE. 10, 5, 10 p., e0127914

    Research output: Contribution to journalArticle

  6. HoliBraille: Multipoint vibrotactile feedback on mobile devices

    Nicolau, H., Montague, K., Guerreiro, T., Rodrigues, A. & Hanson, V. L. 18 May 2015 W4A 2015 : Proceedings of the 12th Web for All Conference. New York: Association for Computing Machinery, 4 p. 30

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

  7. ColourID: Improving Colour Identification for People with Impaired Colour Vision

    Flatla, D., Andrade, A. R., Teviotdale, R. D., Knowles, D. L. & Stewart, C. 23 Apr 2015 CHI '15 Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3543-3552 10 p.

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

  8. TabLETS get physical: Non-visual text entry on tablet devices

    Guerreiro, J., Rodrigues, A., Montague, K., Guerreiro, T., Nicolau, H. & Gonçalves, D. 18 Apr 2015 Conference on Human Factors in Computing Systems - Proceedings. Association for Computing Machinery, Vol. 2015-April, p. 39-42 4 p.

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

  9. Surgical simulation flexor tendon repair using Thiel cadavers: a comparison with formalin embalmed cadavers and porcine models

    Hassan, S., Eisma, R., Malhas, A., Soames, R. & Harry, L. Mar 2015 In : Journal of Hand Surgery (European Volume). 40E, 3, p. 246-249 4 p.

    Research output: Contribution to journalArticle

  10. An Analysis of User Engagement in Relation to Computing Workshop Activities

    Menzies, R., Crabb, M., Herron, D., Petrie, K., Stewart, C. & Zarb, M. 24 Feb 2015 SIGCSE '15: Proceedings of the 46th ACM Technical Symposium on Computer Science Education . New York: Association for Computing Machinery, p. 469-474 6 p.

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

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

Find Research Units in Discovery

Library & Learning Centre

Contact | Accessibility | Policy