Find Research outputs

Search results

• A framework for compositional verification of security protocols

  Andova, S., Cremers, C., Gjøsteen, K., Mauw, S., Mjølsnes, S. F. & Radomirović, S., Feb 2008, In: Information and Computation. 206, 2-4, p. 425-459 35 p.

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

  Open Access
  41 Citations (Scopus)

• A framework for automatic progress assessment on construction sites using computer vision

  Trucco, E. & Kaka, A. P., May 2004, In: International Journal of IT in Architecture Engineering and Construction. 2, 2, p. 147-164 18 p.

  Research output: Contribution to journal › Article

• A Framework for Assessing Instream Supporting Ecosystem Services Based on Hydroecological Modelling

  Ncube, S., Visser, A. & Beevers, L. C., 14 Sep 2018, In: Water. 10, 9, 1247.

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

  Open Access

  File
  6 Citations (Scopus)

  44 Downloads (Pure)

• A Fourier-transform infrared spectroscopic and microscopic study of the infection of potato tubers by Erwinia carotovora ssp. carotovora in aerobic and anaerobic conditions

  Stewart, D., Lyon, G. D. & Tucker, E. J. B., Oct 1994, In: Journal of the Science of Food and Agriculture. 66, 2, p. 145-154 10 p.

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

• A Fourier Integrator for the Cubic Nonlinear Schrödinger Equation with Rough Initial Data

  Knöller, M., Ostermann, A. & Schratz, K., 2019, In: SIAM Journal on Numerical Analysis. 57, 4, p. 1967-1986 20 p.

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

• A Fourier dimensionality reduction model for big data interferometric imaging

  Kartik, V., Carrillo, R. E., Thiran, J-P. & Wiaux, Y., 21 Jun 2017, In: Monthly Notices of the Royal Astronomical Society. 468, 2, p. 2382–2400 19 p.

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

  Open Access

  File
  10 Citations (Scopus)

  65 Downloads (Pure)

• A Four-Element Antenna System for Mobile Phones

  Ding, Y., Du, Z., Gong, K. & Feng, Z., 2007, In: IEEE Antennas and Wireless Propagation Letters. 6, p. 655-658 4 p.

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

  Open Access

  File
  51 Citations (Scopus)

  10 Downloads (Pure)

• A four element, planar, compact UWB MIMO antenna with WLAN band rejection capabilities

  Khan, M. S., Iftikhar, A., Shubair, R. M., Capobianco, A. D., Braaten, B. D. & Anagnostou, D. E., Oct 2020, In: Microwave and Optical Technology Letters. 62, 10, p. 3124-3131 8 p.

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

• A fossil carbonate contourite drift on the Lower Ordovician palaeocontinental margin of the middle Yangtze Terrane, Jiuxi, northern Hunan, southern China

  Duan, T., Gao, Z., Zeng, Y. & Stow, D., Jan 1993, In: Sedimentary Geology. 82, 1-4, p. 271-284 14 p.

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

• A forward-backward algorithm for reweighted procedures: Application to radio-astronomical imaging

  Repetti, A. & Wiaux, Y., 9 Apr 2020, 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). IEEE, p. 1434-1438 5 p. (IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)).

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

  Open Access

  File
  2 Citations (Scopus)

  94 Downloads (Pure)

• A formula that produces a unique solution to the forward displacement analysis of a quadratic spherical parallel manipulator: The agile eye

  Kong, X. & Gosselin, C. M., 30 Aug 2010, In: Journal of Mechanisms and Robotics. 2, 4, 044501.

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

• A formative approach to developing synthetic environment fidelity requirements for decision-making training

  Jenkins, D. P., Stanton, N. A., Salmon, P. M. & Walker, G. H., Jul 2011, In: Applied Ergonomics. 42, 5, p. 757-769 13 p.

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

