Transforming automated inspection & non-destructive testing: world-leading Open Access research on robotics, sensors & ultrasonics

Strathprints makes available scholarly Open Access content by researchers within the Centre for Ultrasonic Engineering, based within Electronic & Electrical Engineering.

Research at CUE brings together next generation robotics with sensing technology to enable inspection of high value components, such as aerospace components, at the point of manufacture. Non-destructive testing techniques using ultrasound and other sensors can then be deployed to assess components for structural faults or damage and thereby ensure they are built correctly and more efficiently. Research at CUE is to be stimulated by the construction of a new £2.5 million state-of-the-art Robotically-Enabled Sensing (RES) hub within the Department of Electronic & Electrical Engineering (EEE).

Explore the Open Access research by EEE, or explore all of Strathclyde's Open Access research...

Strathprints

Browse by Author or creator

Up a level

Group by: Publication Date | Item type | No Grouping

Jump to: 2020 | 2019 | 2018 | 2017 | 2014

Number of items: 5.

2020

Allais, Guillaume and Atkey, Robert and Chapman, James and McBride, Conor and McKinna, James (2020) A type and scope safe universe of syntaxes with binding : their semantics and proofs. Journal of Functional Programming. ISSN 0956-7968 (In Press)

2019

Allais, Guillaume; Darais, David and Gibbons, Jeremy, eds. (2019) Generic level polymorphic N-ary functions. In: TyDe 2019 - Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, co-located with ICFP 2019. ACM, New York, NY, DEU, pp. 14-26. ISBN 9781450368155

2018

Allais, Guillaume and Atkey, Robert and Chapman, James and McBride, Conor and McKinna, James (2018) A type and scope safe universe of syntaxes with binding : their semantics and proofs. In: International Conference on Functional Programming 2018, 2018-09-23 - 2018-09-29.

2017

Allais, Guillaume and Chapman, James and McBride, Conor and McKinna, James; Bertot, Yves and Vafeiadis, Viktor, eds. (2017) Type-and-scope safe programs and their proofs. In: CPP 2017. ACM, New York, NY, FRA. ISBN 9781450347051

2014

Bertot, Yves and Allais, Guillaume (2014) Views of pi : definition and computation. Journal of Formalized Reasoning, 7 (1). pp. 105-129. ISSN 1972-5787

This list was generated on Tue Mar 31 18:52:15 2020 BST.

Export as	Atom RSS 1.0 RSS 2.0