Find Research outputs

Search results

• Two-photon laser-assisted device alteration in silicon integrated-circuits

  Serrels, K. A., Erington, K., Bodoh, D., Farrell, C., Leslie, N., Lundquist, T. R., Vedagarbha, P. & Reid, D. T., 2 Dec 2013, In: Optics Express. 21, 24, p. 29083-29089 7 p.

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

  Open Access

  File
  9 Citations (Scopus)

  308 Downloads (Pure)

• Two-photon laser-assisted device alteration in silicon integrated circuits using a 1.28-μm femtosecond raman- soliton fiber laser

  Serrels, K. A., Bodoh, D., Reid, D. T., Farrell, C., Leslie, N., Lundquist, T. R., Vedagarbha, P. & Erington, K., 2013, CLEO: Applications and Technology 2013.

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

  1 Citation (Scopus)

• Two-photon light shift and autler-townes splitting in optically-pumped FIR lasers

  Pidgeon, C. R., Firth, W. J., Wood, R. A., Vass, A. & Davis, B. W., Mar 1981, In: International Journal of Infrared and Millimeter Waves. 2, 2, p. 207-214 8 p.

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

• Two-photon optical-beam-induced current solid-immersion imaging of a silicon flip chip with a resolution of 325 nm

  Ramsay, E., Pleynet, N., Xiao, D., Warburton, R. J. & Reid, D. T., 1 Jan 2005, In: Optics Letters. 30, 1, p. 26-28 3 p.

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

• Two-photon photodissociation of jet-cooled NO₂ near 450 nm. Rotational distributions of NO

  McCoustra, M. R. S. & Pfab, J., 1988, In: Journal of the Chemical Society, Faraday Transactions 2: Molecular and Chemical Physics. 84, 6, p. 655-669 15 p.

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

• Two-photon quantum walks in an elliptical direct-write waveguide array

  Owens, J. O., Broome, M. A., Biggerstaff, D. N., Goggin, M. E., Fedrizzi, A., Linjordet, T., Ams, M., Marshall, G. D., Twamley, J., Withford, M. J. & White, A. G., 13 Jul 2011, In: New Journal of Physics. 13, 13 p., 075003.

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

• Two-photon spectra of quantum emitters

  Gonzalez-Tudela, A., Laussy, F. P., Tejedor, C., Hartmann, M. J. & del Valle, E., 22 Mar 2013, In: New Journal of Physics. 15, 033036.

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

  Open Access

  File
  55 Citations (Scopus)

  33 Downloads (Pure)

• Two-photon spectra of quantum systems

  del Valle, E., Gonzalez-Tudela, A., Laussy, F. P., Tejedor, C. & Hartmann, M. J., 2013, International Quantum Electronics Conference 2013. OSA Publishing, IA_P_20

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

• Two-photon spectroscopy of B excitons in CdS

  Seiler, D. G., Heiman, D. & Wherrett, B. S., 1983, In: Physical Review B: Condensed Matter. 27, 4, p. 2355-2361 7 p.

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

• Two-photon X-variation mapping based on a diode-pumped femtosecond laser

  Serrels, K. A., Reid, D. T., Lundquist, T. R. & Vedagarbha, P., 2010, ISTFA 2010 - Conference Proceedings from the 36th International Symposium for Testing and Failure Analysis. p. 14-19 6 p.

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

  6 Citations (Scopus)

• Two-point boundary value problems for linear evolution equations

  Fokas, A. S. & Pelloni, B., Nov 2001, In: Mathematical Proceedings of the Cambridge Philosophical Society. 131, 3, p. 521-543 23 p.

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

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

  772 Downloads (Pure)

• Two-Point Resolution with Partially Coherent Light for Polarization Imaging

  Hu, X. & Wang, W., Jul 2016, Imaging Systems and Applications 2016. OSA Publishing, 3 p. PTh3D.1

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

• 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
  46 Citations (SciVal)

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

  88 Downloads (Pure)

• Two-scale convergence for locally periodic microstructures and homogenization of plywood structures

  Ptashnyk, M., 2013, In: Multiscale Modeling and Simulation. 11, 1, p. 92-117 26 p.

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

• 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
  35 Citations (SciVal)

  113 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
  14 Citations (SciVal)

• 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
  24 Citations (SciVal)

  83 Downloads (Pure)

• Two synthetic routes to bis(1-methyl-imidazole-2-thione)methane and bis(1-benzyl-imidazole-2-thione)methane complexes including sulfur atom insertion into copper−NHC bonds

  Slivarichova, M., da Costa, R. C., Nunn, J., Ahmad, R., Haddow, M. F., Sparkes, H. A., Gray, T. & Owen, G. R., 1 Oct 2017, In: Journal of Organometallic Chemistry. 847, p. 224-233 10 p.

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

• 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
  76 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
  20 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
  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

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

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

  3 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
  8 Citations (SciVal)

• 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

  94 Citations (SciVal)

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

• Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics

  Koot, R. & Hage, J., 13 Jan 2015, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation: PEPM '15. Association for Computing Machinery, p. 127-138 12 p.

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

• Type Class Directives

  Heeren, B. & Hage, J., 2005, Practical Aspects of Declarative Languages. PADL 2005. Hermenegildo, M. & Cabeza, D. (eds.). Springer, p. 253-267 15 p. (Lecture Notes in Computer Science; vol. 3350).

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

• Typed and Monadic Constraint Handling Rules with Priorities and Disjunction

  Serrano, A. & Hage, J., 31 Aug 2016.

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

• Type Directives and Type Graphs in Elm

  Peijnenburg, F., Hage, J. & Serrano, A., Aug 2016, Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages: IFL 2016. Association for Computing Machinery, 2

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

• Type Error Customization in GHC: Controlling expression-level type errors by type-level programming

  Serrano, A. & Hage, J., 30 Aug 2017, Proceedings of the 29th Symposium on the Implementation and Application of Functional Programming Languages: IFL 2017. Association for Computing Machinery, 2

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

• Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules

  Serrano, A. & Hage, J., 22 Mar 2016, Programming Languages and Systems. ESOP 2016. Springer, p. 672-698 27 p. (Lecture Notes in Computer Science; vol. 9632).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
  19 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
  46 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
  88 Citations (Scopus)

• Type Families with Class, Type Classes with Family

  Serrano, A., Hage, J. & Bahr, P., 30 Aug 2015, Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell: Haskell '15. Association for Computing Machinery, p. 129-140 12 p.

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

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

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

• 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

• 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 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
  61 Citations (SciVal)

• 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