Find Research outputs

Search results

• Virtual Catwalk Application

  Hugill, L., Reay, D., McStea, T. & Allan, S., 2018

  Research output: Non-textual form › Software

• Virtual augmented exercise gaming for older adults

  Van Schaik, P., Blake, J., Pernet, F., Spears, I. & Fencott, C., 1 Feb 2008, In: Cyberpsychology and Behavior. 11, 1, p. 103-106 4 p.

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

• Virtual art galleries: A new kind of cultural objects?

  Cavazza, M. & Mead, S., 1 Jan 2001, p. 590-593. 4 p.

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

• Virtual Agents in Brain-Computer Interfaces

  Cavazza, M., Charles, F., Gilroy, S. W., Porteous, J., Aranyi, G., Cordry, J., Raz, G., Keynan, N. J., Cohen, A., Jackont, G., Jacob, Y., Soreq, E., Klovatch, I. & Hendler, T., 25 Nov 2015, In: The International Journal of Virtual Reality. 15, 1, p. 48-60 13 p.

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

  Open Access

• Virion 2012

  Lent, M., 2012

  Research output: Non-textual form › Exhibition

• Virion 2012

  Pappas-Kelley, J., 2012.

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

• Virion 2010

  Lent, M., 2010

  Research output: Other contribution

• Virion 2010

  Pappas-Kelley, J., 2010.

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

• VIRCON: Visualisation technologies applied to construction planning: Application on real life case study

  Dawood, N. N., Sriprasert, E. & Mallasi, Z., 2008, In: Journal of Advanced Manufacturing Systems. 9, 2

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

• 'Violent Operations': Revisiting the transgendered body in Angela Carter's The Passion of New Eve

  Carroll, R., 1 Jun 2011, In: Women. 22, 2-3, p. 241-255 15 p.

  Research output: Contribution to journal › Conference article › peer-review

  Open Access

  File
  3 Citations (Scopus)

  685 Downloads (Pure)

• Violence in the night-time economy; bouncers: The reporting, recording and prosecution of assaults

  Lister, S., Hobbs, D., Hall, S. & Winlow, S., 2000, In: Policing and Society. 10, 4, p. 383-402

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

• Violence and the nocturnal economy

  Hall, S., 2000, In: Criminal Justice Matters. 42, 1, p. 10-11

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

• Violence and Restraint within Antifa: A View from the United States

  Copsey, N. & Merrill, S., 21 Dec 2020, In: Perspectives on Terrorism. 14, 6, p. 122-138

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

  Open Access

• Violence, teenage pregnancy and life history ecological factors and their impact on strategy driven behaviour.

  Copping, L., Campbell, A. C. & Muncer, S., 2013, In: Human Nature. 24, p. 137-157 20 p.

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

• Violence, emotion and place: The case of five murders involving sex workers

  Wattis, L., 19 Jul 2019, In: Crime, Media, Culture. 16, 2, p. 201-219 19 p., 858371.

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

  Open Access

  File
  450 Downloads (Pure)

• Video tracking of Tuohy needle for an enhanced epidural simulator user interface

  Vaughan, N., Dubey, V. N., Wee, M. Y. K. & Isaacs, R., 2013, Proceedings of the ASME Design Engineering Technical Conference. American Society of Mechanical Engineers(ASME), Vol. 2 B. V02BT02A039

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

• Video tampering localisation using features learned from authentic content

  Johnston, P., Elyan, E. & Jayne, C., 30 May 2020, In: Neural Computing and Applications. 32, 16, p. 12243-12257 15 p.

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

  Open Access
  1 Citation (Scopus)

• Video Stream Forensics

  Horsman, G., 1 Jul 2019, INTERPOL.

  Research output: Other contribution

• Video Games

  Sezen, T. & Sezen, D., 22 Oct 2020, The Routledge Encyclopedia of Citizen Media. Baker, M., Blaagaard, B. B., Jones, H. A. & Pérez-González, L. (eds.). Routledge

  Research output: Chapter in Book/Report/Conference proceeding › Entry for encyclopedia/dictionary

• Victims’ Voices: Understanding the Emotional Impact of Cyberstalking and Individuals’ Coping Responses

  Worsley, J. D., Wheatcroft, J., Short, E. & Corcoran, R., 1 Apr 2017, In: SAGE Open. 7, 2, 13 p.

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

  Open Access

  File
  27 Downloads (Pure)

