• United Kingdom

Research Output

Filter
Article
2009

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

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

Research output: Contribution to journalArticle

2 Citations (Scopus)

Security of RFID Protocols - A Case Study

van Deursen, T. & Radomirović, S., 1 Aug 2009, In : Electronic Notes in Theoretical Computer Science. 244, p. 41-52 12 p.

Research output: Contribution to journalArticle

Open Access
File
23 Citations (Scopus)
107 Downloads (Pure)

Untraceable RFID protocols are not trivially composable: Attacks on the revision of EC-RAC

van Deursen, T. & Radomirović, S., 8 Jul 2009, In : Cryptology ePrint Archive. 2009, 332, p. 1-8 8 p.

Research output: Contribution to journalArticle

Open Access
File
17 Downloads (Pure)
2008

A framework for compositional verification of security protocols

Andova, S., Cremers, C., Gjøsteen, K., Mauw, S., Mjølsnes, S. F. & Radomirović, S., 2008, In : Information and Computation. 206, 2-4, p. 425-459 35 p.

Research output: Contribution to journalArticle

Open Access
File
39 Citations (Scopus)
116 Downloads (Pure)

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

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

Research output: Contribution to journalArticle

61 Citations (Scopus)

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

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

Research output: Contribution to journalArticle

41 Citations (Scopus)
5 Citations (Scopus)

Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks

Ceelen, P., Mauw, S. & Radomirović, S., 22 Feb 2008, In : Electronic Notes in Theoretical Computer Science. 197, 2, p. 31-43 13 p.

Research output: Contribution to journalArticle

Open Access
File
2 Citations (Scopus)
128 Downloads (Pure)

Designing new interfaces for digital interactive television usable by older adults

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

Research output: Contribution to journalArticle

51 Citations (Scopus)

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

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

Research output: Contribution to journalArticle

18 Citations (Scopus)

Evaluating corroborative evidence

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

Research output: Contribution to journalArticle

9 Citations (Scopus)

Modelling argument recognition and reconstruction

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

Research output: Contribution to journalArticle

1 Citation (Scopus)

Response to Shapira et al.

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

Research output: Contribution to journalArticle

1 Citation (Scopus)

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

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

Research output: Contribution to journalArticle

8 Citations (Scopus)

Using dialogical argument as an interface to complex debates

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

Research output: Contribution to journalArticle

Whole utterance approaches in AAC

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

Research output: Contribution to journalArticle

36 Citations (Scopus)
2007

A communication support system for older people with dementia

Alm, N., Dye, R., Gowans, G., Campbell, J., Astell, A. & Ellis, M., May 2007, In : Computer. 40, 5, p. 35-41 7 p.

Research output: Contribution to journalArticle

63 Citations (Scopus)

A formal characterisation of Hamblin's action-state semantics

Reed, C. & Norman, T. J., 2007, In : Journal of Philosophical Logic. 36, 4, p. 415-448 34 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

Cognitive and learning difficulties and how they affect access to IT systems

Keates, S., Adams, R., Bodine, C., Czaja, S., Gordon, W., Gregor, P., Hacker, E., Hanson, V., Kemp, J., Laff, M., Lewis, C., Pieper, M., Richards, J., Rose, D., Savidis, A., Schultz, G., Snayd, P., Trewin, S. & Varker, P., 2007, In : Universal Access in the Information Society. 5, 4, p. 329-339 11 p.

Research output: Contribution to journalArticle

26 Citations (Scopus)

Cognitive difficulties and access to information systems: an interaction design perspective

Gregor, P. & Dickinson, A., Apr 2007, In : Universal Access in the Information Society. 5, 4, p. 393-400 8 p.

Research output: Contribution to journalArticle

20 Citations (Scopus)

Decision-making about mode of delivery after previous caesarean section: Development and piloting of two computer-based decision aids

Emmett, C. L., Murphy, D. J., Patel, R. R., Fahey, T., Jones, C., Ricketts, I. W., Gregor, P., Macleod, M. & Montgomery, A. A., 2007, In : Health Expectations. 10, 2, p. 161-172 12 p.

Research output: Contribution to journalArticle

23 Citations (Scopus)

Designing the interface between dementia patients, caregivers and computer-based intervention

