Picture of industrial robot

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...

Browse by Author or creator

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Publication Date | Item type | No Grouping
Jump to: 2015 | 2013
Number of items: 4.

2015

Ghani, Neil and Nordvall Forsberg, Fredrik and Malatesta, Lorenzo (2015) Positive inductive-recursive definitions. Logical Methods in Computer Science, 11 (1). 13. ISSN 1860-5974

2013

Ghani, Neil and Malatesta, Lorenzo and Nordvall Forsberg, Fredrik; Heckel, Reiko and Milius, Stefan, eds. (2013) Positive inductive-recursive definitions. In: Algebra and Coalgebra in Computer Science. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, POL, pp. 19-33. ISBN 9783642402050

Hancock, Peter and McBride, Conor and Ghani, Neil and Malatesta, Lorenzo and Altenkirch, Thorsten; Hasegawa, Masahito, ed. (2013) Small induction recursion. In: Typed Lambda Calculus and Applications. Lecture Notes in Computer Science . Springer, NLD, pp. 156-172. ISBN 9783642389450

Ghani, Neil and Malatesta, Lorenzo and Nordvall Forsberg, Fredrik and Setzer, Anton; (2013) Fibred data types. In: 2013 28th annual IEEE/ACM symposium on logic in computer science (LICS). IEEE, USA, pp. 243-252. ISBN 9781479904136

This list was generated on Sat Apr 4 00:46:48 2020 BST.