Home > Publications

Publications

40776 - 40800 out of 41,670Page size: 25
  1. Published

    Weyl's predicative classical mathematics as a logic-enriched type theory

    Adams, R. & Luo, Z., Jan 2010, In: ACM Transactions on Computational Logic. 11, 2, 31 p., 11.

    Research output: Contribution to journalArticlepeer-review

  2. Published

    Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory

    Adams, R. & Luo, Z., 2007, Types for Proofs and Programs. Altenkirch, T. & McBride, C. (eds.). Springer, Vol. 4502. p. 1-17 17 p. (Lecture Notes in Computer Science).

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

  3. Published

    Weyl's theorem in the measure theory of numbers

    Harman, G., Baker, R. & Coatney, R., 2010, Dependence in probability, analysis and number theory. Berkes, I., Bradley, R., Dehling, H., Peligrad, M. & Tichy, R. (eds.). Heber city: Kendrick Press, p. 51-72

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

  4. Published

    Whammies and double whammies: The effect of length on nonword reading

    Rastle, K. & Coltheart, M., Jun 1998, In: Psychonomic Bulletin and Review. 5, 2, p. 277-282 6 p.

    Research output: Contribution to journalArticlepeer-review

  5. Published

    What a clinical psychologist needs to know

    Berger, M., 1987, Conference on the Future of Training in Clinical Psychology. British Psychological Society

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

  6. E-pub ahead of print

    What a Difference a Critical Election Makes: Social Networks and Political Discussion in Italy Between 2008 and 2013

    Campus, D., Ceccarini, L. & Vaccari, C., 2 Dec 2015, (E-pub ahead of print) In: International Journal of Public Opinion Research. 27, 4, p. 588-601 14 p.

    Research output: Contribution to journalArticlepeer-review

  7. Published

    What about my dad? Black fathers and the child protection system

    Gupta, A. & Featherstone, B., Mar 2016, In: Critical and Radical Social Work. 4, 1, p. 77 - 91 15 p.

    Research output: Contribution to journalArticlepeer-review

  8. Published

    What about quality of life?

    Bradley, C., 1994, In: Balance. 140, p. VIII-IX

    Research output: Contribution to journalArticlepeer-review

  9. Published

    What are friends for? The essay

    Champion, J., 2007

    Research output: Non-textual formDigital or Visual Products

  10. Published

    What are historians for?

    Champion, J., 2008, In: Historical Research. 81, 211, p. 167-188

    Research output: Contribution to journalArticlepeer-review

  11. Published

    What are the consequences of the 'spatial turn' for how we understand politics today? A proposed research agenda

    Pugh, J., Thien, D., Marres, N., Featherstone, D., Griffin, L., Banerjee-Guha, S., Korf, B., Day, R., Nidia Buenfil-Burgos, R., du Toit, A., Brown, J., Carter, D., Mitchell, K., Barros, S., Barros, M., Perez, A., Grinberg, S., Groppo, A., Halperin, S., Rumford, C. & 11 others, Gouws, A., Robins, S., Shani, G., Halbert, D. J., Norval, A. J., Howarth, D., Weller, S., Tie, W., Del Casino, V. J., Celik, N. B. & Spaces Democracy Democracy Space, Oct 2009, In: Progress in Human Geography. 33, 5, p. 579-586 8 p.

    Research output: Contribution to journalEditorialpeer-review

  12. E-pub ahead of print

    What are the criteria for religious recognition?

    Seglow, J., 2 Feb 2021, (E-pub ahead of print) In: Ethnicities.

    Research output: Contribution to journalArticlepeer-review

  13. Published

    What Are The Effects of Fiscal Policy Shocks?

    Mountford, A. & Uhlig, H., 2009, In: Journal of Applied Econometrics. 24, 6, p. 960-992

    Research output: Contribution to journalArticlepeer-review

  14. Published

    What are the Grounds for the Legality of Abortion? A 13th Amendment Argument

    Sjoberg, L., 2011, In: Cardozo Journal of Law and Gender. 17, 3, p. 527-550 24 p.

    Research output: Contribution to journalArticle

  15. Published

    What are the key lessons of ICT4D partnerships for poverty reduction?- A Systematic Review

    Geldof, M., Grimshaw, D., Kleine, D. & Unwin, T., 2011, London: UK Department for International Development. 76 p.

    Research output: Book/ReportCommissioned report

  16. Published

    What are the predominant pests and diseases afflicting gardens in the UK?

    Brace, L., Gange, A. & Clover, G., Jun 2020, In: Urban Forestry and Urban Greening. 52, p. 1-9 9 p., 126706.

    Research output: Contribution to journalArticlepeer-review

  17. Published

    What are the training needs of new GP teachers?

    Stephens, C. & Woodcock, A., 1999, In: Ed Gen Prac. 10, p. 237-244

    Research output: Contribution to journalArticlepeer-review

  18. Published

    What Are We Expected to Feel? Witness, Textuality and the Audiovisual

    Ellis, J., 2009, In: Screen. 50, 1, p. 67-76

    Research output: Contribution to journalArticlepeer-review

  19. Published

    What assembly programmers get up to: control flow challenges in reverse compilation

    Johnstone, A., Scott, E. & Womack, T., 3 Mar 2000, p. 83-92. 10 p.

    Research output: Contribution to conferencePaper

  20. Published

    What Bees can really tell us about the face processing system in Humans? A response to Dyer et al. (2005).

    Pascalis, O., Kelly, D. J. & Caldara, R., 2006, In: Journal of Experimental Biology.. 16, p. 3266-3267

    Research output: Contribution to journalArticlepeer-review

  21. Published

    What Butler saw: cross-dressing and spectatorship in seventeenth-century France

    Harris, J., 2006, In: Paragraph. 29, 1

    Research output: Contribution to journalArticlepeer-review

  22. Published

    What Can Identity-Based Cryptography Offer to Web Services?

    Crampton, J., Lim, H. W. & Paterson, K. G., 2007, Proceedings of the 5th ACM Workshop on Secure Web Services (SWS 2007), Alexandria, Virginia, USA.. ACM Press, p. 26-36 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  23. Published

    What Can Literature Do? Jorge Semprun, Militancy, and the Scandal of Art

    Davis, C., 2015, Values of Literature. Meretoja, H., Isomaa, S., Lyytikäinen, P. & Malmio, K. (eds.). Leiden/Boston: Brill Rodopi, p. 79-91 13 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  24. Published

    What can psychologists contribute to the examination of memory and past mental states?

    Memon, A. & Henderson, S. E., 2002, Retrospective Assessments of Mental States and the Law. Simon, R. & Shuman, D. W. (eds.). Washington, DC: American Psychiatric Press, p. 307-334

    Research output: Chapter in Book/Report/Conference proceedingChapter

  25. Published

    What Can Scury Tell us About Victorian Culture?

    Armston-Sheret, E., Mar 2020, The Victorianist.

    Research output: Contribution to non-peer-reviewed publicationInternet publication