Gowans, G., Dye, R., Alm, N., Vaughan, P., Astell, A. & Ellis, M., Mar 2007, In : Design Journal. 10, 1, p. 12-23 12 p.

Research output: Contribution to journalArticle

15 Citations (Scopus)

Designing the interface between people with dementia, caregivers and computer-based intervention

Gowans, G., Dye, R., Alm, N., Vaughan, P., Astell, A. & Ellis, M., 2007, In : Design Journal. 10, 1, p. 12-23 12 p.

Research output: Contribution to journalArticle

Dialogical argument as an interface to complex debates

Reed, C. & Wells, S., Nov 2007, In : IEEE Intelligent Systems. 22, 6, p. 60-65 6 p.

Research output: Contribution to journalArticle

17 Citations (Scopus)

Forum theatre as a requirements gathering methodology in the design of a home telecommunication system for older adults

Rice, M., Newell, A. & Morgan, M., 2007, In : Behaviour and Information Technology. 26, 4, p. 323-331 9 p.

Research output: Contribution to journalArticle

30 Citations (Scopus)

Human pose estimation using partial configurations and probabilistic regions

Roberts, T. J., McKenna, S. J. & Ricketts, I. W., Jul 2007, In : International Journal of Computer Vision. 73, 3, p. 285-306 22 p.

Research output: Contribution to journalArticle

11 Citations (Scopus)

Laying the foundations for a world wide argument web

Rahwan, I., Zablith, F. & Reed, C., Apr 2007, In : Artificial Intelligence. 171, 10-15, p. 897-921 25 p.

Research output: Contribution to journalArticle

129 Citations (Scopus)

Learning active shape models for bifurcating contours

Seise, M., McKenna, S. J., Ricketts, I. W. & Wigderowitz, C. A., May 2007, In : IEEE Transactions on Medical Imaging. 26, 5, p. 666-677 12 p.

Research output: Contribution to journalArticle

12 Citations (Scopus)

Methods for human - computer interaction research with older people

Dickinson, A., Arnott, J. & Prior, S., 2007, In : Behaviour and Information Technology. 26, 4, p. 343-352 10 p.

Research output: Contribution to journalArticle

109 Citations (Scopus)

Monitoring the well-being of older people

Sixsmith, A., Hine, N., Neild, I., Clarke, N., Brown, S. & Garner, P., 2007, In : Topics in Geriatric Rehabilitation. 23, 1, p. 9-23 15 p.

Research output: Contribution to journalArticle

29 Citations (Scopus)

SNAPPI-DB: a database and API of structures, iNterfaces and alignments for protein-protein interactions

Jefferson, E. R., Walsh, T. P., Roberts, T. J. & Barton, G. J., 2007, In : Nucleic Acids Research. 35, Database issue, p. D580-D589 10 p.

Research output: Contribution to journalArticle

46 Citations (Scopus)

The efficacy of narrative video for raising awareness in ICT designers about older users' requirements

Carmichael, A., Newell, A. & Morgan, M., Dec 2007, In : Interacting with Computers. 19, 5-6, p. 587-596 10 p.

Research output: Contribution to journalArticle

19 Citations (Scopus)

Tracking human motion using auxiliary particle filters and iterated likelihood weighting

McKenna, S. J. & Nait-Charif, H., Jun 2007, In : Image and Vision Computing. 25, 6, p. 852-862 11 p.

Research output: Contribution to journalArticle

38 Citations (Scopus)

Two decision aids for mode of delivery among women with previous caesarean section: randomised controlled trial

Montgomery, A. A., Emmett, C. L., Fahey, T., Jones, C., Ricketts, I., Patel, R. R., Peters, T. J., Murphy, D. J. & DiAMOND Study Group, Jun 2007, In : BMJ. 334, 7607, p. 1305-1309 5 p.

Research output: Contribution to journalArticle

90 Citations (Scopus)

Value-directed human behavior analysis from video using partially observable Markov decision processes

Hoey, J. & Little, J. J., Jul 2007, In : IEEE Transactions on Pattern Analysis and Machine Intelligence. 29, 7, p. 1118-1132 15 p.

Research output: Contribution to journalArticle

32 Citations (Scopus)
2006

A planning system based on Markov decision processes to guide people with dementia through activities of daily living

