Discovery - University of Dundee - Online Publications

Library & Learning Centre

School of Computing

  1. Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)

    Raggi, D., Bundy, A., Grov, G. & Pease, A. 18 Jul 2016 In : Mathematics in Computer Science. p. 1-29 29 p.

    Research output: Contribution to journalArticle

  2. Leveraging multiscale hessian-based enhancement with a novel exudate inpainting technique for retinal vessel segmentation

    Annunziata, R., Garzelli, A., Ballerini, L., Mecocci, A. & Trucco, E. Jul 2016 In : IEEE Journal of Biomedical and Health Informatics. 20, 4, p. 1129-1138 10 p.

    Research output: Contribution to journalArticle

  3. The Video Interaction Guidance approach applied to teaching communication skills in dentistry

    Quinn, S., Herron, D., Menzies, R., Scott, L., Black, R., Zhou, Y., Waller, A., Humphris, G. & Freeman, R. May 2016 In : European Journal of Dental Education. 20, 2, p. 94-101 8 p.

    Research output: Contribution to journalArticle

  4. Coalgebraic logic programming: from semantics to implementation

    Komendantskaya, E., Power, J. & Schmidt, M. Apr 2016 In : Journal of Logic and Computation. 26, 2, p. 745-783 39 p.

    Research output: Contribution to journalArticle

  5. Stressors, Appraisal of Stressors, Experienced Stress and Cardiac Response: A Real-Time, Real-Life Investigation of Work Stress in Nurses

    Johnston, D., Bell, C., Jones, M., Farquharson, B., Allan, J., Schofield, P., Ricketts, I. & Johnston, M. Apr 2016 In : Annals of Behavioral Medicine. 50, 2, p. 187-197 11 p.

    Research output: Contribution to journalArticle

  6. An automated pattern recognition system for classifying indirect immunofluorescence images for HEp-2 cells and specimens

    Manivannan, S., Li, W., Akbar, S., Wang, R., Zhang, J. & McKenna, S. J. Mar 2016 In : Pattern Recognition. 51, p. 12-26 15 p.

    Research output: Contribution to journalArticle

  7. The role of digital technologies during relationship breakdowns

    Moncur, W., Gibson, L. & Herron, D. 27 Feb 2016 Proceedings of the 2016 conference on Computer Supported Cooperative Work: Proc. CSCW'16. New York: Association for Computing Machinery, p. 371-382 4 p.

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

  8. The role of digital technologies during relationship breakdowns

    Moncur, W., Gibson, L. & Herron, D. 27 Feb 2016 p. 378-381 4 p.

    Research output: Contribution to conferencePaper

  9. Digital media use in the 2 h before bedtime is associated with sleep variables in university students

    Orzech, K., Grandner, M., Roane, B. & Carskadon, M. Feb 2016 In : Computers in Human Behavior. 55, Part A, p. 43-50 8 p.

    Research output: Contribution to journalArticle

  10. Retinal vessel classification based on maximization of squared-loss mutual information

    Relan, D., Ballerini, L., Trucco, E. & MacGillivray, T. 2016 Machine intelligence and signal processing. Singh, R., Vatsa, M., Majumdar, A. & Kumar, A. (eds.). New Delhi, p. 77-84 8 p. (Advances in intelligent systems and computing; vol. 390)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  11. Discriminating dysplasia: optical tomographic texture analysis of colorectal polyps

    Li, W., Coats, M., Zhang, J. & McKenna, S. Dec 2015 In : Medical Image Analysis. 26, 1, p. 57-69 13 p.

    Research output: Contribution to journalArticle

  12. Boosting hand-crafted features for curvilinear structure segmentation by learning context filters

    Annunziata, R., Kheirkhah, A., Hamrah, P. & Trucco, E. 18 Nov 2015 Medical Image Computing and Computer-Assisted Intervention – MICCAI 2015: 18th International Conference, Munich, Germany, October 5-9, 2015, Proceedings, Part III. Navab, N., Hornegger, J., Wells , W. M. & Frangi, A. F. (eds.). p. 596-603 8 p. (Lecture notes in computer science ; vol. 9351)

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

  13. Scale and curvature invariant ridge detector for tortuous and fragmented structures

    Annunziata, R., Kheirkhah, A., Hamrah, P. & Trucco, E. 18 Nov 2015 Medical Image Computing and Computer-Assisted Intervention – MICCAI 2015: 18th International Conference, Munich, Germany, October 5-9, 2015, Proceedings, Part III. Navab, N., Hornegger, J., Wells, W. M. & Frangi , A. F. (eds.). p. 588-595 8 p. (Lecture notes in computer science; vol. 9351)

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

  14. Combining efficient hand-crafted features with learned filters for fast and accurate corneal nerve fibre centreline detection

    Annunziata, R., Kheirkhah, A., Hamrah, P. & Trucco, E. 4 Nov 2015 2015 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) . Institute of Electrical and Electronics Engineers, p. 5655-5658 4 p.

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

  15. On bounding space usage of streams using interpretation analysis

    Gaboardi, M. & Péchoux, R. 1 Nov 2015 In : Science of Computer Programming. 111, 3, p. 395-425 31 p.

    Research output: Contribution to journalArticle

  16. Comparing computer-generated and pathologist-generated tumour segmentations for immunohistochemical scoring of breast tissue microarrays

    Akbar, S., Jordan, L. B., Purdie, C. A., Thompson, A. M. & McKenna, S. J. 29 Sep 2015 In : British Journal of Cancer. 113, 7, p. 1075-1080 6 p.

    Research output: Contribution to journalArticle

  17. Cohort comparison study of cardiac disease and atherosclerotic burden in type 2 diabetic adults using whole body cardiovascular magnetic resonance imaging

    Duce, S. L., Weir-McCall, J. R., Gandy, S. J., Matthew, S. Z., Cassidy, D. B., McCormick, L., Rauchhaus, P., Looker, H., Colhoun, H. M. & Houston, J. G. 18 Sep 2015 In : Cardiovascular Diabetology. 14, 11 p., 122

    Research output: Contribution to journalArticle

  18. Experimental Results for Space-Wire-D

    Parkes, S. . S., Gibson, D. & Ferrer, A. 1 Sep 2015 European Space Agency, (Special Publication) ESA SP. European Space Agency, Vol. SP-732

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

  19. Rapid Real-Time Spacewire Emulation

    Mudie, S., Parkes, S. . S. & Dunstan, M. 1 Sep 2015 European Space Agency, (Special Publication) ESA SP. European Space Agency, Vol. SP-732

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

  20. SpaceFibre: The standard, simulation, IP cores and test equipment

    Parkes, S. . S., McClements, C., McLaren, D., Florit, A. F. & Villafranca, A. G. 1 Sep 2015 European Space Agency, (Special Publication) ESA SP. European Space Agency, Vol. SP-732

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

  21. VHiSSI: Experimental spacefibre ASIC

    Villafranca, A. G., Ferrer, A., McLaren, D., McClements, C. & Parkes, S. . S. 1 Sep 2015 European Space Agency, (Special Publication) ESA SP. European Space Agency, Vol. SP-732

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

  22. The establishment of an iPad user group for adults with aphasia

    Black, R., Waller, A., Hunter, L., Hanschell, A., Gasowski, E. & Gowland, H. Sep 2015

    Research output: Contribution to conferenceOther

  23. Algebras and coalgebras in the light affine lambda calculus

    Gaboardi, M. & Péchoux, R. 29 Aug 2015 Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP. Association for Computing Machinery, Vol. 2015-August, p. 114-126 13 p.

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

  24. A General Reduction Theorem with Applications to Pathwidth and the Complexity of MAX 2-CSP

    Edwards, K. & McDermid, E. Aug 2015 In : Algorithmica. 72, 4, p. 940-968 29 p.

    Research output: Contribution to journalArticle

  25. Erratum to: developing technology for autism: an interdisciplinary approach

    Porayska-Pomsta, K., Frauenberger, C., Pain, H., Rajendran, G., Smith, T., Menzies, R., Foster, M. E., Alcorn, A., Wass, S., Bernardini, S., Avramides, K., Keay-Bright, W., Chen, J., Waller, A., Guldberg, K., Good, J. & Lemon, O. Aug 2015 In : Personal and Ubiquitous Computing. 9, 5-6, p. 983 1 p.

    Research output: Contribution to journalArticle

  26. The role of blending in mathematical invention.

    Bou, F., Schorlemmer, M., Corneli, J., Gomez Ramirez, D., Maclean, E., Smaill, A. & Pease, A. Jul 2015 Proceedings of the Sixth International Conference on Computational Creativity, 2015. Association for Computational Creativity, p. 55-62 8 p.

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

  27. Using argumentation to evaluate concept blends in combinatorial creativity

    Confalonieri, R., Corneli, J., Pease, A., Plaza, E. & Schorlemmer, M. Jul 2015 Proceedings of the Sixth International Conference on Computational Creativity, 2015. Association for Computational Creativity, p. 174-181 8 p.

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

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

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

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

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

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

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

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

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

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

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

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

  39. Automatic transformation of raw clinical data into clean data using decision tree learning combining with string similarity algorithm

    Zhang, J. 2015 OpenAccess Series in Informatics. Vol. 49, p. 87-94 8 p.

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

  40. Breaking the communication barrier: guidelines to aid communication within pair programming

    Zarb, M. & Hughes, J. 2015 In : Computer Science Education. 25, 2, p. 120-151 32 p.

    Research output: Contribution to journalArticle

  41. Cross-scenario transfer person re-identification

    Wang, X., Zheng, W-S., Li, X. & Zhang, J. 2015 In : IEEE Transactions on Circuits and Systems for Video Technology. 99, 14 p.

    Research output: Contribution to journalArticle

  42. Data separation of L1-minimization for real-time motion detection

    Liu, Y., Xiao, H., Zhang, Z., Xu, W., Zhang, M. & Zhang, J. 2015 Proceedings of the British Machine Vision Conference (BMVC). Xie, X., Jones, M. W. & Tam, G. K. L. (eds.). BMVA Press, 12 p.

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

  43. Further evaluations of industry-inspired pair programming communication guidelines with undergraduate students

    Zarb, M., Hughes, J. & Richards, J. 2015 SIGCSE '15 : Proceedings of the 46th ACM Technical Symposium on Computer Science Education . New York: Association for Computing Machinery, p. 314-319 6 p.

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

  44. Human action recognition by random features and hand-crafted features: a comparative study

    Shen, H., Zhang, J. & Zhang, H. 2015 Computer Vision - ECCV 2014 Workshops: Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part II. Agapito , L., Bronstein, M. M. & Rother, C. (eds.). p. 14-28 15 p. (Lecture notes in computer science ; vol. 8926)

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

  45. Jointly learning heterogeneous features for RGB-D activity recognition

    Hu, J-F., Zheng, W-S., Lai, J. & Zhang, J. 2015 p. 5344-5352 9 p.

    Research output: Contribution to conferencePaper

  46. Learning discriminative local features from image-level labelled data for colonoscopy image classification

    Manivannan, S. & Trucco, E. 2015 Proceedings - International Symposium on Biomedical Imaging. IEEE Computer Society, Vol. 2015-July, p. 420-423 4 p. 7163901

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

  47. Low rank prior in single patches for non-pointwise impulse noise removal

    Wang, R., Pakleppa, M. & Trucco, E. 2015 In : IEEE Transactions on Image Processing. 24, 5, p. 1485-1496 12 p.

    Research output: Contribution to journalArticle

  48. Multiple instance cancer detection by boosting regularised trees

    Li, W., Zhang, J. & McKenna, S. 2015 Medical Image Computing and Computer-Assisted Intervention (MICCAI 2015): 18th International Conference, Munich, Germany, October 5-9, 2015, Proceedings, Part 1. Navab, N., Hornegger, J., Wells, W. M. & Frangi, A. F. (eds.). Springer , Vol. 9349, p. 645-652 8 p. (Lecture notes in computer science ; vol. 9349)

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

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

Find Research Units in Discovery

Library & Learning Centre

Contact | Accessibility | Policy