Find Research Outputs

Search concepts
Selected filters
2008

Verifying BPEL-Like Programs with Hoare Logic

Luo, C., Qin, S. & Qiu, Z., 2008, Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China. IEEE

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

Virtual augmented exercise gaming for older adults

Van Schaik, P., Blake, J., Pernet, F., Spears, I. & Fencott, C., 1 Feb 2008, In : Cyberpsychology and Behavior. 11, 1, p. 103-106 4 p.

Research output: Contribution to journalArticle

25 Citations (Scopus)

Visual unrealism in computer games

McClenaghan, P., Fencott, C. & Van Schaik, P., 1 Dec 2008, Computer Games and Allied Technology 08, CGAT 08 - Animation, Multimedia, IPTV and Edutainment, Proceedings. p. 88-95 8 p.

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

When FAST is a FAFF: is FAST scanning useful in Non-Trauma patients?

Maitra, S., Jarman, R. D., Halford, N. W. & Richards, S., 1 Aug 2008, In : Ultrasound. 16, 3, p. 165-168 4 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

Widening participation through adaptable personal learning environments

Pearson, E., Green, S. & Gkatzidou, S., Aug 2008.

Research output: Contribution to conferencePaper

Women and international assignments: Taking stock—a 25-year review

Altman, Y. & Shortland, S., 15 May 2008, In : Human Resource Management. 47, 2

Research output: Contribution to journalArticle

Yoik

Beagrie, B., 2008, Cinnamon Press.

Research output: Book/ReportBook

Young People, Social Exclusion and Inter-Generational Tension in a Rural Somerset Town

Meek, R., 31 Jan 2008, In : Children and Society. 22, 2, p. 134-135

Research output: Contribution to journalArticle

Young people and illicit drug use: differentiated experiences and policy failure

Shildrick, T. A., 2008, In : Youth & Policy. 100, p. 177-185

Research output: Contribution to journalArticle

Youth gangs: how we think about and respond to them

Whitehead, P. & Ancrum, C., 2008, In : Magistrate. 64, 11, p. 322-323

Research output: Contribution to journalArticle

‘Merger acquisition strategy and the importance of aligning brand values’

Norris, D., 2008, Academy of Marketing Conference. University of Aberdeen

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

‘The way it was’: an account of soccer violence in the 1980s

Gibbons, T., Dixon, K. & Braye, S., 1 Jan 2008, In : Soccer & Society. 9, 1, p. 28-41

Research output: Contribution to journalArticle

“Teaching Reflection for Reflective Teaching”.

Jackson, M. & Bel, E., 2008.

Research output: Contribution to conferencePaper

静电传感技术在燃煤电站煤粉测量中的应用

Translated title of the contribution: Application of electrostatic sensing technique in coal powder measurement in power stationZhang, J., Xu, C., Wang, S. & Song, Z., 2008, In : Boiler Technology. 39, 1, p. 32 37 p.

Research output: Contribution to journalArticle

2007

Acceptability of power variation during a simulated hilly time trial

Atkinson, G., Peacock, O. & Law, M., 1 Feb 2007, In : International Journal of Sports Medicine. 28, 2, p. 157-163 7 p.

Research output: Contribution to journalArticle

16 Citations (Scopus)

Access to start-​up finance for ethnic minority graduate entrepreneurs

Hussain, J. G. & Scott, J. M., 2007, National Council for Graduate Entrepreneurship.

Research output: Book/ReportOther report

A CSP model of Eiffel's SCOOP

Brooke, P. J. P., Paige, R. F. R. & Jacob, J. L. J., 30 Nov 2007, In : Formal Aspects of Computing. 19, 4, p. 487–512

Research output: Contribution to journalArticle

8 Citations (Scopus)

Acute changes in cardiovascular function during the onset period of daytime sleep: Comparison to lying awake and standing

Zaregarizi, M., Edwards, B., George, K., Harrison, Y., Jones, H. & Atkinson, G., 1 Oct 2007, In : Journal of Applied Physiology. 103, 4, p. 1332-1338 7 p.

Research output: Contribution to journalArticle

16 Citations (Scopus)

Affective interactive narrative in the CALLAS Project

Charles, F., Lemercier, S., Vogt, T., Bee, N., Mancini, M., Urbain, J., Price, M., André, E., Pélachaud, C. & Cavazza, M., 2007, 4th international conference on virtual storytelling proceedings. Springer Berlin, p. 210-213

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

Open Access
File
79 Downloads (Pure)

Affective storytelling based on characters' feelings

Pizzi, D. & Cavazza, M. O., 2007, p. 110-117.

Research output: Contribution to conferencePaper

A High-level Event System for Augmented Reality

Lugrin, J-L., Chaignon, R. & Cavazza, M., 2007. 2 p.

Research output: Contribution to conferencePaper

Open Access
File
104 Downloads (Pure)

Alice and Her Arse Truck

Haillay, S., 2007

Research output: Non-textual formDigital or Visual Products

A multi-perspective digital library to facilitate integrating teaching research methods across the computing curriculum

Applin, A. G., Holz, H. J., Joel, W., Okoye, I., Deibel, K., Grasser, B., Oates, B. J. & Wood, G., 1 Dec 2007, In : ACM SIGCSE Bulletin. 39, 4, p. 184-203

Research output: Contribution to journalArticle

A multi-perspective digital library to facilitate integrating teaching research methods across the computing curriculum

Applin, A. G., Holz, H. J., Joel, W., Okoye, I., Deibel, K., Grasser, B., Oates, B. J. & Wood, G., 2007, ITiCSE 2007 proceedings. New York: ACM

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

