Discovery - University of Dundee - Online Publications

Library & Learning Centre

School of Computing

1 - 100 out of 808Page size: 100
Sort by: Publication year
  1. A new tool to support communication between dentist and patients with intellectual and communication disabilities

    Herron, D., Menzies, R., Waller, A., Black, R., Quinn, S., Freeman, R., Zhou, Y., Humphris, G. M., Scott, L. & Elliot, G. 22 Jul 2014

    Research output: Contribution to conferencePoster

  2. Accurate and reliable segmentation of the optic disc in digital fundus images

    Giachetti, A., Ballerini, L. & Trucco, E. 14 Jul 2014 In : Journal of Medical Imaging. 1, 2, 11 p.024001

    Research output: Contribution to journalArticle

  3. Automatic generation of synthetic retinal fundus images

    Fiorini, S., Ballerini, L., Trucco, E. & Ruggeri, A. 10 Jul 2014

    Research output: Contribution to conferencePaper

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

    Clawson, J., Brewster, S., Dunlop, M., Kristensson, P. O., Isokoski, P., Oulasvirta, A., Vertanen, K. & Waller, A. 30 Apr 2014

    Research output: Contribution to conferencePaper

  5. B#: chord-based correction for multitouch braille input

    Nicolau, H., Montague, K., Guerreiro, T., Guerreiro, J. & Hanson, V. L. 29 Apr 2014

    Research output: Contribution to conferencePaper

  6. Exploiting parallelism in coalgebraic logic programming

    Komendantskaya, E., Schmidt, M. & Heras, J. 28 Mar 2014 In : Electronic Notes in Theoretical Computer Science. 303, p. 121-148 28 p.ENTCS18421

    Research output: Contribution to journalArticle

  7. Near real-time processing of proteomics data using Hadoop.

    Hillman, C., Ahmad, Y., Whitehorn, M. & Cobley, A. 14 Mar 2014 In : Big Data. 2, 1, p. 44-49 5 p.

    Research output: Contribution to journalArticle

  8. MRI of thiel-embalmed human cadavers

    Gueorguieva, M. J., Yeo, D. T. B., Eisma, R. & Melzer, A. Mar 2014 In : Journal of Magnetic Resonance Imaging. 39, 3, p. 576-583 8 p.

    Research output: Contribution to journalArticle

  9. Paper-based and web-based Intervention modelling experiments identified the same predictors of general practitioner antibiotic prescribing behavior

    Treweek, S., Bonetti, D., MacLennan, G., Barnett, K., Eccles, M. P., Jones, C., Pitts, N. B., Ricketts, I. W., Sullivan, F., Weal, M. & Francis, J. J. Mar 2014 In : Journal of Clinical Epidemiology. 67, 3, p. 296-304 9 p.

    Research output: Contribution to journalArticle

  10. Preface: from pragmatics and dialectics to argument studies

    Budzynska, K., van Eemeren, F. H. & Koszowy, M. Mar 2014 In : Studies in Logic, Grammar and Rhetoric. 36, 1, p. 7-22 16 p.

    Research output: Contribution to journalArticle

  11. Objects, actions, places

    McKenna, S. J., Hoey, J. & Trucco, E. Feb 2014 In : International Journal of Computer Vision. 106, 3, p. 235-236 2 p.

    Research output: Contribution to journalArticle

  12. Charting-based subspace learning for video-based human action classification

    John, V. & Trucco, E. Jan 2014 In : Machine Vision and Applications. 25, 1, p. 119-132 14 p.

    Research output: Contribution to journalArticle

  13. Dynamic 3D shape of the plantar surface of the foot using coded structured light: a technical report

    Thabet, A. K., Trucco, E., Salvi, J., Wang, W. & Abboud, R. J. Jan 2014 In : Journal of Foot and Ankle Research. 7, 5

    Research output: Contribution to journalArticle

  14. Lattice estimation from images of patterns that exhibit translational symmetry

    Han, J. & McKenna, S. J. Jan 2014 In : Image and Vision Computing. 32, 1, p. 64-73 10 p.

    Research output: Contribution to journalArticle

  15. A core quantitative coeffect calculus

    Brunel, A., Gaboardi, M., Mazza, D. & Zdancewic, S. 2014 Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Shao, Z. (ed.). p. 351-370 20 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  16. ArguBlogging: an application for the Argument Web

    Bex, F., Snaith, M., Lawrence, J. & Reed, C. 2014 In : Journal of Web Semantics. 25, March, p. 9-15 7 p.

    Research output: Contribution to journalArticle

  17. Arterial tree tracking from anatomical landmarks in magnetic resonance angiography scans

    O'Neil, A., Beveridge, E., Houston, G., McCormick, L. & Poole, I. 2014 Medical Imaging 2014: Image Processing. Ourselin, S. & Styner, M. A. (eds.). SPIE-International Society for Optical Engineering, (Proceedings of SPIE).

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

  18. Arterial tree tracking from anatomical landmarks in magnetic resonance angiography scans

    O'Neil, A., Beveridge, E., Houston, G., McCormick, L. & Poole, I. 2014

    Research output: Contribution to conferencePoster

  19. Assisting older adults in assessing the reliability of health-related websites

    Stewart, C. D., Hanson, V. L. & Nind, T. H. J. 2014 CHI EA '14 CHI '14 Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 2611-2616 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  20. Automatic generation of synthetic retinal fundus images

    Fiorini, S., Ballerini, L., Trucco, E. & Ruggeri, A. 2014 Medical Image Understanding and Analysis 2014: Proceedings of the 18th Conference on Medical Image Understanding and Analysis. Reyes-Aldasoro, C. C. & Slabaugh, G. (eds.). London: BMVA Press, p. 7-12 6 p.

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

  21. B#: chord-based correction for multitouch braille input

    Nicolau, H., Montague, K., Guerreiro, T., Guerreiro, J. & Hanson, V. L. 2014 CHI '14 : Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery, p. 1705-1708 4 p.

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

  22. Coalgebraic logic programming: from semantics to implementation

    Komendantskaya, E., Power, J. & Schmidt, M. 2014 In : Journal of Logic and Computation. 39 p.

    Research output: Contribution to journalArticle

  23. Gait based gender recognition using sparse spatio temporal features

    Collins, M., Miller, P. & Zhang, J. 2014 MultiMedia Modeling: Proceedings. Gurrin, C., Hopfgartner, F., Hurst, W., Johansen, H., Lee, H. & O’Connor, N. (eds.). Springer, Vol. 2, p. 80-91 12 p. (Lecture notes in computer science).

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

  24. Gait based gender recognition using sparse spatio temporal features

    Collins, M., Miller, P. & Zhang, J. 2014

    Research output: Contribution to conferencePaper

  25. I'd tap that! providing real time feedback on roller derby skills

    Stewart, C. D., Traitor, P. & Hanson, V. L. 2014 CHI EA '14 CHI '14 Extended Abstracts on Human Factors in Computing Systems. Association for Computing Machinery, p. 2221-2226 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  27. The RNA helicase/transcriptional co-regulator, p68 (DDX5), stimulates expression of oncogenic protein kinase, Polo-like kinase-1 (PLK1), and is associated with elevated PLK1 levels in human breast cancers

    Iyer, R. S., Nicol, S. M., Quinlan, P. R., Thompson, A. M., Meek, D. W. & Fuller-Pace, F. V. 2014 In : Cell Cycle. 13, 9, p. 1413-1423 11 p.

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

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

  36. The star formation history of the solar neighbourhood from the white dwarf luminosity function

    Rowell, N. 11 Sep 2013 In : Monthly Notices of the Royal Astronomical Society. 434, 2, p. 1549-1564 16 p.

    Research output: Contribution to journalArticle

  37. Speech and language processing as assistive technologies

    McCoy, K. F., Arnott, J. L., Ferres, L., Fried-Oken, M. & Roark, B. Sep 2013 In : Computer Speech and Language. 27, 6, p. 1143-1146 4 p.

    Research output: Contribution to journalArticle

  38. Towards the improvement of augmentative and alternative communication through the modelling of conversation

    Arnott, J. L. & Alm, N. Sep 2013 In : Computer Speech and Language. 27, 6, p. 1194-1211 18 p.

    Research output: Contribution to journalArticle

  39. Retinal vessel segmentation using multiwavelet kernels and multiscale hierarchical decomposition

    Wang, Y., Ji, G., Lin, P. & Trucco, E. Aug 2013 In : Pattern Recognition. 46, 8, p. 2117-2133 17 p.

    Research output: Contribution to journalArticle

  40. Height estimation of urban buildings using angle consistency of borderlines of roofs

    Xu, W., Zhang, J., Xu, H. & Zhang, M. 18 Jul 2013

    Research output: Contribution to conferencePoster

  41. Automatic fovea location in retinal images using anatomical priors and vessel density

    Chin, K. S., Trucco, E., Tan, L. & Wilson, P. J. 15 Jul 2013 In : Pattern Recognition Letters. 34, 10, p. 1152-1158 7 p.

    Research output: Contribution to journalArticle

  42. Validating retinal fundus image analysis algorithms: issues and a proposal

    Trucco, E., Ruggeri, A., Karnowski, T., Giancardo, L., Chaum, E., Hubschman, J. P., al-Diri, B., Cheung, C. Y., Wong, D., Abramoff, M., Lim, G., Kumar, D., Burlina, P., Bressler, N. M., Jelinek, H. F., Meriaudeau, F., Quellec, G., MacGillivray, T. & Dhillon, B. 24 May 2013 In : Investigative Ophthalmology & Visual Science. 54, 5, p. 3546-3559 14 p.

    Research output: Contribution to journalArticle

  43. Telecare usage scenarios explored using a dolls’ house

    Hine, N. & Arnott, J. 27 Apr 2013

    Research output: Contribution to conferencePaper

  44. Classification of colorectal polyp regions in optical projection tomography

    Li, W., Zhang, J., McKenna, S., Coats, M. & Carey, F. 9 Apr 2013

    Research output: Contribution to conferencePaper

  45. Progress on website accessibility?

    Hanson, V. L. & Richards, J. T. Mar 2013 In : ACM Transactions on the Web. 7, 1, 2

    Research output: Contribution to journalArticle

  46. Towards inclusive digital television

    Springett, M., Rice, M. & Griffiths, R. Mar 2013 In : Universal Access in the Information Society. 12, 1, p. 1-3 3 p.

    Research output: Contribution to journalArticle

  47. Combining embedded accelerometers with computer vision for recognizing food preparation activities

    Stein, S. & McKenna, S. J. 1 Jan 2013 UbiComp 2013 - Proceedings of the 2013 ACM International Joint Conference on Pervasive and Ubiquitous Computing. p. 729-738 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  48. SPRWeb: preserving subjective responses to website colour schemes through automatic recolouring

    Flatla, D. R., Reinecke, K., Gutwin, C. & Gajos, K. Z. 1 Jan 2013 CHI '13: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery, p. 2069-2078 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  49. User-adaptive models for recognizing food preparation activities

    Stein, S. & McKenna, S. J. 1 Jan 2013 CEA 2013 - Proceedings of the 5th International Workshop on Multimedia for Cooking and Eating Activities. p. 39-44 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  50. An exploratory study examining the appropriateness and potential benefit of the nintendo wii as a physical activity tool in adults aged ≥ 55 years

    Kirk, A., MacMillan, F., Rice, M. & Carmichael, A. Jan 2013 In : Interacting with Computers. 25, 1, p. 102-114 13 p.

    Research output: Contribution to journalArticle

  51. "Pattern Recognition" special issue: sparse representation for event recognition in video surveillance

    Zhou, H., Zhang, J., Wang, L., Zhang, Z. & Brown, L. M. 2013 In : Pattern Recognition. 46, 7, p. 1748-1749 2 p.

    Research output: Contribution to journalEditorial

  52. A virtual test environment for validating spacecraft optical navigation

    Parkes, S. M., Martin, I., Dunstan, M. N., Rowell, N., Dubois-Matra, O. & Voirin, T. 2013 In : Aeronautical Journal. 117, 1197, p. 1075-1101 27 p.

    Research output: Contribution to journalArticle

  53. ACCESS: a technical framework for adaptive accessibility support

    Heron, M., Hanson, V. L. & Ricketts, I. W. 2013 EICS '13 : Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. New York: Association for Computing Machinery, p. 33-42 10 p.

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

  54. ACCESS: a technical framework for adaptive accessibility support

    Heron, M., Hanson, V. L. & Ricketts, I. W. 2013

    Research output: Contribution to conferencePaper

  55. Accessibility support for older adults with the ACCESS Framework

    Heron, M., Hanson, V. L. & Ricketts, I. W. 2013 In : International Journal of Human-Computer Interaction. 29, 11, p. 702-716 15 p.

    Research output: Contribution to journalArticle

  56. Angle consistency for registration between catadioptric omni-images and orthorectified aerial images

    Xu, W., Chen, W., Zhang, J. & Zhang, M. 2013 In : IET Image Processing. 7, 4, p. 343-354 12 p.

    Research output: Contribution to journalArticle

  57. Chronicles: supporting conversational narrative in alternative and augmentative communication

    Waller, A., Menzies, R., Herron, D., Prior, S., Black, R. & Kroll, T. 2013 Human-Computer Interaction INTERACT 2013 : 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II. Kotzé, P., Marsden, G., Lindgaard, G., Wesson, J. & Winckler, M. (eds.). Heidelberg: Springer, p. 364-371 8 p. (Lecture Notes in Computer Science).

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

  58. Classification of colorectal polyp regions in optical projection tomography

    Li, W., Zhang, J., McKenna, S. J., Coats, M. & Carey, F. A. 2013 ISBI 2013: 2013 IEEE 10th International Symposium on Biomedical Imaging: From Nano to Macro - Proceedings. Piscataway, N.J.: IEEE, p. 736-739 4 p.

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

  59. Color correction for optical see-through displays using display color profiles

    Sridharan, S., Hincapié-Ramos, J. D., Flatla, D. R. & Irani, P. 2013 VRST '13 : Proceedings of the 19th ACM Symposium on Virtual Reality Software and Technology . New York: Association for Computing Machinery, p. 231-240 10 p.

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

  60. Current issues and future directions in methods for studying technology in the home

    Coughlan, T., Mackley, K. L., Brown, M., Martindale, S., Schlögl, S., Mallaband, B., Arnott, J., Hoonhout, J., Szostak, D., Brewer, R., Poole, E., Pirhonen, A., Mitchell, V., Pink, S. & Hine, N. 2013 In : PsychNology Journal. 11, 2, p. 159-184 26 p.

    Research output: Contribution to journalArticle

  61. Demonstrating SerenA: chance encounters in the space of ideas

    Forth, J., Giannimaras, A., Wiggins, G. A., Stewart, R., Bental, D., Aylett, R., Maxwell, D., Mehrpouya, H., Shek, J. & Woods, M. 2013 Advances on Practical Applications of Agents and Multi-Agent Systems: 11th International Conference Proceedings. Demazeau, Y., Ishida, T., Corchado, J. M. & Bajo, J. (eds.). Berlin: Springer, p. 275-278 4 p. (Lecture notes in computer science).

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

  62. Demonstrating SerenA: chance encounters in the space of ideas

    Forth, J., Giannimaras, A., Wiggins, G. A., Stewart, R., Bental, D., Aylett, R., Maxwell, D., Mehrpouya, H., Shek, J. & Woods, M. 2013

    Research output: Contribution to conferencePaper

  63. 'Digital motherhood': how does technology support new mothers

    Gibson, L. & Hanson, V. L. 2013 CHI '13: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery, p. 313-322 10 p.

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

  64. Frequency of nursing tasks in medical and surgical wards

    Farquharson, B., Bell, C., Johnston, D., Jones, M., Schofield, P., Allan, J., Ricketts, I., Morrison, K. & Johnston, M. 2013 In : Journal of Nursing Management.

    Research output: Contribution to journalArticle

  65. From formalin to thiel embalming: What changes? One anatomy department's experiences

    Eisma, R., Lamb, C. & Soames, R. W. 2013 In : Clinical Anatomy. 26, 5, p. 564-571 8 p.

    Research output: Contribution to journalArticle

  66. Gender classification via lips: Static and dynamic features

    Stewart, D., Pass, A. & Zhang, J. 2013 In : IET Biometrics. 2, 1, p. 28-34 7 p.

    Research output: Contribution to journalArticle

  67. Grand challenges in text entry

    Kristensson, P. O., Brewster, S., Clawson, J., Dunlop, M., Findlater, L., Isokoski, P., Martin, B., Oulasvirta, A., Vertanen, K. & Waller, A. 2013 CHI '13 : 2013 ACM SIGCHI Conference on Human Factors in Computing Systems. New York: Association for Computing Machinery, p. 3315-3318 4 p.

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

  68. Harmonious chromatic number of directed graphs

    Edwards, K. J. 2013 In : Discrete Applied Mathematics. 161, 3, p. 369-376 8 p.

    Research output: Contribution to journalArticle

  69. Height estimation of urban buildings using angle consistency of borderlines of roofs

    Xu, W., Zhang, J., Xu, H. & Zhang, M. 2013 2013 IEEE International Conference on Multimedia and Expo Workshops (ICMEW 2013): Proceedings. Piscataway, NJ.: IEEE, 3 p.

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

  70. Image processing for near earth object optical guidance systems

    Rowell, N., Parkes, S. & Dunstan, M. 2013 In : IEEE Transactions on Aerospace and Electronic Systems. 49, 2, p. 1057-1072 16 p.

    Research output: Contribution to journalArticle

  71. Immunohistochemical analysis of breast tissue microarray images using contextual classifiers

    McKenna, S. J., Amaral, T., Akbar, S., Jordan, L. & Thompson, A. 2013 In : Journal of Pathology Informatics. 4, Suppl, p. S13 1 p.

    Research output: Contribution to journalArticle

  72. Industry-inspired guidelines improve students' pair programming communication

    Zarb, M., Hughes, J. & Richards, J. 2013 Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE. p. 135-140 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  73. Learning from partially annotated OPT images by contextual relevance ranking

    Li, W., Zhang, J., Zheng, W-S., Coats, M., Carey, F. A. & McKenna, S. J. 2013 Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013: Proceedings. Mori , K., Sakuma, I., Sato, Y., Barillot, C. & Navab, N. (eds.). Berlin: Springer, Vol. 3, p. 429-436 8 p. (Lecture notes in computer science ).

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

  74. Learning from partially annotated OPT images by contextual relevance ranking

    Li, W., Zhang, J., Zheng, W-S., Coats, M., Carey, F. A. & McKenna, S. J. 2013

    Research output: Contribution to conferencePoster

  75. Learning from partially annotated OPT images by contextual relevance ranking

    Li, W., Zhang, J., Zheng, W-S., Coats, M., Carey, F. A. & McKenna, S. J. 2013 Medical Image Computing and Computer-Assisted Intervention - MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part III. Mori, K., Sakuma, I., Sato, Y., Barillot, C. & Navab, N. (eds.). Berlin: Springer, Vol. 8151, p. 429-436 (Lecture Notes in Computer Science).

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

  76. Machine learning in Proof General: interfacing interfaces

    Komendantskaya, E., Heras, J. & Grov, G. 2013 In : Electronic Proceedings in Theoretical Computer Science. 118, p. 15-41 26 p.

    Research output: Contribution to journalArticle

  77. ML4PG in computer algebra verification

    Heras, J. & Komendantskaya, E. 2013 Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall , D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Berlin: Springer, p. 354-358 5 p. (Lecture notes in computer science).

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

  78. ML4PG in computer algebra verification

    Heras, J. & Komendantskaya, E. 2013

    Research output: Contribution to conferenceOther

  79. My diabetes my way: an electronic personal health record for diabetes

    Cunningham, S. G., Wake, D. J., Waller, A., Morris, A. D. & Walker, J. 2013 In : British Journal of Diabetes and Vascular Disease. 13, 3, p. 143-149 7 p.

    Research output: Contribution to journalArticle

  80. Novel VAMPIRE algorithms for quantitative analysis of the retinal vasculature

    Trucco, E., Ballerini, L., Relan, D., Giachetti, A., MacGillivray, T., Zutis, K., Lupascu, C., Tegolo, D., Pellegrini, E., Robertson, G., Wilson, P. J., Doney, A. & Dhillon, B. 2013 Biosignals and Biorobotics Conference (BRC), 2013 ISSNIP . IEEE, p. 1-4 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  81. Nursing stress and patient care: real-time investigation of the effect of nursing tasks and demands on psychological stress, physiological stress, and job performance: study protocol

    Farquharson, B., Bell, C., Johnston, D., Jones, M., Schofield, P., Allan, J., Ricketts, I., Morrison, K. & Johnston, M. 2013 In : Journal of Advanced Nursing.

    Research output: Contribution to journalArticle

  82. Proving Propositional Tautologies in a Natural Dialogue

    Yaskorska, O., Budzynska, K. & Kacprzak, M. 2013 In : Fundamenta Informaticae. 126, 1-2, p. 239-253 15 p.

    Research output: Contribution to journalArticle

  83. Reasoning about dialogical strategies

    Kacprzak, M. & Budzynska, . K. 2013 Knowledge Engineering, Machine Learning and Lattice Computing with Applications: 16th International Conference, KES 2012, San Sebastian, Spain, September 10-12, 2012, Revised Selected Papers. Grana, M., Toro, C., Howlett, R. J. & Jain, L. C. (eds.). Berlin: Springer, Vol. 7728, p. 171-184 14 p. (Lecture Notes In Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  84. Retinal vessel classification: sorting arteries and veins

    Relan, D., MacGillivray, T., Ballerini, L. & Trucco, E. 2013 Proceedings of the 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS. IEEE, p. 7396-7399 4 p.

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

  85. Spline-based refinement of vessel contours in fundus retinal images for width estimation

    Cavinato, A., Ballerini, L., Trucco, E. & Grisan, E. 2013 Proceedings of the 2013 IEEE 10th International Symposium on Biomedical Imaging (ISBI 2013)): from nano to macro. IEEE, p. 872-875 4 p.

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

  86. The business of digital storytelling: augmenting information systems with QR codes

    Burke, M. E., O'Callaghan, S. & Quigley, M. 2013 In : Journal of Systems and Information Technology. 15, 4, p. 347-367 21 p.

    Research output: Contribution to journalArticle

  87. The use of radial symmetry to localize retinal landmarks

    Giachetti, A., Ballerini, L., Trucco, E. & Wilson, P. J. 2013 In : Computerized Medical Imaging and Graphics. 37, 5-6, p. 369-376 8 p.

    Research output: Contribution to journalArticle

  88. Towards a multi-site international public dataset for the validation of retinal image analysis software

    Trucco, E. & Ruggeri, A. 2013 Proceedings of the 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS. p. 7152-7155 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  89. Towards automatic detection of abnormal retinal capillaries in ultra-widefield-of-view retinal angiographic exams

    Zutis, K., Trucco, E., Hubschman, J. P., Reed, D., Shah, S. & Van Hemert, J. 2013 Proceedings of the 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS. p. 7372-7375 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  90. Use of an agile bridge in the development of assistive technology

    Prior, S., Waller, A., Black, R. & Kroll, T. 2013 Conference on Human Factors in Computing Systems - Proceedings: changing Perspectives. New York: Association for Computing Machinery, p. 1579-1588 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  91. Verifying a plaftorm for digital imaging: a multi-tool strategy

    Heras, J., Mata, G., Romero, A., Rubio, J. & Sáenz, R. 2013 Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Berlin: Springer, p. 66-81 16 p. (Lecture notes in computer science).

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

  92. Verifying a plaftorm for digital imaging: a multi-tool strategy

    Heras, J., Mata, G., Romero, A., Rubio, J. & Sáenz, R. 2013

    Research output: Contribution to conferencePaper

  93. Can text messages reach the parts other process measures cannot reach: an evaluation of a behavior change intervention delivered by mobile phone?

    Irvine, L., Falconer, D. W., Jones, C., Ricketts, I. W., Williams, B. & Crombie, I. K. 26 Dec 2012 In : PLoS ONE. 7, 12, p. e52621

    Research output: Contribution to journalArticle

  94. A domain specific language for describing diverse systems of dialogue

    Wells, S. & Reed, C. A. Dec 2012 In : Journal of Applied Logic. 10, 4, p. 309-329 21 p.

    Research output: Contribution to journalArticle

  95. Linear dependent types and relative completeness

    Lago, U. D. & Gaboardi, M. 23 Oct 2012 In : Logical Methods in Computer Science. 8, 4, 11

    Research output: Contribution to journalArticle

Previous 1 2 3 4 5 6 7 8 9 Next

Find Research Units in Discovery

Library & Learning Centre

Contact | Accessibility | Policy