Find Research outputs

Search results

• Article

  Two β-glucosidase activities in Fibrobacter succinogenes S85

  Buchanan, C. J. & Mitchell, W. J., 1992, In: Journal of Applied Bacteriology. 73, 3, p. 243-250 8 p.

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

  3 Citations (Scopus)

• Typability and type checking in system F are equivalent and undecidable

  Wells, J. B., 30 Jun 1999, In: Annals of Pure and Applied Logic. 98, 1-3, p. 111-156 46 p.

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

  95 Citations (Scopus)

• Type 1 diabetes patients increase CXCR4⁺ and CXCR7⁺ haematopoietic and endothelial progenitor cells with exercise, but the response is attenuated

  Taylor, G. S., Shaw, A., Smith, K., Capper, T. E., Scragg, J. H., Cronin, M., Bashir, A., Flatt, A., Campbell, M. D., Stevenson, E. J., Shaw, J. A., Ross, M. & West, D. J., 15 Jul 2021, In: Scientific Reports. 11, 14502.

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

  Open Access

  File
  1 Citation (Scopus)

• Type 1 Diabetes Patients With Different Residual Beta-Cell Function but Similar Age, HBA1c, and Cardiorespiratory Fitness Have Differing Exercise-Induced Angiogenic Cell Mobilisation

  Taylor, G. S., Shaw, A., Scragg, J. H., Smith, K., Campbell, M. D., McDonald, T. J., Shaw, J. A., Ross, M. D. & West, D. J., 11 Feb 2022, In: Frontiers in Endocrinology. 13, 797438.

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

  Open Access
  1 Citation (Scopus)

• Type-driven data layouts for improved vectorisation

  Sinkarovs, A. & Scholz, S-B., May 2016, In: Concurrency and Computation: Practice and Experience. 28, p. 2092–2119 28 p.

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

• Typed λ-calculi with one binder

  Kamareddine, F., Sep 2005, In: Journal of Functional Programming. 15, 5, p. 771-796 26 p.

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

• Type error slicing in implicitly typed higher-order languages

  Haack, C. & Wells, J. B., Mar 2004, In: Science of Computer Programming. 50, 1-3, p. 189-224 36 p.

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

• Type-I integrable quantum impurities in the Heisenberg model

  Doikou, A., 21 Dec 2013, In: Nuclear Physics B. 877, 3, p. 885–899 15 p.

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

• Type inference, principal typings, and let-polymorphism for first-class mixin modules

  Makholm, H. & Wells, J. B., 2005, In: ACM SIGPLAN Notices. 40, 9, p. 156-167 12 p.

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

• Types in logic and mathematics before 1940

  Kamareddine, F., Laan, T. & Nederpelt, R., 2002, In: Bulletin of Symbolic Logic. 8, 2, p. 185-245 61 p.

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

  17 Citations (Scopus)

• Type synthesis and reconfiguration analysis of a class of variable-DOF single-loop mechanisms

  Kong, X. & Pfurner, M., 2015, In: Mechanism and Machine Theory. 85, p. 116-128 12 p.

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

• Type synthesis of 3-DOF multi-mode translational/spherical parallel mechanisms with lockable joints

  Kong, X. & Jin, Y., Feb 2016, In: Mechanism and Machine Theory. 96, Part 2, p. 323-333 11 p.

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

  Open Access

  File
  62 Citations (Scopus)

  199 Downloads (Pure)

• Type synthesis of 3-DOF parallel manipulators with both a planar operation mode and a spatial translational operation mode

  Kong, X., Nov 2013, In: Journal of Mechanisms and Robotics. 5, 4, 8 p., 041015.

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

• Type synthesis of multi-mode mobile parallel mechanisms based on refined virtual chain approach

  Liu, Y., Li, Y., Yao, Y. & Kong, X., Oct 2020, In: Mechanism and Machine Theory. 152, 103908.

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

  Open Access

  File
  9 Citations (Scopus)

  5 Downloads (Pure)

• Type synthesis of parallel mechanisms with a constant Jacobian matrix

  Zhao, Y., Cao, Y., Kong, X. & Zhao, T., Dec 2018, In: Journal of Mechanisms and Robotics. 10, 6, 061011.

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

• Type synthesis of parallel mechanisms with multiple operation modes

  Kong, X., Gosselin, C. M. & Richard, P. L., Jun 2007, In: Journal of Mechanical Design, Transactions of the ASME. 129, 6, p. 595-601 7 p.

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

• Type Synthesis of Single-Loop Overconstrained 6R Spatial Mechanisms for Circular Translation

  Kong, X., 8 Aug 2014, In: Journal of Mechanisms and Robotics. 6, 4, 8 p., 41016.

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

• Type synthesis of six-DOF wrist-partitioned parallel manipulators

  Kong, X. & Gosselin, C. M., Jun 2008, In: Journal of Mechanical Design, Transactions of the ASME. 130, 6, p. 623021-623028 8 p.

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

