239 results
Relative associations of behavioral and physiological risks for cardiometabolic disease with cognition in bipolar disorder during mid and later-life: findings from the UK biobank
-
- Journal:
- Psychological Medicine , First View
- Published online by Cambridge University Press:
- 02 April 2024, pp. 1-11
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Chemistry of Illite/Smectite and End-Member Illite
-
- Journal:
- Clays and Clay Minerals / Volume 34 / Issue 4 / August 1986
- Published online by Cambridge University Press:
- 02 April 2024, pp. 368-378
-
- Article
- Export citation
Impact of Point-of-Care Ultrasound on Prehospital Decision Making by HEMS Physicians in Critically Ill and Injured Patients: A Prospective Cohort Study
-
- Journal:
- Prehospital and Disaster Medicine / Volume 38 / Issue 4 / August 2023
- Published online by Cambridge University Press:
- 17 July 2023, pp. 444-449
- Print publication:
- August 2023
-
- 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
Appendix C - AJPF Documentation
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 330-361
-
- Chapter
- Export citation
12 - Runtime Verification: Recognising Abstraction Violations
- from Part III - Extensions
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 203-217
-
- Chapter
- Export citation
Introduction
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 1-10
-
- Chapter
- Export citation
Index
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 373-378
-
- Chapter
- Export citation
9 - Certification of Unmanned Air Systems
- from Part II - Applications
-
- Book:
- Verifiable Autonomous Systems
- Published online:
- 25 May 2023
- Print publication:
- 08 June 2023, pp 127-149
-
- Chapter
- Export citation