• A formal calculus for informal equality with binding

  Gabbay, M. & Mathijssen, A., 2007, Logic, Language, Information and Computation - 14th International Workshop, WoLLIC 2007, Proceedings. Vol. 4576 LNCS. p. 162-176 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4576 LNCS).

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

  37 Citations (Scopus)

• A formal analysis of 5g authentication

  Basin, D., Dreier, J., Hirschi, L., Radomirovic, S., Sasse, R. & Stettler, V., Oct 2018, CCS '18: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 1383-1396 14 p.

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

  Open Access

  File
  176 Citations (Scopus)

  43 Downloads (Pure)

• A focused sequent calculus framework for proof-search in pure type systems

  Lengrand, S., Dyckhoff, R. & Mckinna, J., 23 Mar 2011, In: Logical Methods in Computer Science. 7, 1, 6.

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

  Open Access
  5 Citations (Scopus)

• A focal-ratio-degradation resistant multimode fiber link using mode-selective photonic lantern

  Benoit, A., Yerolatsitis, S., Harrington, K., Birks, T. A. & Thomson, R. R., 13 Dec 2020, Advances in Optical and Mechanical Technologies for Telescopes and Instrumentation IV. Navarro, R. & Geyl, R. (eds.). SPIE, 1145120. (Proceedings of SPIE ; vol. 11451).

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

  Open Access

  File
  1 Citation (Scopus)

  7 Downloads (Pure)

• A focal-ratio-degradation (FRD) resistant multimode fibre link using mode-selective photonic lanterns

  Benoît, A., Yerolatsitis, S., Harrington, K., Birks, T. A. & Thomson, R. R., 17 Oct 2019, 2019 Conference on Lasers and Electro-Optics Europe and European Quantum Electronics Conference (CLEO/Europe-EQEC). IEEE, 8872561

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

• A Fluxional High-Nuclearity Gold-Platinum Cluster: Structure of [Au₆Pt(CC-t-Bu)(PPh₃)₇]⁺[Au(CC-t-Bu)₂]^-

  Smith, D. E., Welch, A. J., Treurnicht, I. & Puddephatt, R. J., 1 Dec 1986, In: Inorganic Chemistry. 25, 26, p. 4616-4617 2 p.

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

• A Flush-Mounted Quasi-Full-Space Beam-Scanning Cylindrical Phased Array

  Ding, X., Cheng, Y-F., Yang, X-S., Wang, B-Z. & Anagnostou, D. E., Jul 2019, In: IEEE Transactions on Antennas and Propagation. 67, 7, p. 4883-4888 6 p.

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

  Open Access

  File
  6 Citations (Scopus)

  147 Downloads (Pure)

• A flume study to evaluate the processes governing retention of sea lice therapeutants using skirts in the treatment of sea lice infestation

  Corner, R. A., Davies, P. A., Cuthbertson, A. J. S. & Telfer, T. C., Oct 2011, In: Aquaculture. 319, 3-4, p. 459-465 7 p.

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

• A flow platform for degradation-free CuAAC bioconjugation

  Hatit, M. Z. C., Reichenbach, L. F., Tobin, J. M., Vilela, F., Burley, G. A. & Watson, A. J. B., 1 Oct 2018, In: Nature Communications. 9, 7 p., 4021.

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

  Open Access

  File
  24 Citations (Scopus)

  57 Downloads (Pure)

• A Flow Cytometry-based Method for the Screening of Nanomaterial-induced Reactive Oxygen Species Production in Leukocytes Subpopulations in Whole Blood

  Kermanizadeh, A., Jantzen, K., Brown, D. M., Møller, P. & Loft, S., 1 Jan 2018, In: Basic and Clinical Pharmacology and Toxicology. 122, 1, p. 149–156 8 p.

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

  Open Access
  7 Citations (Scopus)

• A flow assurance evaluation of gas storage in depleted reservoirs

  Alim, C. N. & Tohidi Kalorazi, B., Aug 2012, p. 1-13. 13 p.

  Research output: Contribution to conference › Paper
  3 Citations (Scopus)

