Find Research outputs

Search results

• 2011

  Structural Analysis of Narratives with the Coq Proof Assistant

  Bosser, A., Courtieu, P., Forest, J. & Cavazza, M., 2011, Interactive theorem proving. Van Eekelen, M., Geuvers, H., Schmaltz, J. & Wiedijk, F. (eds.). Berlin: Springer Verlag, p. 55-70 Chapter 7. (Interactive Theorem Proving; vol. 6898).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

  Open Access

  File
  172 Downloads (Pure)

• Structured specifications for better verification of heap-manipulating programs

  Gherghina, C., David, C., Qin, S. & Chin, W-N., 2011, FM 2011: Formal Methods: Lecture notes in computer science, 6664. Butler, M. & Schulte, W. (eds.). Berlin: Springer, p. 386-401 (Lecture notes in computer science; 6664).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  213 Downloads (Pure)

• Students as mentors: changing the next generation

  Simpson, D., Crawford, K. & Mathews, I., 11 Jul 2011.

  Research output: Contribution to conference › Other › peer-review

• Students as Mentors: Changing the Next Generation

  Simpson, D., Crawford, K. & Mathews, I., 7 Jul 2011, Swapbox.

  Research output: Book/Report › Other report

• Students supporting students: A creative approach to pre-induction and peer mentoring

  Sober, R., Ng, S. H. & Wood, J., Nov 2011.

  Research output: Contribution to conference › Paper › peer-review

• Suppressive, curative, and prophylactic potentials of Morinda lucida (benth) against mice-infective chloroquine-sensitive Plasmodium berghei NK-65.

  Ebiloma, G., Omale, J. & Aminu, O. R., 5 May 2011, In: British Journal of Applied Science & Technology . 1, 3, p. 131-140

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  98 Downloads (Pure)

• Synthesis of 2,3,5-trisubstituted furans from a-formylaroylketene dithioacetals

  Sasikala, K. A., Kalesh, K. A., Anabha, E. R., Pillai, P. M., Asokan, C. V. & Devaky, K. S., 3 Feb 2011, In: Tetrahedron Letters. p. 1667-1669

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Tackling maternal obesity: The challenge for public health

  Heslehurst, N., Bell, R. & Rankin, J., 1 Jul 2011, In: Perspectives in Public Health. 131, 4, p. 161-162

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  226 Downloads (Pure)

• Tackling worklessness

  Shildrick, T. A. & MacDonald, R., 2011, Big ideas for the future. Research Councils United Kingdom, p. 95-

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• Talent Management and Educational Partnership between UK and China

  Zhu, X., Shutt, J. & Iles, P., 2011.

  Research output: Contribution to conference › Poster › peer-review

• Talent Management and Leadership Development in China

  Zhu, X. & Iles, P., 2011, British Academy Management (BAM) Conference, Sept 2011, Birmingham, Conference Proceedings.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Talent management and management fashion in Chinese enterprises: exploring case studies in Beijing

  Preece, D., Iles, P. & Chuai, X., Oct 2011, In: The International Journal of Human Resource Management. 22, 16, p. 3413-3428

  Research output: Contribution to journal › Article › peer-review

• Teaching and Learning Guide for Regulating the Medical Profession: From Club Governance to Stakeholder Regulation

  Chamberlain, J. M., 4 Jan 2011, In: Sociology Compass. 5, 1, p. 116-120 5 p.

  Research output: Contribution to journal › Article › peer-review
  1 Citation (Scopus)

• TeesRep: making an impact

  Turner, D. & Dott, E., 8 Jun 2011.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File
  5 Downloads (Pure)

• Terraforming arts marketing

  Dennis, N., Larsen, G. & Macaulay, M., 2011, In: Arts Marketing an international journal. 1, 1

  Research output: Contribution to journal › Article › peer-review

• Testing of electrostatic pulverised fuel meters

  Coulthard, J., Cheng, R., Zhang, J. & Keech, R. P., 1 Jan 2011, In: Measurement and Control (United Kingdom). 44, 8, p. 252-254 3 p.

  Research output: Contribution to journal › Article › peer-review
  2 Citations (Scopus)

• The abrasion of modern and archaeological bones by mobile sediments: the importance of transport modes

  Thompson, C. E. L., Ball, S., Thompson, T. J. U. & Gowland, R. L., 2011, In: Journal of Archaeological Science. 38, 4, p. 784-793

  Research output: Contribution to journal › Article › peer-review

