Find Research outputs

Search results

• 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
  229 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

• 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)

• 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
  105 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
  154 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
  33 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
  105 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 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

• Ventilatory requirements of quadriceps resistance training in people with COPD and healthy controls.

  Houchen-Wolloff, L., Sandland, C. J., Harrison, S., Menon, M. K., Morgan, M. D. L., Steiner, M. C. & Singh, S. J., 2014, In: International journal of chronic obstructive pulmonary disease. 9, 1, p. 589-595

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

  Open Access

  File
  92 Downloads (Pure)

• Venous Thromboembolism: Classification, Risk Factors, Diagnosis, and Management

  Moheimani, F. & Jackson, D., 2011, In: ISRN Hematology. p. 1-7 7 p.

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

• Velocity measurement of pneumatically conveyed solids based on signal frequency spectrum

  Zhang, J., Cheng, R. & Al-Sulaiti, A., 2009.

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

• Vela

  Beagrie, D., 2014

  Research output: Book/Report › Literature

• Vascular access management 1: An overview

  McCann, M., Einarsdóttir, H., van Waeleghem, J-P., Murphy, F. & Sedgewick, J., 2008, In: Journal of Renal Care. 34, 2, p. 77-84

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

• Varieties of Enlightenment: the Enlightenment and Irish political culture in the age of revolutions

  Gillen, U., 2008, Peripheries of the Enlightenment. Butterwick, R., Davies, S. & Sanchez Espinoza, G. (eds.). Voltaire Foundation

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

• Varieties of Anti-Fascism: Britain in the Inter-War Period

  Copsey, N. & Olechnowicz, A., 2010, Palgrave.

  Research output: Book/Report › Book

• Variations on Barbalat's lemma

  Farkas, B. & Wegner, S. A., 1 Oct 2016, In: American Mathematical Monthly. 123, 8, p. 825-830 6 p.

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

• Variant Region Types

  Craciun, F., Chin, W. & Qin, S., 27 Dec 2018, p. 126-135.

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

  Open Access

• Variable weight spectral amplitude coding for multiservice OCDMA networks

  Seyedzadeh, S., Rahimian, F., Glesk, I. & Kakaee, M. H., 30 Sep 2017, In: Optical Fiber Technology : Materials, Devices and Systems. 37, p. 53-60

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

  Open Access

  File
  81 Downloads (Pure)

• Variable versus constant power strategies during cycling time-trials: Prediction of time savings using an up-to-date mathematical model

  Atkinson, G., Peacock, O. & Passfield, L., 1 Jul 2007, In: Journal of Sports Sciences. 25, 9, p. 1001-1009 9 p.

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

• Variable Geometries of Connection: Urban Digital Divides and the Uses of Information Technology

  Crang, M., Crosbie, T. & Graham, S., 1 Dec 2006, In: Urban Studies. 43, 13, p. 2551-2570

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

• Variability of soccer referees' match performances

  Weston, M., Drust, B., Atkinson, G. & Gregson, W., 1 Jan 2011, In: International Journal of Sports Medicine. 32, 3, p. 190-194 5 p.

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

  Open Access

  File
  30 Citations (Scopus)

  286 Downloads (Pure)

• Variability of physical performance and player match loads in professional rugby union

  McLaren, S., Weston, M., Smith, A., Cramb, R. & Portas, M., 5 Jun 2015, In: Journal of Science and Medicine in Sport. 19, 6, p. 493-497

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

  Open Access

  File
  502 Downloads (Pure)

• Variability in the study quality appraisals reported in systematic reviews on the acute:chronic workload ratio and injury risk

  MacMillan, G., Batterham, A., Chesterton, P., Lolli, L., Gregson, W., Weston, M. & Atkinson, G., 1 Nov 2020, In: Sports Medicine. 50, 11, p. 2065-2067 3 p.

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

  Open Access

  File
  1 Citation (Scopus)

  81 Downloads (Pure)

• Vapor permeation–distillation hybrid processes for cost-effective isopropanol dehydration: modeling, simulation and optimization

  Harvianto, G. R., Ahmad, F., Nhien, L. C. & Lee, M., 16 Sep 2015, In: Journal of Membrane Science. 497, p. 108-119

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

• Valuing wetland conservation: a contingent valuation analysis among Iranian beneficiaries

  Ghanian, M., Ghoochani, O., Noroozi, H. & Cotton, M., 23 Jan 2022, In: Journal for Nature Conservation. 66, 126140.

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

• Values based recruitment in occupational therapy interviews

  McKenna, C., 2016.

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

