Discovery - University of Dundee - Online Publications

Library & Learning Centre

School of Computing

1 - 500 out of 808Page size: 500
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. A data standard for sourcing fit-for-purpose biological samples in an integrated virtual network of biobanks

    Quinlan, P. R., Mistry, G., Bullbeck, H. & Carter, A. 2014 12, 3, p. 184-191 8 p.

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

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

  25. Gait based gender recognition using sparse spatio temporal features

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

    Research output: Contribution to conferencePaper

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

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

  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

  96. Discovery of invariants through automated theory formation

    Llano, M. T., Ireland, A. & Pease, A. Oct 2012 In : Formal Aspects of Computing. n/a, p. 1-47 47 p.

    Research output: Contribution to journalArticle

  97. Consensus statements for management of Barrett's Dysplasia and early-stage Esophageal Adenocarcinoma, based on a Delphi Process

    Bennett, C. , Vakil, N. , Bergman, J. , Harrison, R. , Odze, R. , Vieth, M. , Sanders, S. , Gay, L. , Pech, O. , Longcroft-Wheaton, G. , Romero, Y. , Inadomi, J. , Tack, J. , Corley, D. A. , Manner, H. , Green, S. , Al Dulaimi, D. , Ali, H. , Allum, B. , Anderson, M. & 72 others Curtis, H., Falk, G., Fennerty, M. B., Fullarton, G., Krishnadath, K., Meltzer, S. J., Armstrong, D., Ganz, R., Cengia, G., Going, J. J., Goldblum, J., Gordon, C., Grabsch, H., Haigh, C., Hongo, M., Johnston, D., Forbes-Young, R., Kay, E., Kaye, P., Lerut, T., Lovat, L. B., Lundell, L., Mairs, P., Shimoda, T., Spechler, S., Sontag, S., Malfertheiner, P., Murray, I., Nanji, M., Poller, D., Ragunath, K., Regula, J., Cestari, R., Shepherd, N., Singh, R., Stein, H. J., Talley, N. J., Galmiche, J-P., Tham, T. C. K., Watson, P., Yerian, L., Rugge, M., Rice, T. W., Hart, J., Gittens, S., Hewin, D., Hochberger, J., Kahrilas, P., Preston, S., Sampliner, R., Sharma, P., Stuart, R., Wang, K., Waxman, I., Abley, C., Loft, D., Penman, I., Shaheen, N. J., Chak, A., Davies, G., Dunn, L., Falck-Ytter, Y., Decaestecker, J., Bhandari, P., Ell, C., Griffin, M., Attwood, S., Barr, H., Allen, J., Ferguson, M. K., Moayyedi, P. & Jankowski, J. A. Z. Aug 2012 In : Gastroenterology. 143, 2, p. 336-346 11 p.

    Research output: Contribution to journalArticle

  98. Education Research: an exploration of case-based learning in neuroscience grand rounds using the Delphi technique

    Rigby, H., Schofield, S., Mann, K. & Benstead, T. Jul 2012 In : Neurology. 79, 3, p. E19-E26 8 p.

    Research output: Contribution to journalArticle

  99. Supporting personal narrative for children with complex communication needs

    Black, R., Waller, A., Turner, R. & Reiter, E. Jul 2012 In : ACM Transactions on Computer-Human Interaction. 19, 2, p. - 35 p.15

    Research output: Contribution to journalArticle

  100. Circularity in ethotic structures

    Budzynska, K. Jun 2012 In : Synthese. n/a, p. 1-23 23 p.

    Research output: Contribution to journalArticle

  101. Improved upper bounds for planarization and series-parallelization of degree-bounded graphs

    Edwards, K. & Farr, G. 31 May 2012 In : Electronic Journal of Combinatorics. 19, 2, 19 p.P25

    Research output: Contribution to journalArticle

  102. An implicit characterization of PSPACE

    Gaboardi, M., Marion, J-Y. & Della Rocca, S. R. Apr 2012 In : ACM Transactions on Computational Logic. 13, 2, 18

    Research output: Contribution to journalArticle

  103. Reports of the AAAI 2011 conference workshops

    Reed, C. & 32 others Agmon, N., Agrawal, V., Aha, D. W., Aloimonos, Y., Buckley, D., Doshi, P., Geib, C., Grasso, F., Green, N., Johnston, B., Williams, M-A., Kaliski, B., Kiekintveld, C., Law, E., Lieberman, H., Mengshoel, O. J., Selker, T., Metzler, T., Modayil, J., Oard, D. W., Onder, N., O'Sullivan, B., Pastra, K., Precup, D., Ramachandran, S., Sariel-Talay, S., Shastri, L., Singh, S., Smith, S. F., Srivastava, S., Sukthankar, G. & Uthus, D. C. 1 Mar 2012 In : AI Magazine. 33, 1, p. 57-70 14 p.

    Research output: Contribution to journalArticle

  104. Human action segmentation and recognition via motion and shape analysis

    Shao, L., Ji, L., Liu, Y. & Zhang, J. Mar 2012 In : Pattern Recognition Letters. 33, 4, p. 438-445 8 p.

    Research output: Contribution to journalArticle

  105. Relevance feedback for real-world human action retrieval

    Jones, S., Shao, L., Zhang, J. & Liu, Y. Mar 2012 In : Pattern Recognition Letters. 33, 4, p. 446-452 7 p.

    Research output: Contribution to journalArticle

  106. Representing users in accessibility research

    Sears, A. & Hanson, V. L. Mar 2012 In : ACM Transactions on Accessible Computing. 4, 2, 7

    Research output: Contribution to journalArticle

  107. 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., Bernadini, S., Avramides, K., Keay-Bright, W., Chen, J., Waller, A., Guldberg, K., Good, J. & Lemon, O. Feb 2012 In : Personal and Ubiquitous Computing. 16, 2, p. 117-127 11 p.

    Research output: Contribution to journalArticle

  108. Accelerometer localization in the view of a stationary camera

    Stein, S. & McKenna, S. 1 Jan 2012 Proceedings of the 2012 9th Conference on Computer and Robot Vision, CRV 2012. p. 109-116 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  109. RERBEE: Robust efficient registration via bifurcations and elongated elements applied to retinal fluorescein angiogram sequences

    Perez-Rovira, A., Cabido, R., Trucco, E., McKenna, S. J. & Hubschman, J. P. Jan 2012 In : IEEE Transactions on Medical Imaging. 31, 1, p. 140-150 11 p.

    Research output: Contribution to journalArticle

  110. A challenge to web accessibility metrics and guidelines: putting people and processes first

    Cooper, M., Sloan, D., Kelly, B. & Lewthwaite, S. 2012 W4A '12: Proceedings of the International Cross-Disciplinary Conference on Web Accessibility . New York: Association for Computing Machinery

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  111. A comparative biomarker study of 514 matched cases of male and female breast cancer reveals gender-specific biological differences

    Shaaban, A. M. , Ball, G. R. , Brannan, R. A. , Cserni, G. , Di Benedetto, A. , Dent, J. , Fulford, L. , Honarpisheh, H. , Jordan, L. , Jones, J. L. , Kanthan, R. , Maraqa, L. , Litwiniuk, M. , Mottolese, M. , Pollock, S. , Provenzano, E. , Quinlan, P. R. , Reall, G. , Shousha, S. , Stephens, M. & 4 others Verghese, E. T., Walker, R. A., Hanby, A. M. & Speirs, V. 2012 In : Breast Cancer Research and Treatment. 133, 3, p. 949-958 10 p.

    Research output: Contribution to journalArticle

  112. A face authentication scheme based on Affine-SIFT (ASIFT) and Structural Similarity (SSIM)

    Wu, L., Zhou, P., Liu, S., Zhang, X. & Trucco, E. 2012 Biometric recognition: 7th Chinese conference, CCBR 2012, Guangzhou, China, December 4-5, 2012 : proceedings. Zheng, W-S. (ed.). Berlin: Springer-Verlag, Vol. 7701 , p. 25-32 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  113. A logic for strategies in persuasion dialogue games

    Kacprzak, M., Budzynska, K. & Yaskorska, O. 2012 Advances in Knowledge-Based and Intelligent Information and Engineering Systems. Grana, M., Toro, C., Posada, J., Howlett, R. J. & Jain, L. C. (eds.). Amsterdam: IOS Press, Vol. 243, p. 98-107 10 p. (Frontiers in Artificial Intelligence and Applications).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  114. Academic integrity policies in a computing education context

    Riedesel, C. P., Cross, G. W., Simon, ., Clear, A. L., Hughes, J. M. & Walker, H. M. 2012 ITiCSE-WGR '12 : Proceedings of the final reports on Innovation and technology in computer science education 2012 working groups. Adams, L. & Ragonis, N. (eds.). New York: Association for Computing Machinery, p. 1-15 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  115. AIFdb: infrastructure for the argument web

    Lawrence, J., Bex, F., Reed, C. & Snaith, M. 2012 Computational models of argument: proceedings of COMMA 2012. Verheij, B., Szeider, S. & Woltran, S. (eds.). Amsterdam: IOS Press, p. 515-516 2 p. (Frontiers in artificial intelligence and applications).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  116. An analysis and hypothesis generation platform for heterogeneous cancer databases

    Quinlan, P. R., Thompson, A. & Reed, C. 2012 Computational models of argument: proceedings of COMMA 2012. Verheij, B., Szeider, S. & Woltran, S. (eds.). Amsterdam: IOS Press, p. 59-70 12 p. (Frontiers in artificial intelligence and applications).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  117. An evaluation of bulk cheque and cash deposit

    Day, P. N., Carlisle, M., Ricketts, I. W., Gregor, P. & Rohan, C. 2012 Contemporary ergonomics and human factors 2012. Anderson, M. (ed.). Boca Raton: CRC Press, p. 47-54 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  118. Angiography in Thiel embalmed cadavers: a novel approach to studying vascular anatomy?

    Eisma, R., Houston, G., Immel, E., Toomey, R., Soames, R. & Melzer, A. 2012 In : Journal of Anatomy. 221, 1, p. 84-85 2 p.

    Research output: Contribution to journalMeeting abstract

  119. Assessing quality of movement in a child with cerebral palsy by using accelerometers

    Hirotomi, T., Iwasaki, Y. & Waller, A. 2012 2012 ICME International Conference on Complex Medical Engineering: CME 2012 proceedings. Piscataway, N.J.: IEEE, p. 750-753 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  120. Burdens and standards of proof for inference to the best explanation: Three case studies

    Bex, F. & Walton, D. 2012 In : Law, Probability and Risk. 11, 2-3, p. 113-133 21 p.

    Research output: Contribution to journalArticle

  121. Designing and evaluating text entry methods

    Kristensson, P. O., Clawson, J., Dunlop, M., Isokoski, P., Roark, B., Vertanen, K., Waller, A. & Wobbrock, J. 2012 CHI EA '12: CHI '12 extended abstracts on human factors in computing systems. New York: Association for Computing Machinery, p. 2747-2750 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  122. Designing for individuals: usable touch-screen interaction through shared user models

    Montague, K., Hanson, V. L. & Cobley, A. 2012 ASSETS'12 : Proceedings of the 14th International ACM SIGACCESS Conference on Computers and Accessibility. New York: Association for Computing Machinery, p. 151-158 8 p.

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

  123. Designing for individuals: usable touch-screen interaction through shared user models

    Montague, K., Hanson, V. L. & Cobley, A. 2012

    Research output: Contribution to conferencePaper

  124. Developing a coding scheme for the analysis of expert pair programming sessions

    Zarb, M. 2012 SPLASH 2012 : Proceedings of the 2012 ACM Conference on Systems, Programming, and Applications: Software for Humanity. p. 237-238 2 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  125. Dialogue templates for automatic argument processing

    Bex, F. & Reed, C. 2012 Computational models of argument: proceedings of COMMA 2012. Verheij, B., Szeider, S. & Woltran, S. (eds.). Amsterdam: IOS Press, p. 366-377 12 p. (Frontiers in artificial intelligence and applications).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  126. Dialogues on the argument web: mixed initiative argumentation with Arvina

    Lawrence, J., Bex, F. & Reed, C. 2012 Computational models of argument: proceedings of COMMA 2012. Verheij, B., Szeider, S. & Woltran, S. (eds.). Amsterdam: IOS Press, p. 513-514 2 p. (Frontiers in artificial intelligence and applications).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  127. Effective features for artery-vein classification in digital fundus images

    Zamperini, A., Giachetti, A., Trucco, E. & Chin, K. S. 2012 Proceedings of CBMS 2012: the 25th IEEE International Symposium on Computer-Based Medical Systems. IEEE, 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  128. E-mail invitations to general practitioners were as effective as postal invitations and were more efficient

    Treweek, S., Barnett, K., MacLennan, G., Bonetti, D., Eccles, M. P., Francis, J. J., Jones, C., Pitts, N. B., Ricketts, I. W., Weal, M. & Sullivan, F. 2012 In : Journal of Clinical Epidemiology. 86, 7, p. 793-797 5 p.

    Research output: Contribution to journalArticle

  129. ERβ1 represses basal-like breast cancer epithelial to mesenchymal transition by destabilizing EGFR

    Thomas, C., Rajapaksa, G., Nikolos, F., Hao, R., Katchy, A., McCollum, C. W., Bondesson, M., Quinlan, P., Thompson, A., Krishnamurthy, S., Esteva, F. J. & Gustafsson, J-A. 2012 In : Breast Cancer Research. 14, 6, 15 p.R148

    Research output: Contribution to journalArticle

  130. Forum theatre as a method for user requirement elicitation for home care

    Hine, N. A., Martin, C. J., Newell, A. F. & Arnott, J. L. 2012 Advances in home care technologies: results of the MATCH project . Turner, K. J. (ed.). Amsterdam: IOS Press, Vol. 31, p. 162-182 21 p. (Assistive technology research series).

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

  131. From death to final disposition: roles of technology in the post-mortem interval

    Moncur, W., Bikker, J., Kasket, E. & Troyer, J. 2012 CHI'12: proceedings of the 2012 ACM annual conference on Human Factors in Computing Systems . New York: Association for Computing Machinery, p. 531-540 10 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  132. Graph fragmentability

    Edwards, K. & Farr, G. 2012 Topics in Structural Graph Theory. Beineke, L. W. & Wilson, R. J. (eds.). Cambridge University Press, p. 203-218 16 p. (Encyclopedia of Mathematics and Its Applications).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  133. GroBa: growing balloons for calibre measurement on stenotic lumens

    Perez-Rovira, A., Trucco, E., Weir-McCall, J. & Houston, G. 2012 Proceedings: IEEE Symposium on Computer-Based Medical Systems. IEEE

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

  134. Implementing ArguBlogging

    Snaith, M., Bex, F., Lawrence, J. & Reed, C. 2012 Computational models of argument: proceedings of COMMA 2012. Verheij, B., Szeider, S. & Woltran, S. (eds.). Amsterdam: IOS Press, p. 511-512 2 p. (Frontiers in artificial intelligence and application).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  135. Interactions speak louder than words: shared user models and adaptive interfaces

    Montague, K. 2012 Adjunct proceedings of the 25th annual ACM Symposium on User Interface Software and Technology : UIST'12. New York: Association for Computing Machinery, p. 39-42 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  136. Interchanging arguments between Carneades and AIF

    Bex, F., Gordon, T., Lawrence, J. & Reed, C. 2012 Computational models of argument: proceedings of COMMA 2012. Verheij, B., Szeider, S. & Woltran, S. (eds.). Amsterdam: IOS Press, p. 390-397 8 p. (Frontiers in artificial intelligence and applications).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  137. ISCAN: a phoneme-based predictive communication aid for nonspeaking individuals

    Trinh, H., Waller, A., Vertanen, K., Kristensson, P. O. & Hanson, V. L. 2012 ASSETS'12 : Proceedings of the 14th International ACM SIGACCESS Conference on Computers and Accessibility. New York: Association for Computing Machinery, p. 57-64 8 p.

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

  138. ISCAN: a phoneme-based predictive communication aid for nonspeaking individuals

    Trinh, H., Waller, A., Vertanen, K., Kristensson, P. O. & Hanson, V. L. 2012

    Research output: Contribution to conferencePaper

  139. 'Let me show you what happens as I get from A to B': wayfinding design, visual ability and 'wayfinding hotspots'

    McIntyre, L., Paul, J. & Harris, J. 2012 Proceedings of the 1st European Conference on Design 4 Health 2011. Yoxall, A. (ed.). Sheffield: Sheffield Hallam University, p. 241-254 13 p.

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

  140. Memento mori: technology design for the end of life

    Massimi, M., Moncur, W., Odom, W., Banks, R. & Kirk, D. 2012 CHI EA '12: CHI '12 Extended Abstracts on Human Factors in Computing Systems. New York: Association for Computing Machinery, p. 2759-2762 4 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  141. Neural networks for proof-pattern recognition

    Komendantskaya, E. & Lichota, K. 2012 Artificial Neural Networks and Machine Learning : ICANN 2012. Villa, A. E. P., Duch, W., Erdi, P., Masulli, F. & Palm, G. (eds.). Heidelberg: Springer, Vol. 7553 , p. 427-434 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  142. Non-melanoma skin lesion classification using colour image data in a hierarchical K-NN classifier

    Ballerini, L., Fisher, R. B., Aldridge, B. & Rees, J. 2012 2012 9th IEEE International Symposium on Biomedical Imaging: From Nano to Macro - Proceedings. Piscataway: IEEE, p. 358-361 4 p.

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

  143. Non-melanoma skin lesion classification using colour image data in a hierarchical K-NN classifier

    Ballerini, L., Fisher, R. B., Aldridge, B. & Rees, J. 2012

    Research output: Contribution to conferencePaper

  144. NT5E CpG island methylation is a favourable breast cancer biomarker

    Lo Nigro, C., Monteverde, M., Lee, S., Lattanzio, L., Vivenza, D., Comino, A., Syed, N., McHugh, A., Wang, H., Proby, C., Garrone, O., Merlano, M., Hatzimichael, E., Briasoulis, E., Gojis, O., Palmieri, C., Jordan, L., Quinlan, P., Thompson, A. & Crook, T. 2012 In : British Journal of Cancer. 107, 1, p. 75-83 9 p.

    Research output: Contribution to journalArticle

  145. On Harmonious Colouring of Trees

    Aflaki, A., Akbari, S., Edwards, K. J., Eskandani, D. S., Jamaali, M. & Ravanbod, H. 2012 In : Electronic Journal of Combinatorics. 19, 1, p. - 9 p.P3

    Research output: Contribution to journalArticle

  146. On logical reifications of the argument interchange format

    Bex, F., Modgil, S., Prakken, H. & Reed, C. 2012 In : Journal of Logic and Computation. n/a, 39 p.exs033

    Research output: Contribution to journalArticle

  147. Personal storytelling for children who use augmentative and alternative communication

    Waller, A. & Black, R. 2012 Using Storytelling to Support Children and Adults with Special Needs. Grove, N. (ed.). Routledge, p. 111-119 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  148. Persuasion Knowledge Transfer: A Conceptual Model

    Saidin, A. Z., Macaulay, C. & Hine, N. 2012 eProceedings Knowledge Management 6th International Conference 2012: "Managing Knowledge for Global and Collaborative Innovations". Baharom, F., Mahmuddin, M., Yusof, Y., Hashim, N., Hassan, S., Yusop, N., Ishak, W. & Saip, M. (eds.). Sintok: Universiti Utara Malaysia, p. 219-224 6 p.

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

  149. Persuasion Knowledge Transfer: A Conceptual Model

    Saidin, A. Z., MacAulay, C. & Hine, N. 2012

    Research output: Contribution to conferencePaper

  150. Self-learning genetic algorithm for constrains satisfaction problems

    Xu, H. & Petrie, K. 2012 2012 Imperial College Computing Student Workshop: ICCSW 2012. Jones, A. V. (ed.). Leibnitz, Austria: Dagstuhl Publications, Vol. 28, p. 156-162 7 p. (Open Access Series in Informatics (OASIcs)).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  151. Solving a murder case by asking critical questions: an approach to fact-finding in terms of argumentation and story schemes

    Bex, F. & Verheij, B. 2012 In : Argumentation. 26, 3, p. 325-353 29 p.

    Research output: Contribution to journalArticle

  152. SpaceWire: Links, nodes, routers and networks

    European Cooperation for Space Standardization 2012 European Cooperation for Space Standardization

    Research output: Other contribution

  153. Special issue on microscopy image analysis for biomedical applications

    McKenna, S. J., Magee, D. & Rajpoot, N. M. 2012 In : Machine Vision and Applications. 23, 4, p. 603-605 3 p.

    Research output: Contribution to journalArticle

  154. Supporting the dialogue of care

    Hine, N. A., Stewart, N. M., Arnott, J. L., Cipars, A. & Martin, C. J. 2012 Advances in home care technologies: results of the MATCH project . Turner, K. J. (ed.). Amsterdam: IOS Press, p. 183-202 20 p. (Assistive technology research series).

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

  155. The argument web: translating the vision into reality [Argument web: Una visione che diventa realtà]

    Reed, C. 2012 In : Sistemi Intelligenti. 24, 3, p. 583-594 12 p.

    Research output: Contribution to journalArticle

  156. The structure of ad hominem dialogues

    Budzynska, K. & Reed, C. 2012 Computational models of argument: proceedings of COMMA 2012. Verheij, B., Szeider, S. & Woltran, S. (eds.). Amsterdam: IOS Press, p. 410-421 12 p. (Frontiers in artificial intelligence and applications).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  157. TOAST: online ASPIC+ implementation

    Snaith, M. & Reed, C. 2012 Computational models of argument: proceedings of COMA 2012. Verheij, B., Szeider, S. & Woltran, S. (eds.). Amsterdam: IOS Press, p. 509-510 2 p. (Frontiers in artificial intelligence and applications).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  158. Twasebook: A "Crowdsourced phrasebook" for language learners using twitter

    Coleman, G. W. & Hine, N. A. 2012 NordiCHI 2012: Proceedings of the 7th Nordic Conference on Human-Computer Interaction: Making Sense Through Design. New York: Association for Computing Machinery, p. 805-806 2 p.

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

  159. Understanding communication within pair programming

    Zarb, M. 2012 SPLASH'12 : proceedings of the 3rd annual conference on systems, programming, and applications: software for humanity. New York: Association for Computing Machinery, p. 53-55 3 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  160. Understanding the role of age and fluid intelligence in information search

    Trewin, S., Richards, J. T., Hanson, V. L., Sloan, D., John, B. E., Swart, C. & Thomas, J. C. 2012 ASSETS '12: proceedings of the 14th International ACM SIGACCESS conference on computers and accessibility. Huenerfauth, M. & Kurniawan, S. (eds.). New York: Association for Computing Machinery, p. 119-126 8 p.

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

  161. Usability, demography, and directions for W4A

    Newell, A. F. 2012 W4A '12: proceedings of the International Cross-Disciplinary Conference on Web Accessibility . New York: Association for Computing Machinery

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  162. Web accessibility as a side effect

    Richards, J. T., Montague, K. & Hanson, V. L. 2012 ASSETS'12 : Proceedings of the 14th International ACM SIGACCESS Conference on Computers and Accessibility. New York: Association for Computing Machinery, p. 79-86 8 p.

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

  163. Web accessibility as a side effect

    Richards, J. T., Montague, K. & Hanson, V. L. 2012

    Research output: Contribution to conferencePaper

  164. What is a model for a semantically linear ?-calculus?

    Gaboardi, M. & Piccolo, M. 2012 In : Journal of Logic and Computation.

    Research output: Contribution to journalArticle

  165. Representing and classifying arguments on the Semantic Web

    Rahwan, I., Banihashemi, B., Reed, C., Walton, D. & Abdallah, S. Dec 2011 In : Knowledge Engineering Review. 26, 4, p. 487-511 25 p.

    Research output: Contribution to journalScientific review

  166. Unification neural networks: unification by error-correction learning

    Komendantskaya, E. Dec 2011 In : Logic Journal of the IGPL. 19, 6, p. 821-847 27 p.

    Research output: Contribution to journalArticle

  167. Experiences with professional theatre for awareness raising

    Newell, A. F., Morgan, M. E., Gibson, L. & Forbes, P. Nov 2011 In : Interacting with Computers. 23, 6, p. 594-603 10 p.

    Research output: Contribution to journalArticle

  168. Introduction ASSETS'10 special issue

    Hanson, V. L. & Sears, A. Nov 2011 In : ACM Transactions on Accessible Computing. 4, 1, 1

    Research output: Contribution to journalEditorial

  169. Recognition of immunogold markers in electron micrographs

    Wang, R., Pokhariya, H., McKenna, S. J. & Lucocq, J. Nov 2011 In : Journal of Structural Biology. 176, 2, p. 151-158 8 p.

    Research output: Contribution to journalArticle

  170. Technology skill and age: what will be the same 20 years from now?

    Hanson, V. L. Nov 2011 In : Universal Access in the Information Society. 10, 4, p. 443-452 10 p.

    Research output: Contribution to journalArticle

  171. Automated motion estimation of root responses to sucrose in two Arabidopsis thaliana genotypes using confocal microscopy

    Wuyts, N., Bengough, A. G., Roberts, T. J., Du, C., Bransby, M. F., McKenna, S. J. & Valentine, T. A. Oct 2011 In : Planta. 234, 4, p. 769-784 16 p.

    Research output: Contribution to journalArticle

  172. Structuring the collaboration of multiple novice design ethnographers: towards a new user research approach

    Gault, P., MacAulay, C., Johnson, G. & Masthoff, J. 8 Sep 2011

    Research output: Contribution to conferencePaper

  173. Linearity and PCF: a Semantic Insight!

    Gaboardi, M., Paolini, L. & Piccolo, M. Sep 2011 In : ACM SIGPLAN Notices. 46, 9, p. 372-384 13 p.

    Research output: Contribution to journalArticle

  174. Informing TEL strategy through formal and informal channels: a case study

    Walker, D., Sloan, D., Boyle, L. & Walsh, L. Aug 2011 In : Campus-Wide Information Systems. 28, 4, p. 289-293 5 p.

    Research output: Contribution to journalArticle

  175. User-sensitive inclusive design

    Newell, A. F., Gregor, P., Morgan, M., Pullin, G. & Macaulay, C. Aug 2011 In : Universal Access in the Information Society. 10, 3, p. 235-243 9 p.

    Research output: Contribution to journalArticle

  176. A Pin1/Mutant p53 Axis Promotes Aggressiveness in Breast Cancer

    Girardini, J. E., Napoli, M., Piazza, S., Rustighi, A., Marotta, C., Radaelli, E., Capaci, V., Jordan, L., Quinlan, P., Thompson, A., Mano, M., Rosato, A., Crook, T., Scanziani, E., Means, A. R., Lozano, G., Schneider, C. & Del Sal, G. 12 Jul 2011 In : Cancer Cell. 20, 1, p. 79-91 13 p.

    Research output: Contribution to journalArticle

  177. Special Issue: selected papers from the 22nd British Combinatorial Conference preface

    Edwards, K. 6 Jul 2011 In : Discrete Mathematics. 311, 13, p. 1073-1073 1 p.

    Research output: Contribution to journalEditorial

  178. Bimodal biometric verification based on face and lips

    Travieso, C. M., Zhang, J., Miller, P., Alonso, J. B. & Ferrer, M. A. Jul 2011 In : Neurocomputing. 74, 14-15, p. 2407-2410 4 p.

    Research output: Contribution to journalArticle

  179. A comparison of Thiel and formalin embalmed cadavers for thyroid surgery training

    Eisma, R., Mahendran, S., Majumdar, S., Smith, D. & Soames, R. W. Jun 2011 In : Surgeon: Journal of the Royal Colleges of Surgeons of Edinburgh and Ireland. 9, 3, p. 142-146 5 p.

    Research output: Contribution to journalArticle

  180. Informal logic dialogue games in human-computer dialogue

    Yuan, T., Moore, D., Reed, C., Ravenscroft, A. & Maudet, N. Jun 2011 In : Knowledge Engineering Review. 26, 2, p. 159-174 16 p.

    Research output: Contribution to journalScientific review

  181. Developing and evaluating interventions to reduce inappropriate prescribing by general practitioners of antibiotics for upper respiratory tract infections: A randomised controlled trial to compare paper-based and web-based modelling experiments

    Treweek, S., Ricketts, I. W., Francis, J., Eccles, M., Bonetti, D., Pitts, N. B., MacLennan, G., Sullivan, F., Jones, C., Weal, M. & Barnett, K. 3 Mar 2011 In : Implementation Science. 6, p. - 8 p.16

    Research output: Contribution to journalArticle

  182. Well connected: the SpaceWire on-board data-handling network

    Parkes, S., Armbruster, P. & Suess, M. Feb 2011 In : ESA Bulletin. 2011, 145, p. 34-45 12 p.

    Research output: Contribution to journalArticle

  183. Cognitive prostheses: findings from attempts to model some aspects of cognition

    Alm, N., Astell, A., Gowans, G., Ellis, M., Dye, R., Vaughan, P. & Riley, P. 1 Jan 2011 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6776 LNCS, p. 275-284 10 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  184. Correspondence between the pragma-dialectical discussion model and the argument interchange format

    Visser, J., Garssen, B., Bex, F. & Reed, C. 1 Jan 2011 In : Studies in Logic, Grammar and Rhetoric. 23, 36, p. 189-224 36 p.

    Research output: Contribution to journalArticle

  185. FGFR2 protein expression in breast cancer: nuclear localisation and correlation with patient genotype

    Martin, A. J., Grant, A., Ashfield, A. M., Palmer, C. N., Baker, L., Quinlan, P. R., Purdie, C. A., Thompson, A. M., Jordan, L. B. & Berg, J. N. 1 Jan 2011 In : BMC Research Notes. 4

    Research output: Contribution to journalArticle

  186. Motivating mobility: designing for lived motivation in stroke rehabilitation

    Balaam, M., Egglestone, S. R., Fitzpatrick, G., Rodden, T., Hughes, A-M., Wilkinson, A., Nind, T., Axelrod, L., Harris, E., Ricketts, I., Mawson, S. & Burridge, J. 1 Jan 2011 CHI '11: Proceedings of the 2011 annual conference on Human factors in computing systems. New York: Association for Computing Machinery, p. 3073-3082 10 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  187. Purposeful social media as support platform: communication frameworks for older adults requiring care

    Norval, C., Arnott, J. L., Hine, N. A. & Hanson, V. L. 1 Jan 2011 2011 5th International Conference on Pervasive Computing Technologies for Healthcare and Workshops, PervasiveHealth 2011. p. 492-494 3 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  188. Schemes of inference, conflict, and preference in a computational model of argument

    Bex, F. & Reed, C. 1 Jan 2011 In : Studies in Logic, Grammar and Rhetoric. 23, 36, p. 39-58 20 p.

    Research output: Contribution to journalArticle

  189. The development of argument and computation and its roots in the LVOV-Warsaw school

    Reed, C. & Koszowy, M. 1 Jan 2011 In : Studies in Logic, Grammar and Rhetoric. 23, 36, p. 15-37 23 p.

    Research output: Contribution to journalArticle

  190. A dynamic 3D foot reconstruction system

    Thabet, A. K., Trucco, E., Salvi, J., Wang, W. & Abboud, R. J. 2011 Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC. New York: IEEE Computer Society, p. 599-602 4 p.

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

  191. A dynamic 3D foot reconstruction system

    Thabet, A. K., Trucco, E., Salvi, J., Wang, W. & Abboud, R. J. 2011

    Research output: Contribution to conferencePaper

  192. A mobile phone based personal narrative system

    Black, R., Waller, A., Tintarev, N., Reiter, E. & Reddington, J. 2011 ASSETS'11: proceedings of the 13th International ACM SIGACCESS Conference on Computers and Accessibility. 24-26 October 2011, Dundee, United Kingdom. New York: Association for Computing Machinery, p. 171-178 8 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  193. A straight-talking case study

    Waller, A., Prior, S. & Cummins, K. 2011 ASSETS'11: proceedings of the 13th International ACM SIGACCESS Conference on Computers and Accessibility. New York: Association for Computing Machinery, p. 219-220 2 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  194. A toolkit to explore lived experience of motivation: when words are not enough

    Axelrod, L., Balaam, M., Burridge, J., Smith, P. P., Fitzpatrick, G., Mawson, S., Ricketts, I. & Rodden, T. 2011 2011 5th International Conference on Pervasive Computing Technologies for Healthcare and Workshops, PervasiveHealth 2011. IEEE Computer Society, p. 32-39 8 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  195. A web-based data analytical tool for translational researchers

    Quinlan, P. R., Jordan, L. B., Purdie, C. A., Thompson, A. & Reed, C. 2011 In : Annals of Oncology. 22, Suppl. 2, p. ii58-ii58 1 p.131P

    Research output: Contribution to journalMeeting abstract

  196. A web-based data analytical tool for translational researchers

    Quinlan, P. R., Jordan, L. B., Purdie, C. A., Thompson, A. & Reed, C. 2011

    Research output: Contribution to conferenceAbstract

  197. AAAI workshop - technical report: preface

    Grasso, F., Green, N. & Reed, C. 2011 Computational Models of Natural Argument: Papers from the 2011 AAAI Workshop. AAAI Press, (Technical report ; WS-11-10).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  198. Adaptive interfaces: a little learning is a dangerous thing...

    Montague, K., Hanson, V. L. & Cobley, A. 2011 Universal access in human-computer interaction: design for all and einclusion. 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings, Part I. Stephanidis, C. (ed.). Berlin: Springer, p. 391-399 9 p. (Lecture notes in computer science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  199. Age classification using radon transform and entropy based scaling SVM

    Zhou, H., Miller, P. & Zhang, J. 2011 Proceedings of the British Machine Vision Conference. Hoey, J., McKenna, S. & Trucco, E. (eds.). BMVA Press, p. 28.1-28.12 12 p.

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

  200. Araucaria-PL: Software for teaching argumentation theory

    Budzynska, K. 2011 Tools for Teaching Logic: Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings. Blackburn, P., van Ditmarsch, H., Manzano, M. & Soler-Toscano, F. (eds.). Berlin: Springer, Vol. 6680, p. 30-37 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  201. Automatic generation of constraints for partial symmetry breaking

    Jefferson, C. & Petrie, K. E. 2011 Principles and practice of constraint programming - CP 2011: 7th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings. Lee, J. (ed.). Berlin: Springer, p. 729-743 15 p. (Lecture notes in computer science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  202. Coalgebraic derivations in logic programming

    Komendantskaya, E. & Power, J. 2011 Leibniz International Proceedings in Informatics, LIPIcs. Dagstuhl Publications, Vol. 12, p. 352-366 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  203. Coalgebraic semantics for derivations in logic programming

    Komendantskaya, E. & Power, J. 2011 Algebra and coalgebra in computer science: 4th International Conference, CALCO 2011 Winchester, UK, August 30 – September 2, 2011. Proceedings. Corradini, A., Klin, B. & Cirstea, C. (eds.). Heidelberg: Springer, p. 268-282 15 p. (Lecture notes in computer science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  204. Coalgebraic semantics for parallel derivation strategies in logic programming

    Komendantskaya, E., McCusker, G. & Power, J. 2011 Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers. Johnson, M. & Pavlovic, D. (eds.). Berlin: Springer, Vol. 6486, p. 111-127 17 p. (Lecture Notes in Computer Science).

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

  205. Code Rocket: improving detailed design support in mainstream software development

    Parkes, S., Ramsay, C. & Spark, A. 2011 2011 International Conference on Computer and Management, CAMAN 2011. Piscataway: IEEE Computer Society

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  206. Combination: automated generation of puzzles with constraints

    Jefferson, C., Moncur, W. & Petrie, K. E. 2011 SAC '11: proceedings of the ACM Symposium on Applied Computing. NewYork: Association for Computing Machinery, p. 907-912 6 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  207. Computer based information gathering

    Alm, N., Morrison, K., Gregor, P., Hine, N., Joel, S., Hands, K. & Van Weeren, M. H. 2011 A friendly rest room : developing toilets of the future for disabled and elderly people . Molenbroek, J. F. M., Mantas, J. & Bruin, R. D. (eds.). Amsterdam: IOS Press, p. 80-93 14 p. (Assistive technology research series).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  208. Continuous correlated beta processes

    Goetschalckx, R., Poupart, P. & Hoey, J. 2011 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence . IJCAI'11. Walsh, T. (ed.). Vol. 2, p. 1269-1274 6 p.

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

  209. Deciphering unfamiliar code with Code Rocket

    Ramsay, C., Parkes, S. & Spark, A. 2011 Proceedings of the 10th IASTED International Conference on Software Engineering, SE 2011. Toptsis, A. (ed.). p. 138-143 6 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  210. Developing for autism with user-centred design

    Menzies, R. 2011 ASSETS'11: Proceedings of the 13th International ACM SIGACCESS Conference on Computers and Accessibility. New York: Association for Computing Machinery, p. 313-314 2 p.

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

  211. Developing for autism with user-centred design

    Menzies, R. 2011

    Research output: Contribution to conferencePoster

  212. Digital participation at the end of life

    Hourizi, R., Moncur, W. & Walter, T. 2011 p. 1-2 2 p.

    Research output: Contribution to conferencePaper

  213. Does the internet change how we die and mourn?: overview and analysis

    Walter, T., Hourizi, R., Moncur, W. & Pitsillides, S. 2011 In : Omega: Journal of Death and Dying. 64, 4, p. 275-302 28 p.

    Research output: Contribution to journalArticle

  214. E-health and digital inclusion

    Gibson, L., Sloan, D. & Moncur, W. 2011 E-health communities and online self-help groups: applications and usage . Smedberg, Å. (ed.). Hershey, PA: IGI Global, p. 194-207 14 p.

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

  215. Endoglin expression in breast tumor cells suppresses invasion and metastasis and correlates with improved clinical outcome

    Henry, L. A., Johnson, D. A., Sarrio, D., Lee, S., Quinlan, P. R., Crook, T., Thompson, A. M., Reis-Filho, J. S. & Isacke, C. M. 2011 In : Oncogene. 30, 9, p. 1046-1058 13 p.

    Research output: Contribution to journalArticle

  216. Everyday use of computer-mediated communication tools and its evolution over time: an ethnographical study with older people

    Sayago, S., Sloan, D. & Blat, J. 2011 In : Interacting with Computers. 23, 5, p. 543-554 12 p.

    Research output: Contribution to journalArticle

  217. Exploring flow in novice programming environments

    Zarb, M. & Hughes, J. 2011 ITiCSE '11 : Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science. New York: Association for Computing Machinery, p. 394 1 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  218. Extending predictive models of exploratory behavior to broader populations

    Trewin, S., Richards, J., Bellamy, R., John, B. E., Swart, C. & Sloan, D. 2011 Universal Access in Human-Computer Interaction. Design for All and eInclusion: 6th international conference, UAHCI 2011, held as part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011; Proceedings Pt. 1 . Stephanidis, C. (ed.). Berlin: Springer, p. 149-158 10 p. (Lecture notes in computer science).

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

  219. Image Processing for Vision Based Navigation

    Rowell, N., Parkes, S., Dunstan, M., Martin, I. & Dubois-Matra, O. 2011 8th International ESA Conference on Guidance, Navigation & Control Systems: GNC 2011.

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

  220. Improving vessel segmentation in ultra-wide field-of-view retinal fluorescein angiograms

    Perez-Rovira, A., Zutis, K., Hubschman, J. P. & Trucco, E. 2011 Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC. New York: IEEE Computer Society, p. 2614-2617 4 p.

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

  221. Improving vessel segmentation in ultra-wide field-of-view retinal fluorescein angiograms

    Perez-Rovira, A., Zutis, K., Hubschman, J. P. & Trucco, E. 2011

    Research output: Contribution to conferencePaper

  222. Innovations in user sensitive design, research and development

    Adams, R., Newell, A. & Gregor, P. 2011 In : Universal Access in the Information Society. 10, 3, p. 231-233 3 p.

    Research output: Contribution to journalEditorial

  223. Learning soft combination of spatial pyramid for action recognition

    Li, W. & Zhang, J. 2011 BMVC’11 UK Student Workshop Proceedings. Zhang, J. (ed.). British Machine Vision Association and Society for Pattern Recognition, p. 71-80 10 p.

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

  224. Learning soft combination of spatial pyramid for action recognition

    Li, W. & Zhang, J. 2011

    Research output: Contribution to conferencePoster

  225. Legal shifts in the process of proof

    Bex, F. & Verheij, B. 2011 ICAIL ' 11: Proceedings of the International Conference on Artificial Intelligence and Law. New York: Association for Computing Machinery, p. 11-20 10 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  226. 'Let me show you what happens as I get from A to B': wayfinding design, visual ability and 'wayfinding hotspots'

    McIntyre, L., Paul, J. & Harris, J. 2011

    Research output: Contribution to conferencePaper

  227. Leveraging large data sets for user requirements analysis

    Wolters, M. K., Hanson, V. L. & Moore, J. D. 2011 ASSETS'11: Proceedings of the 13th International ACM SIGACCESS Conference on Computers and Accessibility. New York: Association for Computing Machinery, p. 67-74 8 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  228. Measuring flow in programming education

    Zarb, M. 2011 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2011. Costagliola, G., Ko, A., Cypher, A., Nichols, J., Scaffidi, C., Kelleher, C. & Myers, B. (eds.). Los Alamitos: IEEE Computer Society, p. 239-240 2 p.

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

  229. Measuring minimal change in argument premise revision

    Snaith, M. & Reed, C. 2011 Imperial College Computing Student Workshop - Proceedings of ICCSW'11. Jones, A. V. (ed.). London: Imperial College, London, p. 87-93 7 p. (Department of Computing technical report).

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

  230. Measuring minimal change in argument premise revision

    Snaith, M. & Reed, C. 2011

    Research output: Contribution to conferencePaper

  231. Model checking of persuasion in multi-agent systems

    Budzynska, K. & Kacprzak, M. 2011 In : Studies in Logic, Grammar and Rhetoric. 23, 36, p. 99-122 24 p.

    Research output: Contribution to journalArticle

  232. Modeling and representing events in multimedia

    Mezaris, V., Scherp, A., Jain, R., Kankanhalli, M., Zhou, H., Zhang, J., Wang, L. & Zhang, Z. 2011 MM'11: proceedings of the 2011 ACM Multimedia Conference and Co-Located Workshops. New York: Association for Computing Machinery, p. 613-614 2 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  233. Motion detection in moving transport

    Varadarajan, S., Zhou, H., Miller, P. & Zhang, J. 2011 BMVC’11 UK Student Workshop Proceedings. Zhang, J. (ed.). British Machine Vision Association and Society for Pattern Recognition, p. 39-48 10 p.

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

  234. Motion detection in moving transport

    Varadarajan, S., Zhou, H., Miller, P. & Zhang, J. 2011

    Research output: Contribution to conferencePoster

  235. Multiresolution localization and segmentation of the optical disc in fundus images using inpainted background and vessel information

    Giachetti, A., Chin, K. S., Trucco, E., Cobb, C. & Wilson, P. J. 2011 2011 18TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP). NEW YORK: IEEE Computer Society, p. 2145-2148 4 p.

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

  236. Narrating past to present: conveying the needs and values of older people to young digital technology designers

    Valentine, E., Bobrowicz, A., Coleman, G., Gibson, L., Hanson, V. L., Kundu, S., McKay, A. & Holt, R. 2011 Universal access in human-computer interaction: users diversity. 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings, Part II. Stephanidis, C. (ed.). Berlin: Springer, p. 243-249 7 p. (Lecture notes in computer science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  237. Older web users' eye movements: experience counts

    Hill, R., Dickinson, A., Arnott, J., Gregor, P. & McIver, L. 2011 CHI '11: Proceedings of the 2011 annual conference on Human factors in computing systems. New York: Association for Computing Machinery, p. 1151-1160 10 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  238. p53 mutant breast cancer patients expressing p53 gamma have as good a prognosis as wild-type p53 breast cancer patients

    Bourdon, J-C., Khoury, M. P., Diot, A., Baker, L., Fernandes, K., Aoubala, M., Quinlan, P., Purdie, C. A., Jordan, L. B., Prats, A-C., Lane, D. P. & Thompson, A. M. 2011 In : Breast Cancer Research. 13, 1, p. - 10 p.R7

    Research output: Contribution to journalArticle

  239. Peer interviews: an adapted methodology for contextual understanding in user-centred design

    Menzies, R., Waller, A. & Pain, H. 2011 ASSETS'11: proceedings of the 13th International ACM SIGACCESS Conference on Computers and Accessibility. New York: Association for Computing Machinery, p. 273-274 2 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  240. Representing users in accessibility research

    Sears, A. & Hanson, V. L. 2011 CHI 2011: conference proceedings and extended abstracts : 29th Annual Conference on Human Factors in Computing Systems, Vancouver, British Columbia, Canada, May 7-12, 2011. New York: Association for Computing Machinery, p. 2235-2238 4 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  241. Robot dance: edutainment of engaging learning

    Martin, C. & Hughes, J. 2011 11 p.

    Research output: Contribution to conferencePaper

  242. Social inclusion through digital engagement

    Hanson, V. L. 2011 Universal access in human-computer interaction: design for all and einclusion. 6th International Conference, UAHCI 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings, Part I. Stephanidis, C. (ed.). Berlin: Springer, p. 473-477 5 p. (Lecture notes in computer science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  243. Speech acts of argumentation: inference anchors and peripheral cues in dialogue

    Budzynska, K. & Reed, C. 2011 Computational models of natural argument: papers from the 2011 AAAI Workshop. AAAI Press, Vol. WS-11-10, p. 3-10 8 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  244. Structuring the collaboration of multiple novice design ethnographers: towards a new user research approach

    Gault, P., MacAulay, C., Johnson, G. & Masthoff, J. 2011 Human-Computer Interaction – INTERACT 2011: 13th IFIP TC 13 International Conference, Lisbon, Portugal, September 5-9, 2011, Proceedings, Part IV . Campos, P., Graham, N., Jorge , J., Nunes , N., Palanque, P. & Winckler, M. (eds.). Berlin: Springer, p. 118-135 18 p. (Lecture notes in computer science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  245. The barriers that older novices encounter to computer use

    Dickinson, A., Eisma, R. & Gregor, P. 2011 In : Universal Access in the Information Society. 10, 3, p. 261-266 6 p.

    Research output: Contribution to journalArticle

  246. The CHAMPION software project

    Prior, S., Waller, A. & Kroll, T. 2011 ASSETS'11: Proceedings of the 13th International ACM SIGACCESS Conference on Computers and Accessibility. p. 287-288 2 p.

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

  247. The PhonicStick: a joystick to generate novel words using phonics

    Black, R. 2011 ASSETS'11: Proceedings of the 13th International ACM SIGACCESS Conference on Computers and Accessibility. New York: Association for Computing Machinery, p. 325-326 2 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  248. The use of biometric fingerprint technology with the over 65s: a case study

    Day, P. N., Ricketts, I. W., Riley, C., Carlisle, M., Gregor, P. & Rohan, C. 2011 Contemporary Ergonomics and Human Factors 2011. Anderson, M. (ed.). Boca Raton: CRC Press-Taylor & Francis Group, p. 379-386 8 p.

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

  249. The use of biometric fingerprint technology with the over 65s: a case study

    Day, P. N., Ricketts, I. W., Riley, C., Carlisle, M., Gregor, P. & Rohan, C. 2011

    Research output: Contribution to conferencePaper

  250. Tissue confirmation of disease recurrence in breast cancer patients: pooled analysis of multi-centre, multi-disciplinary prospective studies

    Amir, E., Clemons, M., Purdie, C. A., Miller, N., Quinlan, P., Geddie, W., Coleman, R. E., Freedman, O. C., Jordan, L. B. & Thompson, A. M. 2011 In : Cancer Treatment Reviews.

    Research output: Contribution to journalArticle

  251. Using accelerometers for the assessment of improved function due to postural support for individuals with cerebral palsy

    Iwasaki, Y., Hirotomi, T. & Waller, A. 2011 ASSETS'11: proceedings of the 13th International ACM SIGACCESS Conference on Computers and Accessibility. New York: Association for Computing Machinery, p. 301-302 2 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  252. Using an argument ontology to develop pedagogical tool suites

    Reed, C., Wells, S., Snaith, M., Budzynska, K. & Lawrence, J. 2011 Tools for teaching logic: Third International Congress, TICTTL 2011 Salamanca, Spain, June 1-4, 2011. Proceedings. Blackburn, P., van Ditmarsch, H., Manzano, M. & Soler-Toscano, F. (eds.). Heidelberg: Springer, p. 207-214 8 p. (Lecture notes in computer science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  253. Using the Perseus system for modelling epistemic interactions

    Kacprzak, M., Kulicki, P., Trypuz, R., Budzynska, K., Garbacz, P., Lechniak, M. & Rembelski, P. 2011 Transactions on Computational Collective Intelligence V. Nguyen, N. T. (ed.). Berlin: Springer, Vol. 6910, p. 106-123 18 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  254. Using web technology to support population-based diabetes care

    Cunningham, S., McAlpine, R., Leese, G., Brennan, G., Sullivan, F., Connacher, A., Waller, A., Boyle, D. I., Greene, S., Wilson, E., Emslie-Smith, A. & Morris, A. D. 2011 In : Journal of diabetes science and technology. 5, 3, p. 523-534 12 p.

    Research output: Contribution to journalArticle

  255. VAMPIRE: Vessel Assessment and Measurement Platform for Images of the REtina

    Perez-Rovira, A., MacGillivray, T., Trucco, E., Chin, K. S., Zutis, K., Lupascu, C., Tegolo, D., Giachetti, A., Wilson, P. J., Doney, A. & Dhillon, B. 2011 Engineering in Medicine and Biology Society, EMBC, 2011 Annual International Conference of the IEEE. New York: IEEE Computer Society, p. 3391-3394 4 p.

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

  256. Flapjack-graphical genotype visualization

    Milne, I., Shaw, P., Stephen, G., Bayer, M., Cardle, L., Thomas, W. T. B., Flavell, A. J. & Marshall, D. 15 Dec 2010 In : Bioinformatics. 26, 24, p. 3133-3134 2 p.

    Research output: Contribution to journalArticle

  257. Visualizing image collections using high-entropy layout distributions

    Wang, R., McKenna, S. J., Han, J. & Ward, A. A. Dec 2010 In : IEEE Transactions on Multimedia. 12, 8, p. 803-813 11 p.

    Research output: Contribution to journalArticle

  258. Implementing logical connectives in constraint programming

    Jefferson, C., Moore, N. C. A., Nightingale, P. & Petrie, K. E. Nov 2010 In : Artificial Intelligence. 174, 16-17, p. 1407-1429 23 p.

    Research output: Contribution to journalArticle

  259. Influencing technology adoption by older adults

    Hanson, V. L. Nov 2010 In : Interacting with Computers. 22, 6, p. 502-509 8 p.

    Research output: Contribution to journalArticle

  260. Achromatic number of fragmentable graphs

    Edwards, K. Oct 2010 In : Journal of Graph Theory. 65, 2, p. 94-114 21 p.

    Research output: Contribution to journalArticle

  261. Estimating the motion of plant root cells from in vivo confocal laser scanning microscopy images

    Roberts, T. J., McKenna, S. J., Du, C-J., Wuyts, N., Valentine, T. A. & Bengough, A. G. Oct 2010 In : Machine Vision and Applications. 21, 6, p. 921-939 19 p.

    Research output: Contribution to journalArticle

  262. Feature selection for pose invariant lip biometrics

    Pass, A., Zhang, J. & Stewart, D. 28 Sep 2010

    Research output: Contribution to conferencePaper

  263. Intelligent sensor information system for public transport - to safely go

    Miller, P., Liu, W., Fowler, C., Zhou, H., Shen, J., Ma, J., Zhang, J., Yan, W., McLaughlin, K. & Sezer, S. 1 Sep 2010

    Research output: Contribution to conferencePoster

  264. Increased mortality in HER2 positive, oestrogen receptor positive invasive breast cancer: a population-based study

    Purdie, C. A., Baker, L., Ashfield, A., Chatterjee, S., Jordan, L. B., Quinlan, P., Adamson, D. J. A., Dewar, J. A. & Thompson, A. M. 10 Aug 2010 In : British Journal of Cancer. 103, 4, p. 475-481 7 p.

    Research output: Contribution to journalArticle

  265. An evaluation of Thiel-embalmed cadavers for ultrasound-based regional anaesthesia training and research

    McLeod, G., Eisma, R., Schwab, A., Corner, G., Soames, R. & Cochran, S. 1 Aug 2010 In : Ultrasound. 18, 3, p. 125-129 5 p.

    Research output: Contribution to journalArticle

  266. Further Development of the PhonicStick: the application of phonic-based acceleration methods to the speaking joystick

    Trinh, H., Waller, A., Black, R. & Reiter, E. Jul 2010 4 p.

    Research output: Contribution to conferencePaper

  267. Using a touch screen computer to support relationships between people with dementia and caregivers

    Astell, A. J., Ellis, M. P., Bernardi, L., Alm, N., Dye, R., Gowans, G. & Campbell, J. Jul 2010 In : Interacting with Computers. 22, 4, p. 267-275 9 p.

    Research output: Contribution to journalArticle

  268. A hybrid formal theory of arguments, stories and criminal evidence

    Bex, F. J., van Koppen, P. J., Prakken, H. & Verheij, B. 1 Jun 2010 In : Artificial Intelligence and Law. 18, 2, p. 123-152 30 p.

    Research output: Contribution to journalArticle

  269. Reducing prescribing errors: can a well-designed electronic system help?

    Went, K., Antoniewicz, P., Corner, D. A., Dailly, S., Gregor, P., Joss, J., McIntyre, F. B., McLeod, S., Ricketts, I. W. & Shearer, A. J. Jun 2010 In : Journal of Evaluation in Clinical Practice. 16, 3, p. 556-559 4 p.

    Research output: Contribution to journalArticle

  270. Automated handwashing assistance for persons with dementia using video and a partially observable Markov decision process

    Hoey, J., Poupart, P., von Bertoldi, A., Craig, T., Boutilier, C. & Mihailidis, A. May 2010 In : Computer Vision and Image Understanding. 114, 5, p. 503-519 17 p.

    Research output: Contribution to journalArticle

  271. Establishment of a protein frequency library and its application in the reliable identification of specific protein interaction partners

    Boulon, S., Ahmad, Y., Trinkle-Mulcahy, L., Verheggen, C., Cobley, A., Gregor, P., Bertrand, E., Whitehorn, M. & Lamond, A. I. May 2010 In : Molecular & Cellular Proteomics. 9, 5, p. 861-879 19 p.

    Research output: Contribution to journalArticle

  272. Introducing Argument & Computation

    Grasso, F., Rahwan, I., Reed, C. & Simari, G. R. Mar 2010 In : Argument and Computation. 1, 1, p. 1-5 5 p.

    Research output: Contribution to journalEditorial

  273. Modeling the socially intelligent communication of health information to a patient's personal social network

    Moncur, W., Reiter, E., Masthoff, J. & Carmichael, A. Mar 2010 In : IEEE Transactions on Information Technology in Biomedicine. 14, 2, p. 319-325 7 p.

    Research output: Contribution to journalArticle

  274. Developing a longitudinal database of routinely recorded primary care consultations linked to service use and outcome data

    Williams, B., Dowell, J., Humphris, G., Themessl-Huber, M., Rushmer, R., Ricketts, I., Boyle, P. & Sullivan, F. Feb 2010 In : Social Science and Medicine. 70, 3, p. 473-478 6 p.

    Research output: Contribution to journalArticle

  275. Special Issue: selected papers from the 21st British Combinatorial Conference preface

    Edwards, K. J., Griggs, T. S., van den Heuvel, J., Perkins, S., Webb, B. S. & Zverovich, V. 28 Jan 2010 In : Discrete Mathematics. 310, 2, p. 197-198 2 p.

    Research output: Contribution to journalEditorial

  276. 3DVP 2010 - chair's welcome

    Schreer, O., Hilton, A. & Trucco, E. 2010 3DVP'10 : Proceedings of the 1st International Workshop on 3D Video Processing. New York: Association for Computing Machinery

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

  277. 3DVP 2010 - chair's welcome

    Schreer, O., Hilton, A. & Trucco, E. 2010

    Research output: Contribution to conferenceOther

  278. A formal analysis of the AIF in terms of the ASPIC framework

    Bex, F., Prakken, H. & Reed, C. 2010 Computational Models of Argument: : proceedings of COMMA 2010. Baroni, P., Cerutti, F., Giacomin, M. & Simari, G. R. (eds.). Amsterdam: IOS Press, p. 99-110 12 p. (Frontiers in artificial intelligence and applications).

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

  279. A formal analysis of the AIF in terms of the ASPIC framework

    Bex, F., Prakken, H. & Reed, C. 2010

    Research output: Contribution to conferencePaper

  280. A logic of delegation

    Norman, T. J. & Reed, C. 2010 In : Artificial Intelligence. 174, 1, p. 51-71 21 p.

    Research output: Contribution to journalArticle

  281. A tool to promote prolonged engagement in art therapy: design and development from arts therapist requirements

    Hoey, J., Zutis, K., Leuty, V. & Mihailidis, A. 2010 ASSETS '10: Proceedings of the 12th International ACM SIGACCESS Conference on Computers and Accessibility . New York: Association for Computing Machinery, p. 211-218 8 p.

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

  282. ACM multimedia 2010 workshop on 3D video processing

    Schreer, O., Hilton, A. & Trucco, E. 2010 MM'10: proceedings of the international conference on Multimedia. New York: Association for Computing Machinery, p. 1745 1 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  283. Action categorization by structural probabilistic latent semantic analysis

    Zhang, J. & Gong, S. 2010 In : Computer Vision and Image Understanding. 114, 8, p. 857-864 8 p.

    Research output: Contribution to journalArticle

  284. Action categorization with modified hidden conditional random field

    Zhang, J. & Gong, S. 2010 In : Pattern Recognition. 43, 1, p. 197-203 7 p.

    Research output: Contribution to journalArticle

  285. An investigation into features for multi-view lipreading

    Pass, A., Zhang, J. & Stewart, D. 2010 2010 17th IEEE International Conference on Image Processing, ICIP 2010: Proceedings. Piscataway, NJ: IEEE, p. 2417-2420 4 p.

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

  286. An investigation into features for multi-view lipreading

    Pass, A., Zhang, J. & Stewart, D. 2010

    Research output: Contribution to conferencePaper

  287. Analysis of spatially-aligned SURF features for pedestrian classification

    Correnti, G., Varadarajan, S. & Zhang, J. 2010 14th International Machine Vision and Image Processing Conference: IMVIP 2010. Leahy, M. J. & O’Connell, M-L. (eds.). Newcastle upon Tyne : Cambridge Scholars Publishing, p. 233-247 15 p.

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

  288. Analysis of spatially-aligned SURF features for pedestrian classification

    Correnti, G., Varadarajan, S. & Zhang, J. 2010

    Research output: Contribution to conferencePaper

  289. Argument analysis: Components of interpersonal argumentation

    Budzynska, K. 2010 Computational Models of Argument: proceedings of COMMA 2010. Baroni, P., Cerutti, F., Giacomin, M. & Simari, G. R. (eds.). Amsterdam: IOS Press, Vol. 216, p. 135-146 12 p. (Frontiers in Artificial Intelligence and Applications).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  290. ASSETS 2010 chairs' welcome

    Barreto, A. & Hanson, V. L. 2010 ASSETS'10 : Proceedings of the 12th International ACM SIGACCESS Conference on Computers and Accessibility. New York: Association for Computing Machinery

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

  291. Automatic generation of conversational utterances and narrative for augmentative and alternative communication: a prototype system

    Dempster, M., Alm, N. & Reiter, E. 2010 Proceedings of the NAACL HLT 2010 Workshop on Speech and Language Processing for Assistive Technologies. Stroudsburg, Pa., USA: Association for Computational Linguistics, p. 10-18 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  292. Building arguments with argumentation: the role of illocutionary force in computational models of argument

    Reed, C., Wells, S., Budzynska, K. & Devereux, J. 2010 Computational Models of Argument : proceedings of COMMA 2010. Baroni, P., Cerutti, F., Giacomin, M. & Simari, G. R. (eds.). Amsterdam: IOS Press, p. 415-426 12 p. (Frontiers in artificial intelligence and applications).

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

  293. Building arguments with argumentation: the role of illocutionary force in computational models of argument

    Reed, C., Wells, S., Budzynska, K. & Devereux, J. 2010

    Research output: Contribution to conferencePaper

  294. Burdens and standards of proof for inference to the best explanation

    Bex, F. & Walton, D. 2010 Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference . Amsterdam: IOS Press, p. 37-46 10 p. (Frontiers in artificial intelligence and applications).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  295. Classifying textile designs using bags of shapes

    Jia, W. & McKenna, S. J. 2010 2010 20th International Conference on Pattern Recognition, ICPR 2010: proceedings. Piscataway: IEEE Computer Society, p. 294-297 4 p. (International Conference on Pattern Recognition).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  296. Constraint programming to solve maximal density still life

    Chu, G., Petrie, K. E. & Yorke-Smith, N. 2010 Game of Life Cellular Automata. Adamatzky, A. (ed.). London: Springer, p. 167-175 9 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  297. Contextual optic disc location in retinal fundus images

    Perez-Rovira, A. & Trucco, E. 2010 In : Journal of Modern Optics. 57, 2, p. 136-144 9 p.

    Research output: Contribution to journalArticle

  298. Corneal graft detection for Descemet's Stripping Automated Endothelial Keratoplasty using optical coherence tomography

    Lee, B. H., Liu, J., Tan, Z., Heng, E., Cheng, J., Tan, N. M., Wong, D. W. K., Trucco, E., Mehta, J. & Wong, T. Y. 2010 Engineering in Medicine and Biology Society (EMBC), 2010 Annual International Conference of the IEEE. New York: IEEE Computer Society, p. 3037-3040 4 p.

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

  299. Corneal graft detection for Descemet's Stripping Automated Endothelial Keratoplasty using optical coherence tomography

    Lee, B. H., Liu, J., Tan, Z., Heng, E., Cheng, J., Tan, N. M., Wong, D. W. K., Trucco, E., Mehta, J. & Wong, T. Y. 2010

    Research output: Contribution to conferencePaper

  300. CYP2D6 genotype affects outcome in postmenopausal breast cancer patients treated with tamoxifen monotherapy

    Thompson, A. M., Bray, S., Johnson, A. M., Quinlan, P., Nikloff, D. M., Evans, D. G., Clarke, R., Lawrence, H. J., Howell, A., Latif, A., Ferraldeschl, R., Hillman, G., Fontecha, M. & Newman, W. G. 2010 In : Breast Cancer Research. 12, Suppl. 1, p. S15-S15 1 p.P48

    Research output: Contribution to journalBook/Film/Article review

  301. Datarocket: Interactive visualisation of data structures

    Parkes, S., Kay, R. & Ramsay, C. 2010 DAta systems in aerospace: proceedings of the DASIA 2010 Conference, 1–4 June 2010 Budapest, Hungary. Ouwehand, L. (ed.). ESA Communications, p. 31-35 5 p. (ESA SP).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  302. Deformable registration of retinal fluorescein angiogram sequences using vasculature structures

    Perez-Rovira, A., Trucco, E., Wilson, P. & Liu, J. 2010 Engineering in Medicine and Biology Society (EMBC), 2010 Annual International Conference of the IEEE . New York: IEEE Computer Society, p. 4383-4386 4 p.

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

  303. Deformable registration of retinal fluorescein angiogram sequences using vasculature structures

    Perez-Rovira, A., Trucco, E., Wilson, P. & Liu, J. 2010

    Research output: Contribution to conferencePaper

  304. Designing social networking sites for older adults

    Gibson, L., Moncur, W., Forbes, P., Arnott, J., Martin, C. & Bhachu, A. 2010 BCS '10: Proceedings of the 24th BCS Interaction Specialist Group Conference. McEwan, T. & McKinnon, L. (eds.). British Computer Society, p. 186-194 9 p.

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

  305. Developing countries; developing experiences: approaches to accessibility for the real world

    Kelly, B., Lewthwaite, S. & Sloan, D. 2010 W4A '10: Proceedings of the 2010 International Cross Disciplinary Conference on Web Accessibility (W4A) . New York: Association for Computing Machinery

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  306. EigenBody: analysis of body shape for gender from noisy images

    Collins, M., Zhang, J., Miller, P., Wang, H. & Zhou, H. 2010 14th International Machine Vision and Image Processing Conference. Leahy, M. J. & O’Connell, M-L. (eds.). Newcastle upon Tyne : Cambridge Scholars Publishing, p. 131-144 14 p.

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

  307. EigenBody: analysis of body shape for gender from noisy images

    Collins, M., Zhang, J., Miller, P., Wang, H. & Zhou, H. 2010

    Research output: Contribution to conferencePaper

  308. Engaging the disengaged: how do we design technology for digitally excluded older adults?

    Coleman, G. W., Gibson, L., Hanson, V. L., Bobrowicz, A. & McKay, A. 2010 DIS 2010: Proceedings of the 8th ACM Conference on Designing Interactive Systems. New York: Association for Computing Machinery, p. 175-178 4 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  309. FABC: retinal vessel segmentation using AdaBoost

    Lupascu, C. A., Tegolo, D. & Trucco, E. 2010 In : IEEE Transactions on Information Technology in Biomedicine. 14, 5, p. 1267-1274 8 p.

    Research output: Contribution to journalArticle

  310. Feature selection for pose invariant lip biometrics

    Pass, A., Zhang, J. & Stewart, D. 2010 11th Annual Conference of the International Speech Communication Association 2010 (INTERSPEECH 2010): Proceedings. International Speech Communication Association , Vol. 2, p. 1165-1168 4 p.

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

  311. Gaussian process learning from order relationships using expectation propagation

    Wang, R. & McKenna, S. J. 2010 Proceedings - International Conference on Pattern Recognition. p. 605-608 4 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  312. HCI methods for including adults with disabilities in the design of CHAMPION

    Prior, S. 2010 CHI EA '10: Proceedings of the 28th of the international conference extended abstracts on Human factors in computing systems . New York: Association for Computing Machinery, p. 2891-2894 4 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  313. Improving SIFT-based descriptors stability to rotations

    Bellavia, F., Tegolo, D. & Trucco, E. 2010 2010 20th International Conference on Pattern Recognition, ICPR 2010: proceedings. Piscataway: IEEE Computer Society, p. 3460-3463 4 p. (International Conference on Pattern Recognition).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  314. Intelligent sensor information system for public transport - to safely go

    Miller, P., Liu, W., Fowler, C., Zhou, H., Shen, J., Ma, J., Zhang, J., Yan, W., McLaughlin, K. & Sezer, S. 2010 Proceedings - IEEE International Conference on Advanced Video and Signal Based Surveillance, AVSS 2010. Piscataway, NJ: IEEE, p. 533-538 6 p.

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

  315. Inter-frame contextual modelling for visual speech recognition

    Pass, A., Ming, J., Hanna, P., Zhang, J. & Stewart, D. 2010 2010 17th IEEE International Conference on Image Processing, ICIP 2010: Proceedings. Piscataway, NJ: IEEE, p. 93-96 4 p.

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

  316. Inter-frame contextual modelling for visual speech recognition

    Pass, A., Ming, J., Hanna, P., Zhang, J. & Stewart, D. 2010

    Research output: Contribution to conferencePaper

  317. Introduction to special issue on web accessibility

    Sloan, D. 2010 In : New Review of Hypermedia and Multimedia. 16, 3, p. 217-219 3 p.

    Research output: Contribution to journalEditorial

  318. Investigating a DTV-based physical activity application to facilitate wellbeing in older adults

    Carmichael, A., Rice, M., MacMillan, F. & Kirk, A. 2010 BCS '10 Proceedings of the 24th BCS Interaction Specialist Group Conference. McEwan, T. & McKinnon, L. M. (eds.). Swinton: British Computer Society, p. 278-288 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  319. Learning when to use lazy learning in constraint solving

    Gent, I. P., Jefferson, C., Kotthoff, L., Miguel, I., Moore, N. C. A., Nightingale, P. & Petrie, K. 2010 ECAI 2010: 19th European conference on artificial intelligence, 16-20 August 2010, Lisbon, Portugal - including Prestigious applications of artificial intelligence (PAIS-2010) proceedings. Coelho, H., Studer, R. & Wooldridge, M. (eds.). Amsterdam: IOS Press, p. 873-878 6 p. (Frontiers in artificial intelligence and applications).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  320. Markerless human articulated tracking using hierarchical particle swarm optimisation

    John, V., Trucco, E. & Ivekovic, S. 2010 In : Image and Vision Computing. 28, 11, p. 1530-1547 18 p.

    Research output: Contribution to journalArticle

  321. Markerless human motion capture using hierarchical particle swarm optimisation

    John, V., Ivekovic, S. & Trucco, E. 2010 Computer Vision, Imaging and Computer Graphics: Theory and Applications. Ranchordas, A. K., Pereira, J. M., Araujo, H. J. & Tavares, J. M. R. S. (eds.). Berlin: Springer, p. 343-356 14 p. (Communications in computer and information science).

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

  322. Markerless multi-view articulated pose estimation using adaptive hierarchical particle swarm optimisation

    Ivekovic, S., John, V. & Trucco, E. 2010 Applications of Evolutionary Computation: Proceedings. DiChic, C., Cagoni, S., Cotta, C., Ebner, M., Ekart, A., EsparciaAlcazar, A. I., Goh, C. K., Merelo, J. J., Neri, F., Preuss, M., Togelius, J. & Yannakakis, G. N. (eds.). Berlin: Springer, Vol. 1, p. 241-250 10 p. (Lecture notes in computer science).

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

  323. Markerless multi-view articulated pose estimation using adaptive hierarchical particle swarm optimisation

    Ivekovic, S., John, V. & Trucco, E. 2010

    Research output: Contribution to conferencePaper

  324. Mars visual simulation for ExoMars navigation algorithm validation

    McCrum, M., Parkes, S., Martin, I. & Dunstan, M. 2010 i-SAIRAS The International Symposium on Artificial Intelligence, Robotics and Automation in Space. p. 283-290 8 p.

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

  325. Modeling the tortuosity of retinal vessels: does caliber play a role?

    Trucco, E., Azegrouz, H. & Dhillon, B. 2010 In : IEEE Transactions on Biomedical Engineering. 57, 9, p. 2239-2247 9 p.

    Research output: Contribution to journalArticle

  326. Moving between argumentation frameworks

    Oren, N., Reed, C. & Luck, M. 2010 Computational models of argument: proceedings of COMMA 2010. Baroni, P., Cerutti, F., Giacomin, M. & Simari, G. R. (eds.). Amsterdam: IOS Press, p. 379-390 12 p. (Frontiers in artificial intelligence and applications).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  327. Multiple view human articulated tracking using charting and particle swarm optimisation

    John, V. & Trucco, E. 2010 3DVP'10: Proceedings of the 2010 ACM Workshop on 3D Video Processing, Co-located with ACM Multimedia 2010. New York: Association for Computing Machinery, p. 51-56 6 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  328. Neuro-symbolic representation of logic programs defining infinite sets

    Komendantskaya, E., Broda, K. & Garcez, A. D. A. 2010 Artificial Neural Networks-Icann 2010, Pt I. Diamantaras, K., Duch, W. & Iliadis, L. S. (eds.). Berlin: Springer, p. 301-304 4 p.

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

  329. Never mind the quality, feel the bandwidth: quality of service drivers for future onboard communication networks

    Parkes, S. 2010 61st International Astronautical Congress 2010, IAC 2010. Vol. 13, p. 10593-10597 5 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  330. New SpaceWire protocols and tools

    Parkes, S., Mills, S., McClements, C., Mason, A., McKechnie, P., Scott, P., Yu, B. & Roberts, D. 2010 DAta Systems in aerospace: proceedings of the DASIA 2010 Conference, 1–4 June 2010 Budapest, Hungary. Ouwehand, L. (ed.). ESA Communications, (ESA SP).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  331. Pipelining argumentation technologies

    Snaith, M., Devereux, J., Lawrence, J. & Reed, C. 2010 Computational Models of Argument: proceedings of COMMA 2010. Baroni, P., Cerutti, F., Giacomin, M. & Simari, G. R. (eds.). Amsterdam: IOS Press, p. 447-453 7 p. ( Frontiers in artificial intelligence and applications).

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

  332. Pipelining argumentation technologies

    Snaith, M., Devereux, J., Lawrence, J. & Reed, C. 2010

    Research output: Contribution to conferencePaper

  333. Portrait: portraying individuality

    Webster, G., Fels, D. I., Gowans, G. & Alm, N. 2010 Computers Helping people with special needs, Proceedings PT2. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). Berlin: Springer, Vol. 6180 LNCS, p. 576-583 8 p.

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

  334. Simulation of Near-Earth Objects and related lander guidance systems

    Parkes, S., Dunstan, M., Martin, I., McCrum, M., Rowell, N. & Dubois-Matra, O. 2010 61st International Astronautical Congress 2010, IAC 2010. Vol. 11, p. 9279-9286 8 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  335. SpaceWire: Spacecraft onboard data-handling network

    Parkes, S. & Armbruster, P. 2010 In : Acta Astronautica. 66, 1-2, p. 88-95 8 p.

    Research output: Contribution to journalArticle

  336. SpaceWire: Remote memory access protocol

    European Cooperation for Space Standardization 2010 European Cooperation for Space Standardization

    Research output: Other contribution

  337. Strategic argumentation in rigorous persuasion dialogue

    Devereux, J. & Reed, C. 2010 Argumentation in Multi-Agent Systems: Revised Selected and Invited Papers. McBurney, P., Rahwan, I., Parsons, S. & Maudet, N. (eds.). Berlin: Springer, p. 94-113 20 p. (Lecture notes in computer science).

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

  338. The potential of adaptive interfaces as an accessibility aid for older web users

    Sloan, D., Atkinson, M. T., Machin, C. & Li, Y. 2010 W4A'10: Proceedings of the 2010 International Cross Disciplinary Conference on Web Accessibility (W4A) . New York: Association for Computing Machinery

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  339. The translation research in a dental setting (TRiaDS) programme protocol

    Clarkson, J. E. & 22 others Ramsay, C. R., Eccles, M. P., Eldridge, S., Grimshaw, J. M., Johnston, M., Michie, S., Treweek, S., Walker, A., Young, L., Black, I., Bonetti, D., Cassie, H., Francis, J., MacKenzie, G., MacPherson, L., McKee, L., Pitts, N., Rennie, J., Stirling, D., Tilley, C., Torgerson, C. & Vale, L. 2010 In : Implementation Science. 5, p. - 10 p.57

    Research output: Contribution to journalArticle

  340. Towards accessible interactions with pervasive interfaces, based on human capabilities

    Atkinson, M. T., Li, Y., Machin, C. H. C. & Sloan, D. 2010 Computers Helping People with Special Needs: Proceedings of the 12th International Conference, ICCHP. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). Berlin: Springer, p. 162-169 8 p. (Lecture notes in computer science).

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

  341. Towards the development of a technology for art therapy and dementia: definition of needs and design constraints

    Mihailidis, A., Blunsden, S., Boger, J., Richards, B., Zutis, K., Young, L. & Hoey, J. 2010 In : The Arts in Psychotherapy. 37, 4, p. 293-300 8 p.

    Research output: Contribution to journalArticle

  342. Update of probabilistic beliefs: Implementation and parametric verification

    Budzynska, K., Kacprzak, M. & Rembelski, P. 2010 In : Fundamenta Informaticae. 102, 1, p. 35-48 14 p.

    Research output: Contribution to journalArticle

  343. Using NLG and sensors to support personal narrative for children with complex communication needs

    Black, R., Reddington, J., Reiter, E., Tintarev, N. & Waller, A. 2010 Workshop on Speech and Language Processing for Assistive Technologies (SLPAT): Proceedings of the Workshop. Association for Computational Linguistics, p. 1-9 9 p.

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

  344. Using perseus system for modelling epistemic interactions

    Kacprzak, M., Kulicki, P., Trypuz, R., Budzynska, K., Garbacz, P., Lechniak, M. & Rembelski, P. 2010 Agent and Multi-Agent Systems: Technologies and Applications: 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I. Jedrzejowicz, P., Nguyen, N. T., Howlett, R. J. & Jain, L. C. (eds.). Berlin: Springer, Vol. 6070, p. 315-324 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  345. What can the 'ash cloud' tell us about older adults' technology adoption?

    Gibson, L., Forbes, P. & Hanson, V. 2010 Assets '10: proceedings of the 12th international ACM SIGACCESS Conference on Computers and Accessibility. Barreto, A. & Hanson, V. L. (eds.). New York: Association for Computing Machinery, p. 301-302 2 p.

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

  346. From light logics to type assignments: a case study

    Gaboardi, M. & Rocca, S. R. D. Oct 2009 In : Logic Journal of the IGPL. 17, 5, p. 499-530 32 p.

    Research output: Contribution to journalArticle

  347. Prognostic significance of alpha B-crystallin, vimentin and HSP 27 association in primary breast cancer

    Sreseli, R., Quinlan, P., Quinlan, R., Hadad, S., Bray, S., Kellock, D., Baker, L., Jordan, L., Purdie, C. & Thompson, A. Oct 2009 In : EJC Supplements. 7, 4, p. 31-31 1 p.PP59

    Research output: Contribution to journalBook/Film/Article review

  348. Histological evaluation of AMPK signalling in primary breast cancer

    Hadad, S. M., Baker, L., Quinlan, P. R., Robertson, K. E., Bray, S. E., Thomson, G., Kellock, D., Jordan, L. B., Purdie, C. A., Hardie, D. G., Fleming, S. & Thompson, A. M. 1 Sep 2009 In : BMC Cancer. 9, p. - 9 p.307

    Research output: Contribution to journalArticle

  349. Knowledge may not be the best target for strategies to influence evidence-based practice: using psychological models to understand RCT effects

    Bonetti, D., Johnston, M., Pitts, N. B., Deery, C., Ricketts, I., Tilley, C. & Clarkson, J. E. Sep 2009 In : International Journal of Behavioral Medicine. 16, 3, p. 287-293 7 p.

    Research output: Contribution to journalArticle

  350. Consultants in Scotland: Survey of Educational Qualifications, Experience and Needs of Scottish Consultants

    Schofield, S. J., Nathwani, D., Anderson, F., Monie, R., Watson, M. & Davis, M. H. Aug 2009 In : Scottish Medical Journal. 54, 3, p. 25-29 5 p.

    Research output: Contribution to journalArticle

  351. Digital image analysis of plus disease in retinopathy of prematurity

    Aslam, T., Fleck, B., Patton, N., Trucco, M. & Azegrouz, H. Jun 2009 In : Acta Ophthalmologica. 87, 4, p. 368-377 10 p.

    Research output: Contribution to journalArticle

  352. Exploring visual and motor accessibility in navigating a virtual world

    Trewin, S., Laff, M., Hanson, V. & Cavender, A. Jun 2009 In : ACM Transactions on Accessible Computing. 2, 2, 11

    Research output: Contribution to journalArticle

  353. An interactive tool to promote musical creativity in people with dementia

    Riley, P., Alm, N. & Newell, A. May 2009 In : Computers in Human Behavior. 25, 3, p. 599-608 10 p.

    Research output: Contribution to journalArticle

  354. Introduction to the special issue on aging and information technology

    Czaja, S. J., Gregor, P. & Hanson, V. L. May 2009 In : ACM Transactions on Accessible Computing. 2, 1, 1

    Research output: Contribution to journalArticle

  355. Parts-based segmentation with overlapping part models using Markov chain Monte Carlo

    Seise, M., McKenna, S. J., Ricketts, I. W. & Wigderowitz, C. A. 2 Apr 2009 In : Image and Vision Computing. 27, 5, p. 504-513 10 p.

    Research output: Contribution to journalArticle

  356. Involving older people with dementia and their carers in designing computer based support systems: some methodological considerations

    Astell, A., Alm, N., Gowans, G., Ellis, M., Dye, R. & Vaughan, P. Apr 2009 In : Universal Access in the Information Society. 8, 1, p. 49-58 10 p.

    Research output: Contribution to journalArticle

  357. Evaluating the STANDUP pun generating software with children with cerebral palsy

    Waller, A., Black, R., O'Mara, D. A., Pain, H., Ritchie, G. & Manurung, R. Feb 2009 In : ACM Transactions on Accessible Computing. 1, 3, 16

    Research output: Contribution to journalArticle

  358. Introduction to the special issue on AAC

    McCoy, K. F. & Waller, A. Feb 2009 In : ACM Transactions on Accessible Computing. 1, 3, 13

    Research output: Contribution to journalArticle

  359. alpha B-crystallin, vimentin and increased p53 expression levels in breast cancer is associated with poor prognosis

    Quinlan, P. R., Sreseli, R., Quinlan, R. A., Hadad, S., Bray, S. E., Kernohan, N., Kellock, D., Baker, L., Purdie, C., Jordan, L. & Thompson, A. 15 Jan 2009 In : Cancer Research. 69, 2 Supplement, p. 321S-322S 2 p.Abstract #5070

    Research output: Contribution to journalArticle

  360. Automated classification of breast tissue microarray spots.

    Amaral, T., McKenna, S., Robertson, K. & Thompson, A. 15 Jan 2009 In : Cancer Research. 69, 2 (Suppl 1), p. 254S-254S 1 p.

    Research output: Contribution to journalBook/Film/Article review

  361. Sound and complete SLD-resolution for bilattice-based annotated logic programs

    Komendantskaya, E. & Seda, A. K. 2 Jan 2009 In : Electronic Notes in Theoretical Computer Science. 225, C, p. 141-159 19 p.

    Research output: Contribution to journalArticle

  362. A secure electronic diary and data collection tool

    Morrison, K., Ricketts, I. W., Jones, M. C., Johnston, D. W., Pitts, N. B. & Sullivan, F. M. 1 Jan 2009 2009 3rd International Conference on Pervasive Computing Technologies for Healthcare - Pervasive Health 2009, PCTHealth 2009. 4 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  363. Automated detection of unusual events on stairs

    Snoek, J., Hoey, J., Stewart, L., Zemel, R. S. & Mihailidis, A. 1 Jan 2009 In : Image and Vision Computing. 27, 1-2, p. 153-166 14 p.

    Research output: Contribution to journalArticle

  364. Developing technology to meet psychosocial needs

    Astell, A., Ellis, M., Alm, N., Dye, R., Gowans, G. & Campbell, J. 1 Jan 2009 In : Journal of Dementia Care . 17, 1, p. 36-38 3 p.

    Research output: Contribution to journalArticle

  365. SpaceFibre: GBIT/S links for use on board spacecraft

    Parkes, S., Suess, M., Dunstan, M. & McClements, C. 1 Jan 2009 60th International Astronautical Congress 2009, IAC 2009. International Astronautical Federation, Vol. 4, p. 2905-2912 8 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  366. Standardised sensor and actuator interfaces with SpaceWire-PnP

    Mendham, P., Ferrer Florit, A. & Parkes, S. 1 Jan 2009 60th International Astronautical Congress 2009, IAC 2009. Vol. 5, p. 3891-3898 8 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  367. Towards a project community approach to academic scientific software development

    Loynton, S., Sloan, D., Burel, J-M. & MacAulay, C. 1 Jan 2009 e-science 2009: proceedings of the 2009 5th IEEE International Conference on e-Science Workshops. Institute of Electrical and Electronics Engineers, p. 120-124 5 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  368. Automating progress measurement of construction projects

    Zhang, X., Bakis, N., Lukins, T. C., Ibrahim, Y. M., Wu, S., Kagioglou, M., Aouad, G., Kaka, A. P. & Trucco, E. Jan 2009 In : Automation in Construction. 18, 3, p. 294-301 8 p.

    Research output: Contribution to journalArticle

  369. NOPdb: Nucleolar proteome database - 2008 Update

    Ahmad, Y., Boisvert, F-M., Gregor, P., Cobley, A. & Lamond, A. I. Jan 2009 In : Nucleic Acids Research. 37, Suppl. 1, p. D181-D184 4 p.

    Research output: Contribution to journalArticle

  370. Towards automated progress assessment of workpackage components in construction projects using computer vision

    Ibrahim, Y. M., Lukins, T. C., Zhang, X., Trucco, E. & Kaka, A. P. Jan 2009 In : Advanced Engineering Informatics. 23, 1, p. 93-103 11 p.

    Research output: Contribution to journalArticle

  371. A Comparative Study on Feature Selection for Retinal Vessel Segmentation Using FABC

    Lupascu, C. A., Tegolo, D. & Trucco, E. 2009 Computer Analysis of Images and Patterns, Proceedings. Jiang, X. & Petkov, N. (eds.). Berlin: Springer, p. 655-662 8 p.

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

  372. ALIVE: a framework for flexible and adaptive service coordination

    Reed, C. & 29 others Lam, J. S. C., Vasconcelos, W. W., Guerin, F., Corsar, D., Chorley, A., Norman, T. J., Vázquez-Salceda, J., Panagiotidi, S., Confalonieri, R., Gomez, I., Hidalgo, S., Napagao, S. A., Nieves, J. C., Palau Roig, M., Ceccaroni, L., Aldewereld, H., Dignum, V., Dignum, F., Penserini, L., Padget, J., De Vos, M., Andreou, D., Cliffe, O., Staikopoulos, A., Popescu, R., Clarke, S., Sergeant, P., Quillinan, T. & Nieuwenhuis, K. 2009 Engineering societies in the agents world X: 10th International Workshop, ESAW 2009 Utrecht,The Netherlands,November 18-20, 2009 Proceedings. Aldewereld, H., Dignum, V. & Picard, G. (eds.). Berlin: Springer, p. 236-239 4 p. (Lecture notes in computer science).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  373. Articulated human motion tracking with HPSO

    John, V., Ivekovic, S. & Trucco, E. 2009 Visapp 2009: Proceedings of The Fourth International Conference on Computer Vision Theory and Applications, VOL 1. Ranchordas, A. & Araujo, H. (eds.). Setubal: Institute for Systems and Technologies of Information, Control and Communication, p. 531-538 8 p.

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

  374. Articulated human motion tracking with HPSO

    John, V., Ivekovic, S. & Trucco, E. 2009 VISAPP 2009 : proceedings of the 4th International Conference on Computer Vision Theory and Applications. Ranchordas, A. & Araujo, H. (eds.). Institute for Systems and Technologies of Information, Control and Communication, Vol. 1, p. 531-538 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  375. Can music and animation improve the flow and attainment in online learning?

    Grice, S. & Hughes, J. 2009 In : Journal of Educational Multimedia and Hypermedia. 18, 4, p. 385-403 19 p.

    Research output: Contribution to journalArticle

  376. Classifying and comparing regular textures for retrieval using texel geometry

    Han, J. & McKenna, S. J. 2009 VISAPP 2009: proceedings of the Fourth International Conference on Computer Vision Theory and Applications, Lisboa, Portugal, February 5-8, 2009. Ranchordas, A. & Araujo, H. (eds.). Setubal: Institute for Systems and Technologies of Information, Control and Communication, Vol. 1, p. 347-354 8 p.

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

  377. CodeRocket™: accelerating the software development process

    Parkes, S. & Ramsay, C. 2009 Proceedings of DASIA 2009: DAta Systems in Aerospace, 26-29 May 2009, Istanbul, Turkey. Ouwehand, L. (ed.). Noordwijk: European Space Agency, (ESA SP; 669).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  378. Cognition, age, and web browsing

    Hanson, V. L. 2009 Universal access in human-computer interaction: addressing diversity. Stephanidis, C. (ed.). Berlin: Springer, Vol. part I, p. 245-250 6 p. (Lecture notes in computer science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  379. Design and prototype of a device to engage cognitively disabled older adults in visual artwork

    Blunsden, S., Richards, B., Boger, J., Mihailidis, A., Bartindale, T., Jackson, D., Olivier, P. & Hoey, J. 2009 PETRA '09: Proceedings of the 2nd International Conference on PErvasive Technologies Related to Assistive Environments . New York: Association for Computing Machinery

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  380. Designing a safer interactive healthcare system - The impact of authentic user participation

    Went, K. L., Gregor, P. & Ricketts, I. W. 2009 Human-Computer Interaction - Interact 2009, Pt II, Proceedings. Gross, T., Gulliksen, J., Kotze, P., Oestreicher, L., Palanque, P., Prates, R. O. & Winckler, M. (eds.). Berlin: Springer, p. 718-730 13 p.

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

  381. Dundee User Centre - a space where older people and technology meet

    Forbes, P., Gibson, L., Hanson, V. L., Gregor, P. & Newell, A. F. 2009 Assets '09: proceedings of the 11th international ACM SIGACCESS Conference on Computers and Accessibility. Trewin, S. & McCoy, K. F. (eds.). New York: Association for Computing Machinery, p. 231-232 2 p.

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

  382. Eliminating disability: compassion or discrimination?

    Waller, A. 2009 In : Expository Times. 120, 6, p. 310-311 2 p.

    Research output: Contribution to journalBook/Film/Article review

  383. Engaging multimedia leisure for people with dementia

    Alm, N., Astell, A., Gowans, G., Dye, R., Ellis, M., Vaughan, P. & Riley, P. 2009 In : Gerontechnology. 8, 4, p. 236-246 11 p.

    Research output: Contribution to journalArticle

  384. Exploring the EFL curriculum through the use of a virtual forum

    Olarte, C., Hine, N. & Quintero, L. M. 2009 Designing a new curriculum for school age learners. Graves, K. & Lopriore, L. (eds.). Alexandria, Va.: Teachers of English to Speakers of Other Languages, Inc., p. 151-172 12 p.

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

  385. Extracting printed designs and woven patterns from textile images

    Jia, W., McKenna, S. J. & Ward, A. A. 2009 VISAPP 2009: proceedings of the Fourth International Conference on Computer Vision Theory and Applications, Lisboa, Portugal, February 5-8, 2009 . Ranchordas, A. & Araujo, H. (eds.). Setubal: Institute for Systems and Technologies of Information, Control and Communication, Vol. 1, p. 201-208 8 p.

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

  386. Facilitating benign deceit in mediated communication

    Moncur, W., Masthoff, J. & Reiter, E. 2009 CHI EA '09: CHI '09 extended abstracts on Human factors in computing systems. New York: Association for Computing Machinery, p. 3383-3388 6 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  387. Fault lines of user experience: the intersection of business and design

    Busse, D. K., Fraser, H., Thompson, C. F., Allan, L., Hallstein, P., MacAulay, C. & Dalal, B. 2009 CHI EA '09: Proceedings of the 27th international conference extended abstracts on Human factors in computing systems . New York: Association for Computing Machinery, p. 3305-3308 4 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  388. From data to text in the Neonatal Intensive Care Unit: using NLG technology for decision support and information management

    Gatt, A., Portet, F., Reiter, E., Hunter, J., Mahamood, S., Moncur, W. & Sripada, S. 2009 In : AI Communications. 22, 3, p. 153-186 34 p.

    Research output: Contribution to journalScientific review

  389. Full body image feature representations for gender profiling

    Collins, M., Zhang, J., Miller, P. & Wang, H. 2009 2009 IEEE 12th International Conference on Computer Vision Workshops : (ICCV Workshops). IEEE, p. 1235-1242 8 p.

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

  390. Generations in the workplace: an exploratory study with administrative assistants

    Vizer, L. M. & Hanson, V. L. 2009 Universal access in human-computer interaction: applications and services. Stephanidis, C. (ed.). Berlin: Springer, Vol. part III, p. 441-450 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  391. Hidden conditional random fields for visual speech recognition

    Pass, A., Zhang, J. & Stewart, D. 2009 Proceedings 13th International Machine Vision and Image Processing Conference, 2009: IMVIP '09.. Dawson-Howe, K., Dahyot, R., Kokaram, A. & Lacey, G. (eds.). Los Alamitos, Calif.: IEEE, p. 117-122 6 p.

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

  392. High-entropy layouts for content-based browsing and retrieval

    Wang, R., McKenna, S. J. & Han, J. 2009 CIVR 2009: proceedings of the ACM International Conference on Image and Video Retrieval. New York: Association for Computing Machinery, p. 116-123 8 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  393. Including accessibility within and beyond undergraduate computing courses

    Waller, A., Hanson, V. L. & Sloan, D. 2009 Assets '09: proceedings of the 11th international ACM SIGACCESS Conference on Computers and Accessibility . Trewin, S. & McCoy, K. F. (eds.). New York: Association for Computing Machinery, p. 155-162 8 p.

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

  394. Influence of HER2 status on clinical outcome in breast cancer

    Purdie, C. A., Baker, L., Ashfield, A., Chatterjee, S., Jordan, L., Quinlan, P., Adamson, D., Dewar, J. & Thompson, A. 2009 In : Annals of Oncology. 20, S2, p. ii51 1 p.150P

    Research output: Contribution to journalBook/Film/Article review

  395. Innovation for an inclusive future

    Springett, M., Rice, M., Carmichael, A. & Griffiths, R. 2009 INTERACT '09: Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II . Gross, T., Gulliksen, J., Kotze, P., Oestreicher, L., Palanque, P., Prates, R. O. & Winckler, M. (eds.). Berlin: Springer, p. 967-968 2 p. (Lecture notes in computer science).

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

  396. Involving healthcare consumers in knowledge acquisition for virtual healthcare

    Moncur, W., Mahamood, S., Reiter, E. & Freer, Y. 2009 Virtual healthcare interaction: papers from the AAAI Fall symposium. AAAI Press, Vol. FS-09-07, p. 43-51 9 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  397. Learning query-dependent distance metrics for interactive image retrieval

    Han, J., McKenna, S. J. & Wang, R. 2009 Computer Vision Systems: 7th International Conference, ICVS 2009 Liège, Belgium, October 13-15, 2009. Proceedings. Fritz, M., Schiele, B. & Piater, J. H. (eds.). Berlin: Springer, p. 374-383 10 p. (Lecture notes in computer science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  398. Learning to recognise behaviours of persons with dementia using multiple cues in an HMM-based approach

    Peters, C., Wachsmuth, S. & Hoey, J. 2009 PETRA '09: Proceedings of the 2nd International Conference on PErvasive Technologies Related to Assistive Environments . New York: Association for Computing Machinery

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  399. Lessons learned from developing cognitive support for communication, entertainment, and creativity for older people with dementia

    Alm, N., Astell, A., Gowans, G., Dye, R., Ellis, M., Vaughan, P. & Riley, P. 2009 Universal Access in Human-Computer Interaction: Addressing Diversity, Pt I, Proceedings. Stephanidis, C. (ed.). Berlin: Springer, Vol. 5614 LNCS , p. 195-201 7 p.

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

  400. Logic for reasoning about components of persuasive actions

    Budzynska, K., Kacprzak, M. & Rembelski, P. 2009 Foundations of Intelligent Systems: 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009. Proceedings. Rauch, J., Ras, Z. W., Berka, P. & Elomaa, T. (eds.). Berlin: Springer, Vol. 5722, p. 201-210 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  401. Mapping persuasive dialogue games onto argumentation structures

    Wells, S., Ravenscroft, A., Sagar, M. & Reed, C. 2009 Adaptive and emergent behaviour and complex systems : proceedings of the 23rd convention of the Society for the Study of Artificial Intelligence and Simulation of Behaviour, AISB 2009. London: Society for the Study of Artificial Intelligence and Simulation of Behaviour, p. 53-56

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  402. Neurons or symbols: why does OR remain exclusive?

    Komendantskaya, E. 2009 IJCCI 2009: Proceedings of the International Joint Conference on Computational Intelligence. Dourado, A., Rosa, A. & Madani, K. (eds.). Setubal: Institute for Systems and Technologies of Information, Control and Communication, p. 502-507 6 p.

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

  403. Novel boosting framework for subunit-based sign language recognition

    Awad, G., Han, J. & Sutherland, A. 2009 Image Processing (ICIP), 2009 16th IEEE international conference on. Piscataway, NJ: IEEE Computer Society, p. 2729-2732 4 p.

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

  404. Older workers and communication technology: implications for training and employment

    Czaja, S., Lee, C., Hanson, V. L., Newell, A. F., Richards, J. T. & Gibson, L. 2009 In : Gerontologist. 49, Suppl. 2, p. 446-446 1 p.Session 1800

    Research output: Contribution to journalMeeting abstract

  405. Older workers and communication technology: implications for training and employment

    Czaja, S., Lee, S., Hanson, V., Newell, A., Richards, J. T. & Gibson, L. 2009

    Research output: Contribution to conferenceAbstract

  406. Parallel rewriting in neural networks

    Komendantskaya, E. 2009 IJCCI 2009: Proceedings of the International Joint Conference on Computational Intelligence. Dourado, A., Rosa, A. & Madani, K. (eds.). Setubal: Institute for Systems and Technologies of Information, Control and Communication, p. 452-458 7 p.

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

  407. People detection in low-resolution video with non-stationary background

    Zhang, J. & Gong, S. 2009 In : Image and Vision Computing. 27, 4, p. 437-443 7 p.

    Research output: Contribution to journalArticle

  408. Perseus.: Software for analyzing persuasion process

    Budzynska, K., Kacprzak, M. & Rembelski, P. 2009 In : Fundamenta Informaticae. 93, 1-3, p. 65-79 15 p.

    Research output: Contribution to journalArticle

  409. PINs, passwords and human memory

    Moncur, W. & LePlatre, G. 2009 In : Digital Evidence and Electronic Signature Law Review. 6, p. 116-122 7 p.

    Research output: Contribution to journalArticle

  410. Poisson Kalman particle filtering for tracking centrosomes in low-light 3-D confocal image sequences

    Gribben, H., Miller, P., Zhang, J. & Browne, M. 2009 Proceedings 13th International Machine Vision and Image Processing Conference, 2009: IMVIP '09. Dawson-Howe, K., Dahyot, R., Kokaram, A. & Lacey, G. (eds.). Los Alamitos, Calif.: IEEE, p. 83-88 6 p.

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

  411. Quality of service in NoC for reconfigurable space applications

    Ferrer, A., Parkes, S. & Mendham, P. 2009 Proceedings - 2009 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2009. LOS ALAMITOS: IEEE Computer Society, p. 482-487 6 p.

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

  412. Same-Relation Constraints

    Jefferson, C., Kadioglu, S., Petrie, K. E., Sellmann, M. & Zivny, S. 2009 Principles and Practice of Constraint Programming. Gent, I. P. (ed.). Berlin: Springer, p. 470-485 16 p.

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

  413. Scoring of breast tissue microarray spots through ordinal regression

    Amaral, T., McKenna, S., Robertson, K. & Thompson, A. 2009 Visapp 2009: Proceedings of The Fourth International Conference on Computer Vision Theory and Applications, Vol 2. Setubal: Institute for Systems and Technologies of Information, Control and Communication, p. 243-248 6 p.

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

  414. SpaceWire missions and architectures

    Parkes, S., Armbruster, P., Sheynin, Y. & Nomachi, M. 2009 60th International Astronautical Congress 2009, IAC 2009. International Astronautical Federation, Vol. 4, p. 2963-2970 8 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  415. SpaceWire RMAP: applications, IP cores and test equipment

    Parkes, S., McClements, C., Dunstan, M., Mills, S. & Mendham, P. 2009 Proceedings of DASIA 2009: DAta Systems in Aerospace, 26-29 May 2009, Istanbul, Turkey. Ouwehand, L. (ed.). Noordwijk: European Space Agency, (ESA SP; 669).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  416. Standard for personalized health services

    Sund, T., Hine, N., Petersen, F. & Pluke, M. 2009 Mobilizing health information to support healthcare-related knowledge work: proceedings of the 1st international workshop on mobilizing health information to support healthcare-related knowledge work - MobiHealthInf 2009. Martins, H. M. G. (ed.). Portugal: Institute for Systems and Technologies of Information, Control and Communication, p. 42-48 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  417. Strategic argumentation in rigorous persuasion dialogue

    Devereux, J. & Reed, C. 2009

    Research output: Contribution to conferencePaper

  418. Testing advanced navigation systems for planetary landers and rovers

    Parkes, S., Dunstan, M., Martin, I., McCrum, M. & Dubois-Matra, O. 2009 60th International Astronautical Congress 2009, IAC 2009. Vol. 2, p. 869-877 9 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  419. Type inference for a polynomial lambda calculus

    Gaboardi, M. & Della Rocca, S. R. 2009 Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers . Berardi, S., Damiani, F. & De' Liguoro, U. (eds.). Berlin: Springer, Vol. 5497, p. 136-152 17 p. (Lecture Notes in Computer Science).

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

  420. Unified communication infrastructure for small satellites

    Ferrer Florit, A. & Parkes, S. 2009 60th International Astronautical Congress 2009, IAC 2009. International Astronautical Federation, Vol. 5, p. 3776-3780 5 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  421. Usability and user-centered design in scientific software development

    Macaulay, C., Sloan, D., Jiang, X., Forbes, P., Loynton, S., Swedlow, J. R. & Gregor, P. 2009 In : IEEE Software. 26, 1, p. 96-102 7 p.

    Research output: Contribution to journalArticle

  422. User research in a scientific software development project

    Sloan, D., MacAulay, C., Forbes, P., Loynton, S. & Gregor, P. 2009 BCS-HCI '09: Proceedings of the 23rd British HCI Group Annual Conference on People and Computers: Celebrating People and Technology . Swindon: British Computer Society, p. 423-429 7 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  423. Using NLG to help language-impaired users tell stories and participate in social dialogues

    Reiter, E., Turner, R., Alm, N., Black, R., Dempster, M. & Waller, A. 2009 ENLG 2009 12th EuropeanWorkshop on Natural Language Generation: proceedings of the workshop. Stroudsburg, PA: Association for Computational Linguistics, p. 1-8 8 p.

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

  424. Using structural recursion for corecursion

    Bertot, Y. & Komendantskaya, E. 2009 Types for proofs and programs. Berardi, S., Damiani, F. & DeLiguoro, U. (eds.). Berlin: Springer, p. 220-236 17 p.

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

  425. Using user research in creativity: informing systems, service and product experience design

    Macaulay, C. & Busse, D. 2009 C&C '09 : proceedings of the Seventh ACM Conference on Creativity and Cognition. New York: Association for Computing Machinery, p. 495-496 2 p.

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

  426. Website credibility and intervention effectiveness

    Nind, T., Wyatt, J., Ricketts, I., McPate, P. & Liu, J. 2009 Proceedings of the Symposium Persuasive Technology and Digital Behaviour Intervention Symposium: a symposium at the AISB 2009 Convention (6-9 April 2009) Heriot-Watt University, Edinburgh, Scotland. Society for the Study of Artificial Intelligence and Simulation of Behaviour, p. 36-39 4 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  427. Who's counting? Real-time blackjack monitoring for card counting detection

    Zutis, K. & Hoey, J. 2009 ICVS '09: Proceedings of the 7th International Conference on Computer Vision Systems: Computer Vision Systems . Fritz, M., Schiele, B. & Piater, J. H. (eds.). Berlin: Springer, p. 354-363 10 p. (Lecture notes in computer science).

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

  428. Why are we still here?: Experiences of successful women in computing

    Dee, H. M., Petrie, K. E., Boyle, R. D. & Pau, R. 2009 ITICSE 2009 Proceeding of the 14th ACM SIGSE Annual Conference on Innovation and Technology in Computer Science Education. Brezillon, . P. (ed.). New York: Association for Computing Machinery, p. 233-237 5 p.

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

  429. Anthropological measurement of lower limb and foot bones using multi-detector computed tomography

    Robinson, C., Eisma, R., Morgan, B., Jeffery, A., Graham, E. A. M., Black, S. & Rutty, G. N. Nov 2008 In : Journal of Forensic Sciences. 53, 6, p. 1289-1295 7 p.

    Research output: Contribution to journalArticle

  430. Evaluating corroborative evidence

    Walton, D. & Reed, C. Nov 2008 In : Argumentation. 22, 4, p. 531-553 23 p.

    Research output: Contribution to journalArticle

  431. The construction of a pun generator for language skills development

    Manurung, R., Ritchie, G., Pain, H., Waller, A., O'Mara, D. & Black, R. Oct 2008 In : Applied Artificial Intelligence. 22, 9, p. 841-869 29 p.

    Research output: Contribution to journalArticle

  432. Using dialogical argument as an interface to complex debates

    Wells, S. & Reed, C. 1 Sep 2008 In : IEEE Potentials. 27, 5, p. 26-30 5 p.

    Research output: Contribution to journalArticle

  433. Adding phonetic similarity data to a lexical database

    Manurung, R., Ritchie, G., Pain, H., Waller, A., Black, R. & O'Mara, D. Sep 2008 In : Language Resources and Evaluation. 42, 3, p. 319-324 6 p.

    Research output: Contribution to journalArticle

  434. Using psychogical theory to design a health promotion intervention delivered by primary care dentists

    Bonetti, D., Clarkson, J., Young, L. & Ramsay, C. Sep 2008 In : Psychology and Health. 23, Supplement 1, p. 70 1 p.

    Research output: Contribution to journalBook/Film/Article review

  435. Planarization and fragmentability of some classes of graphs

    Edwards, K. & Farr, G. 28 Jun 2008 In : Discrete Mathematics. 308, 12, p. 2396-2406 11 p.

    Research output: Contribution to journalArticle

  436. Inductive and coinductive components of corecursive functions in Coq

    Bertot, Y. & Komendantskaya, E. 12 Jun 2008 In : Electronic Notes in Theoretical Computer Science. 203, 5, p. 25-47 23 p.

    Research output: Contribution to journalArticle

  437. SimBIL: appearance-based simulation of burst-illumination laser sequences

    Nayak, A., Trucco, E., Ahmad, A. & Wallace, A. M. Jun 2008 In : IET Image Processing. 2, 3, p. 165-174 10 p.

    Research output: Contribution to journalArticle

  438. The prospects for e-learning revolution in education: a philosophical analysis

    Gunga, S. O. & Ricketts, I. W. Apr 2008 In : Educational Philosophy and Theory. 40, 2, p. 294-314 21 p.

    Research output: Contribution to journalArticle

  439. Special issue: selected papers from 20th British Combinatorial Conference - preface

    Edwards, K. 28 Mar 2008 In : Discrete Mathematics. 308, 5-6, p. 619-619 1 p.

    Research output: Contribution to journalEditorial

  440. What do UK children's hospital websites offer patients and families?

    Mukhopadhyay, R. S., Waller, A. & Franklin, V. L. Feb 2008 In : Archives of Disease in Childhood. 93, 2, p. 179-180 2 p.

    Research output: Contribution to journalLetter

  441. Diagramming the argument interchange format

    Rowe, G. & Reed, C. 1 Jan 2008 Computational models of argument. Amsterdam: IOS Press, Vol. 172, p. 348-359 12 p. (Frontiers in Artificial Intelligence and Applications; 172).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  442. INSPIRE: an integrated agent based system for hypothesis generation within cancer datasets

    Quinlan, P. R., Reed, C. & Thompson, A. 1 Jan 2008 Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Workshops, WI-IAT Workshops 2008. p. 587-590 4 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  443. SpaceWire: spacecraft onboard data-handling network

    Parkes, S. & Armbruster, P. 1 Jan 2008 International Astronautical Federation - 59th International Astronautical Congress 2008, IAC 2008. Vol. 5, p. 3146-3156 11 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  444. Modelling argument recognition and reconstruction

    Katzav, J. & Reed, C. Jan 2008 In : Journal of Pragmatics. 40, 1, p. 155-172 18 p.

    Research output: Contribution to journalArticle

  445. "Accessibility Challenge" - a game show investigating the accessibility of computer systems for disabled people

    Morgan, M., Hanson, V., Martin, C., Hughes, J. & Newell, A. 2008 CHI EA '08 : CHI '08 extended abstracts on Human factors in computing systems. New York: Association for Computing Machinery, p. 2609-2610 2 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  446. A logic for reasoning about persuasion

    Budzynska, K. & Kacprzak, M. 2008 In : Fundamenta Informaticae. 85, 1-4, p. 51-65 15 p.

    Research output: Contribution to journalArticle

  447. Accessibility in virtual worlds

    Trewin, S. M., Laff, M. R., Cavender, A. C. & Hanson, V. L. 2008 CHI EA '08 : CHI '08 extended abstracts on Human factors in computing systems. New York: Association for Computing Machinery, p. 2727-2732 6 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  448. AIF: Dialogue in the argument interchange format

    Reed, C., Wells, S., Devereux, J. & Rowe, G. 2008 Computational Models of Argument. Amsterdam: IOS Press, Vol. 172, p. 311-323 13 p. (Frontiers in Artifical Intelligence and Applications; 172).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  449. AIF(+): dialogue in the argument interchange format

    Reed, C., Wells, S., Devereux, J. & Rowe, G. 2008 COMPUTATIONAL MODELS OF ARGUMENT, PROCEEDINGS OF COMMA 2008. Besnard, P., Doutre, S. & Hunter, A. (eds.). AMSTERDAM: IOS Press, p. 311-323 13 p.

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

  450. Applying an analysis of acted vocal emotions to improve the simulation of synthetic speech

    Murray, I. R. & Arnott, J. L. 2008 In : Computer Speech and Language. 22, 2, p. 107-129 23 p.

    Research output: Contribution to journalArticle

  451. Benefits of the SpaceWire Internet Tunnel

    Mills, S., Parkes, S. & Vitulli, R. 2008 International Astronautical Federation - 59th International Astronautical Congress 2008, IAC 2008. Vol. 11, p. 6805-6811 7 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  452. Biometric identification using motion history images of a speaker's lip movements

    de la Cuesta, A. G., Zhang, J. & Miller, P. 2008 Proceedings 2008 International Machine Vision and Image Processing Conference: IMVIP 2008. Scotney, B. & Morrow, P. (eds.). Los Alamitos, Calif.: IEEE, p. 83-88 6 p.

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

  453. Classification of breast-tissue microarray spots using colour and local invariants

    Amaral, T., McKenna, S., Robertson, K. & Thompson, A. 2008 2008 5th IEEE International Symposium on Biomedical Imaging: From Nano to Macro, Proceedings, ISBI. NEW YORK: IEEE Computer Society, p. 999-1002 4 p.

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

  454. Cognitive dimensions questionnaire applied to exploratory algorithm design

    Martin, C. J. & Hughes, J. M. 2008 ITICSE '08: : Proceedings of The 13th Annual Conference on Innovation and Technology in Computer Science Education. New York: Association for Computing Machinery, p. 184-188 5 p.

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

  455. Contextual detection of diabetic pathology in wide-field retinal angiograms

    Buchanan, C. R. & Trucco, E. 2008 2008 30TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY, VOLS 1-8. NEW YORK: IEEE Computer Society, p. 5437-5440 4 p.

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

  456. Creating innovative partnerships with users in developing assistive technology

    Alm, N. & Newell, A. 2008 Computers Helping People with Special Needs: 11th International Conference, ICCHP 2008, Linz, Austria, July 9-11, 2008. Proceedings. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). Berlin: Springer, p. 130-137 8 p. (Lecture notes in computer science).

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

  457. Creating innovative partnerships with users in developing assistive technology

    Alm, N. & Newell, A. 2008 Computers helping people with special needs: 11th International Conference, ICCHP 2008, Linz, Austria, July 2008, proceedings. Miesenberger, K., Klaus, J., Zagler, W. & Karshmer, A. (eds.). Berlin: Springer-Verlag, p. 130-137 8 p. (Lecture notes in computer science (including subseries Lecture notes in artificial intelligence and Lecture notes in bioinformatics)).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  458. Designing new interfaces for digital interactive television usable by older adults

    Rice, M. & Alm, N. 2008 In : Computers in Entertainment. 6, 1

    Research output: Contribution to journalArticle

  459. Diagramming the argument interchange format

    Rowe, G. & Reed, C. 2008 COMPUTATIONAL MODELS OF ARGUMENT, PROCEEDINGS OF COMMA 2008. Besnard, P., Doutre, S. & Hunter, A. (eds.). AMSTERDAM: IOS Press, p. 348-359 12 p.

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

  460. Early experience of the use of short message service (SMS) technology in routine clinical care

    Neville, R. G., Reed, C., Boswell, B., Sergeant, P., Sullivan, T. & Sullivan, F. M. 2008 In : Informatics in Primary Care. 16, 3, p. 203-211 9 p.

    Research output: Contribution to journalArticle

  461. Efficiently solving problems where the solutions form a group

    Petrie, K. E. & Jefferson, C. 2008 Principles and Practice of Constraint Programming: 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings. Stuckey, P. J. (ed.). Berlin: Springer, p. 529-533 5 p. (Lecture notes in Computer Science).

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

  462. Evaluating the benefits of virtual satellite integration with SpaceWire

    Mills, S., Parkes, S. & Vitulli, R. 2008 DASIA 2008: DAta Systems In Aerospace. Ouwehand, L. (ed.). Noordwijk: ESA Publications Division, (ESA SP; 665).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  463. Fibrational semantics for many-valued logic programs: grounds for non-groundness

    Komendantskaya, E. & Power, J. 2008 Logics in Artifiicial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings. Holldobler, S., Lutz, C. & Wansing, H. (eds.). Berlin: Springer, Vol. 5293, p. 258-271 14 p. (Lecture Notes in Computer Science).

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

  464. Function standards for interfacing mobiles with assistive devices

    Hine, N., Petersen, F. & Zetterstrom, E. 2008 In : Gerontechnology. 7, 3, p. 319-324 6 p.

    Research output: Contribution to journalArticle

  465. Human body pose estimation with particle swarm optimisation

    Ivekovic, S., Trucco, E. & Petillot, Y. R. 2008 In : Evolutionary Computation. 16, 4, p. 509-528 20 p.

    Research output: Contribution to journalArticle

  466. Interface metaphor design and instant messaging for older adults

    Prior, S., Arnott, J. & Dickinson, A. 2008 CHI EA '08: CHI '08 extended abstracts on human factors in computing systems . New York: Association for Computing Machinery, p. 3747-3752 6 p.

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

  467. Interoperability and rapid spacecraft development using SpaceWire Plug-and-Play

    Mendham, P., Ferrer Florit, A., Mills, S. & Parkes, S. 2008 International Astronautical Federation - 59th International Astronautical Congress 2008, IAC 2008. Vol. 7, p. 4297-4309 13 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  468. Invoking emotional support in a health crisis

    Moncur, W. 2008 CHI EA '08 : CHI '08 extended abstracts on Human factors in computing systems. New York: Association for Computing Machinery, p. 2637-2640 4 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  469. iTV as a platform for rich multimedia reminders for people with dementia

    Carmichael, A., Rice, M., Lindsay, S. & Olivier, P. 2008 Changing Television Environments: 6th European Conference, EUROITV 2008, Salzburg, Austria, July 3-4, 2008 Proceedingsents . Tscheligi, M. & Obrist, M. (eds.). Berlin: Springer, p. 308-317 10 p. (Lecture notes in computer science).

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

  470. MAgtALO: an agent-based system for persuasive online interaction

    Wells, S. & Reed, C. 2008 AISB 2008 Convention Communication, Interaction and Social Intelligence: Volume 3: Proceedings of the AISB 2008 Symposium on Persuasive Technology. Society for the Study of Artificial Intelligence and Simulation of Behaviour, Vol. 3, p. 29-32 4 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  471. Merging technology and users: applying image browsing to the fashion industry for design inspiration

    Ward, A. A., McKenna, S. J., Buruma, A., Taylor, P. & Han, J. 2008 2008 International Workshop on ContentBased Multimedia Indexing: conference proceedings. New York: IEEE Computer Society, p. 288-295 8 p.

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

  472. Modeling persuasiveness: Change of uncertainty through agents' interactions

    Budzynska, K., Kacprzak, M. & Rembelski, P. 2008 Computational Models of Argument: proceedings of COMMA 2008. Besnard, P., Doutre, S. & Hunter, A. (eds.). Amsterdam: IOS Press, Vol. 172, p. 85-96 12 p. (Frontiers in Artificial Intelligence and Applications).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  473. Patients' Engagement With "Sweet Talk": A Text Messaging Support System for Young People With Diabetes

    Franklin, V. L., Greene, A., Waller, A., Greene, S. A. & Pagliari, C. 2008 In : Journal of Medical Internet Research. 10, 2, 10 p.e20

    Research output: Contribution to journalArticle

  474. PowerUp: an accessible virtual world

    Trewin, S., Hanson, V. L., Laff, M. R. & Cavender, A. 2008 ASSETS'08: the 10th International ACM SIGACCESS Conference on Computers and Accessibility. New York: Association for Computing Machinery, p. 177-184 8 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  475. Regular texture analysis as statistical model selection

    Han, J., McKenna, S. J. & Wang, R. 2008 Computer Vision – ECCV 2008: 10th European Conference on Computer Vision Marseille, France, October 12-18, 2008. Proceedings, Part IV. Forsyth, D., Torr, P. & Zisserman, A. (eds.). Berlin: Springer, p. 242-255 14 p. (Lecture notes in computer science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  476. Requirements gathering with diverse user groups and stakeholders

    Morgan, M., Martin, C., McGee-Lennon, M., Clark, J., Hine, N., Wolters, M. & Arnott, J. 2008 CHI EA '08 : CHI '08 extended abstracts on Human factors in computing systems. New York: Association for Computing Machinery, p. 2597-2600 4 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  477. Response to Shapira et al.

    Dickinson, A. & Gregor, P. 2008 In : Aging and Mental Health. 12, 3, p. 410 1 p.

    Research output: Contribution to journalArticle

  478. Robust optic disc location via combination of weak detectors.

    Perez-Rovira, A. & Trucco, E. 2008 30th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2008. NEW YORK: IEEE Computer Society, Vol. 2008, p. 3542-3545 4 p.

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

  479. Sonic mapping: towards engaging the user in the design of sound for computerized artifacts

    Coleman, G. W., MacAulay, C. & Newell, A. F. 2008 NordiCHI ' 08: Proceedings of the 5th Nordic conference on Human-computer interaction: building bridges. New York: Association for Computing Machinery, p. 83-92 10 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  480. Spacefibre: a very high speed network for space flight applications

    Parkes, S., Suess, M., McClements, C., Dunstan, M. & Mendham, P. 2008 58th International Astronautical Congress 2007: proceedings of a meeting held 24-28 September 2007, Hyderabad, India. Curran Associates, Inc., Vol. 9, p. 6116-6121 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  481. SpaceWire for adaptive systems

    Parkes, S. 2008 Proceedings of the 2008 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2008. Keymeulen, D., Arslan, T., Seuss, M., Stoica, A., Erdogan, A. T. & Merodio, D. (eds.). LOS ALAMITOS: IEEE Computer Society, p. 77-82 6 p.

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

  482. Stakeholder involvement in the design and development of a domestic well-being indicator system

    Gil, N. M., Hine, N. A. & Arnott, J. L. 2008 ASSETS'08: the 10th International ACM SIGACCESS Conference on Computers and Accessibility. New York: Association for Computing Machinery, p. 267-268 2 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  483. Standardization work on personalized eHealth systems

    Hine, N., Petersen, F., Pluke, M. & Sund, T. 2008 Proceedings of the 30th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS'08 - "Personalized Healthcare through Technology". NEW YORK: IEEE Computer Society, p. 1518-1520 3 p.

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

  484. Technology devices for older adults to aid self management of chronic health conditions

    Bhachu, A. S., Hine, N. & Arnott, J. 2008 ASSETS'08: the 10th International ACM SIGACCESS Conference on Computers and Accessibility. New York: Association for Computing Machinery, p. 59-66 8 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  485. What do you want to know?: Investigating the information requirements of patient supporters

    Moncur, W., Masthoff, J. & Reiter, E. 2008 Computer-Based Medical Systems, 2008. CBMS '08. 21st IEEE Symposium on Computer-Based Medical Systems. Puuronen, S., Pechenizkiy, M., Tsymbal, A. & Lee, D. J. (eds.). Los Alamitos: IEEE Computer Society, p. 443-448 6 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  486. Whole utterance approaches in AAC

    Todman, J., Alm, N., Higginbotham, J. & File, P. 2008 In : Augmentative and Alternative Communication. 24, 3, p. 235-254 20 p.

    Research output: Contribution to journalArticle

Previous 1 2 Next

Find Research Units in Discovery

Library & Learning Centre

Contact | Accessibility | Policy