Discovery - University of Dundee - Online Publications

Library & Learning Centre

School of Computing

31 - 40 out of 813Page size: 10
Sort by: Publication year
  1. Recycling Proof Patterns in Coq: Case Studies

    Heras, J. & Komendantskaya, E. 2014 In : Mathematics in Computer Science. 8, 1, p. 99-116 18 p.

    Research output: Contribution to journalArticle

  2. The usability of text entry systems now and in the future

    Clawson, J., Brewster, S. A., Dunlop, M. D., Kristensson, P. O., Isokoski, P. M., Oulasvirta, A., Vertanen, K. & Waller, A. 2014 CHI EA '14 CHI '14 Extended Abstracts on Human Factors in Computing Systems . New York: Association for Computing Machinery, p. 1139-1142 4 p.

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

  3. What's on your mind?: investigating recommendations for inclusive social networking and older adults

    Norval, C., Arnott, J. L. & Hanson, V. L. 2014 CHI '14: : Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery, p. 3923-3932 10 p.

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

  4. Accurate estimation of retinal vessel width using bagged decision trees and an extended multiresolution Hermite model

    Lupaşcu, C. A., Tegolo, D. & Trucco, E. 1 Dec 2013 In : Medical Image Analysis. 17, 8, p. 1164-1180 17 p.

    Research output: Contribution to journalArticle

  5. Computing persistent homology within Coq/SSReflect

    Heras, J., Coquand, T., Mörtberg, A. & Siles, V. 1 Nov 2013 In : ACM Transactions on Computational Logic. 14, 4, 26

    Research output: Contribution to journalArticle

  6. Involving clinical staff in the design of a support tool to improve dental communication for patients with intellectual disabilities

    Menzies, R., Herron, D., Scott, L., Freeman, R. & Waller, A. 22 Oct 2013 ASSETS '13: proceedings of the 15th International ACM SIGACCESS Conference on Computers and Accessibility . New York: Association for Computing Machinery, 2 p.

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

  7. Achromatic number of collections of paths and cycles

    Edwards, K. J. 6 Oct 2013 In : Discrete Mathematics. 313, 19, p. 1856–1860 5 p.

    Research output: Contribution to journalArticle

  8. Classification and immunohistochemical scoring of breast tissue microarray spots

    Amaral, T., McKenna, S. J., Robertson, K. & Thompson, A. Oct 2013 In : IEEE Transactions on Biomedical Engineering. 60, 10, p. 2806-2814 9 p.

    Research output: Contribution to journalArticle

  9. Implementing the argument web

    Bex, F., Lawrence, J., Snaith, M. & Reed, C. Oct 2013 In : Communications of the ACM. 56, 10, p. 66-73 8 p.

    Research output: Contribution to journalArticle

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

Find Research Units in Discovery

Library & Learning Centre

Contact | Accessibility | Policy