Find Research outputs

Search results

• Verifiable abstractions for contract-oriented systems

  Bartoletti, M., Murgia, M., Scalas, A. & Zunino, R., 1 Jan 2017, In: Journal of Logical and Algebraic Methods in Programming. 86, 1, p. 159-207 49 p.

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

• Verification and application of two-dimensional slice identification method in three-dimensional mesostructure under different aggregate gradations and packing algorithms

  Han, D., Zhu, J., Li, L. & Pang, H., 15 Jan 2016, In: Construction and Building Materials. 102, p. 843-851 9 p.

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

• Verification and validation of numerical models of the transport of insulation debris

  Cartland Glover, G. M., Kratzsch, A., Krepper, E., Renger, S., Seeliger, A., Zacharias, F., Alt, S., Kästner, W., Kryk, H. & Weiss, F. P., 25 Sep 2011, Proceedings of the 14th International Topical Meeting on Nuclear Reactor Thermalhydraulics (NURETH-14). ASME

  Research output: Chapter in Book/Published conference output › Conference publication

  Open Access

  File

• Verification and validation of numerical models of the transport of insulation debris

  Cartland Glover, G. M., Kratzsch, A., Krepper, E., Renger, S., Seeliger, A., Zacharias, F., Alt, S., Kästner, W., Kryk, H. & Weiss, F-P., Sep 2012, In: The Journal of Computational Multiphase Flows. 4, 3, p. 255-270 16 p.

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

  Open Access

• Verification of NADH content measurements by portable optical diagnostic system in living brain tissue

  Zherebtsov, E., Angelova, P., Sokolovski, S. G., Abramov, A., Rafailov, E. U., Popp, J. (ed.), Tuchin, V. V. & Pavone, F. S. (ed.), 17 May 2018, Proceedings of SPIE : Biophotonics: Photonic Solutions for Better Health Care VI. SPIE, Vol. 10685 . 5 p. 106854E. (Proceedings of SPIE; vol. 10685 ).

  Research output: Chapter in Book/Published conference output › Conference publication

  Open Access

  File

• Verification of the indoor GPS system, by comparison with calibrated coordinates and by angular reference

  Muelaner, J. E., Wang, Z., Martin, O., Jamshidi, J. & Maropoulos, P. G., Dec 2012, In: Journal of Intelligent Manufacturing. 23, 6, p. 2323-2331 9 p.

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

  Open Access

  File

• Verification of the indoor gps system by comparison with points calibrated using a network of laser tracker measurements

  Muelaner, J. E., Wang, Z., Jamshidi, J. & Maropoulos, P. G., 2010, Proceedings of the 6th CIRP-Sponsored International Conference on Digital Enterprise Technology. Huang, G. Q., Mak, K. L. & Maropoulos, P. G. (eds.). Berlin (DE): Springer, p. 607-619 13 p. (Advances in Intelligent and Soft Computing; vol. 66).

  Research output: Chapter in Book/Published conference output › Conference publication

• Verification of the standard model of the photorefractive nonlinearity in BSO crystals

  Webb, D. J., Kiessling, A., Sturman, B. I., Shamonina, E. & Ringhofer, K. H., 15 May 1994, In: Optics Communications. 108, 1/3, p. 31-36 6 p.

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

• Verifying concepts for complex product-service (CoPS) design

  Dehn, T., Chicksand, D. & Knight, L. A., 22 Apr 2018.

  Research output: Unpublished contribution to conference › Unpublished Conference Paper › peer-review

• Verifying concepts for complex Product-Service System (COPSS) design

  Dehn, T., Chicksand, D. & Knight, L., 25 Apr 2018, Towards Sustainable Technologies and Innovation - Proceedings of the 27th Annual Conference of the International Association for Management of Technology, IAMOT 2018. Nunes, B., Emrouznejad, A., Bennett, D. & Pretorius, L. (eds.). Aston University, (Towards Sustainable Technologies and Innovation - Proceedings of the 27th Annual Conference of the International Association for Management of Technology, IAMOT 2018).

  Research output: Chapter in Book/Published conference output › Conference publication

