Picture of wind farm

Open Access research that is tackling the climate emergency...

Addressing the energy challenge confronting society is a strategic research theme for Strathclyde. Researchers from across the institution, spanning multiple disciplines, are therefore working together to understand ways of reducing the environmental impacts of energy use, improving energy efficiency, coping with declining fossil fuel supplies, managing an ageing energy infrastructure, and devising policy or economic levers to achieve higher penetration of renewable energy systems and technologies. Strathprints makes this scholarly research content available Open Access thereby ensuring results are available to everyone in order meet the global climate challenge.

Explore some of this Open Access research from the departments of Mechanical & Aerospace Engineering, Electronic & Electrical Engineering, Civil & Environmental Engineering, Naval Architecture, Ocean & Marine Engineering, Economics, Entrepreneurship and the School of Government & Public Policy.

Or explore all of Strathclyde's Open Access research...

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 Wed Feb 8 09:36:54 2023 GMT.