• The application of histomorphometry and Fourier Transform Infrared Spectroscopy to the analysis of early Anglo-Saxon burned bone

  Squires, K. E., Thompson, T. J. U., Islam, M. & Chamberlain, A., 1 Jan 2011, In: Journal of Archaeological Science. 38, 9, p. 2399-2409 11 p.

  Research output: Contribution to journal › Article › peer-review
  32 Citations (Scopus)

• The Archaeology of Britain: An Introduction from Earliest Times to the Twenty-first Century

  Scott, R. B., 2011, In: Journal of Archaeological Science. 38, 12, p. 3696-3697

  Research output: Contribution to journal › Book/Film/Article review

• The Beaten: A short film by Simon McKeown

  McKeown, S., 2011

  Research output: Non-textual form › Digital or Visual Products

• The black market for cigarettes in Greece: Context, actors and activities

  Antonopoulos, G. A., 2011, Contemporary criminality and criminology: Essays in Honour of Professor James Farsedakis. Halkias, A. (ed.). Athens: Nomiki Vivliothiki, p. 37-55

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• The British National Party: Contemporary Perspectives

  Copsey, N. & Macklin, G., 2011, Routledge.

  Research output: Book/Report › Book

• The British Steel Collection (Part One)

  Heggie, J., Apr 2011, In: Cleveland Family History Society Journal. 11, 6, p. 39-42 3 p.

  Research output: Contribution to journal › Article › peer-review

• The British Steel Collection (Part Three): Case Study - Erasmus Darwin

  Heggie, J., 2011, In: Cleveland Family History Society Journal.

  Research output: Contribution to journal › Article › peer-review

• The British Steel Collection (Part Two): Case Study - Walter William Reader

  Heggie, J., Jul 2011, In: Cleveland Family History Society Journal.

  Research output: Contribution to journal › Article › peer-review

• The Christmas Season and the Protestant Churches in England, c. 1870–1914

  Armstrong, N., 19 Sep 2011, In: Journal of Ecclesiastical History. 62, 04, p. 744-762

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  160 Downloads (Pure)

• The connected home: from market barriers to business model solutions

  Ciesielska, M. & Li, F., 2011, Building the e-World Ecosystem: IFIP Advances in Information and Communication Technology. Skersys, T. (ed.). Springer, Vol. 353/201. p. 189-199

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

• The contribution of leader+ to the implementation of innovative forest-related projects

  Feliciano, D., Slee, B., Weiss, G., Matilainen, A. & Rimmler, T., 23 Feb 2011, Innovation in Forestry: Territorial and Value Chain Relationships. Cabi Publishing, p. 87-100 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter

• The coupled δ¹³C-radiocarbon systematics of three Late Glacial/early Holocene speleothems; insights into soil and cave processes at climatic transitions

  Rudzka, D., McDermott, F., Baldini, L. M., Fleitmann, D., Moreno, A. & Stoll, H., 1 Aug 2011, In: Geochimica et Cosmochimica Acta. 75, 15, p. 4321-4339 19 p.

  Research output: Contribution to journal › Article › peer-review
  40 Citations (Scopus)

• The development and validation of multi-axial creep damage constitutive equations for P91

  Xu, Q., Wright, M. & Xu, Q., 2011.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File
  15 Downloads (Pure)

• The dynamics of innovation and social capital in social enterprises: a relational sense-making perspective

  Dawson, P., Scott, J. M., Thompson, J. L. & Preece, D., 2011, Proceedings of the social innovation & entrepreneurship conference: extending theory, integrating practice. de Bruen, A. & Stangi, L. M. (eds.). New Zealand Social Innovation and Entrepreneurship Research Centre, p. 177-191

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  51 Downloads (Pure)

• The effect of an introductory training program on teachers’ efficacy beliefs

  Bikos, K., Tsigilis, N. & Grammatikopoulos, V., 2011, In: International Journal of Humanities and Social Science. 1, 14, p. 37-40

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  60 Downloads (Pure)

• The Effect of Breakfast and Snack Consumption on Children's Cognitive Performance

  Ingwersen, J., 2011, 312 p.

  Research output: Thesis › Doctoral Thesis

  Open Access

• The effect of motion at encoding and retrieval for same- and other-race face recognition

  Butcher, N., Lander, K., Fang, H. & Costen, N., 1 Nov 2011, In: British Journal of Psychology. 102, 4, p. 931-942 12 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  13 Citations (Scopus)

  230 Downloads (Pure)

• The Effect of Textured Insoles on Gait in People with Multiple Sclerosis: An Exploratory Study: Effect of Textured Insoles on Gait in MS

  Dixon, J., Gamesby, H., Robinson, J., Hodgson, D., Hatton, A., Warnett, R., Rome, K. & Martin, D., 2011, In: Physiotherapy Research International. 17, 2, p. 121-122

  Research output: Contribution to journal › Article › peer-review