• Victims’ experiences of crime, police behaviour and complaint avenues for reporting police misconduct in Nigeria: an interpretative phenomenological analysis

  Ike, T. & Jidong, D., 7 Dec 2022, In: Journal of Policing, Intelligence and Counter Terrorism. p. 1 18 p.

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

  Open Access

  File
  1 Downloads (Pure)

• Victim Support’s Adult Survivors of Child Sexual Abuse Project: An evaluation of a co-created service delivery model

  Allnock, D. & Wager, N., 9 Mar 2016, International Centre: Researching Child Sexual Exploitation, Violence and Trafficking. 26 p.

  Research output: Book/Report › Commissioned report

  Open Access

  File
  6 Downloads (Pure)

• Victim Perspectives on Post-Sentencing Restorative Justice in Cases of Serious Crimes

  Wager, N. & Wager, A. R., 9 Jan 2015, Restorative Justice at Post-Sentencing Level in Europe. Lummer, R., Hagemann, O. & Reis, S. (eds.). Schriftenreihe Soziale Strafrechtspflege: Kiel University, p. 35-45

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

  Open Access

  File
  62 Downloads (Pure)

• Victim evaluations of face-to-face restorative justice conferences: A quasi-experimental analysis

  Strang, H., Sherman, L., Angel, C. M., Woods, D. J., Bennett, S., Newbury-Birch, D. & Inkpen, N., 1 Jun 2006, In: Journal of Social Issues. 62, 2, p. 281-306 26 p.

  Research output: Contribution to journal › Review article › peer-review
  80 Citations (Scopus)

• Vice Chancellor's Perception about Academic Research Commercialization in Pakistan

  Noor, S., Akhtar, C. S. & Ismail, K., 26 Oct 2016, Proceedings of National Conference on Public Administration and Management. p. 171-177 7 p.

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

• Vicarious Living: The art of Miranda July

  Pappas-Kelley, J., 2009, In: Pitkin Review.

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

• Vicarious Living: the art and writing of Miranda July revisited

  Pappas-Kelley, J., 20 Sept 2016

  Research output: Non-textual form › Web publication/site

• Vibration based Condition Assessment of Deteriorated Reinforced Concrete

  Kirlangic, A., 27 Aug 2019, Conference of Smart Monitoring, Assessment and Rehabilitation of Civil Structures (SMAR).

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

• Viability of heat recovery from combined sewers

  Abdel-Aal, M., Mohamed, M., De Gussem, K., Schellart, A. & Tait, S., 2013.

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

• VGDRA: A Virtual Grid-Based Dynamic Routes Adjustment Scheme for Mobile Sink-Based Wireless Sensor Networks

  Khan, A. W., Abdullah, A. H., Razzaque, M. A. & Bangash, J. I., 12 Aug 2014, In: IEEE Sensors Journal. 15, 1, p. 526-534 9 p.

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

  Open Access

  File
  279 Downloads (Pure)

• VGDD: A virtual grid based data dissemination scheme for wireless sensor networks with mobile sink

  Khan, A. W., Abdullah, A. H., Razzaque, M. A., Bangash, J. I. & Altameem, A., 1 Jan 2015, In: International Journal of Distributed Sensor Networks. 2015, 890348.

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

  Open Access
  11 Citations (Scopus)

• Vestiges: Archived Lyviv 2019

  Burton, R., 16 Jan 2021

  Research output: Non-textual form › Artefact

  Open Access

• Very-Low-Calorie Diet and 6 Months of Weight Stability in Type 2 Diabetes: Pathophysiological Changes in Responders and Nonresponders

  Steven, S., Hollingsworth, K., AlMrabeh, A., Avery, L., Aribisala, B., Caslake, M. & Taylor, R., 21 Mar 2016, In: Diabetes Care. 39, 5, p. 808-815 8 p.

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

  Open Access

• Very Deeply Dyed in Black’: Oswald Mosley and the resurrection of British fascism after 1945

  Macklin, G., 30 Jul 2016

  Research output: Book/Report › Book

• Verticality and the lack of vertical movement in the urban vision of Blade Runner and its sequels

  Sezen, T. I., 6 Jun 2022.

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

