Discovery - University of Dundee - Online Publications

Library & Learning Centre

School of Computing

1 - 100 out of 768Page size: 100
Sort by: Publication year
  1. 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-48 28 p.ENTCS18421

    Research output: Contribution to journalArticle

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

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

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

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

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

    Research output: Contribution to journalArticle

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

  7. Gait based gender recognition using sparse spatio temporal features

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

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

  8. Gait based gender recognition using sparse spatio temporal features

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

    Research output: Contribution to conferencePaper

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

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

  11. Accessibility Support for Older Adults with the ACCESS Framework

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

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

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

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

  21. Telecare usage scenarios explored using a dolls’ house

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

    Research output: Contribution to conferencePaper

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

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

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

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

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

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

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

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

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

  31. ACCESS: a technical framework for adaptive accessibility support

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

    Research output: Contribution to conferencePaper

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

  33. Classification of colorectal polyp regions in optical projection tomography

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  52. ML4PG in computer algebra verification

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

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

  53. ML4PG in computer algebra verification

    Heras, J. & Komendantskaya, E. 2013

    Research output: Contribution to conferenceOther

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

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

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

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

  58. Reasoning about dialogical strategies

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Research output: Contribution to journalArticle

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

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

  72. Circularity in ethotic structures

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

    Research output: Contribution to journalArticle

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

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

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

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

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

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

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

  80. On Harmonious Colouring of Trees

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

    Research output: Contribution to journalArticle

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

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

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

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

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

    Research output: Contribution to journalArticle

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

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  86. A logic for strategies in persuasion dialogue games

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  88. AIFdb: infrastructure for the argument web

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

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

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

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

Previous 1 2 3 4 5 6 7 8 Next

Find Research Units in Discovery

Library & Learning Centre

Contact | Accessibility | Policy