Find Research outputs

Search results

• Two-point concrete resistivity measurements: interfacial phenomena at the electrode–concrete contact zone

  McCarter, W. J., Taha, H. M., Suryanto, B. & Starrs, G., Aug 2015, In: Measurement Science and Technology. 26, 8, 085007.

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

  Open Access

  File
  32 Citations (Scopus)

  650 Downloads (Pure)

• Two-qubit entanglement dynamics for two different non-Markovian environments

  Bellomo, B., Lo Franco, R., Maniscalco, S. & Compagno, G., 30 Sep 2010, In: Physica Scripta. 2010, T140, 8 p., 014014.

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

• Two-qubit non-Markovianity induced by a common environment

  Addis, C., Haikka, P., McEndoo, S., Macchiavello, C. & Maniscalco, S., May 2013, In: Physical Review A. 87, 5, 7 p., 052109.

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

  Open Access

  File
  30 Citations (Scopus)

  82 Downloads (Pure)

• Two-sided online markets for electric vehicle charging

  Gerding, E., Stein, S., Robu, V., Zhao, D. & Jennings, N. R., 2013, Proc. 12th Int. Conf on Autonomous Agents and Multi-Agent Systems (AAMAS'13). Association for Computing Machinery, p. 989-996

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

  File
  31 Citations (Scopus)

  106 Downloads (Pure)

• Two-Stage Sintering of Alumina-Y-TZP (Al₂O₃/Y-TZP) Composites

  Sivanesan, S., Teow, H. L., Namasivayam, S. & Fouladi, M. H., 29 Jul 2019, In: Key Engineering Materials. 814, p. 12-18 7 p.

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

• Two-Step Lasso Estimation of the Spatial Weights Matrix

  Ahrens, A. & Bhattacharjee, A., 9 Mar 2015, In: Econometrics. 3, 1, p. 128-155 28 p.

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

  Open Access

  File
  19 Citations (Scopus)

  72 Downloads (Pure)

• Two-way beamforming optimization for full-duplex SWIPT systems

  Okandeji, A. A., Khandaker, M. R. A. & Wong, K-K., 1 Dec 2016, 2016 24th European Signal Processing Conference (EUSIPCO). IEEE, p. 2375-2379 5 p.

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

  Open Access

  File
  8 Citations (Scopus)

  3 Downloads (Pure)

• Two-way coupled wave and tide modelling of a wave farm

  González-Santamaría, R., Zou, Q. & Pan, S., 2011, In: Journal of Coastal Research. Special issue 64, p. 1038-1042 5 p.

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

  2 Citations (Scopus)

• Tying catchment to basin in a giant sediment routing system: a source-to-sink study of the Neogene–Recent Amur River and its delta in the North Sakhalin Basin

  Nicholson, U., Poynter, S., Clift, P. D. & Macdonald, D. I. M., 15 Jul 2013, Sediment Provenance Studies in Hydrocarbon Exploration and Production. Scott, R. A., Smyth, H. R., Morton, A. C. & Richardson, N. (eds.). London: Geological Society, Vol. 386. p. 163-193 31 p. (Geological Society, London, Special Publications; vol. 386).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
  7 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

  87 Citations (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
  6 Citations (Scopus)

• Type error slicing in implicitly typed higher-order languages

  Haack, C. & Wells, J. B., 2003, Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings. Vol. 2618. p. 284-301 18 p. (Lecture Notes in Computer Science; vol. 2618).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review
  41 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
  86 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

• Type Inference with Expansion Variables and Intersection Types in System E and an Exact Correspondence with Beta-Reduction

  Wells, J. B. & Carlier, S., Aug 2004.

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

• Type inference with expansion variables and intersection types in system E and an exact correspondence with β-reduction

  Carlier, S. & Wells, J. B., 2004, Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04. p. 132-143 12 p.

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

  4 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
  53 Citations (Scopus)

  182 Downloads (Pure)

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

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

• 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
  3 Citations (Scopus)

  14 Downloads (Pure)

• UC-B: Use case modelling with Event-B

  Murali, R., Ireland, A. & Grov, G., 2016, Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Butler, M., Schewe, K-D., Mashkoor, A. & Biro, M. (eds.). Springer International Publishing, p. 297-302 6 p. (Lecture Notes in Computer Science; vol. 9675).

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

  Open Access

  File
  1 Citation (Scopus)

  69 Downloads (Pure)

• Üç Eklemli Bir Robot Bacaǧmm İleri Adim Atmasi İçin Optimal Davraniş Esinli Bulanik Kontrolcu Tasarimi

  Erden, M. S. & Leblebicioǧlu, K., 1 Dec 2004, Proceedings of the IEEE 12th Signal Processing and Communications Applications Conference, SIU 2004. Gunsel, B. (ed.). p. 466-469 4 p.

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