Find Research outputs

Search results

• Vehicle traffic as a source for near-surface passive seismic imaging

  Kuzma, H. A., Fernández‐Martínez, J. L., Zhao, Y., Dunson, C., Zhai, MY., Mangriotis, M-D. & Rector, J. W., 2009.

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

• Vehicle Utilisation and Energy Efficiency in hte4 food Supply Chain: Full Report of the Key Performance Indicator Survey

  McKinnon, A. C., 1999, Logistics Research Centre, Heriot-Watt University.

  Research output: Book/Report › Commissioned report

• Vehicle Utilisation and Energy Efficiency in the Food Supply Chain

  McKinnon, A. C. & Campbell, J., 1999.

  Research output: Contribution to conference › Paper

• Vehicular communication: protocol design, testbed implementation and performance analysis

  Iqbal, S., Chowdhury, S. R., Hyder, C. S., Vasilakos, A. V. & Wang, C. X., 2009, Proceedings of the 2009 ACM International Wireless Communications and Mobile Computing Conference, IWCMC 2009. p. 410-415 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  8 Citations (Scopus)

• Velocimeter based on the fibre optic Sagnac interferometer

  Harvey, D., McBride, R., Barton, J. S. & Jones, J. D. C., Nov 1992, In: Measurement Science and Technology. 3, 11, p. 1077-1083 7 p.

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

• Velocity and attenuation measurements during two-phase core flooding

  Jones, C., Somerville, J. M. & Hamilton, S. A., Apr 2001, p. 3 pp. 3 p.

  Research output: Contribution to conference › Paper

• Velocity and heat transfer measurements in a kettle reboiler

  Burnside, B. M., Martin, A. J., McNeil, D. A., Miller, K. M. & Wilkinson, D., 1999, p. 1719-1726. 8 p.

  Research output: Contribution to conference › Paper

• VELOCITY AND VORTICITY MEASUREMENTS USING SPECKLE INTERFEROMETRY.

  Grant, I., Smith, G. H. & Greated, C. A., 1985, Institute of Physics Conference Series. 77 ed. p. 153-157 5 p.

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

• Velocity-averaging effects in beam-gas dynamics experiments

  Kettleborough, J. A. & McKendrick, K. G., 1 Oct 1991, In: Journal of Physical Chemistry. 95, 21, p. 8255-8263 9 p.

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

• Velocity-averaging effects on polarisation measurements in hot atom reactions

  Gilbert, E. P., Maitland, G., Watson, A. & McKendrick, K. G., 1993, In: Journal of the Chemical Society, Faraday Transactions. 89, 10, p. 1527-1531 5 p.

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

• Velocity dispersion: A tool for characterizing reservoir rocks

  Brown, R. L. & Seifert, D., Mar 1997, In: Geophysics. 62, 2, p. 477-486 10 p.

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

  15 Citations (Scopus)

• Velocity map imaging of the dynamics of bimolecular chemical reactions

  Greaves, S. J., Rose, R. A. & Orr-Ewing, A. J., 2010, In: Physical Chemistry Chemical Physics. 12, 32, p. 9129-9143 15 p.

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

• Velocity map imaging of the dynamics of the CH3 + HCl -> CH4 + Cl reaction using a dual molecular beam method

  Rose, R. A., Greaves, S. J. & Orr-Ewing, A. J., 2010, In: Molecular Physics. 108, 7-9, p. 981-992 12 p.

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

• Velocity map imaging the dynamics of the reactions of Cl atoms with neopentane and tetramethylsilane

  Rose, R. A., Greaves, S. J. & Orr-Ewing, A. J., 28 Jun 2010, In: Journal of Chemical Physics. 132, 24, 13 p., 244312.

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

• Velocity profiles above and within the wave bottom boundary layer over a sloping bottom

  Zou, Q. & Hay, A. E., 2000, Coastal Engineering 2000 - Proceedings of the 27th International Conference on Coastal Engineering, ICCE 2000. Vol. 276. p. 94-107 14 p.

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

  3 Citations (Scopus)

• Venn-like models of neo-cortex patches

  De Lima Neto, F. B. & De Wilde, P., 2006, International Joint Conference on Neural Networks, 2006. IEEE, p. 89-96 8 p. (IEEE International Joint Conference on Neural Networks).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  4 Citations (Scopus)

• Venous drainage pattern of kidney: A corrosion cast study

  Sarkar, A. K., Dhar, P. & Ajmani, M. L., 2004, In: International Medical Journal. 11/1, p. 49-54 6 p.

  Research output: Contribution to journal › Article