• Verifying message-passing programs with dependent behavioural types

  Scalas, A., Yoshida, N. & Benussi, E., 8 Jun 2019, PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. McKinley, K. S. & Fisher, K. (eds.). ACM, p. 502-516 15 p.

  Research output: Chapter in Book/Published conference output › Conference publication

  Open Access

  File

• Verifying semistructured data normalization using SWRL

  Li, Y. F., Sun, J., Dobbie, G., Lee, S. & Wang, H. H., 16 Nov 2009, 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009. IEEE, p. 193-200 8 p. 5198502

  Research output: Chapter in Book/Published conference output › Conference publication

• Vermicious thermo-responsive Pickering emulsifiers

  Thompson, K. L., Fielding, L. A., Mykhaylyk, O. O., Lane, J. A., Derry, M. J. & Armes, S. P., 7 May 2015, In: Chemical Science. 6, 7, p. 4207-4214

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

  Open Access

  File

• Versatile mode-locked quantum-dot laser diodes

  Cataluna, M. A. & Rafailov, E. U., 27 Apr 2010, In: Proceedings of SPIE - International Society for Optical Engineering. 7720, 77200W.

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

• Verschüttete Texte: Zum Eigensinn der Prosa von Inge Müller

  Translated title of the contribution: Buried texts: on the obstinacy of the Inge Müller's prose worksSchütte, U., Nov 2012, In: Wirkendes Wort. 62, 3, p. 435-446 11 p.

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

• Verständliche Risikoaufklärung und Schutz unkundiger Kleinanleger bei der Anlageberatung

  Translated title of the contribution: Comprehensible presentation of risk and the protection of unsophisticated retail investors when receiving financial adviceBrenncke, M., 12 Dec 2014, In: Zeitschrift für Bankrecht und Bankpraxis. 26, 6, p. 366 – 382

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

  Open Access

  File

• Verstehen, was zählt. Ein Forschungsbericht über quantitative Arbeitsformen im Linguistik- und Deutsch-als-Fremdsprache-Unterricht in Großbritannien

  Pollard, D. & Reershemius, G., 2016, In: Deutsch als Fremdsprache. 53, 1, p. 22-29 8 p.

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

• Verteporfin photodynamic therapy cohort study: report 1: effectiveness and factors influencing outcomes

  Harding, S. P., Tomlin, K., Reeves, B. C., Langham, J., Walker, J., Carpenter, J., Grieve, R., Patton, W. P., Muldrew, K. A., Peto, T. & Chakravarthy, U., Dec 2009, In: Ophthalmology- Journal of the American Academy of Ophthalmology. 116, 12, p. e1-8 8 p.

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

• Vertical and horizontal scope economies in the regulated US electricity power industry

  Arocena, P., Saal, D. S. & Coelli, T., Sep 2012, In: Journal of Industrial Economics. 60, 3, p. 434-467 34 p.

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

• Vertical dyad linkage model

  Martin, R., 15 Sep 2009, Encyclopedia of group processes and intergroup relations. Levine, J. M. & Hogg, M. (eds.). Thousand Oaks (US): SAGE, p. 947-949 3 p.

  Research output: Chapter in Book/Published conference output › Entry for encyclopedia/dictionary

• Vertical flotation of particles in a paramagnetic fluid

  Liu, S., Leaper, M. & Miles, N. J., Jul 2014, In: Powder Technology. 261, p. 71-77 7 p.

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

  Open Access

  File

• Vertical integration and innovation

  Liu, X., 1 Jul 2016, In: International Journal of Industrial Organization. 47, p. 88-120

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

