240185 results in Engineering
Reynolds number and wall cooling effects on correlations between the thermodynamic variables in hypersonic turbulent boundary layers
-
- Journal:
- Journal of Fluid Mechanics / Volume 965 / 25 June 2023
- Published online by Cambridge University Press:
- 13 June 2023, A4
-
- Article
-
- You have access
- HTML
- Export citation
Propulsion integration study of civil aero-engine nacelles
-
- Journal:
- The Aeronautical Journal / Volume 128 / Issue 1320 / February 2024
- Published online by Cambridge University Press:
- 13 June 2023, pp. 325-339
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
FLM volume 964 Cover and Front matter
-
- Journal:
- Journal of Fluid Mechanics / Volume 964 / 10 June 2023
- Published online by Cambridge University Press:
- 09 June 2023, p. f1
-
- Article
-
- You have access
- Export citation
The characteristics of helically deflected wind turbine wakes
-
- Journal:
- Journal of Fluid Mechanics / Volume 965 / 25 June 2023
- Published online by Cambridge University Press:
- 09 June 2023, A2
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Evaluating probabilistic forecasts for maritime engineering operations
-
- Journal:
- Data-Centric Engineering / Volume 4 / 2023
- Published online by Cambridge University Press:
- 09 June 2023, e15
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Experimental wind-tunnel study of the dynamics of inverted foils for energy harvesting
-
- Journal:
- The Aeronautical Journal / Volume 127 / Issue 1317 / November 2023
- Published online by Cambridge University Press:
- 09 June 2023, pp. 1927-1951
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Part IV - Concluding Remarks
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 239-240
-
- Chapter
- Export citation
7 - Multi-Agent Auctions
- from Part II - Applications
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 83-103
-
- Chapter
- Export citation
6 - Agent-Based Autonomous System Verification
- from Part I - Foundations
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 68-80
-
- Chapter
- Export citation
8 - Autonomous Satellite Control
- from Part II - Applications
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 104-126
-
- Chapter
- Export citation
2 - Autonomous Systems Architectures
- from Part I - Foundations
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 13-23
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp i-iv
-
- Chapter
- Export citation
Part I - Foundations
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 11-12
-
- Chapter
- Export citation
11 - Compositional Verification: Widening Our View beyond the Agent
- from Part III - Extensions
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 177-202
-
- Chapter
- Export citation
Appendix A - Gwendolen Documentation
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 246-296
-
- Chapter
- Export citation
13 - Utilising External Model-Checkers
- from Part III - Extensions
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 218-238
-
- Chapter
- Export citation
10 - Ethical Decision-Making
- from Part II - Applications
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 150-174
-
- Chapter
- Export citation
Part II - Applications
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 81-82
-
- Chapter
- Export citation
![](http://assets.cambridge.org/97810091/23280/cover/9781009123280.jpg)
Pearls of Algorithm Engineering
-
- Published online:
- 08 June 2023
- Print publication:
- 22 June 2023
Appendix C - AJPF Documentation
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 330-361
-
- Chapter
- Export citation