• VERCE delivers a productive e-science environment for seismology research

  Atkinson, M., Carpene, M., Casarotti, E., Claus, S., Filgueira, R., Frank, A., Galea, M., Garth, T., Gemund, A., Igel, H., Klampanos, I., Krause, A., Krischer, L., Leong, S. H., Magnoni, F., Matser, J., Michelini, A., Rietbrock, A., Schwichtenberg, H., Spinuso, A. & 1 others, Vilotte, J. P., 26 Oct 2015, 2015 IEEE 11th International Conference on e-Science. IEEE, p. 224-236 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  10 Citations (Scopus)

• Verdict on the British enterprise zone experiment

  Jones, C., May 2006, In: International Planning Studies. 11, 2, p. 109-123 15 p.

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

• Vergleich von ökonomischen und biometrischen Risiken in der Personenversicherung

  Christiansen, M., 2007, In: Zeitschrift für die gesamte Versicherungswissenschaft. 96, 1, p. 197-205

  Research output: Contribution to journal › Special issue

• Verifiable self-certifying autonomous systems

  Fisher, M., Collins, E. C., Dennis, L. A., Luckcuck, M., Webster, M., Jump, M., Page, V., Patchett, C., Dinmohammadi, F., Flynn, D., Robu, V. & Zhao, X., 19 Nov 2018, 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE, p. 341-348 8 p.

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

  Open Access

  File
  11 Citations (Scopus)

  52 Downloads (Pure)

• Verification and Induction Method for Low Frequency Response Failure Modes in Acoustic MEMS

  Hantos, G. & Desmulliez, M. P. Y., 4 Jun 2020, 2020 IEEE 33rd International Conference on Microelectronic Test Structures (ICMTS). IEEE, 9107925. (IEEE International Conference on Microelectronic Test Structures).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  2 Citations (Scopus)

• Verification of first circulation conditions of turnstile waveguide circulators using a finite-element solver

  Helszajn, J. & Sharp, J., Jul 2005, In: IEEE Transactions on Microwave Theory and Techniques. 53, 7, p. 2309-2315 7 p.

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

• Verification of Linear Optical Quantum Computing using Quantum Process Calculus

  Franke-Arnold, S., Gay, S. J. & Puthoor, I., 2014, Proceedings of Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics. Borgström, J. & Crafa, S. (eds.). Vol. 160. p. 111-129 (Electronic Proceedings in Theoretical Computer Science; vol. 160).

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

  Open Access
  2 Citations (Scopus)

• Verification of McCabe's delta l law for growth of lysozyme crystals by hanging drop method

  Sen Gupta, B. & Farrell, G., 20 Jul 2012, In: Separation Science and Technology. 47, 11, p. 1638-1643 6 p.

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

• Verification of the linear relationship between carbon aromaticities and H/C ratios for bituminous coals

  Maroto-Valer, M. M., Andresen, J. M. & Snape, C. E., May 1998, In: Fuel. 77, 7, p. 783-785 3 p.

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

• Verification of XiTRACK Reinforcement over Weak Alluvial Soils at Deep Wharf Level Crossing, Purfltt

  Woodward, P. K., Nicholl, G. N., Thompson, R. & Smith, R., Jun 2005.

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

• Verifying a Performance Estimator for Parallel DBMS's

  Dempster, E. W., Tomov, N., Pua, C. S., Williams, H., Burger, A. G., Taylor, H. & Broughton, P., 1998.

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

  File
  37 Downloads (Pure)

• Verifying Parallel Dataflow Transformations with Model Checking and its Application to FPGAs

  Stewart, R., Berthomieu, B., Garcia, P., Ibrahim, I., Michaelson, G. & Wallace, A., Dec 2019, In: Journal of Systems Architecture. 101, 101657.

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

  Open Access

  File
  1 Citation (Scopus)

  21 Downloads (Pure)

• Verifying Pore Network Models of Imbibition in Rocks Using Time‐Resolved Synchrotron Imaging

  Bultreys, T., Singh, K., Raeini, A. Q., Ruspini, L. C., Øren, PE., Berg, S., Rücker, M., Bijeljic, B. & Blunt, M. J., Jun 2020, In: Water Resources Research. 56, 6, e2019WR026587.

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

  Open Access

  File
  7 Citations (Scopus)

  5 Downloads (Pure)

• Verifying Table-Based Elections

  Basin, D., Dreier, J., Giampietro, S. & Radomirovic, S., 6 May 2021, (Accepted/In press).

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

• Verifying the correctness of hume programs - An approach combining deductive and algorithmic reasoning

  Grov, G., 2005, Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, ASE 2005. p. 444-447 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  1 Citation (Scopus)

• Vero-cytotoxigenic Escherichia coli O157 in pasteurized milk containers at the point of retail: a qualitative approach to exposure assessment

  Clough, H. E., Clancy, D. & French, N. P., Oct 2006, In: Risk Analysis. 26, 5, p. 1291–1309

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