• Vertical multiple-slot waveguide ring resonators in silicon nitride

  Vivien, L., Marris-Morini, D., Griol, A., Gylfason, K. B., Hill, D., Álvarez, J., Sohlström, H., Hurtado, J., Bouville, D. & Cassan, E., 27 Oct 2008, In: Optics Express. 16, 22, p. 17237-17242 6 p.

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

  Open Access

  File

• Vertraute Fremde? Jens Baggesens und H.C. Andersens Reisen durch Deutschland: Fremdheitswahrnehmung und ihre literarische Gestaltung in "Labyrinten" und "Skyggebilleder"

  Translated title of the contribution: Familiar Strangeness? Jens Baggesen and H.C. Andersen's travels through Germany: familiarity and alienation in "Labyrinten" and "Skyggebilleder"Gremler, C., 2000, In: Skandinavistik. 30, p. 21-43 23 p.

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

• Very broad reflection bandwidth (44 nm) chirped fibre gratings and narrow bandpass filters produced by the use of an amplitude mask

  Farries, M. C., Sugden, K., Reid, D. C. J., Bennion, I., Molony, A. & Goodwin, M. J., 1994, In: Electronics letters. 30, 11, p. 891-892 2 p.

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

• Vesicle miR-195 derived from endothelial cells inhibits expression of serotonin transporter in vessel smooth muscle cells

  Gu, J., Zhang, H., Ji, B., Jiang, H., Zhao, T., Jiang, R., Zhang, Z., Tan, S., Ahmed, A. & Gu, Y., 8 Mar 2017, In: Scientific Reports. 7, 10 p., 43546.

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

  Open Access

  File

• Veterinary student competence in equine lameness recognition and assessment: a mixed methods study

  Starke, S. & May, S., 11 Aug 2017, In: Veterinary Record. 181, 168.

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

• Vetting and barring scheme

  Daniels, K., 2012, CIPD.

  Research output: Other contribution

• VGI quality control

  Fonte, C. C., Bastin, L., Foody, G., Kellenberger, T., Kerle, N., Mooney, P., Olteanu-Raimond, A-M. & See, L., 20 Aug 2015, p. 317-324. 8 p.

  Research output: Unpublished contribution to conference › Unpublished Conference Paper › peer-review

  Open Access

  File

• VIBRATING MICROPLATE BIOSENSING FOR CHARACTERISING PROPERTIES OF BEHAVIOUR BIOLOGICAL CELLS

  Ma, X. & Griffiths, H., 15 Mar 2011, IPC No. G01N29/02, G01N29/036, G01N33/487, G01N33/543, Patent No. GB 1104462.5

  Research output: Patent

  Open Access

• Vibrational energy harvesting of multifunctional composite blade for offshore wind turbine

  Wen, T., Shi, Y., Tao, J., Pan, L. & Jia, Y., Aug 2019, ICCM22 Proceedings of the 2019 International Conference on Composite Materials. Mouritz, A., Wang, C. & Fox, B. (eds.). 6 p. 443

  Research output: Chapter in Book/Published conference output › Conference publication

  Open Access

• Vibration analysis of submerged rectangular microplates with distributed mass loading

  Wu, Z., Ma, X., Brett, P. N. & Xu, J., 8 Apr 2009, In: Proceeding of the Royal Society: Series B. 465, 2104, p. 1323-1336 14 p.

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

• Vibration as a possible explanation for putative electromagnetic field effects: a case study on marine diatoms

  Davies, M. S. & Norris, W. T., Oct 2004, In: International Journal of Radiation Biology. 80, 10, p. 709-718 10 p.

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

• Vibration energy harvesting of multifunctional carbon fibre composite laminate structures

  Al-Saadi, A., Shi, Y., Pan, L., Tao, J. & Jia, Y., 7 Jul 2019, In: Composites Science and Technology. 178, p. 1-10 10 p.

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

  Open Access

  File

• Vicious circle

  Leask, G., Jun 2004, In: Pharmaceutical Marketing. June

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

