Discovery - University of Dundee - Online Publications

Library & Learning Centre

School of Computing

  1. SpaceFibre implementation, test and validation

    Parkes, S., McClements, C., McLaren, D., Martinez, A. M., Florit, A. F. & Villafranca, A. G. 2014 2014 International SpaceWire Conference (SpaceWire), Athens, Greece 22–26th September 2014 : proceedings of the 6th International SpaceWire Conference . Parkes, S. & Carrie, C. (eds.). Dundee, 6 p. 6936245

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

  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. Proof-pattern recognition and lemma discovery in ACL2

    Heras, J., Komendantskaya, K., Johansson, M. & Maclean, E. 2 Dec 2013 Logic for programming, artificial intelligence, and reasoning logic for programming, Artificial Intelligence, and Reasoning: 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings. McMIllan, K., Middledorp, A. & Voronkov, A. (eds.). Berlin: Springer, p. 389-406 18 p. (Lecture Notes in Computer Science; vol. 8312)(Theoretical Computer Science and General Issues)

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

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

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

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

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

Previous 12 3 4 5 6 7 8 9 ...89 Next

Find Research Units in Discovery

Library & Learning Centre

Contact | Accessibility | Policy