Find Research outputs

Search results

• Two techniques for temporal pulse compression in gas-filled hollow-core kagomé photonic crystal fiber

  Mak, K. F., Travers, J. C., Joly, N. Y., Abdolvand, A. & Russell, P. S. J., 15 Sep 2013, In: Optics Letters. 38, 18, p. 3592-3595 4 p.

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

  • Optics and Photonics
  • Gases
  • Pressure
  • Vacuum
  • Lasers
  70 Citations (Scopus)

• Two typical time scales of the piston effect

  Carlès, P. & Dadzie, K. S. E., Jun 2005, In: Physical Review E. 71, 6, 13 p., 066310.

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

• 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

  • Beamforming
  • Convex optimization
  • Channel state information
  8 Citations (Scopus)

  6 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

  • wave modeling
  • tide
  • farm
  • modeling
  • bottom stress
  2 Citations (Scopus)

• Two-way interactive nesting of primitive equation ocean models with topography

  Fox, A. D. & Maskell, S. J., Dec 1995, In: Journal of Physical Oceanography. 25, 12, p. 2977-2996 20 p.

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

  • topography
  • ocean
  • frontal feature
  • calculation
  • damping

• Two Zn(II) and one Mn(II) complexes using two different hydrazone ligands: Spectroscopic studies and structural aspects

  Ray, A., Banerjee, S., Sen, S., Butcher, R. J., Rosair, G. M., Garland, M. T. & Mitra, S., Apr 2008, In: Structural Chemistry. 19, 2, p. 209-217 9 p.

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

  • Hydrazones
  • Ligands
  • benzoylhydrazine
  • 2-acetylpyridine
  • Coordination Complexes
  35 Citations (Scopus)

• 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

  • Fibrobacter succinogenes
  • glucosidases
  • glucosides
  • cellobiose
  • Fibrobacter

• 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

  • routing
  • catchment
  • index
  • basin
  • river
  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

  • Computability and decidability
  • Logic programming
  • Computer programming languages
  81 Citations (Scopus)

• Type-and-scope safe programs and their proofs

  Allais, G., Chapman, J., McBride, C. & McKinna, J., 16 Jan 2017, CPP 2017: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. Bertot, Y. & Vafeiadis, V. (eds.). Association for Computing Machinery, p. 195-207 13 p.

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

  • Substitution reactions
  • Printing
  • Fusion reactions
  16 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

  • Vectorization
  • Layout
  • Data-driven
  • Program processors
  • Data structures
  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

  • Binder
  • Calculi
  • Instantiation
  • Why-questions
  • Paradox
  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
  51 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

  • impurities
  • defects
  • harmonic oscillators
  • algebra
  • methodology
  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

  • Polymorphism

• 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

  • Substitution reactions
  4 Citations (Scopus)

• Types for Proofs and Programs

  Callaghan, P. (ed.), Luo, Z. (ed.), McKinna, J. (ed.) & Pollack, R. (ed.), 2002, Springer. (Lecture Notes in Computer Science; vol. 2277)

  Research output: Book/Report › Book

  • Logic
  • Continuation
  • Proceedings
  • Experiment

• 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

  • Mathematics
  • Logic
  • Gottlob Frege
  • Calculi
  • Logical Paradoxes
  16 Citations (Scopus)

• Type synthesis and classification of kinematically redundant translational parallel mechanisms

  Kong, X., 2011, Geometric Methods in Robotics and Mechanism Research: Theory and Applications . Lou, Y. & Li, Z. (eds.). Lambert Academic Publishing, p. 63-84

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

• 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

  • Kinematics
  • Geometry
  53 Citations (Scopus)

• TYPE synthesis of 2-DOF 3-4R parallel mechanisms with both spatial parallelogram translational mode and equal-diameter spherical rotation mode

  Kong, X. & Yu, J., 2014, ASME 2014 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, Vol. 5B. DETC2014-34883

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

  • Parallel Mechanism
  • Parallel Manipulator
  • Parallelogram
  • Synthesis
  • Manipulators

• Type Synthesis of 2-DOF Rotational Parallel Manipulators With an Equal-Diameter Spherical Pure Rolling Motion

  Wu, K., Yu, J., Zong, G. & Kong, X., 2014, ASME 2013 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, Vol. 6A. 10 p. DETC2013-12305

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  7 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

  • Kinematics
  49 Citations (Scopus)

  184 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
  64 Citations (Scopus)

• Type synthesis of 3-DOF parallel manipulators with both planar and translational operation modes

  Kong, X., 2011, Proceedings of ASME 2011 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference.

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

