28 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
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
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
Nanoscale Strain and Composition Mapping in Ionic Thin Film Heterostructures for Resistive Switching Devices
-
- Journal:
- Microscopy and Microanalysis / Volume 22 / Issue S3 / July 2016
- Published online by Cambridge University Press:
- 25 July 2016, pp. 518-519
- Print publication:
- July 2016
-
- Article
-
- You have access
- Export citation
Bandgap State Mapping via Valence-Loss EELS at Grain Boundaries in Non-Stoichiometric PrxCe1-xO2-δ
-
- Journal:
- Microscopy and Microanalysis / Volume 22 / Issue S3 / July 2016
- Published online by Cambridge University Press:
- 25 July 2016, pp. 970-971
- Print publication:
- July 2016
-
- Article
-
- You have access
- Export citation
A Large-Scale, Low-Frequency Murchison Widefield Array Survey of Galactic H ii Regions between 260 < l < 340
- Part of
-
- Journal:
- Publications of the Astronomical Society of Australia / Volume 33 / 2016
- Published online by Cambridge University Press:
- 17 May 2016, e020
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Ionospheric Modelling using GPS to Calibrate the MWA. I: Comparison of First Order Ionospheric Effects between GPS Models and MWA Observations
- Part of
-
- Journal:
- Publications of the Astronomical Society of Australia / Volume 32 / 2015
- Published online by Cambridge University Press:
- 10 August 2015, e029
-
- Article
-
- You have access
- HTML
- Export citation
GLEAM: The GaLactic and Extragalactic All-Sky MWA Survey
- Part of
-
- Journal:
- Publications of the Astronomical Society of Australia / Volume 32 / 2015
- Published online by Cambridge University Press:
- 22 June 2015, e025
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
The Murchison Widefield Array Correlator
- Part of
-
- Journal:
- Publications of the Astronomical Society of Australia / Volume 32 / 2015
- Published online by Cambridge University Press:
- 04 March 2015, e006
-
- Article
-
- You have access
- HTML
- Export citation
The Low-Frequency Environment of the Murchison Widefield Array: Radio-Frequency Interference Analysis and Mitigation
- Part of
-
- Journal:
- Publications of the Astronomical Society of Australia / Volume 32 / 2015
- Published online by Cambridge University Press:
- 03 March 2015, e008
-
- Article
-
- You have access
- HTML
- Export citation
The High Time and Frequency Resolution Capabilities of the Murchison Widefield Array
- Part of
-
- Journal:
- Publications of the Astronomical Society of Australia / Volume 32 / 2015
- Published online by Cambridge University Press:
- 26 February 2015, e005
-
- Article
-
- You have access
- Open access
- HTML
- Export citation