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

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

Find Research Units in Discovery

Library & Learning Centre

Contact | Accessibility | Policy