61 results
Is sized typing for Coq practical?
-
- Journal:
- Journal of Functional Programming / Volume 33 / 2023
- Published online by Cambridge University Press:
- 24 January 2023, e1
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
ANF preserves dependent types up to extensional equality
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 16 September 2022, e12
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
In Situ Solid Phase Crystallization of Functional Ceramics in the Transmission Electron Microscope
-
- Journal:
- Microscopy and Microanalysis / Volume 28 / Issue S1 / August 2022
- Published online by Cambridge University Press:
- 22 July 2022, pp. 1866-1867
- Print publication:
- August 2022
-
- Article
-
- You have access
- Export citation
Bulk and Surface Exsolution Produce a Variety of Fe-Rich and Fe-Depleted Ellipsoidal Nanostructures in Functional Perovskite Thin Films
-
- Journal:
- Microscopy and Microanalysis / Volume 28 / Issue S1 / August 2022
- Published online by Cambridge University Press:
- 22 July 2022, p. 2542
- Print publication:
- August 2022
-
- Article
-
- You have access
- Export citation
Exsolution of Core-Shell Nanoparticles in a Complex Concentrated Perovskite Oxide Thin Film Synthesized in One Step
-
- Journal:
- Microscopy and Microanalysis / Volume 28 / Issue S1 / August 2022
- Published online by Cambridge University Press:
- 22 July 2022, pp. 2470-2471
- Print publication:
- August 2022
-
- Article
-
- You have access
- Export citation
Processing of Electroactive Ceramics in the Transmission Electron Microscope
-
- Journal:
- Microscopy and Microanalysis / Volume 27 / Issue S1 / August 2021
- Published online by Cambridge University Press:
- 30 July 2021, pp. 394-395
- Print publication:
- August 2021
-
- Article
-
- You have access
- Export citation
Nano-scale imaging and spectroscopy of interfaces in (Co,Cu,Mg,Ni,Zn)O high entropy oxides
-
- Journal:
- Microscopy and Microanalysis / Volume 27 / Issue S1 / August 2021
- Published online by Cambridge University Press:
- 30 July 2021, pp. 2872-2874
- Print publication:
- August 2021
-
- Article
-
- You have access
- Export citation
Direct Correlation of Grain Boundary Defect Chemistry with Anion Conductivity in Ceramic Oxides using Electron Energy-Loss Spectroscopy
-
- Journal:
- Microscopy and Microanalysis / Volume 27 / Issue S1 / August 2021
- Published online by Cambridge University Press:
- 30 July 2021, pp. 3432-3433
- Print publication:
- August 2021
-
- Article
-
- You have access
- Export citation
Direct Correlation of Grain Boundary Defect Chemistry with Anion Conductivity in Oxide Ceramics Using Direct Detection Electron Energy-Loss Spectroscopy
-
- Journal:
- Microscopy and Microanalysis / Volume 26 / Issue S2 / August 2020
- Published online by Cambridge University Press:
- 30 July 2020, pp. 732-733
- Print publication:
- August 2020
-
- Article
-
- You have access
- Export citation
Atomic-resolution Observations of Grain Boundary Segregation in Multiphase Ceramics by Aberration-corrected STEM
-
- Journal:
- Microscopy and Microanalysis / Volume 26 / Issue S2 / August 2020
- Published online by Cambridge University Press:
- 30 July 2020, pp. 1236-1237
- Print publication:
- August 2020
-
- Article
-
- You have access
- Export citation
Towards Machine Vision-enabled STEM EELS for High-throughput Quantification of Grain Boundary Electronic Structure
-
- Journal:
- Microscopy and Microanalysis / Volume 26 / Issue S2 / August 2020
- Published online by Cambridge University Press:
- 30 July 2020, pp. 3098-3099
- Print publication:
- August 2020
-
- Article
-
- You have access
- Export citation
Informing Synthesis Routes with Correlated in Situ Electrothermal Studies in the TEM
-
- Journal:
- Microscopy and Microanalysis / Volume 26 / Issue S2 / August 2020
- Published online by Cambridge University Press:
- 30 July 2020, pp. 912-914
- Print publication:
- August 2020
-
- Article
-
- You have access
- Export citation
Science with the Murchison Widefield Array: Phase I results and Phase II opportunities – Corrigendum
-
- Journal:
- Publications of the Astronomical Society of Australia / Volume 37 / 2020
- Published online by Cambridge University Press:
- 23 March 2020, e014
-
- Article
-
- You have access
- HTML
- Export citation
Science with the Murchison Widefield Array: Phase I results and Phase II opportunities
-
- Journal:
- Publications of the Astronomical Society of Australia / Volume 36 / 2019
- Published online by Cambridge University Press:
- 13 December 2019, e050
-
- Article
-
- You have access
- HTML
- Export citation
Climate Change and Cities: Second Assessment Report of the Urban Climate Change Research Network
-
-
- Book:
- Climate Change and Cities
- Published online:
- 12 April 2018
- Print publication:
- 29 March 2018, pp xvii-xlii
-
- Chapter
- Export citation
Interfacial Strain Mapping and Chemical Analysis of Strained-Interface Heterostructures by Nanodiffraction and Electron Energy-Loss Spectroscopy
-
- Journal:
- Microscopy and Microanalysis / Volume 23 / Issue S1 / July 2017
- Published online by Cambridge University Press:
- 04 August 2017, pp. 1776-1777
- Print publication:
- July 2017
-
- Article
-
- You have access
- Export citation
Correlated Electron Microscopy across Length Scales to Elucidate Structural, Electrical and Chemical Properties of Oxide Grain Boundaries
-
- Journal:
- Microscopy and Microanalysis / Volume 23 / Issue S1 / July 2017
- Published online by Cambridge University Press:
- 04 August 2017, pp. 334-335
- Print publication:
- July 2017
-
- Article
-
- You have access
- Export citation
Exploring Vibrational and Valence Loss Spectra from Oxide Nanoparticles
-
- Journal:
- Microscopy and Microanalysis / Volume 23 / Issue S1 / July 2017
- Published online by Cambridge University Press:
- 04 August 2017, pp. 1544-1545
- Print publication:
- July 2017
-
- Article
-
- You have access
- Export citation
Local Mapping of Bandgap Electronic State in PrxCe1-xCh2-δ: Elucidating Enhancement and Mechanism of Grain Boundary Electrical Conductivity
-
- Journal:
- Microscopy and Microanalysis / Volume 23 / Issue S1 / July 2017
- Published online by Cambridge University Press:
- 04 August 2017, pp. 1548-1549
- Print publication:
- July 2017
-
- Article
-
- You have access
- Export citation
Nanocharacterization of Strontium Titanate Thin Films and Oxide-Electrode Interfaces in Resistive Switching Devices
-
- Journal:
- Microscopy and Microanalysis / Volume 22 / Issue S3 / July 2016
- Published online by Cambridge University Press:
- 25 July 2016, pp. 1568-1569
- Print publication:
- July 2016
-
- Article
-
- You have access
- Export citation