Discovery - University of Dundee - Online Publications

Library & Learning Centre

School of Computing

  1. Coalgebraic logic programming: from semantics to implementation

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

    Research output: Contribution to journalArticle

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

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

    Research output: Contribution to journalArticle

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

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

    Research output: Contribution to journalArticle

  4. The role of digital technologies during relationship breakdowns

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

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

  5. The role of digital technologies during relationship breakdowns

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

    Research output: Contribution to conferencePaper

  6. Recommendations to support interaction with broadcast debates: a study on older adults’ interaction with The Moral Maze

    Medellin-Gasque, R., Reed, C. & Hanson, V. L. 1 Feb 2016 In : Ageing and Society. 31, 1, p. 109-120 12 p.

    Research output: Contribution to journalArticle

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

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

    Research output: Contribution to journalArticle

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

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

    Annunziata, R., Kheirkhah, A., Hamrah, P. & Trucco, E. 4 Nov 2015 Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS. Institute of Electrical and Electronics Engineers, Vol. 2015-November, p. 5655-5658 4 p. 7319675

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

  13. On bounding space usage of streams using interpretation analysis

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

    Research output: Contribution to journalArticle

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

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

    Research output: Contribution to journalArticle

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

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

    Research output: Contribution to journalArticle

  16. Experimental Results for Space-Wire-D

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

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

  17. Rapid Real-Time Spacewire Emulation

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

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

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

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

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

  19. VHiSSI: Experimental spacefibre ASIC

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

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

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

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

    Research output: Contribution to conferenceOther

  21. Algebras and coalgebras in the light affine lambda calculus

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

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

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

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

    Research output: Contribution to journalArticle

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

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

    Research output: Contribution to journalArticle

  24. The role of blending in mathematical invention.

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

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

  25. Using argumentation to evaluate concept blends in combinatorial creativity

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

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

  26. Automating change of representation for proofs in discrete mathematics

    Raggi, D., Bundy, A., Grov, G. & Pease, A. 23 Jun 2015 Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 Proceedings. Kerber, M., Carette, J., Kaliszyk, C., Rabe, F. & Sorge, V. (eds.). Springer , Vol. LNAI 9150, p. 227-242 16 p. (Lecture Notes In Computer Science; vol. 9150)

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

  27. Realizability models for a linear dependent PCF

    Brunel, A. & Gaboardi, M. 20 Jun 2015 In : Theoretical Computer Science. 585, p. 55-70 16 p.

    Research output: Contribution to journalArticle

  28. Hydrodynamic stretching for prostate cancer detection

    Belotti, Y., Conneely, M., Palmer, S., Huang, T., Campbell, P. A., McKenna, S., Nabi, G. & McGloin, D. 1 Jun 2015 Bio-MEMS and Medical Microdevices II. van den Driesche, S. (ed.). Bellingham: SPIE-International Society for Optical Engineering, Vol. 9518, 95180H. (Proceedings of SPIE; vol. 9518)

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

  29. Learning person-person interaction in collective activity recognition

    Chang, X., Zheng, W. S. & Zhang, J. Jun 2015 In : IEEE Transactions on Image Processing. 24, 6, p. 1905-1918 14 p., 7055886

    Research output: Contribution to journalArticle

  30. Suitability of UK biobank retinal images for automatic analysis of morphometric properties of the vasculature

    MacGillivray, T. J., Cameron, J. R., Zhang, Q., El-Medany, A., Mulholland, C., Sheng, Z., Dhillon, B., Doubal, F. N., Foster, P. J., Trucco, E., Sudlow, C. & UK Biobank Eye and Vision Consortium 22 May 2015 In : PLoS ONE. 10, 5, 10 p., e0127914

    Research output: Contribution to journalArticle

  31. HoliBraille: Multipoint vibrotactile feedback on mobile devices

    Nicolau, H., Montague, K., Guerreiro, T., Rodrigues, A. & Hanson, V. L. 18 May 2015 W4A 2015 : Proceedings of the 12th Web for All Conference. New York: Association for Computing Machinery, 4 p. 30

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

  32. ColourID: Improving Colour Identification for People with Impaired Colour Vision

    Flatla, D., Andrade, A. R., Teviotdale, R. D., Knowles, D. L. & Stewart, C. 23 Apr 2015 CHI '15 Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 3543-3552 10 p.

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

  33. TabLETS get physical: Non-visual text entry on tablet devices

    Guerreiro, J., Rodrigues, A., Montague, K., Guerreiro, T., Nicolau, H. & Gonçalves, D. 18 Apr 2015 Conference on Human Factors in Computing Systems - Proceedings. Association for Computing Machinery, Vol. 2015-April, p. 39-42 4 p.

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

  34. Loss-of-function mutations in CAST cause peeling skin, leukonychia, acral punctate keratoses, cheilitis, and knuckle pads

    Zhang, J. & 21 others Lin, Z., Zhao, J., Nitoiu, D., Scott, C. A., Plagnol, V., Smith, F. J. D., Wilson, N. J., Cole, C., Schwartz, M. E., McLean, W. H. I., Wang, H., Feng, C., Duo, L., Zhou, E. Y., Ren, Y., Dai, L., Chen, Y., Xu, X., O'Toole, E. A., Kelsell, D. P. & Yang, Y. 5 Mar 2015 In : American Journal of Human Genetics. 96, 3, p. 440-447 8 p.

    Research output: Contribution to journalArticle

  35. Surgical simulation flexor tendon repair using Thiel cadavers: a comparison with formalin embalmed cadavers and porcine models

    Hassan, S., Eisma, R., Malhas, A., Soames, R. & Harry, L. Mar 2015 In : Journal of Hand Surgery (European Volume). 40E, 3, p. 246-249 4 p.

    Research output: Contribution to journalArticle

  36. An Analysis of User Engagement in Relation to Computing Workshop Activities

    Menzies, R., Crabb, M., Herron, D., Petrie, K., Stewart, C. & Zarb, M. 24 Feb 2015 SIGCSE '15: Proceedings of the 46th ACM Technical Symposium on Computer Science Education . New York: Association for Computing Machinery, p. 469-474 6 p.

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

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

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

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

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

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

    Research output: Contribution to journalArticle

  39. Cross-scenario transfer person re-identification

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

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

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

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

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

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

    Research output: Contribution to conferencePaper

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

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

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

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

    Annunziata, R., Garzelli, A., Ballerini, L., Mecocci, A. & Trucco, E. 2015 In : IEEE Journal of Biomedical and Health Informatics. PP, 99, 10 p.

    Research output: Contribution to journalArticle

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

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

    Research output: Contribution to journalArticle

  47. Multiple instance cancer detection by boosting regularised trees

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

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

  48. Responsive design for personalised subtitles

    Hughes, C. J., Armstrong, M., Jones, R. & Crabb, M. 2015 W4A 2015 - 12th Web for All Conference. Association for Computing Machinery, 8

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

  49. SpaceFibre: a multi-Gigabit/s interconnect for spacecraft onboard data handling

    Parkes, S. . S., McClements, C., McLaren, D., Ferrer Florit, A. & Villafranca, A. G. 2015 2015 IEEE Aerospace Conference Proceedings. IEEE Computer Society, 13 p.

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

  50. Stakeholder groups in computational creativity research and practice

    Colton, S., Pease, A., Corneli, J., Cook, M., Hepworth, R. & Ventura, D. 2015 Computational creativity research: towards creative machines. Besold, T. R., Schorlemmer, M. & Smaill, A. (eds.). Amsterdam: Atlantis Press, Vol. 7, p. 3-36 34 p. (Atlantis Thinking Machines; vol. 7)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  51. Structural resolution for logic programming

    Johann, P., Komendantskaya, E. & Komendantskiy, V. 2015 Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015) . De Vos , M., Eiter, T., Lierler, Y. & Toni , F. (eds.). 13 p. (CEUR workshop proceedings; vol. 1433)

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

  52. The Development of TASTER, a Cognitive Training Game Using Human-Centered Design, Tailored for Children with Global and Specific Cognitive Impairments

    Robb, N., Waller, A. & Woodcock, K. 2015 VS-Games 2015 - 7th International Conference on Games and Virtual Worlds for Serious Applications. Institute of Electrical and Electronics Engineers, 7295788

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

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

    Quinn, S., Herron, D., Menzies, R., Scott, L., Black, R., Zhou, Y., Waller, A., Humphris, G. & Freeman, R. 2015 In : European Journal of Dental Education. 8 p.

    Research output: Contribution to journalArticle

  54. Towards a theory of close analysis for dispute mediation discourse

    Janier, M. & Reed, C. 2015 In : Argumentation. 39 p.

    Research output: Contribution to journalArticle

  55. Tumor localization in tissue microarrays using rotation invariant superpixel pyramids

    Akbar, S., Jordan, L., Thompson, A. M. & McKenna, S. J. 2015 2015 IEEE 12th International Symposium on Biomedical Imaging (ISBI 2015). IEEE, p. 1292-1295 4 p.

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

  56. Typing performance of blind users: an analysis of touch behaviors, learning effect, and in-situ usage

    Nicolau, H., Montague, K., Guerreiro, T., Rodrigues, A. & Hanson, V. L. 2015 ASSETS'15 : Proceedings of the 17th International ACM SIGACCESS Conference on Computers and Accessibility . New York: Association for Computing Machinery, p. 273-280 8 p.

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

  57. A mobile phone intervention to reduce binge drinking among disadvantaged men: study protocol for a randomised controlled cost-effectiveness trial

    Crombie, I. K., Irvine, L., Williams, B., Sniehotta, F. F., Petrie, D., Evans, J. M. M., Emslie, C., Jones, C., Ricketts, I. W., Humphris, G., Norrie, J., Rice, P. & Slane, P. W. 19 Dec 2014 In : Trials. 15, 8 p., 494

    Research output: Contribution to journalArticle

  58. Blood vessel segmentation and width estimation in ultra-wide field scanning laser ophthalmoscopy

    Pellegrini, E., Robertson, G., Trucco, E., MacGillivray, T. J., Lupascu, C., van Hemert, J., Williams, M. C., Newby, D. E., van Beek, E. J. R. & Houston, J. G. 1 Dec 2014 In : Biomedical Optics Express. 5, 12, p. 4329-4337 9 p.

    Research output: Contribution to journalArticle

  59. Using a discrete Hidden Markov Model Kernel for lip-based biometric identification

    Travieso, C. M., Zhang, J., Miller, P. & Alonso, J. B. Dec 2014 In : Image and Vision Computing. 32, 12, p. 1080-1089 10 p.

    Research output: Contribution to journalArticle

  60. Video-specific SVMs for colonoscopy image classification

    Manivannan, S., Wang, R., Trujillo, M. P., Hoyos, J. A. & Trucco, E. 23 Nov 2014 Computer-Assisted and Robotic Endoscopy: First International Workshop, CARE 2014, held in conjunction with MICCAI 2014, Boston, MA, USA, September 18, 2014. Revised selected papers. Luo, X., Reichl , T., Mirota, D. & Soper, T. (eds.). p. 11-21 11 p. (Lecture notes in computer science ; vol. 8899)

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

  61. A decade of progress in parallel programming productivity

    Richards, J. T., Brezin, J., Swart, C. B. & Halverson, C. A. Nov 2014 In : Communications of the ACM. 57, 11, p. 60-66 7 p.

    Research output: Contribution to journalArticle

  62. SpaceFibre demonstrator: demonstration and testing

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

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

  63. SpaceWire-D on the castor spaceflight processor

    Gibson, D., Parkes, S. . S., McClements, C., Mills, S. & Paterson, D. 24 Oct 2014 Proceedings of the 6th International SpaceWire Conference, SpaceWire 2014. Institute of Electrical and Electronics Engineers, 6936262

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

  64. The SpaceWire Physical Layer Tester (SPLT)

    Scott, P., Spark, A., Crawford, P. & Parkes, S. . S. 24 Oct 2014 Proceedings of the 6th International SpaceWire Conference, SpaceWire 2014. Institute of Electrical and Electronics Engineers, 6936257

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

  65. From "silent teachers" to models

    Eisma, R. & Wilkinson, T. 21 Oct 2014 In : PLoS Biology. 12, 10, 5 p., e1001971

    Research output: Contribution to journalArticle

  66. A large user pool for accessibility research with representative users

    Dee, M. & Hanson, V. L. 20 Oct 2014 ASSETS '14 Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility. New York: Association for Computing Machinery, p. 35-42 8 p.

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

  67. Buildings and users with visual impairment: uncovering factors for accessibility using BIT-Kit

    McIntyre, L. J. & Hanson, V. L. 20 Oct 2014 ASSETS '14 Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility. New York: Association for Computing Machinery, p. 59-66 8 p.

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

  68. Motor-impaired touchscreen interactions in the wild

    Montague, K., Nicolau, H. & Hanson, V. L. 20 Oct 2014 ASSETS '14 Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility. New York: Association for Computing Machinery, p. 123-130 8 p.

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

  69. Older adults interaction with broadcast debates

    Medellin-Gasque, R., Reed, C. & Hanson, V. 20 Oct 2014 ASSETS '14 Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility. New York: Association for Computing Machinery, p. 269-270 2 p.

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

  70. Phoneme-based predictive text entry interface

    Trinh, H., Waller, A., Vertanen, K., Kristensson, P. O. & Hanson, V. L. 20 Oct 2014 ASSETS '14 Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility. New York: Association for Computing Machinery, p. 351-352 2 p.

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

  71. Modeling cratered surfaces with real and synthetic terrain for testing planetary landers

    Martin, I., Parkes, S. . S. & Dunstan, M. Oct 2014 In : IEEE Transactions on Aerospace and Electronic Systems. 50, 4, p. 2916-2928 13 p.

    Research output: Contribution to journalArticle

  72. Query-dependent metric learning for adaptive, content-based image browsing and retrieval

    Han, J. & McKenna, S. Oct 2014 In : IET Image Processing. 8, 10, p. 610-618 9 p.

    Research output: Contribution to journalArticle

  73. Valuing the user voice in the design of communication technologies

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

    Research output: Contribution to conferencePoster

  74. Applying the VR-CoDES in the dental context involving patients with complex communication needs

    Zhou, Y., Black, R., Freeman, R., Herron, D., Humphris, G., Quinn, S., Scott, L. & Waller, A. 29 Sep 2014

    Research output: Contribution to conferencePoster

  75. Evaluation of Thiel cadaveric model for MRI-guided stereotactic procedures in neurosurgery

    Eljamel, S., Volovick, A., Saliev, T., Eisma, R. & Melzer, A. 5 Sep 2014 In : Surgical Neurology International. 5, Suppl. 7, p. S404-S409 6 p.

    Research output: Contribution to journalArticle

  76. MOST: Modeling of SpaceWire & SpaceFibre Traffic Applications and Operations: On-board Segment

    Dellandrea, B., Gouin, B., Parkes, S. . S. & Jameux, D. 1 Sep 2014 European Space Agency, (Special Publication) ESA SP. European Space Agency, Vol. SP 725

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

  77. SpaceFibre demonstrator (demonstration and testing)

    Helfers, T., Rastetter, P., Papadas, C. & Parkes, S. . S. 1 Sep 2014 Proceedings of DASIA 2014 - DAta Systems In Aerospace. European Space Agency, Vol. SP 725

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

  78. SpaceFibre implementation, test and validation

    Parkes, S. . S., McClements, C., Ferrer, A. & Gonzalez-Villafranca, A. 1 Sep 2014 European Space Agency, (Special Publication). European Space Agency, Vol. SP 725

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

  79. SpaceWire-D: Deterministic data delivery over spacewire

    Parkes, S. . S., Gibson, D. & Ferrer, A. 1 Sep 2014 Proceedings of DASIA 2014 - DAta Systems In Aerospace. European Space Agency, Vol. SP 725

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

  80. Productivity in parallel programming: a decade of progress. Looking at the design and benefits of X10

    Richards, J. T., Brezin, J., Swart, C. B. & Halverson, C. A. Sep 2014 In : ACM Queue. 12, 9, 11 p.

    Research output: Contribution to journalArticle

  81. Non-inferential aspects of Ad Hominem and Ad Baculum

    Budzynska, K. & Witek, M. Aug 2014 In : Argumentation. 28, 3, p. 301-3015 15 p.

    Research output: Contribution to journalArticle

  82. Reducing patient delay with symptoms of acute coronary syndrome: a research protocol for a systematic review of previous interventions to investigate which behaviour change techniques are associated with effective interventions

    Farquharson, B., Dombrowski, S., Pollock, A., Johnston, M., Treweek, S., Williams, B., Smith, K., Dougall, N., Jones, C. & Pringle, S. Aug 2014 In : Open Heart. 1, 1, 5 p., e000079

    Research output: Contribution to journalArticle

  83. Retinal imaging as a source of biomarkers for diagnosis, characterization and prognosis of chronic illness or long-term conditions

    MacGillivray, T. J., Trucco, E., Cameron, J. R., Dhillon, B., Houston, J. G. & van Beek, E. J. R. Aug 2014 In : British Journal of Radiology. 87, 1040, 16 p., 20130832

    Research output: Contribution to journalArticle

  84. Structured arguments and their aggregation: A reply to selinger

    Reed, C. Aug 2014 In : Argumentation. 28, 3, p. 395-399 5 p.

    Research output: Contribution to journalArticle

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

  86. SpaceFibre: adaptive high-speed data-link for future spacecraft onboard data handling

    Parkes, S. . S., Ferrer Florit, A., Villafranca, A. G., McClements, C., McLaren, D. & Martinez, A. M. 17 Jul 2014

    Research output: Contribution to conferencePaper

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

  88. A certified reduction strategy for homological image processing

    Poza, M., Dominguez, C., Heras, J. & Rubio, J. 8 Jul 2014 In : ACM Transactions on Computational Logic. 15, 3, 23

    Research output: Contribution to journalArticle

  89. Analysing the Surface Morphology of Colorectal Polyps: Differential Geometry and Pit Pattern Prediction

    Zhang, J., McKenna, S. J., Zhang, J., Coats, M. & Carey, F. A. Jul 2014 Medical Image Understanding and Analysis: MIUA. Reyes-Aldasoro, C. & Slabaugh, G. (eds.). UK: British Machine Vision Association and Society for Pattern Recognition, p. 67-72 6 p.

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

  90. Detecting and Segmenting Nanodiscs in Immuno-Electron Micrographs

    Huang, T., Hacker, C., Lucocq, J. & McKenna, S. Jul 2014 Medical Image Understanding and Analysis: MIUA. Reyes-Aldasoro, C. & Slabaugh, G. (eds.). UK: British Machine Vision Association and Society for Pattern Recognition, p. 53-58 6 p.

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

  91. European women in computing

    Hanson, V., Ayfer, R. & Bachmayer, B. Jul 2014 Communications of the ACM, 57, 7, p. 5 1 p.

    Research output: Contribution to specialist publicationArticle

  92. Finding Golgi Stacks in Electron Micrographs

    Fordyce, N., McKenna, S., Hacker, C. & Lucocq, J. Jul 2014 Medical Image Understanding and Analysis: MIUA. Reyes-Aldasoro, C. & Slabaugh, G. (eds.). UK: British Machine Vision Association and Society for Pattern Recognition, p. 59-64 6 p.

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

  93. ACL2(ml): machine-learning for ACL2

    Heras, J. & Komendantskaya, E. 4 Jun 2014 In : Electronic Proceedings in Theoretical Computer Science. 152, p. 61-75 15 p.

    Research output: Contribution to journalArticle

  94. A data standard for sourcing fit-for-purpose biological samples in an integrated virtual network of biobanks

    Confederation of Cancer Biobanks (CCB) Working Group 3 Jun 2014 In : Biopreservation and Biobanking. 12, 3, p. 184-191 8 p.

    Research output: Contribution to journalArticle

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

    Iyer, R. S., Nicol, S. M., Quinlan, P. R., Thompson, A. M., Meek, D. W. & Fuller-Pace, F. V. 1 May 2014 In : Cell cycle (Georgetown, Tex.). 13, 9, p. 1413-1423 11 p.

    Research output: Contribution to journalArticle

  96. Natural language generation for augmented and assistive technologies

    Tintarev, N., Reiter, E., Black, R. & Waller, A. May 2014 Natural language generation in interactive systems. Stent, A. & Bangalore, S. (eds.). Cambridge: Cambridge University Press, p. 252-278

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

    Stewart, C. D., Traitor, P. & Hanson, V. L. 26 Apr 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

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

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

  103. ArguBlogging: an application for the Argument Web

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

    Research output: Contribution to journalArticle

  104. Evaluating industry-inspired pair programming communication guidelines with undergraduate students

    Zarb, M., Hughes, J. & Richards, J. Mar 2014 SIGCSE '14: proceedings of the 45th ACM technical symposium on Computer science education. New York: Association for Computing Machinery, p. 361-366 6 p.

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

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

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

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

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

  109. 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. 23 Jan 2014 In : Journal of Foot and Ankle Research. 7, 5

    Research output: Contribution to journalArticle

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

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

  112. Technology for supporting care staff in residential homes

    Webster, G. & Hanson, V. L. Jan 2014 In : ACM Transactions on Accessible Computing. 5, 3, 23 p., 8

    Research output: Contribution to journalArticle

  113. 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; vol. 8410)

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

  114. A pool of representative users for accessibility research: seeing through the eyes of users

    Dee, M. & Hanson, V. L. 2014 3 p.

    Research output: Contribution to conferencePaper

  115. Age, Technology Usage, and Cognitive Characteristics in Relation to Perceived Disorientation and Reported Website Ease of Use

    Crabb, M. & Hanson, V. L. 2014 ASSETS '14 : Proceedings of the 16th international ACM SIGACCESS conference on Computers & accessibility . New York: Association for Computing Machinery, p. 193-200 8 p.

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

  116. AIFdb Corpora

    Lawrence, J. & Reed, C. 2014 Computational Models of Argument: Proceedings of COMMA 2014. Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds.). Amsterdam: IOS Press, p. 465-466 2 p. (Frontiers in artificial intelligence and applications; vol. 266)

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

  117. An experimental assessment of five indices of retinal vessel tortuosity with the RET-TORT public dataset

    Lisowska, A., Annunziata, R., Loh, G. K., Karl, D. & Trucco, E. 2014 2014 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014. IEEE, p. 5414-5417 4 p.

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

  118. An RTEMS port for the AT6981 SpaceWire-enabled processor: features and performance

    Paterson, D., Gibson, D. & Parkes, S. 2014 2014 International SpaceWire Conference (SpaceWire) Athens, Greece, 22–26th September 2014 : proceedings of the 6th International SpaceWire Conference, SpaceWire 2014. Parkes, S. & Carrie, C. (eds.). Dundee: Space Technology Centre, University of Dundee, 4 p. 6936270

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

  119. 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.). Bellingham: SPIE-International Society for Optical Engineering, 90342S. (Proceedings of SPIE; vol. 9034)

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

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

  121. Assessing progress in building autonomously creative systems

    Colton, S., Pease, A., Corneli, J., Cook, M. & Teresa Llano, M. 2014 Proceedings of the Fifth International Conference on Computational Creativity, ICCC-2014. Colton, S., Ventura, D., Lavrač, N. & Cook, M. (eds.). Association for Computational Creativity, p. 137-145 9 p.

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

  122. Asteroid modeling for testing spacecraft approach and landing

    Martin, I., Parkes, S., Dunstan, M. & Rowell, N. 2014 In : IEEE Computer Graphics and Applications. 34, 4, p. 52-62 11 p., 6762800

    Research output: Contribution to journalArticle

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

  124. Automatic retinal vessel classification using a Least Square-Support Vector Machine in VAMPIRE

    Relan, D., MacGillivray, T., Ballerini, L. & Trucco, E. 2014 2014 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014. IEEE, p. 142-145 4 p.

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

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

  126. COINVENT: towards a computational concept invention theory

    Schorlemmer, M., Smaill, A., Kuhnberger, K-U., Kutz, O., Colton, S., Cambouropoulos, E. & Pease, A. 2014 Proceedings of the Fifth International Conference on Computational Creativity, 2014. Colton, S., Ventura, D., Lavrač, N. & Cook, M. (eds.). Association for Computational Creativity, p. 288-296 9 p.

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

  127. Definitions of eHealth

    Cunningham, S. G., Wake, D. J., Waller, A. & Morris, A. D. 2014 eHealth, Care and Quality of Life. Gaddi, A., Capello, F. & Manca, M. (eds.). Milan: Springer-Verlag Italia s.r.l., p. 15-30 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  128. Dual query: practical private query release for high dimensional data

    Gaboardi, M., Arias, E. J. G., Hsu, J., Aaron, R. & Wu, Z. S. 2014 31st International Conference on Machine Learning, ICML 2014. International Machine Learning Society , Vol. 4, p. 2908-2916 9 p. (Journal of Machine Learning Research ; vol. 32)

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

  129. Financial dialogue games: a protocol for Earnings Conference Calls

    Budzynska, K., Rocci, A. & Yaskorska, O. 2014 Computational Models of Argument: Proceedings of COMMA 2014. Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds.). Amsterdam: IOS Press, p. 19-30 12 p. (Frontiers in artificial intelligence and applications; vol. 266)

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

  130. Gait based gender recognition using sparse spatio temporal features

    Collins, M., Miller, P. & Zhang, J. 2014 MultiMedia Modeling: 20th Anniversary International Conference, MMM 2014, Dublin, Ireland, January 6-10, 2014, Proceedings, Part II. Gurrin, C., Hopfgartner, F., Hurst, W., Johansen, H., Lee, H. & O’Connor, N. (eds.). Berlin: Springer , Vol. 8326, p. 80-91 12 p. (Lecture notes in computer science; vol. 8326)

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

  131. Gait based gender recognition using sparse spatio temporal features

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

    Research output: Contribution to conferencePaper

  132. Generalising argument dialogue with the Dialogue Game Execution Platform

    Bex, F., Lawrence, J. & Reed, C. 2014 Computational Models of Argument: Proceedings of COMMA 2014. Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds.). Amsterdam: IOS Press, p. 141-152 12 p. (Frontiers in artificial intelligence and applications; vol. 266)

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

  133. HEp-2 Cell Classification Using Multi-resolution Local Patterns and Ensemble SVMs

    Manivannan, S., Li, W., Akbar, S., Wang, R., Zhang, J. & McKenna, S. J. 2014 Proceedings - 2014 1st Workshop on Pattern Recognition Techniques for Indirect Immunofluorescence Images. I3A Workshop 2014. IEEE Computer Society, p. 37-40 4 p.

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

  134. HEp-2 Specimen Classification Using Multi-resolution Local Patterns and SVM

    Manivannan, S., Li, W., Akbar, S., Wang, R., Zhang, J. & McKenna, S. J. 2014 Proceedings - 2014 1st Workshop on Pattern Recognition Techniques for Indirect Immunofluorescence Images. I3A Workshop 2014. IEEE Computer Society, p. 41-44 4 p.

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

  135. Integrating STAR-Dundee SpaceFibre Codec with TI TLK2711

    Yu, B., Gonzalez-Villafranca, A., Ferrer, A., McClements, C. & Parkes, S. . S. 2014 2014 International SpaceWire Conference (SpaceWire) Athens, Greece, 22–26th September 2014: proceedings of the 6th International SpaceWire Conference, SpaceWire 2014. Parkes, S. & Carrie, C. (eds.). Dundee: Space Technology Centre, University of Dundee, 5 p. 6936268

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

  136. Interaction with broadcast debates using speech recognition

    Medellin, A. R., Reed, C. & Hanson, V. L. 2014

    Research output: Contribution to conferencePaper

  137. Inter-cluster features for medical image classification

    Manivannan, S., Wang, R. & Trucco, E. 2014 Medical Image Computing and Computer-Assisted Intervention – MICCAI 2014: 17th International Conference, Boston, MA, USA, September 14-18, 2014, Proceedings, Part III. Golland, P., Hata, N., Barillot, C., Hornegger, J. & Howe, R. (eds.). p. 345-352 8 p. (Lecture notes in computer science; vol. 8675)

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

  138. Lakatos games for mathematical argument

    Pease, A., Budzynska, K., Lawrence, J. & Reed, C. 2014 Computational Models of Argument : Proceedings of COMMA 2014. Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds.). Amsterdam: IOS Press, p. 59-66 8 p. (Frontiers in artificial intelligence and applications; vol. 266)

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

  139. LEGO storytelling: an initial observational study to enable children to become partners in their own assessment

    Boyle, L. & Hine, N. 2014 ICERI2014 Proceedings: 7th International Conference of Education, Research and Innovation Seville, Spain. 17-19 November, 2014. Gomez Chova, L., Lopez Martinez, A. & Candel Torres, I. (eds.). IATED, p. 1261-1268

    Research output: Chapter in Book/Report/Conference proceedingChapter

  140. On acid drops and teardrops: observer issues in computational creativity

    Colton, S., Cook, M., Hepworth, R. & Pease, A. 2014 Proceedings of the 50th Anniversary Convention of the AISB: AISB 2014. Kibble, R. (ed.). Society for the Study of Artificial Intelligence and Simulation of Behaviour, 8 p.

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

  141. OVA+: an argument analysis interface

    Janier, M., Lawrence, J. & Reed, C. 2014 Computational Models of Argument: Proceedings of COMMA 2014. Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds.). Amsterdam: IOS Press, p. 463-464 2 p. (Frontiers in artificial intelligence and applications; vol. 266)

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

  142. Recording SpaceWire traffic

    Mudie, S., McClements, C., Spark, A., Mills, S., Mason, A., Dunstan, M. & Parkes, S. . S. 2014 2014 International SpaceWire Conference (SpaceWire) Athens, Greece 22–26th September 2014 : proceedings of the 6th International SpaceWire Conference, SpaceWire 2014. Parkes, S. & Carrie, C. (eds.). Dundee: Space Technology Centre, University of Dundee, 4 p. 6936272

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

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

  144. SpaceFibre: adaptive high-speed data-link for future spacecraft onboard data handling

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

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

  145. SpaceFibre implementation, test and validation

    Parkes, S. . S., McClements, C., McLaren, D., Martinez, A. M., Ferrer Florit, A. & Villafranca, A. G. 2014 2014 International SpaceWire Conference (SpaceWire), Athens, Greece 22–26th September 2014 : proceedings of the 6th International SpaceWire Conference . Parkes, S. & Carrie, C. (eds.). Dundee: Space Technology Centre, University of Dundee, 6 p. 6936245

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

  146. SpaceWire equipment design, integration and test

    Parkes, S. . S. & Mills, S. 2014 65th International Astronautical Congress 2014, IAC 2014: Our World Needs Space. International Astronautical Federation, Vol. 9, p. 6709-6715 7 p.

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

  147. Spoken interaction with broadcast debates

    Medellin, R., Reed, C. & Hanson, V. 2014 Computational Models of Argument: Proceedings of COMMA 2014. Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds.). Amsterdam: IOS Press, p. 51-58 8 p. (Frontiers in artificial intelligence and applications; vol. 266)

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

  148. Strategies in dialogues: a game-theoretic approach

    Kacprzak, M., Dziubinski, M. & Budzynska, K. 2014 Computational Models of Argument: Proceedings of COMMA 2014. Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds.). Amsterdam: IOS Press, p. 333-344 12 p. (Frontiers in artificial intelligence and applications; vol. 266)

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

  149. Towards argument mining from dialogue

    Budzynska, K., Janier, M., Kang, J., Reed, C., Saint-Dizier, P., Stede, M. & Yaskorska, O. 2014 Computational Models of Argument: Proceedings of COMMA 2014. Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds.). Amsterdam: IOS Press, p. 185-196 12 p. (Frontiers in artificial intelligence and applications; vol. 266)

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

  150. Towards Computational Subjectivity: Generating Aesthetics In Code Using Metrics

    Cook, M., Colton, S., Pease, A. & Raad, A. 2014 Proceedings of the Fifth International Conference on Computational Creativity, 2014. Colton, S., Ventura, D., Lavrac, N. & Cook, M. (eds.).

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

  151. What's on your mind?: investigating recommendations for inclusive social networking and older adults

    Norval, C., Arnott, 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. 3923-3932 10 p.

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

  152. When two ends meet: professionals and users of ICT

    Feng, J., Li, J. & Hughes, J. 2014 In : Journal of Next Generation Information Technology. 5, 1, p. 48-56 9 p.

    Research output: Contribution to journalArticle

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

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

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

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

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

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

  159. Low altitude descent simulation for autonomous lunar landings

    Martin, I., Parkes, S., Dunstan, M. & Rowell, N. 25 Sep 2013 64th International Astronautical Congress: Final Programme. International Astronautical Federation, 9 p.

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

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

  161. Shear wave elastography: novel technology for ultrasound-guided regional anesthesia

    Munirama, S., Joy, J., Eisma, R., Corner, G., Cochran, S. & McLeod, G. Sep 2013 In : Anesthesiology. 119, 3, p. 698 1 p.

    Research output: Contribution to journalArticle

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

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

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

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

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

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

  168. Improving digital object handoff using the space above the table

    Sutcliffe, S. W. T., Ivkovic, Z., Flatla, D. R., Pavlovych, A., Stavness, I. & Gutwin, C. 27 Apr 2013 CHI 13: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 735-744 10 p.

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

  169. Telecare usage scenarios explored using a dolls’ house

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

    Research output: Contribution to conferencePaper

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

  171. A computational model of Lakatos-style reasoning

    Pease, A. Apr 2013 In : Philosophy of Mathematics Education Journal . 27, 286 p.

    Research output: Contribution to journalArticle

  172. Developments in research on mathematical practice and cognition

    Pease, A., Guhe, M. & Smaill, A. Apr 2013 In : Topics in Cognitive Science. 5, 2, p. 224-230 7 p.

    Research output: Contribution to journalEditorial

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

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

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

  176. Natural language generation for augmentative and assistive technologies

    Tintarev, N., Reiter, E., Black, R. & Waller, A. 1 Jan 2013 Natural Language Generation in Interactive Systems. Cambridge University Press, p. 252-278 27 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

  181. A discussion on serendipity in creative systems

    Pease, A., Colton, S., Ramezani, R., Charnley, J. & Reed, K. 2013 Proceedings of the 4th International Conference on Computational Creativity, ICCC 2013. Maher, M. L., Veale, T., Saunders, R. & Bown, O. (eds.). Sydney: University of Sydney, Faculty of Architecture, Design and Planning, p. 64-71 7 p.

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

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

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

  184. ACCESS: a technical framework for adaptive accessibility support

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

    Research output: Contribution to conferencePaper

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

  186. Analogy and arithmetic: an HDTP-based model of the calculation circular staircase

    Besold, T., Schmidt, M. & Pease, A. 2013 Cooperative Minds: Social Interaction and Group Dynamics: Proceedings of the 35th Annual Conference of the Cognitive Science Society. Knauff, M., Pauen, M., Sebanz, N. & Wachsmuth, I. (eds.). Austin: Cognitive Science Society, p. 1893-1898 6 p.

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

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

  188. Argument Revision as a means of supporting dishonesty

    Snaith, M. & Reed, C. 2013 Trends in Belief Revision and Argumentation Dynamics. Fermé, E., Gabbay, D. & Simari, G. (eds.). London, UK: College Publications, p. 229-245 17 p. (Logic and Cognitive Systems; vol. 48)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  189. Bridging the gap between argumentation theory and the philosophy of mathematics

    Pease, A., Smaill, A., Colton, S. & Lee, J. 2013 The argument of mathematics. Aberdein, A. & Dove, I. J. (eds.). Dordrecht: Springer , p. 309-338 29 p. (Logic, Epistemology, and the Unity of Science; vol. 30)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  190. 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.). Berlin: Springer , p. 364-371 8 p. (Lecture notes in computer science; vol. 8118)

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

  191. Classification of colorectal polyp regions in optical projection tomography

    Li, W., Zhang, J., McKenna, S. J., Coats, M. & Carey, F. A. 2013 ISBI 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

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

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

  194. 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, PAAMS 2013, Salamanca, Spain, May 22-24, 2013. Proceedings. Demazeau, Y., Ishida, T., Corchado, J. M. & Bajo, J. (eds.). Berlin: Springer , p. 275-278 4 p. (Lecture notes in computer science; vol. 7879)

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

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

  196. '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)

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

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

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

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

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

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

  203. Human Cognitive Measurement as a Metric within Usability Studies

    Crabb, M. 2013 CHI EA '13: CHI '13 Extended Abstracts on Human Factors in Computing Systems. New York: Association for Computing Machinery, p. 2677-2682 6 p.

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

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

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

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

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

  208. 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 , p. 429-436 8 p. (Lecture notes in computer science; vol. 8151)

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

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

  210. 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; vol. 7961)

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

  211. ML4PG in computer algebra verification

    Heras, J. & Komendantskaya, E. 2013

    Research output: Contribution to conferenceOther

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

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

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

  215. Proof-pattern recognition and lemma discovery in ACL2

    Heras, J., Komendantskaya, E., Johansson, M. & Maclean, E. 2013 Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. McMIllan, K., Middledorp, A. & Voronkov, A. (eds.). Berlin: Springer , p. 389-406 18 p. (Lecture notes in computer science; vol. 8312)

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

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

  217. 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 , p. 171-184 14 p. (Lecture notes In computer science; vol. 7828)

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

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

  219. Spin-context Segmentation of Breast Tissue Microarray Images

    Akbar, S., McKenna, S. J., Amaral, T., Jordan, L. & Thompson, A. 2013 2013, p. 1-11 11 p.

    Research output: Contribution to journalArticle

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

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

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

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

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

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

  226. Using self-learning and automatic tuning to improve the performance of sexual genetic algorithms for constraint satisfaction problems

    Xu, H., Petrie, K. & Murray, I. 2013 2013 Imperial College Computing Student Workshop (ICCSW'13). Jones, A. V. & Ng, N. (eds.). Saarbrücken: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik , p. 128-135 8 p. (OASICS ; vol. 35)

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

  227. Using theory formation techniques for the invention of fictional concepts

    Cavello, F., Pease, A., Gow, J. & Colton, S. 2013 Proceedings of the fourth international conference on computational creativity, 2013: ICCC 2013 Sydney Australia. Maher, M. L., Veale, T., Saunders, R. & Brown, O. (eds.). Sydney: University of Sydney, Faculty of Architecture, Design and Planning, p. 176-183 8 p.

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

  228. 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; vol. 7961)

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

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

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

  231. Situation-specific models of color differentiation

    Flatla, D. R. & Gutwin, C. 1 Dec 2012 In : ACM Transactions on Accessible Computing. 4, 3, 13

    Research output: Contribution to journalArticle

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

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

  234. "So that's what you see!": building understanding with personalized simulations of colour vision deficiency

    Flatla, D. R. & Gutwin, C. 22 Oct 2012 ASSETS'12 - Proceedings of the 14th International ACM SIGACCESS Conference on Computers and Accessibility. New York, USA: Association for Computing Machinery, p. 167-174 8 p.

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

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

  236. Using grounded theory to suggest types of framing information for Computational Creativity

    Pease, A., Charnley, J. & Colton, S. Aug 2012 Proceedings of the workshop "Computational Creativity, Concept Invention, and General Intelligence" . Besold, T. R., Kühnberger, K-U., Schorlemmer, M. & Smaill, A. (eds.). Osnabrück: University of Osnabrück, Institute of Cognitive Science, p. 7-13 7 p. (PICS Publications of the Institute of Cognitive Science; vol. 1)

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

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

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

  239. Circularity in ethotic structures

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

    Research output: Contribution to journalArticle

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

  241. SSMRecolor: improving recoloring tools with situation-specific models of color differentiation

    Flatla, D. R. & Gutwin, C. 5 May 2012 CHI '12 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. New York, USA: Association for Computing Machinery, p. 2297-2306 10 p.

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

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

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

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

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

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

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

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

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

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

  251. 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. & 5 others Stephens, M., 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

  252. 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 , p. 25-32 8 p. (Lecture notes in computer science; vol. 7701)

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

  253. 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, p. 98-107 10 p. (Frontiers in artificial intelligence and applications; vol. 243)

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  255. Aesthetic considerations for automated platformer design

    Cook, M., Colton, S. & Pease, A. 2012 Proceedings, The Eighth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment. Riedl, M. & Sukthankar, G. (eds.). AAAI Press, p. 124-129 6 p.

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

  256. 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; vol. 245)

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

  257. 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; vol. 245)

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

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

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

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

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

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

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

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

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

    Research output: Contribution to conferencePaper

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

  266. 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; vol. 245)

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

  267. 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; vol. 245)

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

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

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

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

  271. 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, p. 162-182 21 p. (Assistive technology research series; vol. 31)

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

  272. 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; vol. 147)

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  274. 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; vol. 245)

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

  275. Information technology for communication and cognitive support

    Pullin, G., Newell, A., Carmichael, A., Gregor, P., Alm, N., Waller, A. & Hanson, V. 2012 The human-computer interaction handbook: fundamentals, evolving technologies, and emerging applications. Jacko, J. A. (ed.). 3rd ed. CRC Press, p. 863-891 29 p.

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

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

  277. 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; vol. 245)

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

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

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

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

  281. Neural networks for proof-pattern recognition

    Komendantskaya, E. & Lichota, K. 2012 Artificial Neural Networks and Machine Learning – ICANN 2012: 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part II. Villa, A. E. P., Duch, W., Erdi, P., Masulli, F. & Palm, G. (eds.). Berlin: Springer , p. 427-434 8 p. (Lecture notes in computer science; vol. 7553)

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

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

  283. 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 p. 358-361 4 p.

    Research output: Contribution to conferencePaper

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

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

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

  287. On the notion of framing in computational creativity

    Charnley, J., Pease, A. & Colton, S. 2012 Proceedings of the Third International Conference on Computational Creativity. Maher, M. L., Hammond, . K., Pease, A., Pérez y Pérez, . R., Ventura, D. & Wiggins, G. (eds.). Dublin, p. 77-81 5 p.

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

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

  289. Persuasion Knowledge Transfer: A Conceptual Model

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

    Research output: Contribution to conferencePaper

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

  291. 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); vol. 28)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  292. Seventy four minutes of mathematics: An analysis of the third mini-polymath project

    Pease, A. & Martin, U. 2012 AISB/IACAP World Congress 2012: Symposium on Mathematical Practice and Cognition II. Pease, A. & Larvos, B. (eds.). Society for the Study of Artificial Intelligence and Simulation of Behaviour, p. 19-29 11 p.

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

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

  294. SpaceWire: Links, nodes, routers and networks

    European Cooperation for Space Standardization 2012 European Cooperation for Space Standardization

    Research output: Other contribution

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

  296. Summary of an ethnographic study of the third mini-polymath project

    Pease, A. & Martin, U. 2012 How the world computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings. Copper, S. B., Dawar, A. & Löwe, B. (eds.). Lincs 7318 ed. Berlin: Springer-Verlag, 1 p.

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

  297. 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; vol. 31)

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

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

  299. 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; vol. 245)

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

  300. The Turing Test and computational creativity

    Pease, A., Colton, S. & Charnley, J. 2012 Turing Centenary Conference. CiE 2012: How the World Computes. Abstracts of Informal Presentations. p. 110 1 p.

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

  301. TOAST: online ASPIC+ implementation

    Snaith, M. & Reed, C. 2012 Computational Models of Argument: Proceedings of COMMA 2012. Verheij, B., Szeider, S. & Woltran, S. (eds.). Amsterdam: IOS Press, p. 509-510 2 p. (Frontiers in artificial intelligence and applications; vol. 245)

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

  302. Tumour segmentation in breast tissue microarray images using spin-context

    Akbar, S., Amaral, T., McKenna, S. J., Thompson, A. & Jordan, L. 2012 Medical Image Understanding and Analysis 2012: Proceedings of the 16th Conference on Medical Image Understanding and Analysis, 9-11 July 2012, Swansea, United Kingdom. Xie, X. (ed.). British Machine Vision Association and Society for Pattern Recognition, p. 25-30 6 p.

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

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

  304. Uncertainty modelling in automated concept formation

    Cavello, F., Colton, S. & Pease, A. 2012 ARW 2012: Proceedings of the 19th Automated Reasoning Workshop. Schmidt, R. A. & Papacchini, F. (eds.). Manchester: University of Manchester, School of Computer Science, p. 53-54 2 p.

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

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

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

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

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

  309. Web accessibility as a side effect

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

    Research output: Contribution to conferencePaper

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

  311. 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 journalLiterature review

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

  313. Calibration games: making calibration tasks enjoyable by adding motivating game elements

    Flatla, D. R., Gutwin, C., Nacke, L. E., Bateman, S. & Mandryk, R. L. 14 Nov 2011 UIST'11 - Proceedings of the 24th Annual ACM Symposium on User Interface Software and Technology. New York, USA: Association for Computing Machinery, p. 403-412 10 p.

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

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

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

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

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

  318. Improving calibration time and accuracy for situation-specific models of color differentiation

    Flatla, D. R. & Gutwin, C. 24 Oct 2011 ASSETS'11: Proceedings of the 13th International ACM SIGACCESS Conference on Computers and Accessibility. New York, USA: Association for Computing Machinery, p. 195-202 8 p.

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

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

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

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

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

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

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

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

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

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

  328. 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 journalLiterature review

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

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

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

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

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

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

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

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

  337. A computational account of conceptual blending in basic mathematics

    Guhe, M., Pease, A., Smaill, A., Martinez, M., Schmidt, M., Gust, H., Kuhnberger, K-U. & Krumnack, U. 2011 In : Cognitive Systems Research. 12, 3-4, p. 249-265 17 p.

    Research output: Contribution to journalArticle

  338. A dynamic 3D foot reconstruction system

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

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

  345. 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 ; no. WS-11-10)

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

  346. 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. Stephanidis, C. (ed.). Berlin: Springer , Vol. Part I, p. 391-399 9 p. (Lecture notes in computer science; vol. 6765)

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

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

  348. 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 , p. 30-37 8 p. (Lecture notes in computer science; vol. 6680)

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

  349. 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; vol. 6876)

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

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

  351. 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.). Berlin: Springer , p. 268-282 15 p. (Lecture notes in computer science; vol. 6859)

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

  352. 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 , p. 111-127 17 p. (Lecture notes in computer science; vol. 6486)

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

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

  354. 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. 2011 Human Centered Design: Second International Conference, HCD 2011, Held as Part of HCI International 2011, Orlando, FL, USA, July 9-14, 2011. Proceedings, Part III. Kurosu , M. (ed.). Berlin: Springer , p. 275-284 10 p. (Lecture notes in computer science; vol. 6776)

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

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

  356. Computational creativity theory: the FACE and IDEA descriptive models

    Colton, S., Charnley, J. & Pease, A. 2011 Proceedings of the Second International Conference on Computational Creativity. Ventura, D., Gervas, P., Harrell, D. F., Maher, M. L., Pease, A. & Wiggins, G. (eds.). Mexico City: Universidad Autonoma Metropolitana / Unidad Cuajimalpa, Division de Ciencias de la Comunicacion y Diseno , p. 90-95 6 p.

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

  357. Computational creativity theory: inspirations behind the FACE and the IDEA models

    Pease, A. & Colton, S. 2011 Proceedings of the Second International Conference on Computational Creativity. Ventura, D., Gervas, P., Harrell, D. F., Maher, M. L., Pease, A. & Wiggins, G. (eds.). Mexico City: Universidad Autonoma Metropolitana / Unidad Cuajimalpa, Division de Ciencias de la Comunicacion y Diseno , p. 72-77 6 p.

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

  358. 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; vol. 27)

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

  361. Developing for autism with user-centred design

    Menzies, R. 2011

    Research output: Contribution to conferencePoster

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

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

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

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

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

  367. 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, Part I. Stephanidis, C. (ed.). Berlin: Springer , p. 149-158 10 p. (Lecture notes in computer science; vol. 6765)

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

  368. Five theories of reasoning: Inter-connections and applications to mathematics

    Pease, A. & Aberdein, A. 2011 In : Logic and Logical Philosophy. 20, 1-2, p. 7-57 50 p.

    Research output: Contribution to journalArticle

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

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

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

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

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

  374. Learning soft combination of spatial pyramid for action recognition

    Li, W. & Zhang, J. 2011

    Research output: Contribution to conferencePoster

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

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

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

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

  379. 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; vol. DTR11-9)

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

  380. Measuring minimal change in argument premise revision

    Snaith, M. & Reed, C. 2011

    Research output: Contribution to conferencePaper

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

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

  383. Motion detection in moving transport

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

    Research output: Contribution to conferencePoster

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

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

  386. 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; vol. 6766)

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

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

  388. On impact and evaluation in computational creativity: a discussion of the Turing Test and an alternative proposal

    Pease, A. & Colton, S. 2011 Proceedings of AISB '11: computing and philosophy. Kazakov, D. & Tsoulas, G. (eds.). York: Society for the Study of Artificial Intelligence and Simulation of Behaviour, p. 15-22 8 p.

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

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

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

  391. Persuasion knowledge toolkit: requirements gathering with designer

    Saidin, A. Z., MacAulay, C. & Hine, N. 2011 Proceedings of HCI 2011: the 25th BCS Conference on Human Computer Interaction. British Computer Society, p. 503-508 6 p.

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

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

  393. Robot dance: edutainment of engaging learning

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

    Research output: Contribution to conferencePaper

  394. 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 . Stephanidis, C. (ed.). Berlin: Springer , Vol. Part I, p. 473-477 5 p. (Lecture notes in computer science; vol. 6765)

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

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

  396. 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; vol. 6949)

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

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

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

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

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

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

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

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

  404. 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.). Berlin: Springer , p. 207-214 8 p. (Lecture notes in computer science; vol. 6680)

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

  405. 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 , p. 106-123 18 p. (Lecture notes in computer science; vol. 6910)

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

  414. Feature selection for pose invariant lip biometrics

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

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

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

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

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

  424. Individual models of color differentiation to improve interpretability of information visualization

    Flatla, D. R. & Gutwin, C. 10 Apr 2010 CHI '10 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems . New York, USA: Association for Computing Machinery, Vol. 4, p. 2563-2572 10 p.

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

  425. CIRCA (Computer Interactive Reminiscence and Conversation Aid)

    Gowans, G., Alm, N., Astell, A. J., Dye, R. & Ellis, M. Mar 2010

    Research output: Non-textual formSoftware

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

  427. LIM Games (Living in the Moment)

    Gowans, G., Alm, N., Dye, R., Vaughan, P., Astell, A. J. & Ellis, M. Mar 2010

    Research output: Non-textual formSoftware

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

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

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

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

  432. 3DVP 2010 - chair's welcome

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

    Research output: Contribution to conferenceOther

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

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

    Research output: Contribution to conferencePaper

  434. 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; vol. 216)

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

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

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

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

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

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

  440. An investigation into features for multi-view lipreading

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

    Research output: Contribution to conferencePaper

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

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

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

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

    Research output: Contribution to conferencePaper

  444. Applying Lakatos-style reasoning to AI problems

    Pease, A., Ireland, A., Colton, S., Ramezani, R., Smaill, A., Llano, M. T., Grov, G. & Guhe, M. 2010 Thinking machines and the philosophy of computer science: concepts and principles. Vallverdu, J. (ed.). Hershey: Information Science Reference, p. 149-173 25 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  445. 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, p. 135-146 12 p. (Frontiers in artificial intelligence and applications; vol. 216)

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

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

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

  448. 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; vol. 216)

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

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

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

    Bex, F. & Walton, D. 2010 Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference . Winkels, R. G. F. (ed.). Amsterdam: IOS Press, p. 37-46 10 p. (Frontiers in artificial intelligence and applications; vol. 223)

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

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

  452. Classifying textile designs using region graphs

    Jia, W., McKenna, S., Ward, A. & Edwards, K. 2010 British Machine Vision Conference. British Machine Vision Association and Society for Pattern Recognition, 10 p.

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

  453. Conceptual blending of fractions and real numbers in mathematical discovery

    Guhe, M., Pease, A., Smaill, A., Martinez, M., Schmidt, M., Gust, H., Kuhnberger, K-U. & Krumnack, U. 2010 Proceedings of KogWis 2010: 10th Biannual Meeting of the German Society for Cognitive Science. Haack, J., Wiese, H., Abraham, A. & Chiarcos, C. (eds.). Potsdam: Universitätsverlag Potsdam, p. 109-110 2 p. (Potsdam Cognitive Science Series; vol. 2)

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

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

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

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

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

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

  459. 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; vol. 682)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  474. Inter-frame contextual modelling for visual speech recognition

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

    Research output: Contribution to conferencePaper

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

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

  477. 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; vol. 215)

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

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

  479. 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; vol. 68)

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

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

    Ivekovic, S., John, V. & Trucco, E. 2010 Applications of Evolutionary Computation: EvoApplicatons 2010: EvoCOMPLEX, EvoGAMES, EvoIASP, EvoINTELLIGENCE, EvoNUM, and EvoSTOC, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part I. 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 , p. 241-250 10 p. (Lecture notes in computer science; vol. 6024)

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

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

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

    Research output: Contribution to conferencePaper

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

  483. Mathematical reasoning with higher-order anti-unification

    Guhe, M., Pease, A., Smaill, A., Schmidt, M., Gust, H., Kuhnberger, K-U. & Krumnack, U. 2010 Cognition in Flux: Proceedings of the 32nd Annual Conference of the Cognitive Science Society. Ohlsson, S. & Catrambone, R. (eds.). Austin: Cognitive Science Society, p. 1992-1997 6 p.

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

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

  485. 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; vol. 216)

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

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

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

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

  489. 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; vol. 682)

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

  490. 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; vol. 216)

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

Previous 1 2 3 Next

Find Research Units in Discovery

Library & Learning Centre

Contact | Accessibility | Policy