Boger, J., Hoey, J., Poupart, P., Boutilier, C., Fernie, G. & Mihailidis, A., Apr 2006, In : IEEE Transactions on Information Technology in Biomedicine. 10, 2, p. 323-333 11 p.

Research output: Contribution to journalArticle

123 Citations (Scopus)

Communication access to conversational narrative

Waller, A., Jul 2006, In : Topics in Language Disorders. 26, 3, p. 221-239 19 p.

Research output: Contribution to journalArticle

21 Citations (Scopus)

Computational humor

Binsted, K., Nijholt, A., Stock, O., Strapparava, C., Ritchie, G., Manurung, R., Pain, H., Waller, A. & O'Mara, D., 2006, In : IEEE Intelligent Systems. 21, 2, p. 59-69 11 p.

Research output: Contribution to journalArticle

40 Citations (Scopus)

Computer use has no demonstrated impact on the well-being of older adults

Dickinson, A. & Gregor, P., 1 Aug 2006, In : International Journal of Human Computer Studies. 64, 8, p. 744-753 10 p.

Research output: Contribution to journalArticle

128 Citations (Scopus)

Designing a portal for older users: a case study of an industrial/academic collaboration

Newell, A., Dickinson, A., Smith, M. J. & Gregor, P., 2006, In : ACM Transactions on Computer-Human Interaction. 13, 3, p. 347-375 29 p.

Research output: Contribution to journalArticle

62 Citations (Scopus)

Digital switchover or digital divide: a prognosis for usable and accessible interactive digital television in the UK

Carmichael, A., Rice, M., Sloan, D. & Gregor, P., May 2006, In : Universal Access in the Information Society. 4, 4, p. 400-416 17 p.

Research output: Contribution to journalArticle

14 Citations (Scopus)

Human tracking using 3D surface colour distributions

Roberts, T. J., McKenna, S. J. & Ricketts, I. W., Dec 2006, In : Image and Vision Computing. 24, 12, p. 1332-1342 11 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)

Hyphenation can improve reading in acquired phonological dyslexia 1

Harley, T. A. & O'Mara, D. A., 2006, In : Aphasiology. 20, 8, p. 744-761 18 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

Information visualisation in the user interface for augmentative and alternative communication

Arnott, J. L., Zhang, L., O'Mara, D., Alm, N. A. & Taylor, A., Dec 2006, In : Technology and Disability. 18, 3, p. 147-161 15 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

On the neighbour-distinguishing index of a graph

Edwards, K., Horňák, M. & Woźniak, M., 2006, In : Graphs and Combinatorics. 22, 3, p. 341-350 10 p.

Research output: Contribution to journalArticle

46 Citations (Scopus)

Requirements gathering using drama for computer vision-based monitoring in supportive home environments

McKenna, S., Marquis-Faulkes, F., Newell, A. & Gregor, P., May 2006, In : Gerontechnology. 5, 1, p. 29-45 17 p.

Research output: Contribution to journalArticle

11 Downloads (Pure)

Restricted walks in regular trees

Ciobanu, L. & Radomirović, S., 27 Oct 2006, In : Electronic Journal of Combinatorics. 13, p. 1-18 18 p., R93.

Research output: Contribution to journalArticle

Open Access
File
41 Downloads (Pure)

Root responses to soil physical conditions: growth dynamics from field to cell

Bengough, A. G., Bransby, M. F., Hans, J., McKenna, S. J., Roberts, T. J. & Valentine, T. A., Jan 2006, In : Journal of Experimental Botany. 57, 2, p. 437-447 11 p.

Research output: Contribution to journalArticle

272 Citations (Scopus)

The standup interactive riddle-builder

Ritchie, G., Manurung, R., Pain, H., Waller, A. & O'Mara, D., 1 Mar 2006, In : IEEE Intelligent Systems. 21, 2, p. 67-69 3 p.

Research output: Contribution to journalArticle

17 Citations (Scopus)

The use of theatre in requirements gathering and usability studies

Newell, A., Carmichael, A., Morgan, M. & Dickinson, A., Sep 2006, In : Interacting with Computers. 18, 5, p. 996-1011 16 p.

Research output: Contribution to journalArticle

85 Citations (Scopus)