• Type synthesis of three-degree-of-freedom translational compliant parallel mechanisms

  Cong, Y., Zhang, Y., Su, H-J. & Kong, X., 2015, In: Journal of Mechanisms and Robotics. 7, 3, p. 031012

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

• Type Synthesis of Two-Degrees-of-Freedom 3-4R Parallel Mechanisms With Both Spherical Translation Mode and Sphere-on-Sphere Rolling Mode

  Kong, X. & Yu, J., Nov 2015, In: Journal of Mechanisms and Robotics. 7, 4, 8 p., 041018.

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

• Typing of the fish pathogen Listonella (Vibrio) anguillara by pyrolysis mass spectrometry

  Manfio, G. P., Goodfellow, M., Austin, B., Austin, D. A., Pedersen, K., Larsen, J. L., Verdonck, L. & Swings, J., Jan 1997, In: Zentralblatt für Bakteriologie. 285, 2, p. 245-251 7 p.

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

  5 Citations (Scopus)

• Typology of Kano models: a critical review of literature and proposition of a revised model

  Shahin, A., Pourhamidi, M., Antony, J. & Park, S. H., 2013, In: International Journal of Quality and Reliability Management. 30, 3, p. 341-358 18 p.

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

• Typology of long-term port efficiency improvement paths: Malmquist total factor productivity for world container ports

  Cheon, S., Dowall, D. E. & Song, D. W., Dec 2009, In: Journal of Infrastructure Systems. 15, 4, p. 340-350 11 p., 010904QIS.

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

• TYR-143 facilitates interdomain electron transfer in flavocytochrome B2

  Miles, C. S., Rouvière-Fourmy, N., Lederer, F., Mathews, F. S., Reid, G. A., Black, M. T. & Chapman, S. K., 1 Jul 1992, In: Biochemical Journal. 285, 1, p. 187-192 6 p.

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

• Tyrosine residues enhance cross-linking of synthetic proteins into lignin-like dehydrogenation products

  McDougall, G. J., Stewart, D. & Morrison, I. M., Jan 1996, In: Phytochemistry. 41, 1, p. 43-47 5 p.

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

• UAV-Aided Jamming for Secure Ground Communication with Unknown Eavesdropper Location

  Nnamani, C. O., Khandaker, M. R. A. & Sellathurai, M., 2020, In: IEEE Access. 8, p. 72881-72892 12 p.

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

  Open Access

  File
  9 Citations (Scopus)

  23 Downloads (Pure)

• Ubiquitination of PTEN (phosphatase and tensin homolog) inhibits phosphatase activity and is enhanced by membrane targeting and hyperosmotic stress

  Maccario, H., Perera, N. M., Gray, A., Downes, C. P. & Leslie, N., 2010, In: Journal of Biological Chemistry. 285, 17, p. 12620-8 9 p.

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

• UK and US construction management contracting procedures and practices: a comparative study

  Oyegoke, A. S., 2001, In: Engineering Construction and Architectural Management. 8, 5/6, p. 403-417 15 p.

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

• UK and US Management Styles in Logistics: Different Strokes for Different Folks?

  Grant, D., Sep 2004, In: International Journal of Logistics Research and Applications. 7, 3, p. 181-197 17 p.

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

  22 Citations (Scopus)

• UK-China Science Bridge - Sustainable solutions for the built environment

  Magee, B. J., Basheer, P. A. M., Bai, Y., Long, A. E., McCarter, W. J., Jin, W. L. & Zhao, Y. X., Oct 2013, In: Construction and Building Materials. 47, p. 20-28 9 p.

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

• UK FREE-ELECTRON LASER: OPTICAL AND ELECTRON BEAM DIAGNOSTICS.

  Pidgeon, C. R., Smith, D., Firth, W. J., Jaroszynski, D. A., Tratt, D., Mackay, J. S., Kimmitt, M. F., Reid, J. M., Kelliher, M. G., Poole, M. W., Saxon, G., Walker, R. P., Gillespie, W. A. & Martin, P. F., Jul 1985, In: IEEE Journal of Quantum Electronics. QE-21, 7, p. 1083-1088 6 p.

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

  7 Citations (Scopus)

• UK microgeneration. Part I: Policy and behavioural aspects

  Bergman, N., Hawkes, A., Brett, D. J. L., Baker, P., Barton, J., Blanchard, R., Brandon, N. P., Infield, D., Jardine, C., Kelly, N., Leach, M., Matian, M., Peacock, A., Staffell, I., Sudtharalingam, S. & Woodman, B., 1 Feb 2009, In: Proceedings of the Institution of Civil Engineers - Energy. 162, 1, p. 23-36 14 p.

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

• UK Must Change its Ways

  Stylios, G. K., 1996, In: Wool Record.

  Research output: Contribution to journal › Article

• UK packaging waste legislation. Implications for food retailers

  Fernie, J., 2001, In: British Food Journal. 103:3, p. 187-197 11 p.

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

