691 research outputs found
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 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 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
- …