Home > Publications

Publications

34601 - 34700 out of 36,747Page size: 100
  1. Other contribution › Research
  2. Published

    A Problem of Adequacy: conservativity of calculus of constructions over higher-order logic

    Luo, Z., 1990, LFCS Report Series. LFCS, Edinburgh Univ

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

  3. Published

    A Set-theoretic Setting for Structuring Theories in Proof Development

    Luo, Z. & Burstall, R., 1992, LFCS Report Series. LFCS, Edinburgh Univ

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

  4. Published

    A use-case driven approach to formal service-oriented modelling

    Bocchi, L., Fiadeiro, J. L. & Lopes, A., 1 Jan 2008, Communications in Computer and Information Science. Vol. 17 CCIS. p. 155-169 15 p.

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

  5. Published

    Aaron Copland

    MacGregor, E., 2017, 30-Second Classical Music. Cormac, J. (ed.). Brighton: Ivy Press, (30 Second).

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

  6. Published

    Abstraction preservation and subtyping in distributed languages

    Deniélou, P-M. & Leifer, J. J., 1 Jan 2006, Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP. Reppy, J. H. & Lawall, J. L. (eds.). ACM, Vol. 2006. p. 286-297 12 p.

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

  7. Published

    ACM International Conference Proceeding Series: Foreword

    Allalouf, M., Ben-Yehuda, M., Factor, M., Feitelson, D. & Chockler, G., 2009, Proceedings of SYSTOR '09: ACM International Conference Proceeding Series.

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

  8. Published

    Algebraic Proof Complexity: Progress, Frontiers and Challenges

    Pitassi, T. & Tzameret, I., 8 Jul 2016, ACM SIGLOG News. Immerman, N. (ed.). New York: ACM, Vol. 3. p. 21-43 23 p.

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

  9. Published

    Algebraic semantics of service component modules

    Fiadeiro, J. L., Bocchi, L. & Lopes, A., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4409 LNCS. p. 37-55 19 p.

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

  10. Published

    An architectural approach to mobility - The handover case study

    Oliveira, C., Wermelinger, M., Fiadeiro, J. L. & Lopes, A., 1 Jan 2004, Proceedings - Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004). p. 305-308 4 p.

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

  11. Published

    An Architectural Support for Self-Adaptive Software for Treating Faults

    De Lemos, R. & Fiadeiro, J. L., 1 Jan 2002, Proceedings of the first ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02). p. 39-42 4 p.

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

  12. Published

    Ancient Commentators on Aristotle

    Sellars, J., 2014, Oxford Bibliographies in Classics. Clayman, D. (ed.). Oxford University Press

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

  13. Published

    'ANTI 2011, Kuopio, Finland'

    Williams, D., Feb 2012, Performance Research: 'On Failure'. 1 ed. Taylor & Francis / Performance Research, Vol. 17. p. 126-132 7 p.

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

  14. Published

    Argumentative Agents for Service-Oriented Computing

    Morge, M., McGinnis, J., Bromuri, S., Mancarella, P., Stathis, K. & Toni, F., 2013, Multiagent Systems and Applications. Ganzha, M. & Jain, L. C. (eds.). Springer-Verlag Berlin Heidelberg, p. 217-255 39 p.

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

  15. Published

    Asynchronous distributed monitoring for multiparty session enforcement

    Chen, T-C., Honda, K., Bocchi, L., Deniélou, P-M. & Yoshida, N., 1 Jan 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7173 LNCS. p. 25-45 21 p.

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

  16. Published

    Athens as a Failed City for Consumption

    Chatzidakis, A., 2014, Crisis-Scapes: Athens and Beyond.

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

  17. Published

    Auditory-induced emotion: A neglected channel for communication in human-computer interaction

    Tajadura-Jiménez, A., Västfjäll, D. & Tajadura Jimenez, A., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4868 LNCS. p. 63-74 12 p.

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

  18. Published

    Automatic indexing from a thesaurus using Bayesian networks: Application to the classification of parliamentary initiatives

    De Campos, L. M., Fernández-Luna, J. M., Huete, J. F. & Romero, A. E., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4724 LNAI. p. 865-877 13 p.

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

  19. E-pub ahead of print

    Book Review Symposium: Ulrich Jürgens and Martin Krzywdzinski, New Worlds of Work: Varieties of Work in Car Factories in the BRIC Countries

    Smith, C., 3 Jan 2019, Work, Employment and Society. p. 1-3 3 p.

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

  20. Published

    Book review: Adrian Heathfield & Tehching Hsieh, 'Out of Now: The Lifeworks of Tehching Hsieh'

    Williams, D., 2009, Performance Research. 'On Training' (October) ed. UK, Vol. 14:2. p. 130-1 2 p.

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

  21. Published

    Book review: Nicholas Ridout, Stage Fright, Animals & Other Theatrical Problems

    Williams, D., 2007, Contemporary Theatre Review. May ed. UK, Vol. 17:2. p. 245-6 2 p.

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

  22. Published

    CAN Bus Risk Analysis Revisit

    Mansor, H., Markantonakis, K. & Mayes, K., 2014, Information Security Theory and Practice. Securing the Internet of Things. Naccache, D. & Sauveron, D. (eds.). Springer, Vol. 8501. p. 170-179 10 p. (Lecture Notes in Computer Science; vol. 8501).

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

  23. Published

    CC# and Its Meta Theory

    Luo, Z., 1988, LFCS Report Series. LFCS, Edinburgh Univ

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

  24. Published

    Celebes Baking Products: A teaching case study on decision making, stakeholders, and cost behaviour

    Gee, M., 2018, Management and Cost Accounting: Mind Tap®. Drury, C. (ed.). 10th ed. Cengage Learning

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

  25. Published

    Classical and quantum structuralism

    Coecke, B., Paquette, É. O. & Pavlovic, D., 2009, Semantical Techniques in Quantum Computation. Gay, S. & Mackie, I. (eds.). Cambridge University Press, p. 29-69 41 p.

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

  26. Published

    Cocteau's La Villa Santo-Sospir

    Williams, J., 2011, Criterion DVD edition of Cocteau's Orpheus. Criterion Collection, New York, p. 23-25

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

  27. Unpublished

    Combining qualitative and quantitative research methods

    Rees, C., Mar 1996, (Unpublished) Warwick Business School Doctoral Students Seminar. University of Warwick

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

  28. Published

    Conference Report: International D. H. Lawrence Conference: Lawrence Among Women

    Morsia, E., 2015, Newsletter - The D. H. Lawrence Society. Vol. no. 97. p. 24-29 6 p.

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

  29. Published

    Consistency of service composition

    Fiadeiro, J. L. & Lopes, A., 1 Jan 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7212 LNCS. p. 63-77 15 p.

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

  30. Published

    Consumption in and of Crisis-Hit Athens

    Chatzidakis, A., 2016, Greek Crisis: Critical Ethnographic Approaches and Engaged Anthropological Perspectives. Dalakoglou, D. & Agelopoulos, G. (eds.). Routledge

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

  31. Unpublished

    Corporate social responsibility and trade unions: perspectives across Europe

    Preuss, L., Rees, C. & Gold, M., Feb 2015, (Unpublished) European Trade Union Institute (ETUI) Monthly Forum. Brussels

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

  32. Unpublished

    Critical realism and international business theory

    Rees, C., May 2009, (Unpublished) School of Management Research Seminar. Royal Holloway, University of London.

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

  33. Unpublished

    Critical realism and social research

    Rees, C. & Smith, C., Jul 2014, (Unpublished) ESRC South East Doctoral Training Centre (SEDTC) Annual Postgraduate Conference. Egham

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

  34. Unpublished

    Critical realist ethnography

    Rees, C. & Gatenby, M., Apr 2012, (Unpublished) Critical Realism in Action Group (CRAG) Meeting. London

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

  35. Published

    Cyber Security Education, Qualifications and Training

    Martin, K. M., 2015, Engineering and Technology Reference. IET

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

  36. Submitted

    Dada's Women - Performing Gender

    Hemus, R., 2019, (Submitted) The Great Monster Dada Show. Bresciani, A. M. & Wildhagen Gjessing, O. (eds.). Hovikodden: Henie Onstad Kunstsenter

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

  37. Published

    Daughters Born without Mothers: Dada's Women

    Hemus, R., 2015, The Great Mother: Women, Maternity, and Power in Arts and Visual Culture, 1900-2015: La Grande Madre. Milan: Trussardi Foundation, p. 103-107 5 p.

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

  38. Published

    DiffusionRank: A possible penicillin for web spamming

    Yang, H., King, I. & Lyu, M. R., 1 Jan 2007, Proceedings of the 30th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR'07. p. 431-438 8 p.

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

  39. Published

    Diseases Associated with Genomic Imprinting

    Wilkins, J. F., Ubeda, F. & Ubeda, F., 2011, MODIFICATIONS OF NUCLEAR DNA AND ITS REGULATORY PROTEINS. SAN DIEGO: ELSEVIER ACADEMIC PRESS INC, p. 401-445 45 p.

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

  40. Published

    Disruption of cognitive performance by sound: Differentiating two forms of auditory distraction

    Hughes, R., Vachon, F., Hurlstone, M. J., Marsh, J. E., Macken, W. J. & Jones, D. M., 2011, Proceedings of the 10th International Congress on Noise as a Public Health Problem.

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

  41. Published

    Dome, sweet home: climate shelters past, present and future

    Squire, R., Searles-Adey, P. & Jensen, R. B., 23 Nov 2018, Nature.

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

  42. Published

    Early model-analysis of logistics systems

    Azmat, F., Bocchi, L. & Fiadeiro, J. L., 1 Jan 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6568 LNCS. p. 225-236 12 p.

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

  43. Published

    El Sistema: the future of classical music?

    Baker, G., 2015, Déchiffrer les publics de la musique classique / Unravelling classical music audiences. Editions des Archives Contemporaines

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

  44. Published

    Employability in higher education: A review of practice and strategies around the world

    Jackman, A., 2016, Pearson Efficacy & Research. Pearson, p. 1-70

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

  45. Unpublished

    Employee involvement in quality management strategies

    Rees, C., Mar 1996, (Unpublished) Industrial Relations Research Unit (IRRU) Seminar. University of Warwick.

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

  46. Unpublished

    Employee perceptions of quality management strategies: some case study evidence

    Rees, C., Nov 1996, (Unpublished) Kingston Business School Research Seminar. Kingston University.

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

  47. Unpublished

    Employee perspectives on quality management

    Rees, C., Mar 1997, (Unpublished) MSc Industrial Relations Seminar. London School of Economics

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

  48. Published

    Engineered Grain-Boundary Junctions - Characteristics, Structure, Applications

    Alarco, J., Boikov, Y., Brorsson, G., Claeson, T., Daalmans, G., Edstam, J., Ivanov, Z., Kaplunenko, V. K., Nilsson, P. A., Olsson, E., Olsson, H. K., Ramos, J., Stepantsov, E., Tzalenchuk, A., Winkler, D. & Zhang, Y. M., 1994, Materials and Crystallographic Aspects of Ht(C)-Superconductivity. Vol. 263. p. 471-490 20 p. (Nato Advanced Science Institutes Series, Series E, Applied Sciences).

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

  49. Published

    Epictetus

    Sellars, J., 2016, Oxford Bibliographies in Classics. Clayman, D. (ed.). Oxford University Press

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

  50. Published

    Estonia

    Cianetti, L., Aug 2014, Bulletin on European and CIS Studies. 2014 European Parliament Elections: Views from across Europe. Moscow: Stranovedenie, p. 8-11

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

  51. In preparation

    Estudos de Mídia, Marxismo, Globalização e Sistemas de Comunicação em países em Transição. Entrevista com Colin Sparks

    Medrado, A., 2012, (In preparation) Revista Intercom.

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

  52. Published

    Experimental playground (case study)

    Perry Else, 2010, The Value of Play. London: Continuum, p. 65 1 p.

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

  53. Published

    Formal Methods

    Walter, C. D., 1991, Concise Encyclopedia of Software Engineering. Morris, D. & Tamm, B. (eds.). Pergamon Press, p. 135-138 4 p.

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

  54. Published

    Formal Specification and Verification of Software

    Walter, C. D. & Eldridge, S. E., 1991, Concise Encyclopedia of Software Engineering. Morris, D. & Tamm, B. (eds.). Pergamon Press, p. 331-338 8 p.

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

  55. Published

    Franco’s Crypt: Spanish Culture and Memory since 1936

    Graham, H., 21 Mar 2014, The Guardian (book review). London

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

  56. Published

    From BPEL to SRML: A formal transformational approach

    Bocchi, L., Hong, Y., Fiadeiro, J. L. & Lopes, A., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4937 LNCS. p. 92-107 16 p.

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

  57. Published

    From classical proof theory to P vs. NP: a guide to bounded theories

    Tzameret, I., 14 Jan 2020, 28th EACSL Annual Conference on Computer Science Logic (CSL) 2020, January 13-16, 2020, Barcelona, Spain. : LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2020. .

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

  58. Unpublished

    Globalization and the Swedish political economy

    Vernon, G. & Rees, C., Oct 2001, (Unpublished) Industrial Relations Research Unit (IRRU) Seminar. University of Warwick.

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

  59. Published

    Growing up in Europe's Wars of Social Change

    Graham, H., 11 Nov 2010, The Mexican Suitcase (exhibition catalogue). Gottingen & New York: Steidl/ICP

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

  60. Published

    Hope (L'espoir)

    Castro, E. & Neil, L., 2011, Origins Festival of First Nations Programme. London: Border Crossings, p. 59 1 p.

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

  61. Published

    How to Use LEGO: a preliminary user's manual

    Luo, Z., Pollack, R. & Taylor, P., 1989, LFCS Technical Notes. LFCS, Edinburgh Univ

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

  62. Published

    Igor Stravinsky

    MacGregor, E., 2017, 30-Second Classical Music. Cormac, J. (ed.). Brighton: Ivy Press, (30 Second).

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

  63. Published

    I'll Drown My Book: Conceptual Writing By Women. Ed. Caroline Bergvall, Laynie Browne, Teresa Carmody and Vanessa Place (Les Figues: Los Angeles, 2012).

    Olsen, R., 2012, I'll Drown My Book: Conceptual Writing By Women. Los Angeles: les Figues

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

  64. Published

    I'm Not This Girl

    Gardner, N-M., Jan 2006, Bedford Square. Serota, A. & Motion, A. (eds.). London: Hodder Headline

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

  65. Published

    Imagine... orientations towards a geoaesthetics, an aesthetics for the Anthropocene

    Hawkins, H., 2014, Tomas Saraceno, Magazine for Cloud Cities.

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

  66. Published

    India Decriminalises Homosexuality

    Mukherjee, U., 10 Sep 2018, Discover Society. Social Research Publications

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

  67. Published

    Influence diagrams and structured retrieval: garnata implementing the SID and CID models at INEX'06

    De Campos, L. M., Fernández-Luna, J. M., Huete, J. F. & Romero, A. E., 1 Jan 2007, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4518 LNCS. p. 165-177 13 p.

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

  68. Published

    Interfacing with Smart Card Applications (The PC/SC and OpenCard Framework)

    Markantonakis, K., 1999, Interfacing with Smart Card Applications (The PC/ SC and OpenCard Framework). 2 ed. Elsevier, Vol. 4. p. 69 77 p.

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

  69. Unpublished

    International M&As: HR’s contribution to success

    Edwards, T. & Rees, C., Nov 2003, (Unpublished) Chartered Institute of Personnel and Development (CIPD) International Forum. London

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

  70. In preparation

    James Shirley, ‘Introduction to the Irish Plays’ and ‘The Royal Master’, in eds. Eugene Giddens, Teresa Grant and Barbara Ravelhofer, The Complete Works of James Shirley, 10 vols, (Oxford University Press, forthcoming 2015--).

    Rankin, D., 2016, (In preparation) The Complete Works of James Shirley. Oxford: Oxford University Press

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

  71. Published

    Jean-Luc Godard dans la relève des Archives du Mal (Paris: L'Harmattan, 2017) by Saad Chakali (review)

    Williams, J., Jul 2018, French Studies . p. 481-482 Vol 72:3

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

  72. Published

    Lady Precious Stream [Research Performance]

    Thorpe, A., Dec 2011, Bulmeshe Theatre, University of Reading / Islington Chinese Association.

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

  73. Published

    Leakage from Montgomery Multiplication

    Walter, C. D., 2008, Cryptographic Engineering. Koç, Ç. (ed.). Springer, p. 431-449 19 p.

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

  74. Published

    Learning latent semantic relations from clickthrough data for query suggestion

    Ma, H., Yang, H., King, I. & Lyu, M. R., 1 Jan 2008, International Conference on Information and Knowledge Management, Proceedings. p. 709-718 10 p.

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

  75. Published

    LEGO Proof Development System: User's Manual

    Luo, Z. & Pollack, R., 1992, LFCS Report Series. LFCS, Edinburgh Univ

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

  76. Published

    LGBT Voices: Sharing Our Past, Shaping Our Future

    Summerskill, C. (ed.), Nov 2014, LGBT Voices. Stonewall Publications, 55 p.

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

  77. Published

    Link-based text classification using Bayesian networks

    De Campos, L. M., Fernández-Luna, J. M., Huete, J. F., Masegosa, A. R. & Romero, A. E., 1 Jan 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6203 LNCS. p. 397-406 10 p.

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

  78. Published

    Making and Marking

    Hawkins, H., 2012, Drawing Place and Permanence. Biggs, I. (ed.). University of West of England, p. 4-10

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

  79. Published

    Managing socio-technical interactions in healthcare systems

    El-Hassan, O., Fiadeiro, J. L. & Heckel, R., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 4928 LNCS. p. 347-358 12 p.

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

  80. Published

    Marcus Aurelius

    Sellars, J., 2015, Oxford Bibliographies in Philosophy. Pritchard, D. (ed.). Oxford University Press

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

  81. Published

    'Martin Citywit'

    Roberts, A., 2 Apr 2012, Pandemonium: Stories of the Smoke. . Shurin, J. & Perin, A. (eds.). Jurassic London

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

  82. Published

    Meerkat Mining and Processing plc: A teaching case study on budgeting, performance and control

    Gee, M., 2018, Management and Cost Accounting: Mind Tap®. Drury, C. (ed.). 10th ed. Cengage Learning

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

  83. Published

    Mining social networks using heat diffusion processes for marketing candidates selection

    Ma, H., Yang, H., Lyu, M. R. & King, I., 1 Jan 2008, International Conference on Information and Knowledge Management, Proceedings. p. 233-242 10 p.

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

  84. Published

    Modular Arithmetic

    Contini, S., Koç, Ç. K. & Walter, C. D., 2011, Encyclopedia of Cryptography and Security (2nd Ed.). Tilborg, H. C. A. V. & Jajodia, S. (eds.). Springer, p. 795-798 4 p.

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

  85. Published

    Modular Arithmetic

    Contini, S., Koç, Ç. K. & Walter, C. D., 2005, Encyclopedia of Cryptography and Security. Tilborg, H. C. A. V. (ed.). Springer

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

  86. Published

    Montgomery Arithmetic

    Koç, Ç. K. & Walter, C. D., 2005, Encyclopedia of Cryptography and Security. Tilborg, H. C. A. V. (ed.). Springer

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

  87. Published

    Mourning, Variation, Transcription, Completion: Programme essay on works by Liszt, Mozart, and Busoni (Igor Levit recital)

    Berry, M., Jul 2019, Salzburg Festival programmes. Salzburger Festspiele

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

  88. Published

    Mozart and Lorenzo Da Ponte

    Berry, M., Nov 2012, Royal Opera House programme to Don Giovanni. Royal Opera House Publications, p. 16-20 5 p.

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

  89. Published

    New utility models for the garnata information retrieval system at INEX'08

    De Campos, L. M., Fernández-Luna, J. M., Huete, J. F., Martín-Dancausa, C. & Romero, A. E., 1 Jan 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5631 LNCS. p. 39-45 7 p.

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

  90. Published

    Non-commutative Formulas and Frege Lower Bounds: a New Characterization of Propositional Proofs

    Li, F., Tzameret, I. & Wang, Z., 30 Dec 2014, ArXiV. p. 1 32 p.

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

  91. Published

    Numerical simulations of a flux qubit coupled to a high quality resonator

    Lindstroem, T., Webster, C. H., Healey, J. E., Colclough, M. S., Muirhead, C. M. & Tzalenchuk, A., 2008, 8th European Conference on Applied Superconductivity. Vol. 97. p. 012319 (Journal of Physics Conference Series).

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

  92. Published

    Obituary of Anne Wiazemsky

    Williams, J., 10 Oct 2017, The Guardian. 3 p.

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

  93. Published

    On the challenge of engineering socio-technical systems

    Fiadeiro, J. L., 1 Jan 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5380 LNCS. p. 80-91 12 p.

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

  94. Published

    On Wanting the Moon: Avant-Garde Women and Ambition

    Hemus, R., 2012, Women of the Avant-Garde 1920-1940: Sophie Taeuber-Arp, Claude Cahun, Sonia Delaunay, Germaine Dulac, Florence Henri, Hannah Höch, Katarzyna Kobro, Dora Maar. Juul Holm, M., Degel, K., Marcus, M. & Rank, J. (eds.). Denmark: Louisiana Museum of Modern Art, p. 18-29 12 p.

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

  95. Published

    Partitional Clustering of Malware Using K-Means

    Amorim, R. C. D. & Komisarczuk, P., 2014, Cyberpatterns, Unifying Design Patterns with Security and Attack Patterns. p. 223-233 11 p.

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

  96. Published

    'Patagonian Ice Sheet deglaciation and paleo-lake evolution in the Río Cisnes-Ñirehuao-Toqui basins, Chile (44–45° S)' in: Proceedings of the Innsbruck Summer School of Alpine Research 2019: Abstract

    Cooper, E., 30 Jul 2019, Close Range Sensing Techniques in Alpine Terrain: Proceedings of the Innsbruck Summer School of Alpine Research 2019. IGF Forschungsberichte / IGF Research Reports, p. 40 1 p.

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

  97. Published

    Plaque

    Cole, J., 15 Nov 2016, Emergency Index. New York: Ugly Duckling Presse, Vol. 5. p. 36-37 2 p.

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

  98. Published

    'Practising Participation: A Conversation with Lone Twin'

    Lavery, C. & Williams, D., 2011, Performance Research: 'On Participation'. 4 ed. England: Taylor & Francis / Performance Research, Vol. 16. p. 7-14 8 p.

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

  99. Published

    Predictive random graph ranking on the web

    King, I., Lyu, M. R. & Yang, H., 1 Jan 2006, IEEE International Conference on Neural Networks - Conference Proceedings. p. 1825-1832 8 p.

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

  100. Published

    Predictive ranking: A novel page ranking approach by estimating the web structure

    Yang, H., King, I. & Lyu, M. R., 1 Jan 2005, 14th International World Wide Web Conference, WWW2005. p. 944-945 2 p.

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

  101. Published

    Preispitivanje konvencionalnih pretpostavki o ulozi žene u društvu

    Akbas, A., Jan 2017, Akademija političkog osnaživanja žena. Sarajevo, Banja Luka: Transparency International, Bosnia and Herzegovina, p. 28-34

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