Discovery - University of Dundee - Online Publications

Library & Learning Centre

School of Computing

  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. SpaceFibre: adaptive high-speed data-link for future spacecraft onboard data handling

    Parkes, S., McClements, C., McLaren, D., Monera Martinez, A., Ferrer Florit, A. & Villafranca, A. G. 2014 Proceedings of the 2014 NASA/ESA Conference on Adaptive Hardware and Systems. IEEE, p. 164-171 8 p.

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

  3. SpaceFibre demonstrator: demonstration and testing

    Rastetter, P., Helfers, T., Antonakou, A., Dramitinos, G., Papadas, C. & Parkes, S. 2014 2014 International SpaceWire Conference (SpaceWire) Athens, Greece, 22–26th September 2014 : proceedings of the 6th International SpaceWire Conference, SpaceWire 2014. Parkes, S. & Carrie, C. (eds.). Dundee: Space Technology Centre, University of Dundee, 2 p. 6936265

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

  4. 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: Space Technology Centre, University of Dundee, 6 p. 6936245

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

  5. Spoken interaction with broadcast debates

    Medellin, R., Reed, C. & Hanson, V. L. 2014 Computational Models of Argument: Proceedings of COMMA 2014. Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds.). Amsterdam: IOS Press, Vol. 266, p. 51-58 8 p. (Frontiers in Artificial Intelligence and Applications)

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

  6. 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. 2014 In : Journal of Hand Surgery (European Volume). 40, 3, p. 246-249 4 p.

    Research output: Contribution to journalArticle

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

  8. Video-specific SVMs for colonoscopy image classification

    Manivannan, S., Wang, R., Trujillo, M. P., Hoyos, J. A. & Trucco, E. 2014 Computer-assisted and robotic endoscopy: First International Workshop, CARE 2014, held in conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014. Revised selected papers. Luo, X., Reichl , T., Mirota, D. & Soper, T. (eds.). Springer-Verlag, Vol. 8899, p. 11-21 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8899)

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

Previous 1...4 5 6 7 8 9 10 11 ...92 Next

Find Research Units in Discovery

Library & Learning Centre

Contact | Accessibility | Policy