Growth control of GaAs nanowires using pulsed laser deposition with arsenic over pressure

Using pulsed laser ablation with arsenic over pressure, the growth conditions for GaAs nanowires have been systematically investigated and optimized. Arsenic over pressure with As$_2$ molecules was introduced to the system by thermal decomposition of polycrystalline GaAs to control the stoichiometry and shape of the nanowires during growth. GaAs nanowires exhibit a variety of geometries under varying arsenic over pressure, which can be understood by different growth processes via vapor-liquid-solid mechanism. Single-crystal GaAs nanowires with uniform diameter, lengths over 20 $\mu$m, and thin surface oxide layer were obtained and can potentially be used for further electronic characterization

Diameter-dependent conductance of InAs nanowires

Electrical conductance through InAs nanowires is relevant for electronic applications as well as for fundamental quantum experiments. Here we employ nominally undoped, slightly tapered InAs nanowires to study the diameter dependence of their conductance. Contacting multiple sections of each wire, we can study the diameter dependence within individual wires without the need to compare different nanowire batches. At room temperature we find a diameter-independent conductivity for diameters larger than 40 nm, indicative of three-dimensional diffusive transport. For smaller diameters, the resistance increases considerably, in coincidence with a strong suppression of the mobility. From an analysis of the effective charge carrier density, we find indications for a surface accumulation layer.Comment: 9 pages, 5 figure

A Fully Abstract Symbolic Semantics for Psi-Calculi

We present a symbolic transition system and bisimulation equivalence for psi-calculi, and show that it is fully abstract with respect to bisimulation congruence in the non-symbolic semantics. A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted between processes and their names can be statically scoped using the standard pi-calculus mechanism to allow for scope migrations. Psi-calculi can be more general than other proposed extensions of the pi-calculus such as the applied pi-calculus, the spi-calculus, the fusion calculus, or the concurrent constraint pi-calculus. Symbolic semantics are necessary for an efficient implementation of the calculus in automated tools exploring state spaces, and the full abstraction property means the semantics of a process does not change from the original

Tunable few electron quantum dots in InAs nanowires

Quantum dots realized in InAs are versatile systems to study the effect of spin-orbit interaction on the spin coherence, as well as the possibility to manipulate single spins using an electric field. We present transport measurements on quantum dots realized in InAs nanowires. Lithographically defined top-gates are used to locally deplete the nanowire and to form tunneling barriers. By using three gates, we can form either single quantum dots, or two quantum dots in series along the nanowire. Measurements of the stability diagrams for both cases show that this method is suitable for producing high quality quantum dots in InAs.Comment: 8 pages, 4 figure

Twinning superlattices in indium phosphide nanowires

Here, we show that we control the crystal structure of indium phosphide (InP) nanowires by impurity dopants. We have found that zinc decreases the activation barrier for 2D nucleation growth of zinc-blende InP and therefore promotes the InP nanowires to crystallise in the zinc blende, instead of the commonly found wurtzite crystal structure. More importantly, we demonstrate that we can, by controlling the crystal structure, induce twinning superlattices with long-range order in InP nanowires. We can tune the spacing of the superlattices by the wire diameter and the zinc concentration and present a model based on the cross-sectional shape of the zinc-blende InP nanowires to quantitatively explain the formation of the periodic twinning.Comment: 18 pages, 4 figure

Fabular: regression formulas as probabilistic programming

Regression formulas are a domain-specific language adopted by several R packages for describing an important and useful class of statistical models: hierarchical linear regressions. Formulas are succinct, expressive, and clearly popular, so are they a useful addition to probabilistic programming languages? And what do they mean? We propose a core calculus of hierarchical linear regression, in which regression coefficients are themselves defined by nested regressions (unlike in R). We explain how our calculus captures the essence of the formula DSL found in R. We describe the design and implementation of Fabular, a version of the Tabular schema-driven probabilistic programming language, enriched with formulas based on our regression calculus. To the best of our knowledge, this is the first formal description of the core ideas of R's formula notation, the first development of a calculus of regression formulas, and the first demonstration of the benefits of composing regression formulas and latent variables in a probabilistic programming language.Adam Ścibior received travel support from the DARPA PPAML programme. Marcin Szymczak was supported by Microsoft Research through its PhD Scholarship Programme.This is the author accepted manuscript. The final version is available from the Association of Computer Machinery via http://dx.doi.org/10.1145/2837614.283765

Potential of a cyclone prototype spacer to improve in vitro dry powder delivery

Copyright The Author(s) 2013. This article is published with open access at Springerlink.com. This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are creditedPurpose: Low inspiratory force in patients with lung disease is associated with poor deagglomeration and high throat deposition when using dry powder inhalers (DPIs). The potential of two reverse flow cyclone prototypes as spacers for commercial carrierbased DPIs was investigated. Methods: Cyclohaler®, Accuhaler® and Easyhaler® were tested with and without the spacers between 30-60 Lmin-1. Deposition of particles in the next generation impactor and within the devices was determined by high performance liquid chromatography. Results: Reduced induction port deposition of the emitted particles from the cyclones was observed due to the high retention of the drug within the spacers (e.g. salbutamol sulphate (SS): 67.89 ± 6.51 % at 30 Lmin-1 in Cheng 1). Fine particle fractions of aerosol as emitted from the cyclones were substantially higher than the DPIs alone. Moreover, the aerodynamic diameters of particles emitted from the cyclones were halved compared to the DPIs alone (e.g. SS from the Cyclohaler® at 4 kPa: 1.08 ± 0.05 μm vs. 3.00 ± 0.12 μm, with and without Cheng 2, respectively) and unaltered with increased flow rates. Conclusion: This work has shown the potential of employing a cyclone spacer for commercial carrier-based DPIs to improve inhaled drug delivery.Peer reviewe

Ab initio calculations of Ca III Stark broadening parameters,transition probabilities and radiative lifetimes

We have determined matrix elements for all experimental configurations of Ca III, including the 3s3p63d configuration. These values have been obtained using intermediate coupling (IC). For these IC calculations, we have used the standard method of least-squares fitting from the experimental energy levels, using the computer code developed by Robert Cowan. In this paper, using these matrix elements, we report the calculated values of the Ca III Stark widths and shifts for 148 spectral lines, of 56 Ca III spectral line transition probabilities and of eight radiative lifetimes of Ca III levels. The Stark widths and shifts, calculated using the Griem semi-empirical approach, correspond to the spectral lines of Ca III and are presented for an electron density of 1017 cm?3 and temperatures T = 1.0?10.0 (×104 K). The theoretical trends of the Stark broadening parameter versus the temperature are presented for transitions that are of astrophysical interest. There is good agreement between our calculations, for transition probabilities and radiative lifetimes, and the experimental values presented in the literature. We have not been able to find any values for the Stark parameters in the references