• Value of anthropometric features in predicting the hamstring autograft thickness obtained at anterior cruciate ligament reconstruction surgery

  Thomas, S. P., R., B., Bettany-Saltikov, J. A. & Kramer, D., 2012, In: Journal of Bone and Joint Surgery, British Volume. 94-B, SUPP XXXVII, p. 348

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

• Value addition in the services sector and its heterogeneous impacts on CO₂ emissions: revisiting the EKC hypothesis for the OPEC using panel spatial estimation techniques

  Murshed, M., Nurmakhanova, M., Elheddad, M. & Ahmed, R., 1 Nov 2020, In: Environmental Science and Pollution Research. 27, 31, p. 38951-38973 23 p.

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

• Valorisation of Bakery Waste to Produce Bio-emulsifier

  Ambavaram, S., Azhari, S., Hodgson, L., Avery, R. & Rahman, P., 7 Jun 2017.

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

  Open Access

  File
  43 Downloads (Pure)

• Validity of the Postoperative Morbidity Survey after abdominal aortic aneurysm repair—a prospective observational study

  Goodman, B. A., Batterham, A., Kothmann, E., Cawthorn, L., Yates, D., Melsom, H., Kerr, K. & Danjoux, G. R., 12 Oct 2015, In: Perioperative Medicine. 4, 1, p. -

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

  Open Access

  File
  97 Downloads (Pure)

• Validity of the allometric cascade model at submaximal and maximal metabolic rates in exercising men

  Batterham, A. & Jackson, A., 1 Apr 2003, In: Respiratory Physiology and Neurobiology. 135, 1, p. 103-106

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

• Validity of the 6 min walk test in prediction of the anaerobic threshold before major non-cardiac surgery

  Sinclair, R. C. F., Batterham, A., Davies, S., Cawthorn, L. & Danjoux, G., 1 Jan 2012, In: British Journal of Anaesthesia. 108, 1, p. 30-35

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

• Validity of the 6 min walk test as a surrogate for the anaerobic threshold in the preoperative assessment clinic

  Sinclair, R., Goodridge, V., Batterham, A. & Danjoux, G., 2009.

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

• Validation of Warwick-Edinburgh Mental Well-being Scale (WEMWBS) in a population of people using Secondary Care Mental Health Services

  Bass, M., Dawkin, M., Muncer, S., Vigurs, S. & Bostock, J., 28 Jan 2016, In: Journal of Mental Health. 25, 4, p. 323 7 p.

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

  Open Access

• Validation of the rabbit pain behaviour scale (RPBS) to assess acute postoperative pain in rabbits (Oryctolagus cuniculus)

  Pinho, R., Luna, S., Trindade, P., Justo, A., Cima, D., Fonseca, M., Minto, B., Rocha, F., Miller, A., Flecknell, P. & Leach, M., 26 May 2022, In: PLoS ONE. 17, 5, e0268973.

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

  Open Access

  File
  6 Downloads (Pure)

• Validation of the OSCAR 2 oscillometric 24-hour ambulatory blood pressure monitor according to the International Protocol for the validation of blood pressure measuring devices

  Jones, S. C., Bilous, M., Winship, S., Finn, P. & Goodwin, J., 1 Aug 2004, In: Blood Pressure Monitoring. 9, 4, p. 219-223 5 p.

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

• Validation of the Oscar 2 oscillometric 24-h ambulatory blood pressure monitor according to the British Hypertension Society protocol

  Goodwin, J., Bilous, M., Winship, S., Finn, P. & Jones, S. C., 1 Apr 2007, In: Blood Pressure Monitoring. 12, 2, p. 113-117 5 p.

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

• Validation of the integrative model of adjustment to chronic conditions: applicability to adult-onset epilepsy

  Hammond, L., Farrington, A. & Kilinc, S., 7 Nov 2019, In: Health Psychology Open. 10 p.

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

  Open Access

  File
  136 Downloads (Pure)

• Validation of mouse welfare indicators: A Delphi consultation survey

  Campos-Luna, I., Miller, A., Beard, A. & Leach, M., 15 Jul 2019, In: Scientific Reports. 9, 10249 .

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

  Open Access

• Validation of a novel mechanical testing rig for investigating forces in the glenohumeral joint

  Hughes, D. J., Hodgson, S. & Nabhani, F., 1 Mar 2012, In: Current Orthopaedic Practice. 23, 2, p. 140-145 6 p.

  Research output: Contribution to journal › Article › peer-review
  1 Citation (Scopus)

• Validation of a novel 3D imaging and surface topography mobile App to assess spinal posture and mobility

  Kandasamy, G., Bettany-Saltikov, J., Van Schaik, P. & Dixon, J., 11 Jun 2018, p. 25-26. 2 p.

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

  Open Access

  File
  214 Downloads (Pure)