• Verotoxin 1 binding to intestinal crypt epithelial cells results in localization to lysosomes and abrogation of toxicity

  Hoey, D. E. E., Sharp, L., Currie, C. G., Lingwood, C. A., Gally, D. L. & Smith, D. G. E., Feb 2003, In: Cellular Microbiology. 5, 2, p. 85-97 13 p.

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

• Verotoxin-2 activates mitogen-activated protein kinases in bovine adherent peripheral blood mononuclear cells

  Cameron, P., Paton, N. & Smith, D. G. E., Jul 2012, In: Journal of Comparative Pathology. 147, 1, p. 20-23 4 p.

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

• Versatile and robust chaos synchronization phenomena imposed by delayed shared feedback coupling

  Peil, M., Larger, L. & Fischer, I., 9 Oct 2007, In: Physical Review E. 76, 4, 045201.

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

• Versatile assembly of p-carboxylatocalix[4]arene-O-alkyl ethers

  Kennedy, S., Teat, S. J. & Dalgarno, S. J., 2010, In: Dalton Transactions. 39, 2, p. 384-387 4 p.

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

• Versatile femtosecond laser sources for time-resolved studies: configurations and characterizations

  Sibbett, W., Reid, D. T. & Ebrahimzadeh, M., 1998, In: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 356, p. 283-296 14 p.

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

  7 Citations (Scopus)

• Versatile hybrid acoustic micromixer with demonstration of circulating cell-free DNA extraction from sub-ml plasma samples

  Conde, A. J., Keraite, I., Ongaro, A. E. & Kersaudy-Kerhoas, M., 21 Feb 2020, In: Lab on a Chip. 20, 4, p. 741-748 8 p.

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

  Open Access

  File
  7 Citations (Scopus)

  16 Downloads (Pure)

• Versatile mode-locked quantum-dot laser diodes

  Cataluna, M. A. & Rafailov, E. U., 2010, Semiconductor Lasers and Laser Dynamics IV. Panajotov, K., Sciamanna, M., Valle, A. A. & Michalzik, R. (eds.). Vol. 7720. 77200W

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

• Versatile usage of a multiport encoder/decoder in OPS and OBS nodes

  Cincotti, G., Kataoka, N., Wada, N., Wang, X. & Kitayama, K., 2009, 2009 International Conference on Photonics in Switching, PS '09.

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

• Versatile waveform generation using single-stage dual-drive Mach-Zehnder modulator

  Dai, B., Gao, Z., Kataoka, N., Wang, X. & Wada, N., 3 Mar 2011, In: Electronics Letters. 47, 5, p. 336-338 3 p.

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

• Versatility of p-sulfonatocalix[5]arene in building up multicomponent bilayers

  Dalgarno, S. J., Warren, J. E., Atwood, J. L. & Raston, C. L., 2008, In: New Journal of Chemistry. 32, 12, p. 2100-2107 8 p.

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

• Vers une gestion de l'eau plus 'durable'? Les enjeux des mutations de l'eau et du foncier dans la metropole de Los Angeles, Etats-Unis

  MacKillop, F., 2010, Editions universitaires europeennes. 456 p.

  Research output: Book/Report › Book

• Vers une gestion de l'eau plus" durable"? Les enjeux des mutations de la gestion de l'eau et du foncier dans la métropole de Los Angeles

  MacKillop, F., 2007, 458 p.

  Research output: Thesis › Doctoral Thesis

• Vertebral trabecular main direction can be determined from clinical CT datasets using the gradient structure tensor and not the inertia tensor - A case study

  Wolfram, U., Schmitz, B., Heuer, F., Reinehr, M. & Wilke, H-J., 22 Jul 2009, In: Journal of Biomechanics. 42, 10, p. 1390-1396 7 p.

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

• Vertex models on Feynman diagrams

  Johnston, D. A. & Plecháč, P., 2 Nov 1998, In: Physics Letters A. 248, 1, p. 37-48 12 p.

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

  4 Citations (Scopus)

• Vertex Models with Alternating Spin

  Hong, J., Kang, S. J., Miwa, T. & Weston, R. A., 1999, In: Asian Journal of Mathematics. 2, No 4, p. 711-758 48 p.

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

• Vertex Operators and Matrix Elements of Uq(su(2)k) via Bosonization

  Bougourzi, H. & Weston, R. A., 1994, In: International Journal of Modern Physics A. 9, 25, p. 4431-4448

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

• Vertical, lateral and temporal structure in larval distributions at hydrothermal vents

  Mullineaux, L. S., Mills, S. W., Sweetman, A. K., Beaudreau, A. H., Metaxas, A. & Hunt, H. L., 2 Jun 2005, In: Marine Ecology Progress Series. 293, p. 1-16 16 p.

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

  Open Access

  File
  83 Citations (Scopus)

  8 Downloads (Pure)