• A flood system risk analysis model with dynamic sub-element 2D inundation model, dynamic breach growth and life-loss

  Gouldby, B., Lhomme, J., McGahey, C., Panzeri, M., Hassan, M., Kakeh Burgada, N., Magana Orue, N., Jamieson, S. R., Wright, G., Van Damme, M. & Morris, M., Nov 2012, Comprehensive Flood Risk Management: Research for Policy and Practice: Proceedings of the 2nd European Conference on Flood Risk Management. CRC Press

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

• A flood risk analysis model with topographical inundation and life-loss

  Gouldby, B., Lhomme, J., Jamieson, S. R., Hornby, D. & Laeger, S., Mar 2015, In: Proceedings of the ICE - Water Management. 168, 3, p. 116-128 13 p.

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

• A flood inundation modelling using v-support vector machine regression model

  Liu, Y. & Pender, G., Nov 2015, In: Engineering Applications of Artificial Intelligence. 46, Part A, p. 223-231 9 p.

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

• A flexible RF energy harvester using a hybrid printing technology for 'stand-alone' wireless sensor platforms

  Kim, S., Jeong, S., Bito, J., Georgiadis, A. & Tentzeris, M. M., 30 Mar 2018, In: Flexible and Printed Electronics. 3, 1, 015004.

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

• A Flexible Multibody Pantograph Model for the Analysis of the Catenary–Pantograph Contact

  Ambrosio, J., Rauter, F., Pombo, J. & Pereira, M., 2011, Multibody Dynamics: Computational Methods and Applications. Arczewski, K., Blajer, W., Fraczek, J. & Wojtyra, M. (eds.). Springer, p. 1-27 27 p. (Computational Methods in Applied Sciences; vol. 23).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
  38 Citations (Scopus)

• A flexible mathematical model platform for studying branching networks: experimentally validated using the model actinomycete, Streptomyces coelicolor

  Nieminen, L., Webb, S., Smith, M. C. M. & Hoskisson, P. A., 18 Feb 2013, In: PLoS ONE. 8, 2, e54316.

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

  Open Access

  File
  17 Citations (Scopus)

  29 Downloads (Pure)

• A flexible hybrid printed RF energy harvester utilizing catalyst-based copper printing technologies for far-field RF energy harvesting applications

  Kim, S., Bito, J., Jeong, S., Georgiadis, A. & Tentzeris, M. M., 2015, 2015 IEEE MTT-S International Microwave Symposium (IMS). IEEE, 4 p.

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

• A flexible framework for visualisation of computational properties of general explicit substitutions calculi

  De Moura, F. L. C., Barbosa, A. V., Ayala-Rincón, M. & Kamareddine, F., 22 Apr 2011, In: Electronic Notes in Theoretical Computer Science. 269, 1, p. 41-54 14 p.

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

• A flexible algorithm for image matching

  Trucco, E., Odone, F. & Verri, A., 2001, p. 290-295. 6 p.

  Research output: Contribution to conference › Paper

  6 Citations (Scopus)

• A five-point checklist for getting around the world in 80 days by bicycle

  Gibson, N. V. & Gibson, A-M., 13 Apr 2017, The Conversation.

  Research output: Contribution to specialist publication › Article

• A first-order binomial-mixed Poisson integer-valued autoregressive model with serially dependent innovations

  Chen, Z., Dassios, A. & Tzougas, G., 1 Nov 2021, (E-pub ahead of print) In: Journal of Applied Statistics.

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

  Open Access

  File
  32 Downloads (Pure)

• A first attempt at type class directives

  Heeren, B. & Hage, J., 2004, Department of Information and Computing Sciences, Utrecht University. 11 p. (Technical Report Series; no. UU-CS-2004-039)

  Research output: Book/Report › Other report

  Open Access

