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. Loss-of-function mutations in CAST cause peeling skin, leukonychia, acral punctate keratoses, cheilitis, and knuckle pads

    Zhang, J. & 21 others Lin, Z., Zhao, J., Nitoiu, D., Scott, C. A., Plagnol, V., Smith, F. J. D., Wilson, N. J., Cole, C., Schwartz, M. E., McLean, W. H. I., Wang, H., Feng, C., Duo, L., Zhou, E. Y., Ren, Y., Dai, L., Chen, Y., Xu, X., O'Toole, E. A., Kelsell, D. P. & Yang, Y. 5 Mar 2015 In : American Journal of Human Genetics. 96, 3, p. 440-447 8 p.

    Research output: Contribution to journalArticle

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

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

Find Research Units in Discovery

Library & Learning Centre

Contact | Accessibility | Policy