• Vers un Modèle Praticien de la Musique Mobile

  Translated title of the contribution: Towards a Practitioner Model of Mobile MusicJones, S., 15 Feb 2023, Publications MusiqueS & Interdisciplinarity. 15/02/2023: COLLEGIUM MUSICÆ OF THE SORBONNE UNIVERSITY ALLIANCE, p. 345-352

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

  Open Access

• Verse

  Burton, R., 8 Jul 2016

  Research output: Non-textual form › Exhibition

• Versatile photocatalytic systems for H₂ generation in water based on an efficient DuBois-type nickel catalyst

  Gross, M. A., Reynal, A., Durrant, J. R. & Reisner, E., 8 Jan 2014, In: Journal of the American Chemical Society. 136, 1, p. 356-366 11 p.

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

• Versatile classroom management solution for teachers in developing countries

  Iqbal, M. Z., 21 Sept 2017, Human-Computer Interaction - INTERACT 2017 - 16th IFIP TC 13 International Conference, Proceedings. Bernhaupt, R., Winckler, M., O'Neill, J., Dalvi, G., Joshi, A. & Balkrishan, D. K. (eds.). Springer Verlag, p. 478-481 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10516 LNCS).

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

• Vernon Lee, Influenced and Influencer: Lee’s Aesthetic Philosophy, 1880–1914

  Blackburn-Daniels, S., 18 Jul 2023, The Oxford Handbook of American and British Philosophers in the Nineteenth Century. Stone, A. & Moland, L. (eds.). Oxford University Press

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

• Verifying Simulink diagrams via a Hybrid Hoare Logic Prover

  Zou, L., Zhany, N., Wang, S., Fränzle, M. & Qin, S., 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT). IEEE

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

• Verifying SeVeCom using set-based abstraction

  Mödersheim, S. & Modesti, P., 12 Aug 2011, IEEE International Wireless Communications and Mobile Computing Conference, IWCMC 2011, Istanbul, Turkey, 4-8 July, 2011. IEEE, p. 1164-1169 6 p.

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

  File
  118 Downloads (Pure)

• Verifying safety policies with size properties and alias controls

  Chin, W-N., Khoo, S-C., Qin, S., Popeea, C. & Nguyen, H. H., 2005, Proceedings - 27th international conference on software engineering. New York: ACM, p. 186-195

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

  Open Access

  File
  179 Downloads (Pure)

• Verifying pointer safety for programs with unknown calls

  Luo, C., Craciun, F., Qin, S., He, G. & Chin, W-N., Nov 2010, In: Journal of Symbolic Computation. 45, 11, p. 1163-1183

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

• Verifying Opacity Properties in Security Systems

  Mu, C. & Clark, D., 1 Mar 2022, In: IEEE Transactions on Dependable and Secure Computing. p. 1-11 11 p.

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

  Open Access

  File
  68 Downloads (Pure)

• Verifying Heap-Manipulating Programs with Unknown Procedure Calls

  Qin, S., Luo, C., He, G., Craciun, F. & Chin, W., 17 Nov 2010, Formal Methods and Software Engineering. Springer Verlag, p. 171-187 Chapter 13. (Formal Methods and Software Engineering; vol. 6447).

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

  File
  121 Downloads (Pure)

• Verifying BPEL-Like Programs with Hoare Logic

  Luo, C., Qin, S. & Qiu, Z., 2008, Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, June 17-19, 2008, Nanjing, China. IEEE

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

• Verified Security Protocol Modeling and Implementation with AnBx

  Modesti, P., 2012, Università Ca' Foscari, Venezia. 138 p.

  Research output: Thesis › Doctoral Thesis

  Open Access

• Verification of the Integrative Model of Adjustment to Chronic Conditions by Mapping it Onto the World Health Organization’s International Classification of Function, Disability and Health

  Hammond, L. D., Farrington, A. P. & Sivan, M., 18 Oct 2022, In: Rehabilitation Process and Outcome. 11, 8 p.

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

  Open Access

  File
  3 Downloads (Pure)

• Verification and validation testing of a real-time fault-detection system for mission-critical rotating equipment

  Short, M., Twiddle, J. & Schwartz, M., 2011, Proceedings: Advances in industrial asset integrity management.

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