Analysis of physical match performance in English Premier League soccer referees with particular reference to first half and player work rates

Weston, M., Castagna, C., Impellizzeri, F., Rampinini, E. & Abt, G., 1 Dec 2007, In : Journal of Science and Medicine in Sport. 10, 6, p. 390-397 8 p.

Research output: Contribution to journalArticle

68 Citations (Scopus)

An emotionally responsive AR art installation

Gilroy, S., Cavazza, M., Chaignon, R., Mäkelä, S-M., Niiranen, M., André, E., Vogt, T., Billinghurst, M., Seichter, H. & Benayoun, M., 2007. 6 p.

Research output: Contribution to conferencePaper

Open Access
File
27 Downloads (Pure)

An exploration of the use of simple statistics to measure consensus and stability in Delphi studies

Holey, E. A., Feeley, J. L., Dixon, J. & Whittaker, V. J., 1 Dec 2007, In : BMC Medical Research Methodology. 7, 10 p.

Research output: Contribution to journalArticle

Open Access
File
106 Citations (Scopus)
164 Downloads (Pure)

An innovative approach for improvement of communications through visual schedule model in road construction

Dawood, N. N. & Shah, R. K., 2007, Proceedings of the 7th International Conference on Construction Applications of Virtual Reality. p. 216-223

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

An investigation of the mobility separation of some peptide and protein ions using a new hybrid quadrupole/travelling wave IMS/oa-ToF instrument

Pringle, S. D., Giles, K., Wildgoose, J. L., Williams, J. P., Slade, S. E., Thalassinos, K., Bateman, R. H., Bowers, M. T. & Scrivens, J., 1 Mar 2007, In : International Journal of Mass Spectrometry. 261, 1, p. 1-12 12 p.

Research output: Contribution to journalArticle

544 Citations (Scopus)

A Novel Approach to the Detection of Cheating in Multiplayer Online Games

Laurens, P., Paige, R. F., Brooke, P. J. & Chivers, H., 2007, Proceedings of the IEEE international conference on engineering of complex computer systems. IEEE, p. 97-106

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

Open Access
File
303 Downloads (Pure)

A novel approach to the visualisation of heat-induced structural change in bone

Thompson, T. J. U. & Chudek, J. A., 2007, In : Science & Justice. 47, 2, p. 99-104

Research output: Contribution to journalArticle

A novel point of care diagnostic device: Impedimetric detection of a biomarker in whole blood

McMurray, A., Ali, Z., Kyselovik, J., Mills, C. A., Jaffrezic-Renault, N., Santha, H. & Strohhöfer, C., 2007, Proceedings of the 29th annual international conference of the IEEE EMBS. IEEE, p. 115-118

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

File
78 Downloads (Pure)

A pilot study to examine school-based aspects of the BMI surveillance programme in NE England

Shucksmith, J., Colls, R., McNaughton, R., Ells, L. & Wilkinson, J. R., Nov 2007, Teesside University. 45 p.

Research output: Book/ReportCommissioned report

Open Access
File
10 Downloads (Pure)

Application of biological indicators to assess recovery of hydrocarbon impacted soils

Dawson, J. J. C., Godsiffe, E. J., Thompson, I. P., Ralebitso-Senior, T. K., Killham, K. S. & Paton, G. I., 2007, In : Soil Biology and Biochemistry. 39, 1, p. 164-177

Research output: Contribution to journalArticle

Application of neural networks trained with multizone models for fast detection of contaminant source position in buildings

Vukovic, V. & Srebric, J., 1 Dec 2007, In : ASHRAE Transactions. 113, 2, p. 154-162 9 p.

Research output: Contribution to journalConference article

19 Citations (Scopus)

Application of visualisation tools in project management in construction industry: Innovation and challenges

Marasini, R., Dean, J. T. & Dawood, N. N., 2007, Computing in civil engineering. Soibelman, L. & Akinci, B. (eds.). American Society of Civil Engineers (ASCE), p. 91-102

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

A rapid review of evidence on liver disease epidemiology, treatment and services.

Kaner, E., Newbury-Birch, D., Avery, L., Jackson, K., Brown, N. & Mason, H., 20 Dec 2007, Department of Health. 212 p.

Research output: Book/ReportCommissioned report

Open Access
File
33 Citations (Scopus)
124 Downloads (Pure)

A systematic review of lay views about infant size and growth

Lucas, P. J. P., Arai, L. L., Baird, J. J., Kleijnen, J. J., Law, C. C. & Roberts, H. M. H., 2007, In : Archives of Disease in Childhood. 92, 2

Research output: Contribution to journalArticle

Automated Verification of Shape, Size and Bag Properties

Chin, W-N., David, C., Nguyen, H. H. & Qin, S., 2007, Proceedings IEEE international conference on engineering complex computer systems. California: IEEE, p. 307-317

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

Open Access
File
123 Downloads (Pure)

Automated Verification of Shape and Size Properties Via Separation Logic

Nguyen, H. H., David, C., Qin, S. & Chin, W-N., 2007, Verification, Model Checking, and Abstract Interpretation. Cook, B. & Podelski, A. (eds.). Springer Berlin Heidelberg, p. 251-266

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

Open Access
File
169 Downloads (Pure)

Automatic expressive deformations for implying and stylizing motion

Noble, P. & Tang, W., 1 Jul 2007, In : Visual Computer. 23, 7, p. 523-533 11 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)

Basic needs

Adams, R., 2007, International encyclopedia of the social sciences; 2nd edition. Darity, W. (ed.). 2 ed. Detroit: Macmillan Reference USA, Vol. 5.

Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary