Space craft photographed floating in low earth orbit

Open Access research: Conquering challenges in, and from, space...

Strathclyde researchers are highly active in the areas of space systems, astronautics, space science, and space mechatronics. Researchers from Physics within the Centre for Space Science and Applications, the Aerospace Centre of Excellence in MAE, the Space Mechatronic Systems Technology (SMeSTech) Laboratory within DMEM, and researchers in EEE, all explore the engineering and scientific challenges within space, with topics such as spaceflight mechanics, robotics for in-orbit satellite services and refuelling, and satellite-based ocean colour remote sensing, among many others.

Explore some of this space-related Open Access research.

Or explore all Open Access research content...

Browse by ISBN

Group by: Authors | Item type | No Grouping
Jump to: D | K | M
Number of items: 3.

D

de Amorim, Pedro H. Azevedo and Kozen, Dexter and Mardare, Radu and Panangaden, Prakash and Roberts, M.; (2021) Universal semantics for the stochastic λ-calculus. In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Proceedings - Symposium on Logic in Computer Science . IEEE, ITA. ISBN 9781665448956

K

Kormorida, Yuichi and Katsumata, Shin-ya and Kupke, Clemens and Rot, Jurriaan and Hasup, Ichiro; (2021) Expressivity of quantitative modal logics : categorical foundations via codensity and approximation. In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Proceedings - Symposium on Logic in Computer Science . IEEE, Piscataway, NJ. ISBN 9781665448956

M

Mardare, Radu and Panangaden, Prakash and Plotkin, Gordon; (2021) Fixed-points for quantitative equational logics. In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. Proceedings - Symposium on Logic in Computer Science, 1 . IEEE, Piscataway, NJ, pp. 1-13. ISBN 9781665448956

This list was generated on Sat Dec 4 13:05:20 2021 GMT.