• Victims of cyberstalking: piloting a web-based survey method and examining tentative findings

  Bocij, P. & Sutton, M., 2004, In: Journal of Society and Information. 1, 2

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

• Victims of cyberstalking: an exploratory study of harassment perpetrated via the Internet

  Bocij, P., Oct 2002, In: First Monday. 8, 10

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

  Open Access

  File

• Victorian Bodily Fluids Forum: An Introduction

  Boucher, A. & Jenkin-Smith, D., 24 Dec 2019, In: Victorian Review. 45, 1, p. 1-3

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

  Open Access

  File

• Video-based, real-time multi-view stereo

  Vogiatzis, G. & Hernández, C., Jun 2011, In: Image and Vision Computing. 29, 7, p. 434-441 8 p.

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

  Open Access

  File

• Video clips/vodcasts in teaching

  Tissington, P., Feb 2012, Good practice guide in learning and teaching. Green, J. & Higson, H. (eds.). Aston University, p. 27-28 2 p. (Good practice guide in learning and teaching; vol. 9).

  Research output: Chapter in Book/Published conference output › Chapter (peer-reviewed) › peer-review

  Open Access

  File

• Video-electroencephalography investigation of ictal alterations of consciousness in epilepsy and nonepileptic attack disorder: practical considerations

  Eddy, C. M. & Cavanna, A. E., Jan 2014, In: Epilepsy and Behavior. 30, p. 24-27 4 p.

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

• Video Game Modification in South Africa

  Koornhof, P. & Wrensch, J., 30 Nov 2017, In: SA Intellectual Property Law Journal. 5, p. 75-88 14 p.

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

• Video games and higher education: what can "Call of duty" teach our students?

  Tannahill, N., Tissington, P. & Senior, C., 25 Jun 2012, In: Frontiers in Psychology. 3, June, 3 p., 210.

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

  Open Access

  File

• Video games and seizures: A review

  Harding, G. F. A. & Harding, A. G., 1 Jul 2014, Video Games: Parents' Perceptions, Role of Social Media and Effects on Behavior. Nova science, p. 121-140 20 p.

  Research output: Chapter in Book/Published conference output › Chapter

• Video normals from colored lights

  Brostow, G., Hernández, C., Vogiatzis, G., Stenger, B. & Cipolla, R., Oct 2011, In: IEEE Transactions on Pattern Analysis and Machine Intelligence. 33, 10, p. 2104-2114 11 p.

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

  Open Access

  File

• Views and attitudes of Burgas's residents (Bulgaria) for paper recycling

  Arabatzis, G., Treneva, V., Malesios, C. & Ioannou, K., 26 Aug 2014, In: International Journal of Green Economics. 8, 1

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

• Vigilant Dynamic Honeypot Assisted by Dynamic Fuzzy Rule Interpolation

  Naik, N., Shang, C., Shen, Q. & Jenkins, P., 28 Jan 2019, Proceedings of the 2018 IEEE Symposium Series on Computational Intelligence, SSCI 2018. Sundaram, S. (ed.). IEEE, p. 1731-1738 8 p. 8628775. (Proceedings of the 2018 IEEE Symposium Series on Computational Intelligence, SSCI 2018).

  Research output: Chapter in Book/Published conference output › Conference publication

• Village appraisals. A tool for sustainable community development in rural areas in the UK?

  Osborne, S. P. & Tricker, M. J., Feb 2000, In: Local Economy. 14, 4, p. 346-356 11 p.

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

• Violence against lesbians and gay men: decision-making in reporting and not reporting crime

  Peel, E. A., May 1999, In: Feminism and Psychology. 9, 2, p. 161-167 7 p.

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

• Violence against women in Ethiopia

  Kedir, A. & Admasachew, L., 2010, In: Gender, Place and Culture. 17, 4, p. 437-452 16 p.

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