• UK planning reform: A regulationist interpretation

  Prior, A., Dec 2005, In: Planning Theory and Practice. 6, 4, p. 465-484 20 p.

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

• UK road freight energy use by product: Trends and analysis from 1985 to 1995

  Vanek, F. M. & Campbell, J. B., Oct 1999, In: Transport Policy. 6, 4, p. 237-246 10 p.

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

• UK strikes: how industrial action at a major port could disrupt supplies of clothing, cars and canned food

  Sweeney, E., 19 Aug 2022, The Conversation.

  Research output: Contribution to specialist publication › Article

  Open Access

• UK supply chain carbon mitigation strategies using alternative ports and multimodal freight transport operations

  Sanchez Rodrigues, V., Pettit, S., Harris, I., Beresford, A., Piecyk, M., Yang, Z. & Ng, A., Jun 2015, In: Transportation Research Part E: Logistics and Transportation Review. 78, p. 40-56

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

• UK trading patterns within and between regions in the automotive sector—A network analysis

  Smith, M. & Sarabi, Y., Feb 2021, In: World Economy. 44, 2, p. 510-529 20 p.

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

  Open Access

  File
  5 Citations (Scopus)

  2 Downloads (Pure)

• Ultimate flowrate targeting with regeneration placement

  Ng, D. K. S., Foo, D. C. Y., Tan, R. R. & Tan, Y. L., 2007, In: Chemical Engineering Research and Design. 85, 9, p. 1253-1267 15 p.

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

• Ultimate strength of continuous beams with exposed reinforcement

  Cairns, J. & Coakley, E., 2013, In: Journal of Advanced Concrete Technology. 11, 9, p. 238-250 13 p.

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

• Ultimate strength of lapped joints of epoxy-coated reinforcement

  Cairns, J. & Abdullah, R., Nov 1994, In: Proceedings of the ICE - Structures and Buildings. 104, 4, p. 391-400 10 p.

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

  6 Citations (Scopus)

• Ultra-broadband all-OPCPA petawatt facility fully based on LBO

  Galletti, M., Oliveira, P., Galimberti, M., Ahmad, M., Archipovaite, G., Booth, N., Dilworth, E., Frackiewicz, A., Winstone, T., Musgrave, I. & Hernandez-Gomez, C., 2020, In: High Power Laser Science and Engineering. 8, e31.

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

  Open Access

  File
  26 Citations (Scopus)

  27 Downloads (Pure)

• Ultra-broadband pulse evolution in optical parametric oscillators

  Reid, D. T., 12 Sep 2011, In: Optics Express. 19, 19, p. 17979-17984 6 p.

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

• Ultra-broadband supercontinuum generation in gas-filled photonic-crystal fibers: the epsilon-near-zero regime

  Saleh, M. F. & Biancalana, F., 15 Apr 2021, In: Optics Letters. 46, 8, p. 1959-1962 4 p.

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

  Open Access

  File
  3 Citations (Scopus)

  3 Downloads (Pure)

• Ultrabroad mid-infrared tunable Cr:ZnSe channel waveguide laser

  MacDonald, J. R., Beecher, S. J., Lancaster, A., Berry, P. A., Schepler, K. L. & Kar, A. K., 2014, In: IEEE Journal of Selected Topics in Quantum Electronics. 99, 1 p.

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

  Open Access

  File
  11 Citations (Scopus)

  117 Downloads (Pure)

• Ultra-compact reconfigurable band reject uwb MIMO antenna with four radiators

  Khan, M. S., Iftikhar, A., Shubair, R. M., Capobianco, A-D., Asif, S. M., Braaten, B. D. & Anagnostou, D. E., Apr 2020, In: Electronics. 9, 4, 584.

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

  Open Access

  File
  16 Citations (Scopus)

  6 Downloads (Pure)

• Ultradispersiveprisms and narrow-band tunable filters combining dispersion of atomic resonances and photonic band-gap structures

  Naumov, A. N., Miles, R. B., Barker, P. F. & Zheltikov, A. M., 2000, In: Laser Physics. 10, p. 622 1 p.

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

  5 Citations (Scopus)

• Ultrafast absorber saturation process and short pulse formation in injection lasers

  Zaitsev, S. V., Gordeev, N. Y., Soshnikov, M. P., Massa, J. S. & Buller, G. S., 15 Nov 1998, In: Journal of Applied Physics. 84, 10, p. 5441-5444 4 p.

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

  4 Citations (Scopus)

• Ultrafast absorption recovery dynamics of 1300 nm quantum dot saturable absorber mirrors

  Lumb, M. P., Clarke, E., Harbord, E., Spencer, P., Murray, R., Masia, F., Borri, P., Langbein, W., Leburn, C. G., Jappy, C., Metzger, N. K., Brown, C. T. A. & Sibbett, W., 27 Jul 2009, In: Applied Physics Letters. 95, 4, 3 p., ARTN 041101.

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