• AF inverse monoids and the structure of countable MV-algebras

  Lawson, M. & Scott, P., Jan 2017, In: Journal of Pure and Applied Algebra. 221, 1, p. 45-74

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

  Open Access

  File
  12 Citations (Scopus)

  57 Downloads (Pure)

• A Finite‐State Markov Chain Model for Axial Mixing of Solids in a Fluidized Bed

  Gupta, B. S. & Dutta, T. K., Jan 1990, In: Chemie Ingenieur Technik. 62, 1, p. 68-69 2 p.

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

• A finite-size superstrate based on identical patch arrays for broadband resonant cavity antennas

  Kanjanasit, K. & Wang, C., 23 Dec 2019, 2019 7th International Electrical Engineering Congress (iEECON). IEEE, 8938925

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

• A finite mixture modelling perspective for combining experts’ opinions with an application to quantile-based risk measures

  Makariou, D., Barrieu, P. & Tzougas, G., 9 Jun 2021, In: Risks. 9, 6, 115.

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

  Open Access

  File
  1 Citation (Scopus)

  16 Downloads (Pure)

• A Fine-grained Modulation Technology for ZigBee Backscatter Communication

  Xu, Z., Ding, Y. & Gong, W., 18 Jul 2022, 2022 Microwave Mediterranean Symposium (MMS). IEEE, 9825557

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

  Open Access

  File
  40 Downloads (Pure)

• A Film Unfinished: Yael Hersonski's Re-representation of archival footage from the Warsaw Ghetto.

  Boser, U., Apr 2013, In: Film Criticism. 37, 2, p. 38-56 19 p.

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

  7 Citations (Scopus)

• A field study of mould growth for Institute Higher Education library buildings in Malaysia

  Abdul Wahab, S. N., Mohammed, N. I., Khamidi, M. F. & Jamaludin, N., May 2014, In: Applied Mechanics and Materials. 567, p. 553-558 6 p.

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

• A field study of intraspecific competition for food in hermit crabs (Pagurus bernhardus)

  Ramsay, K., Kaiser, M. J. & Hughes, R. N., Feb 1997, In: Estuarine, Coastal and Shelf Science. 44, 2, p. 213-220 8 p.

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

• A Field Guide to the Sea Cucumbers of Malaysia

  Forbes, R. & Baine, M. S. P., 1998, Heriot-Watt University. 44 p.

  Research output: Book/Report › Anthology

• A Field approach for comparing the Ecosystem Services from SuDS and non SuDS ponds: preliminary results

  Jarvie, J. A., Arthur, S. & Beevers, L. C., 3 Jul 2015.

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

• a fictional title

  Baird, M., Burton, R. & Christie, R., 1999, No data entered yet.. Vol. 5. p. 5-67 63 p.

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

• A fibre-optic thermometric sensor based on the thermo-optic effect of titanium dioxide coatings

  Naci Inci, M., Barton, J. S. & Jones, J. D. C., Apr 1997, In: Optics and Laser Technology. 29, 3, p. 121-124 4 p.

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

• A fibre-optic microsensor for measurement of temperature dynamics in gas turbine systems

  Kilpatrick, J. M., MacPherson, W. N., Barton, J., Jones, J. D. C., Buttsworth, D. R., Jones, T. V., Chana, K. S. & Anderson, J. S., 1998, p. 209-213. 5 p.

  Research output: Contribution to conference › Paper

• A fibre optic microsensor for measurement of temperature dynamics in gas turbine systems

  Kilpatrick, J. M., MacPherson, W. N., Barton, J. S., Jones, J. D. C., Buttsworth, D. R., Jones, T., Chana, K. S. & Anderson, J. S., 2003, In: Proceedings of SPIE - the International Society for Optical Engineering. 3483, p. 209-213 5 p.

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

• A fibre-optic-based sensor for optimization and evaluation of the laser percussion drilling process

  Hand, D. P., Peters, C., Haran, F. & Jones, J. D. C., Jun 1997, In: Measurement Science and Technology. 8, 6, p. 587-592 6 p.

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