• Type synthesis of 3-DOF translational compliant parallel mechanisms

  Yue, C., Su, H-J. & Kong, X., 2013, ASME 2013 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference: Volume 6A: 37th Mechanisms and Robotics Conference. American Society of Mechanical Engineers, Vol. 6A. 11 p. DETC2013-12718

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

  • Hand tools
  • Conceptual design
  • Machinery
  • Decomposition
  2 Citations (Scopus)

• Type synthesis of 3-RSR equivalent 2R1T parallel mechanisms

  Chen, Z., Li, Y., Huang, Z. & Kong, X., 2018, ASME 2018 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, Vol. 5A. DETC2018-85101

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

  • Parallel Mechanism
  • Synthesis
  • Motion
  • Screw Theory
  2 Citations (Scopus)

• Type synthesis of kinematically redundant 3T1R parallel manipulators

  Kong, X., Chablat, D., Caro, S., Yu, J. & Gosselin, C., 2013, Proceedings of the ASME 2013 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, Vol. 6 A. 9 p. DETC2013-12575

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

  • Redundant Manipulator
  • Parallel Manipulator
  • Synthesis
  • Manipulators
  • Configuration
  1 Citation (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

• 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

  • Jacobian matrices
  • Invariance
  • Kinematics
  4 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
  144 Citations (Scopus)

• Type synthesis of partially decoupled 2-DOF parallel mechanisms with two 1T1R operational modes

  Kong, X., 2012, Advances in Reconfigurable Mechanisms and Robots I. Springer London: Springer, p. 245-257 13 p.

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

  • synthesis
  • platforms
  • axes of rotation
  • energy
  2 Citations (Scopus)

• Type synthesis of single-DOF single-loop mechanisms with two operation modes

  Kong, X. & Huang, C., 2009, Proceedings of the 2009 ASME/IFToMM International Conference on Reconfigurable Mechanisms and Robots, ReMAR 2009. p. 136-141 6 p.

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

  • synthesis
  46 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
  25 Citations (Scopus)

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

  Kong, X. & Gosselin, C. M., 2008, 2007 Proceedings of the ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, DETC2007. Vol. 8 PART B. p. 1195-1203 9 p.

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

  • Manipulators
  • Kinematics
  6 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

  • Manipulators
  • Kinematics
  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
  3 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

  • Manipulators
  • Actuators
  • Trajectories
  21 Citations (Scopus)

• Type synthesis of two degrees-of-freedom rotational parallel mechanisms with a fixed center-of-rotation based on a graphic approach

  Wu, K., Yu, J. J., Li, S. Z., Zong, G. H. & Kong, X., 12 Aug 2012, Proceedings of ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference: Chicago, Illinois, USA, August 12–15, 2012. American Society of Mechanical Engineers, p. 647-658 12 p.

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

  • Controllability
  • Topology
  5 Citations (Scopus)

• Type synthesis of variable degree-of-freedom parallel manipulators with both planar and 3T1R operation modes

  Kong, X., Aug 2012, Proceedings of ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference. American Society of Mechanical Engineers, Vol. 4. p. 497-504 8 p. DETC2012-70621

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

  • Manipulators
  • Actuators

• 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

  • pathogen
  • pyrolysis
  • mass spectrometry
  • fish
  • Curie point
  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
  59 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

  • Total Factor Productivity
  • Port Efficiency
  • Container Port
  • Malmquist
  • Efficiency Change
  7 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

• 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

  • synthetic proteins
  • dehydrogenation
  • crosslinking
  • tyrosine
  • lignin
  21 Citations (Scopus)

• UAE green building strategic model

  Salama, M. & Hana, A. R., Sep 2013, Proceedings of the 29th Annual Association of Researchers in Construction Management Conference, ARCOM 2013. Smith, SD. & Ahiaga-Dagbui, D. D. (eds.). ARCOM, p. 1321-1330 10 p.

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

  • Green Building
  • United Arab Emirates
  • In-depth Interviews
  • Sustainable Construction
  • Local Authorities

• UAS Operators Safety and Reliability Survey: Emerging Technologies Towards the Certification of Autonomous UAS

  Osborne, M., Lantair, J., Shafiq, Z., Zhao, X., Robu, V., Flynn, D. & Perry, J., 10 Feb 2020, 2019 4th International Conference on System Reliability and Safety (ICSRS). IEEE, p. 203-212 10 p.

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

  • Certification
  • Emerging Technologies
  • Safety
  • Operator
  • Subsystem
  2 Citations (Scopus)

  10 Downloads (Pure)

• 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

  • Jamming
  • Unmanned aerial vehicles (UAV)
  • Flight paths
  • Communication
  • Transmitters
  2 Citations (Scopus)

  12 Downloads (Pure)