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
Number of items: 4.

Article

Ghani, Neil and Nordvall Forsberg, Fredrik and Orsanigo, Federico (2019) Universal properties for universal types in bifibrational parametricity. Mathematical Structures in Computer Science, 29 (6). 810–827. ISSN 0960-1295

Ghani, Neil and Johann, Patricia and Forsberg, Fredrik Nordvall and Orsanigo, Federico and Revell, Tim (2015) Bifibrational functorial semantics of parametric polymorphism. Electronic Notes in Theoretical Computer Science, 319. pp. 165-181. ISSN 1571-0661

Book Section

Ghani, Neil and Nordvall Forsberg, Fredrik and Orsanigo, Federico; Lindley, Sam and McBride, Conor and Trinder, Phil and Sannella, Don, eds. (2016) Proof-relevant parametricity. In: A List of Successes That Can Change the World. Lecture Notes in Computer Science . Springer-Verlag, Switzerland, pp. 109-131. ISBN 9783319309354

Ghani, Neil and Nordvall Forsberg, Fredrik and Orsanigo, Federico; de Paiva, Valeria and de Queiroz, Ruy and Moss, Lawrence S. and Leivant, Daniel and de Oliveira, Anjolina G., eds. (2015) Parametric polymorphism - universally. In: Logic, Language, Information, and Computation. Lecture Notes in Computer Science . Springer Berlin/Heidelberg, USA, pp. 81-92. ISBN 978-3-662-47708-3

This list was generated on Mon Apr 6 18:22:00 2020 BST.