• The effect of user intent on the stability of search engine results

  Truran, M., Schmakeit, J-F. & Ashman, H., 6 May 2011, In: Journal of the American Society for Information Science and Technology. 62, 7, 12 p.

  Research output: Contribution to journal › Article › peer-review

• The effects of natural iron fertilisation on deep-sea ecology: The Crozet Plateau, southern Indian ocean

  Wolff, G. A., Billett, D. S. M., Bett, B. J., Holtvoeth, J., FitzGeorge-Balfour, T., Fisher, E. H., Cross, I., Shannon, R., Salter, I., Boorman, B., King, N. J., Jamieson, A. & Chaillan, F., 14 Jun 2011, In: PLoS ONE. 6, e20697.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• The Effects of Thoracic and Cervical Spinal Cord Lesions on the Circadian Rhythm of Core Body Temperature

  Thijssen, D. H. J., Eijsvogels, T. M. H., Hesse, M., Ballak, D. B., Atkinson, G. & Hopman, M. T. E., 1 Mar 2011, In: Chronobiology International. 28, 2, p. 146-154

  Research output: Contribution to journal › Article › peer-review

• The emblem of my work

  Hall, M., 31 Oct 2011

  Research output: Non-textual form › Exhibition

• The Enteropathogenic E. coli (EPEC) Tir Effector Inhibits NF-κB Activity by Targeting TNFα Receptor-Associated Factors

  Ruchaud-sparagano, M., Mühlen, S., Dean, P., Kenny, B. & Monack, D. M. (ed.), 2011, In: PLoS Pathogens. 7, 12, p. e1002414

  Research output: Contribution to journal › Article › peer-review

• The estimation of the age of a blood stain using reflectance spectroscopy with a microspectrophotometer, spectral pre-processing and linear discriminant analysis

  Li, B., Beveridge, P., O'Hare, W. T. & Islam, M., 10 Oct 2011, In: Forensic Science International. 212, 1-3, p. 198-204 7 p.

  Research output: Contribution to journal › Article › peer-review
  32 Citations (Scopus)

• The explanatory value of some post-connectionist models: Calm down dear, it’s only supervenience

  Noble, J., Silverman, E. & de Pinedo, M., 19 May 2011. 3 p.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File
  23 Downloads (Pure)

• The Extreme Right in Interwar France: The Faisceau and the Croix de Feu

  Copsey, N., 1 Jun 2011, In: International History Review. 33, 2, p. 366-368 2 p.

  Research output: Contribution to journal › Book/Film/Article review

• The fabric of performance: values and social practices of classical music expressed through concert dress choice

  Griffiths, N. K., 2011, In: Music Performance Research. p. 30-48

  Research output: Contribution to journal › Article › peer-review

• The hearing of fitness to practice cases by the General Medical Council: Current trends and future research agendas

  Chamberlain, M., 2011, In: Health, Risk and Society. 13, 6, p. 561-575 15 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  56 Downloads (Pure)

• The "Ick" Factor, Anticipated Regret, and Willingness to Become an Organ Donor

  O'Carroll, R. E., Foster, C., McGeechan, G., Sandford, K. & Ferguson, E., 1 Mar 2011, In: Health Psychology. 30, 2, p. 236-245 10 p.

  Research output: Contribution to journal › Article › peer-review
  62 Citations (Scopus)

• The immunhistochemical examination of GABAergic interneuron markers in the dorsolateral prefrontal cortex of patients with late-life depression

  Khundakar, A., Morris, C. & Thomas, A. J., 1 May 2011, In: International Psychogeriatrics. 23, 4, p. 644-653 10 p.

  Research output: Contribution to journal › Article › peer-review
  11 Citations (Scopus)

• The impact of rapport practice on child witness recall and anxiety.

  Collins, K., Doherty-Sneddon, G. & Doherty, M., 2011.

  Research output: Contribution to conference › Paper › peer-review

• The importance of applied research in investigative interviewing: A real-life perspective

  Oxburgh, G. E., Walsh, D. & Milne, B., Jun 2011, In: Journal of Investigative Psychology and Offender Profiling. 8, 2, p. 105-109

  Research output: Contribution to journal › Article › peer-review

• The Interchangeability of Global Positioning System and Semiautomated Video-Based Performance Data During Elite Soccer Match Play

  Harley, J., Lovell, R., Barnes, C., Portas, M. & Weston, M., 1 Aug 2011, In: Journal of Strength and Conditioning Research. 25, 8, p. 2334-2336

  Research output: Contribution to journal › Article › peer-review