60 results
B.3 Activated gene pathways in post-infectious hydrocephalus (PIH):: proteogenomics and the PIH expressome
-
- Journal:
- Canadian Journal of Neurological Sciences / Volume 49 / Issue s1 / June 2022
- Published online by Cambridge University Press:
- 24 June 2022, p. S5
-
- Article
-
- You have access
- Export citation
C.3 Activated Gene Pathways in Post-Infectious Hydrocephalus (PIH): Proteogenomics and the PIH Expressome
-
- Journal:
- Canadian Journal of Neurological Sciences / Volume 48 / Issue s3 / November 2021
- Published online by Cambridge University Press:
- 05 January 2022, pp. S18-S19
-
- Article
-
- You have access
- Export citation
ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
- Published online by Cambridge University Press:
- 27 September 2021, pp. 426-435
- Print publication:
- December 2021
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
The rapid development of bespoke small unmanned aircraft: A Proposed Design Loop
-
- Journal:
- The Aeronautical Journal / Volume 121 / Issue 1245 / November 2017
- Published online by Cambridge University Press:
- 30 October 2017, pp. 1683-1710
-
- Article
- Export citation
Neural correlates of improved executive function following erythropoietin treatment in mood disorders
-
- Journal:
- Psychological Medicine / Volume 46 / Issue 8 / June 2016
- Published online by Cambridge University Press:
- 21 March 2016, pp. 1679-1691
-
- Article
- Export citation
A MACHINE-ASSISTED PROOF OF GÖDEL’S INCOMPLETENESS THEOREMS FOR THE THEORY OF HEREDITARILY FINITE SETS
-
- Journal:
- The Review of Symbolic Logic / Volume 7 / Issue 3 / September 2014
- Published online by Cambridge University Press:
- 03 April 2014, pp. 484-498
- Print publication:
- September 2014
-
- Article
- Export citation
Contributors
-
-
- Book:
- The Impact of Early Life Trauma on Health and Disease
- Published online:
- 03 May 2011
- Print publication:
- 05 August 2010, pp vii-xii
-
- Chapter
- Export citation
The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 6 / 2003
- Published online by Cambridge University Press:
- 01 February 2010, pp. 198-248
-
- Article
-
- You have access
- Export citation
Mechanizing Nonstandard Real Analysis
-
- Journal:
- LMS Journal of Computation and Mathematics / Volume 3 / 2000
- Published online by Cambridge University Press:
- 01 February 2010, pp. 140-190
-
- Article
-
- You have access
- Export citation
Time of sowing and the development of winter wheat
-
- Journal:
- The Journal of Agricultural Science / Volume 105 / Issue 1 / August 1985
- Published online by Cambridge University Press:
- 27 March 2009, pp. 217-221
-
- Article
- Export citation
Microscale temperature and velocity spectra in the atmospheric boundary layer
-
- Journal:
- Journal of Fluid Mechanics / Volume 83 / Issue 3 / 5 December 1977
- Published online by Cambridge University Press:
- 12 April 2006, pp. 547-567
-
- Article
- Export citation
N-rich GaNAs with High As Content Grown by Metalorganic Vapor Phase Epitaxy
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 798 / 2003
- Published online by Cambridge University Press:
- 01 February 2011, Y12.10
- Print publication:
- 2003
-
- Article
- Export citation
Near-field Scanning Optical Microscopy and Electron Microprobe Microscopy Investigations of Immiscibility Effects in Indium Gallium Phosphide Grown by Liquid Phase Epitaxy
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 667 / 2001
- Published online by Cambridge University Press:
- 21 March 2011, G2.7
- Print publication:
- 2001
-
- Article
- Export citation
Final coalgebras as greatest fixed points in ZF set theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 9 / Issue 5 / October 1999
- Published online by Cambridge University Press:
- 01 October 1999, pp. 545-567
-
- Article
- Export citation
Performance and Reliability of Scaled Gate Dielectrics
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 473 / 1997
- Published online by Cambridge University Press:
- 10 February 2011, 77
- Print publication:
- 1997
-
- Article
- Export citation
7 - Abstract Types and Functors
-
- Book:
- ML for the Working Programmer
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp 257-312
-
- Chapter
- Export citation
Preface
-
- Book:
- ML for the Working Programmer
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp xv-xviii
-
- Chapter
- Export citation
8 - Imperative Programming in ML
-
- Book:
- ML for the Working Programmer
- Published online:
- 05 June 2012
- Print publication:
- 28 June 1996, pp 313-356
-
- Chapter
- Export citation