Search concepts
|
Selected filters
|
- 1,150 - 1,200 out of 47,541 results
Search results
-
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 journal › Article › peer-review
File114 Downloads (Pure) -
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-300Research output: Contribution to journal › Article › peer-review
-
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 journal › Article › peer-review
-
A finitely presented simple group with unsolvable conjugacy problem
Scott, E., 1984, In: Journal of Algebra. 90, p. 333-353Research output: Contribution to journal › Article › peer-review
-
'A Fire Ceremony' in The Forward Book of Poetry 2012
Potts, K., 6 Oct 2011, London: Faber and Faber. 1 p.Research output: Book/Report › Book
-
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/Report › Book
-
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–287Research output: Contribution to journal › Article › peer-review
-
A First Look at Digital Rights Management Systems for Secure Mobile Content Delivery
Rafi, A., Shepherd, C. & Markantonakis, K., 3 Nov 2023, (E-pub ahead of print) p. 549-558. 10 p.Research output: Contribution to conference › Paper › peer-review
Open AccessFile26 Downloads (Pure) -
A first-principles study of the vibrational properties of crystalline tetracene under pressure
Abdulla, M., Refson, K., Friend, R. H. & Haynes, P. D., 2 Sept 2015, In: Journal of Physics: Condensed Matter. 27, 37, p. 1-10 11 p., 375402.Research output: Contribution to journal › Article › peer-review
Open AccessFile422 Downloads (Pure) -
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 proceeding › Conference contribution
-
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 journal › Literature review › peer-review
-
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 Sept 1988, In: COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE II. 307, 10, p. 1231-1236 6 p.Research output: Contribution to journal › Article › peer-review
-
A follow-up on intermediate-mass black hole candidates in the second LIGO-Virgo observing run with the Bayes Coherence Ratio
Vajpeyi, A., Smith, R., Thrane, E., Ashton, G., Alford, T., Garza, S., Isi, M., Kanner, J., Massinger, T. J. & Xiao, L., 29 Aug 2022, In: Monthly Notices of the Royal Astronomical Society. 516, 4, p. 5309-5317 9 p.Research output: Contribution to journal › Article › peer-review
-
-
"A Fond Thing Vainly Invented": An essay on Purgatory and Pious Motive in late medieval England
Burgess, C., 1988, Parish, Church and People: Local Studies in Lay Religion, 1350-1750. Wright, S. J. (ed.).Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
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 journal › Article › peer-review
-
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 journal › Article › peer-review
-
A Forgotten Gem: Marlen Haushofer, Die Wand
Jeremiah, E., 11 Apr 2011, New Books in German.Research output: Contribution to non-peer-reviewed publication › Internet publication
-
A Fork Model of Total Quality Management
Mosadegh Rad, A., 2002, In: Tadbir. 130, p. 77-82Research output: Contribution to journal › Article › peer-review
-
A Fork Model of Total Quality Management
Mosadegh Rad, A., 2002.Research output: Contribution to conference › Paper
-
A Fork Model of Total Quality Management
Mosadegh Rad, A., 2004.Research output: Contribution to conference › Paper
-
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-103Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
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 proceeding › Other contribution
-
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 proceeding › Other contribution
-
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 conference › Paper › peer-review
-
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 journal › Article › peer-review
File147 Downloads (Pure) -
A Formal Model for Checking Cryptographic API Usage in JavaScript
Mitchell, D. & Kinder, J., 15 Sept 2019, (E-pub ahead of print) 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 proceeding › Conference contribution
Open AccessFile153 Downloads (Pure) -
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 journal › Article › peer-review
File289 Downloads (Pure) -
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-310Research output: Contribution to journal › Article › peer-review
-
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification
Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G., Wenzler, N. & Würtele, T., 3 Jul 2021, (Accepted/In press) 43rd IEEE Symposium on Security and Privacy (S&P 2022). Institute of Electrical EngineersResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification
Do, Q. H., Hosseyni, P., Küsters, R., Schmitz, G., Wenzler, N. & Würtele, T., 30 Jul 2021, In: IACR Cryptology ePrint Archive.Research output: Contribution to journal › Article
Open Access -
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 proceeding › Conference contribution
-
A formula for domestic abuse services in England – developing an ETHICAL response to domestic violence against women. Paper 1: Type and Capacity of services in England
Bowstead, J., 31 Jul 2022, 18 p.Research output: Working paper
Open Access -
A formula for domestic abuse services in England – developing an ETHICAL response to domestic violence against women. Paper 2: Location of services in England
Bowstead, J., 14 Oct 2022, 56 p.Research output: Working paper
Open AccessFile11 Downloads (Pure) -
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 proceeding › Chapter
-
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 proceeding › Chapter
-
A Foundry of Artificial Intelligence? The Case of UK National Security
Dwyer, A., 2024, (Accepted/In press) Routledge Handbook of Artificial Intelligence and National Security Policy. Romaniuk, S., Manjikian, M., Dziwisz, D. & Rajnai, Z. (eds.). RoutledgeResearch output: Chapter in Book/Report/Conference proceeding › Chapter
-
A Fountain for Memory: The Trevi Flow of Power and Transcultural Performance
Krist, P., 2015, (Unpublished) 284 p.Research output: Thesis › Doctoral Thesis
File4473 Downloads (Pure) -
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. 94Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
A framework for a more reflexive engagement with ethnography in International Business Studies
Mahadevan, J. & Moore, F., 13 Feb 2023, (E-pub ahead of print) In: Journal of World Business. 58, 4, 101424.Research output: Contribution to journal › Article › peer-review
-
A framework for audit in clinical psychology
Berger, M., 1991, In: Clinical Psychology Forum.Research output: Contribution to journal › Article › peer-review
-
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
-
A Framework for Cloud ERP System Implementation in Developing Countries: Learning from Lower Local Governments in Uganda
Mpanga, D. & Elbanna, A., 19 May 2019, (E-pub ahead of print) IFIP WG 8.6 Conference 2019. p. 274-292 19 p. (AICT).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
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 proceeding › Chapter
-
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--200Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
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-25Research output: Contribution to journal › Article › peer-review
-
A Framework for Improving the Sharing of Manufacturing Knowledge through Micro-Blogging
Evans, R. D., Gao, J. X., Owodunni, O., Shah, S., Mahdikhah, S., Messaadia, M. & Baudry, D., 24 Sept 2014, Advances in Production Management Systems: Innovative and Knowledge-Based Production Management in a Global-Local World - IFIP WG 5.7 International Conference, APMS 2014, Proceedings. PART 1 ed. Springer New York LLC, p. 19-26 8 p. (IFIP Advances in Information and Communication Technology; vol. 438, no. PART 1).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
A framework for predicting personal exposures to environmental hazards
Zidek, J. V., Shaddick, G., Meloche, J., Chatfield, C. & White, R., Dec 2007, In: Environmental and Ecological Statistics. 14, 4, p. 411-431 21 p.Research output: Contribution to journal › Article › peer-review
-
A framework for predicting soft-fruit yields and phenology using embedded, networked microsensors, coupled weather models and machine-learning techniques
Lee, M. A., Monteiro, A., Barclay, A., Marcar, J., Miteva-Neagu, M. & Parker, J., Jan 2020, In: Computers and Electronics in Agriculture. 168, 105103.Research output: Contribution to journal › Article › peer-review
-
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 proceeding › Conference contribution
Open AccessFile74 Downloads (Pure)