86 results
Cost-effectiveness of mirtazapine for agitated behaviors in dementia: findings from a randomized controlled trial
-
- Journal:
- International Psychogeriatrics / Volume 34 / Issue 10 / October 2022
- Published online by Cambridge University Press:
- 19 July 2022, pp. 905-917
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
No More Nations Within Nations: Indigenous Sovereignty after the End of Treaty-Making in 1871
-
- Journal:
- The Journal of the Gilded Age and Progressive Era / Volume 20 / Issue 2 / April 2021
- Published online by Cambridge University Press:
- 22 April 2021, pp. 325-329
- Print publication:
- April 2021
-
- Article
- Export citation
Pragmatic Tools for Sharing Genomic Research Results with the Relatives of Living and Deceased Research Participants
-
- Journal:
- Journal of Law, Medicine & Ethics / Volume 46 / Issue 1 / Spring 2018
- Published online by Cambridge University Press:
- 01 January 2021, pp. 87-109
- Print publication:
- Spring 2018
-
- Article
- Export citation
Returning a Research Participant's Genomic Results to Relatives: Analysis and Recommendations
-
- Journal:
- Journal of Law, Medicine & Ethics / Volume 43 / Issue 3 / Autumn 2015
- Published online by Cambridge University Press:
- 01 January 2021, pp. 440-463
- Print publication:
- Autumn 2015
-
- Article
- Export citation
3 - Separation logic
- from I - Generic separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 16-24
-
- Chapter
- Export citation
28 - More C programs
- from III - Separation logic for CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 208-216
-
- Chapter
- Export citation
VI - Semantic model and soundness of Verifiable C
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 362-362
-
- Chapter
- Export citation
21 - Lifted separation logics
- from II - Higher order separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 134-140
-
- Chapter
- Export citation
14 - Simplification by rewriting
- from II - Higher order separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 89-93
-
- Chapter
- Export citation
2 - Hoare logic
- from I - Generic separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 10-15
-
- Chapter
- Export citation
10 - Covariant recursive predicates
- from I - Generic separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 63-68
-
- Chapter
- Export citation
V - Higher-order semantic models
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 294-294
-
- Chapter
- Export citation
18 - Case study: Separation logic with first-class functions
- from II - Higher order separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 111-122
-
- Chapter
- Export citation
42 - Juicy memories
- from VI - Semantic model and soundness of Verifiable C
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 385-391
-
- Chapter
- Export citation
34 - C light operational semantics
- from IV - Operational semantics of CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 288-293
-
- Chapter
- Export citation
31 - CompCert
- from IV - Operational semantics of CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 233-236
-
- Chapter
- Export citation
29 - Dependently typed C programs
- from III - Separation logic for CompCert
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 217-221
-
- Chapter
- Export citation
16 - Predicate implication and subtyping
- from II - Higher order separation logic
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 99-103
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp i-iv
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Program Logics for Certified Compilers
- Published online:
- 05 August 2014
- Print publication:
- 21 April 2014, pp 1-8
-
- Chapter
- Export citation