Home > Publications

Publications

38501 - 38550 out of 40,101Page size: 50
  1. E-pub ahead of print

    A Functional Perspective on Machine Learning via Programmable Induction and Abduction

    Cheung, S., Davariu, V., Ghica, D., Muroya, K. & Rowe, R., 24 Apr 2018, FLOPS 2018: Functional and Logic Programming. Springer, Vol. 10818. p. 84-98 15 p. (Lecture Notes in Computer Science).

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

  2. Published

    A Functional Approach to Clinical Practise: Introducing the International Classification of Functions and its Implications for Clinical Psychology

    Berger, M., 2008, In: Leicester: British Psychological Society.

    Research output: Contribution to journalArticle

  3. Published

    A Full Operational Semantics for Asynchronous Relational Networks

    Vissani, I., Lopez Pombo, C., Tutu, I. & Fiadeiro, J. L., 30 Dec 2015, Recent Advances in Algebraic Development Techniques. Springer, p. 131-150 20 p. (Lecture Notes in Computer Science; vol. 9463).

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

  4. E-pub ahead of print

    A framework for understanding the empowerment effects of telecentres on rural communities in developing countries

    Kapondera, S. K., Bernadi, R. & Panteli, N., 26 Apr 2019, Information and Communication Technologies for Development. Strengthening Southern-Driven Cooperation as a Catalyst for ICT4D: 15th IFIP WG 9.4 International Conference on Social Implications of Computers in Developing Countries, ICT4D 2019, Dar es Salaam, Tanzania, May 1–3, 2019, Proceedings, Part I. Nielsen, P. & Kimaro, H. C. (eds.). Springer, p. 104-115 12 p. (IFIP Advances in Information and Communication Technology; vol. 551).

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

  5. Published

    A Framework for the Cryptographic Enforcement of Information Flow Policies

    Alderman, J., Crampton, J. & Farley, N., 7 Jun 2017, Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies. ACM, p. 143-154 12 p.

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

  6. Published

    A framework for exploring the policy implications of UK medical tourism and international patient flows

    Lunt, N. T., Mannion, R. & Exworthy, M., Feb 2013, In: Social Policy and Administration. 47, 1, p. 1-25

    Research output: Contribution to journalArticlepeer-review

  7. Published

    A Framework for Enforcing Constrained RBAC Policies

    Crampton, J. & Khambhammettu, H., 2009, Proceedings of 12th IEEE International Conference on Computational Science and Engineering. IEEE Computer Society Press, p. 195--200

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

  8. Published

    A framework for design and analysis of asymmetric fingerprinting protocols

    Martin, K. M. & Poh, G. S., 2007, Proceedings of Third International Symposium on Information Assurance and Security IAS 2007. IEEE Computer Society Press, p. 457-461 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. E-pub ahead of print

    A Framework for Cloud ERP System Implementation in Developing Countries: Learning from Lower Local Governments in Uganda

    Mpanga, D. & Elbanna, A., 19 May 2019, IFIP WG 8.6 Conference 2019. p. 274-292 19 p. (AICT).

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

  10. Published

    A framework for benchmarking small business consumers' need for and use of legal services

    Pleasence, P., Balmer, N., Blackburn, R. A. & Wainwright, T., 2012, 161 p. Cambridge : Legal Services Board.

    Research output: Other contribution

  11. Published

    A framework for audit in clinical psychology

    Berger, M., 1991, In: Clinical Psychology Forum.

    Research output: Contribution to journalArticlepeer-review

  12. Published

    A four-element framework for research on the composite materials supply chain

    Mastrocinque, E., Coronado Mondragon, A. E. & Hogg, P., 16 Jun 2015, Engineering Technology, Engineering Education and Engineering Management: Proceedings of the International Conference on Engineering Technologies, Engineering Education and EngineeringManagement (ETEEEM 2014), Hong Kong, 15-16 November 2014. Tan, D. (ed.). CRC Press, p. 423-426 4 p. 94

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

  13. Unpublished

    A Fountain for Memory: The Trevi Flow of Power and Transcultural Performance

    Krist, P., 2015, (Unpublished) 284 p.

    Research output: ThesisDoctoral Thesis

  14. Published

    A fossil lycopsid forest succession in the classic Joggins section of Nova Scotia: paleoecology of a disturbance-prone Pennsylvanian wetland.

    Calder, J. H., Gibling, M. R., Scott, A. C., Davies, S. J. & Herbert, B. L., 2006, Wetlands through Time. . Greb, S. J. & DiMichele, W. A. (eds.). Geological Society of America Special Publication , Vol. 399. p. 169-194 26 p. (Geological Society of America Special Paper.; vol. 399).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  15. Published

    A forward-modelling analysis of the controls on sequence stratigraphical geometries

    Burgess, P. & Allen, P., 1996, Sequence Stratigraphy in British Geology. Vol. 103.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  16. Published

    A Formally Verified Mutual Authentication Protocol for Low-Cost RFID Tags

    Abu Ghazalah, S., Markantonakis, K. & Mayes, K., Dec 2014, In: International Journal of RFID Security and Cryprography (IJRFIDSC). 3, 2, p. 156-169 14 p.

    Research output: Contribution to journalArticlepeer-review

  17. Published

    A formal transformation and refinement method for re-engineering concurrent programs

    Younger, E., Bennett, K. & Luo, Z., 1997, Proc of IEEE Inter. Conf. on Software Maintenance.

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

  18. Published

    A formal model of agent-oriented virtual organisations and their formation

    McGinnis, J., Stathis, K. & Toni, F., 29 Dec 2011, In: Multiagent and Grid Systems. 7, 6, p. 291-310

    Research output: Contribution to journalArticlepeer-review

  19. Published

    A formal model for service-oriented interactions

    Fiadeiro, J., Lopes, A. & Abreu, J., 1 May 2012, In: Science of Computer Programming. 77, 5, p. 577-608 32 p.

    Research output: Contribution to journalArticlepeer-review

  20. E-pub ahead of print

    A Formal Model for Checking Cryptographic API Usage in JavaScript

    Mitchell, D. & Kinder, J., 15 Sep 2019, ESORICS'19: Proceedings of the 24th European Symposium on Research in Computer Security. Springer, Vol. 11735. p. 341-360 20 p.

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

  21. Published

    A Formal Framework of Virtual Organisations as Agent Societies

    McGinnis, J., Stathis, K. & Toni, F., 25 Jan 2010, p. 1-14. 14 p.

    Research output: Contribution to conferencePaperpeer-review

  22. Published

    A formal approach to service component architecture

    Fiadeiro, J. L., Bocchi, L. & Lopes, A., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4184 LNCS. p. 193-213 21 p.

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

  23. Published

    A formal approach to event-based architectures

    Fiadeiro, J. L. & Lopes, A., 1 Jan 2006, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3922 LNCS. p. 18-32 15 p.

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

  24. Published

    A Formal Adversary Capability Model for SCADA Environments

    Mcevoy, R. & Wolthusen, S. D., 2010, Proceedings of the 5th International Workshop on Critical Information Infrastructures Security (CRITIS 2010). Springer-Verlag, p. 93-103

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

  25. Published

    A Fork Model of Total Quality Management

    Mosadegh Rad, A., 2002, In: Tadbir. 130, p. 77-82

    Research output: Contribution to journalArticlepeer-review

  26. Published

    A Fork Model of Total Quality Management

    Mosadegh Rad, A., 2004.

    Research output: Contribution to conferencePaper

  27. Published

    A Fork Model of Total Quality Management

    Mosadegh Rad, A., 2002.

    Research output: Contribution to conferencePaper

  28. Published

    A Forgotten Gem: Marlen Haushofer, Die Wand

    Jeremiah, E., 11 Apr 2011, New Books in German.

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

  29. Published

    A forespore checkpoint for mother cell gene expression during development in B. subtilis

    Cutting, S., Oke, V., Driks, A., Losick, R., Lu, S. & Kroos, L., 27 Jul 1990, In: Cell. 62, 2, p. 239-250 12 p.

    Research output: Contribution to journalArticlepeer-review

  30. Published

    A 'Foreign' Queen in King Uther's Court: Fifteenth-Century Insular Xenophobia and Malory's Portrayal of Arthur's Mother

    Chriqui, S., 15 Jun 2016, In: South Atlantic Review. 81, 2, p. 72-92 20 p.

    Research output: Contribution to journalArticlepeer-review

  31. Published

    A FLUID INCLUSION STUDY ON THE TUNGSTEN SKARNS OF COSTABONNE (PYRENEES) - SOME RESULTS ON OVERALL CHEMISTRY AND DAUGHTER MINERALS

    SANTARELLI, F., ALDERTON, D. & GUY, B., 30 Sep 1988, In: COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE II. 307, 10, p. 1231-1236 6 p.

    Research output: Contribution to journalArticlepeer-review

  32. Published

    A fluid inclusion and stable isotope study of 200 Ma of fluid evolution in the Galway Granite, Connemara, Ireland

    OReilly, C., Jenkin, G. R. T., Feely, M., Alderton, D. H. M. & Fallick, A. E., Oct 1997, In: Contributions to Mineralogy and Petrology. 129, 2-3, p. 120-142 23 p.

    Research output: Contribution to journalLiterature reviewpeer-review

  33. Published

    A flexible object-oriented system for teaching and learning structured IR

    de Campos, L. M., Fernández-Luna, J. M., Huete, J. F. & Romero, A. E., 2007, Proceedings of the First International Workshop on Teaching and Learning of Information Retrieval. London (UK), 6 p.

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

  34. Published

    A first-principles study of the vibrational properties of crystalline tetracene under pressure

    Abdulla, M., Refson, K., Friend, R. H. & Haynes, P. D., 2 Sep 2015, In: Journal of Physics: Condensed Matter. 27, 37, p. 1-10 11 p., 375402.

    Research output: Contribution to journalArticlepeer-review

  35. Published

    A first evaluation of the spatial gradients in δ18O recorded by European Holocene speleothems

    McDermott, F., Atkinson, T. C., Fairchild, I. J., Baldini, L. M. & Mattey, D. P., Dec 2011, In: Global and Planetary Change. 79 , 3-4, p. 275–287

    Research output: Contribution to journalArticlepeer-review

  36. Published

    A First Course in Formal Logic and its Applications in Computer Science

    Dowsing, R., Rayward-Smith, V. J. & Walter, C. D., 1986, Blackwell Scientific Publications, Oxford.

    Research output: Book/ReportBook

  37. Published

    'A Fire Ceremony' in The Forward Book of Poetry 2012

    Potts, K., 6 Oct 2011, London: Faber and Faber. 1 p.

    Research output: Book/ReportBook

  38. Published

    A finitely presented simple group with unsolvable conjugacy problem

    Scott, E., 1984, In: Journal of Algebra. 90, p. 333-353

    Research output: Contribution to journalArticlepeer-review

  39. Published

    A finite de Finetti theorem for infinite-dimensional systems

    D'Cruz, C., Osborne, T. J. & Schack, R., 2007, In: Physical Review Letters. 98, p. 160406 1 p.

    Research output: Contribution to journalArticlepeer-review

  40. Published

    A Fifteenth-Century Middle English Sermon on the Decline of the World and the Age of Stone

    Bennett, A., 2011, In: Medium Aevum. 80, 2, p. 271-300

    Research output: Contribution to journalArticlepeer-review

  41. In preparation

    A field trip through spin ice

    Sala, G., Castelnovo, C., Moessner, R., sondhi, S., Kitagawa, K., Takigawa, M., Higashinaka, R. & Maeno, Y., 2012, (In preparation) In: Physical Review Letters.

    Research output: Contribution to journalArticlepeer-review

  42. Published

    A field evaluation of the VIPER system: A new technique for eliciting eyewitness identification evidence

    Memon, A., Havard, C., Clifford, B., Gabbert, F. & Watt, M., 2011, In: Psychology, Crime and Law. 17, 8, p. 711-729

    Research output: Contribution to journalArticlepeer-review

  43. Published

    A Fibre Coupled, Low Power Laserwire Emittance Scanner at CERN LINAC4

    Gibson, S., Boorman, G., Bosco, A., Kruchinin, K., Hofmann, T., Roncarolo, F., Pozimski, J., Gabor, C. & Letchford, A., 20 Jun 2014, 5th International Particle Accelerator Conference: 15-20 June 2014 Dresden, Germany. p. 3725-3728 4 p. THPME190

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

  44. Published

    A feminist reading of Foreign policy under Trump: Mother of All Bombs, wall and the “locker room banter”

    Eroukhmanoff, C., 2017, In: Critical Studies on Security. 5, 2, p. 177-181 5 p.

    Research output: Contribution to journalSpecial issuepeer-review

  45. Published

    A Feminist Educator's Peregrination Through Sociology

    Deem, R., 1994, Lancaster University.

    Research output: Other contribution

  46. Published

    A feasibility study of the use of reactive tracers to determine outdoor daytime OH radical concentrations within the urban environment.

    White, I. R., Martin, D., Petersson, K. F., Henshaw, S. J., Nickless, G., Lloyd-Jones, G. C., Clemitshaw, K. C. & Shallcross, D. E., 2014, In: Atmospheric Science Letters. 15, p. 178-185 8 p., DOI: 10.1002/asl2.487.

    Research output: Contribution to journalArticlepeer-review

  47. Published

    A feasibility study of the use of continuous subcutaneous insulin infusion in a diabetic clinic: patients' choice of treatment

    Knight, G., Boulton, AJM., Drury, J., Gamsu, DS., Moses, JL., Bradley, C. & Ward, JD., 1984, In: Diabetic Medicine. 1, 4, p. 267-72 6 p.

    Research output: Contribution to journalArticlepeer-review

  48. Published

    A Feasibility study of a neutrino source based on a muon storage ring

    Muon Collider/Neutrino Factory Collaboration, 2001, In: SLAC-REPRINT-2000-054.

    Research output: Contribution to journalArticlepeer-review

  49. Published

    A Father, a Daughter and a Procurator: Authority and resistance in the prison memoir of perpetua of carthage

    Cooper, K., Nov 2011, In: Gender and History. 23, 3, p. 685-702 18 p.

    Research output: Contribution to journalArticlepeer-review

  50. Published

    A Faster Fixed-Parameter Approach to Drawing Binary Tanglegrams

    Böcker, S., Hüffner, F., Truss, A. & Wahlström, M., 2009, Parameterized and Exact Computation : 4th International Workshop, IWPEC 2009. Chen, J. & Fomin, F. V. (eds.). Copenhagen, Denmark: Springer, Vol. 5917. p. 38-49 12 p. (Lecture Notes in Computer Science).

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