559 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
Relating two standard notions of secrecy
Two styles of definitions are usually considered to express that a security
protocol preserves the confidentiality of a data s. Reachability-based secrecy
means that s should never be disclosed while equivalence-based secrecy states
that two executions of a protocol with distinct instances for s should be
indistinguishable to an attacker. Although the second formulation ensures a
higher level of security and is closer to cryptographic notions of secrecy,
decidability results and automatic tools have mainly focused on the first
definition so far.
This paper initiates a systematic investigation of the situations where
syntactic secrecy entails strong secrecy. We show that in the passive case,
reachability-based secrecy actually implies equivalence-based secrecy for
digital signatures, symmetric and asymmetric encryption provided that the
primitives are probabilistic. For active adversaries, we provide sufficient
(and rather tight) conditions on the protocol for this implication to hold.Comment: 29 pages, published in LMC
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
Effect of the GaAsP shell on optical properties of self-catalyzed GaAs nanowires grown on silicon
We realize growth of self-catalyzed core-shell GaAs/GaAsP nanowires (NWs) on
Si substrates using molecular-beam epitaxy. Transmission electron microscopy
(TEM) of single GaAs/GaAsP NWs confirms their high crystal quality and shows
domination of the zinc-blende phase. This is further confirmed in optics of
single NWs, studied using cw and time-resolved photoluminescence (PL). A
detailed comparison with uncapped GaAs NWs emphasizes the effect of the GaAsP
capping in suppressing the non-radiative surface states: significant PL
enhancement in the core-shell structures exceeding 2000 times at 10K is
observed; in uncapped NWs PL is quenched at 60K whereas single core-shell
GaAs/GaAsP NWs exhibit bright emission even at room temperature. From analysis
of the PL temperature dependence in both types of NW we are able to determine
the main carrier escape mechanisms leading to the PL quench
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
A Rigorous Correctness Proof for Pastry
International audiencePeer-to-peer protocols for maintaining distributed hash tables, such as Pastry or Chord, have become popular for a class of Internet applications. While such protocols promise certain properties concerning correctness and performance, verification attempts using formal methods invariably discover border cases that violate some of those guarantees. Tianxiang Lu reported correctness problems in published versions of Pastry and also developed a model, which he called LuPastry, for which he provided a partial proof of correct delivery assuming no node departures, mechanized in the TLA+ Proof System. Lu's proof is based on certain assumptions that were left unproven. We found counterexamples to several of these assumptions. In this paper, we present a revised model and rigorous proof of correct delivery, which we call LuPastry+. Aside from being the first complete proof, LuPastry+ also improves upon Lu's work by reformulating parts of the specification in such a way that the reasoning complexity is confined to a small part of the proof
Harm–benefit analysis – what is the added value?:A review of alternative strategies for weighing harms and benefits as part of the assessment of animal research
Animal experiments are widely required to comply with the 3Rs, to minimise harm to the animals and to serve certain purposes in order to be ethically acceptable. Recently, however, there has been a drift towards adding a so-called harm-benefit analysis as an additional requirement in assessing experiments. According to this, an experiment should only be allowed if there is a positive balance when the expected harm is weighed against the expected benefits. This paper aims to assess the added value of this requirement. Two models, the discourse model and the metric model, are presented. According to the former, the weighing of harms and benefits must be conducted by a committee in which different stakeholders engage in a dialogue. Research into how this works in practice, however, shows that in the absence of an explicit and clearly defined methodology, there are issues about transparency, consistency and fairness. According to the metric model, on the other hand, several dimensions of harms and benefits are defined beforehand and integrated in an explicit weighing scheme. This model, however, has the problem that it makes no real room for ethical deliberation of the sort committees undertake, and it has therefore been criticised for being too technocratic. Also, it is unclear who is to be held accountable for built-in ethical assumptions. Ultimately, we argue that the two models are not mutually exclusive and may be combined to make the most of their advantages while reducing the disadvantages of how harm-benefit analysis in typically undertaken
Seeing as sensing : the structuring of bodily experience in modern pictorial art
Two main arguments are developed in this thesis: first is the claim that our ability to make and understand representational pictures has a natural basis in our capacity to see. In this respect, I have drawn on the ideas of the visual scientist, David Marr and on the theory of representation expounded by John Willats. Second, I argue that the view articulated by these theorists forms a theoretical backdrop for, but does not satisfactorily explain, how pictures may heighten our sense of bodily presence. A central aim of this thesis is therefore to show how this mode of expression is also non-arbitrarily linked to the process of seeing by virtue of its relationship with our visuomotor capacities. In order to give substance to these ideas, I have attempted to weave together knowledge of art history with neuropsychological evidence and phenomenological philosophy. In applying this view to the work of particular artists, I have largely focussed on the oeuvre of Cézanne and the Cubists. However, the general form of this argument is intended to have wider implications, indicating the development of a stylistic tendency in modern art and showing how it differs from that of the Renaissance tradition. In conclusion, my thesis expresses the view that vision – and hence representation – can be divided along two separate lines: one related to a conceptual form of seeing and the other related to a bodily form of perception. The "crisis of representation" in the late nineteenth century is therefore considered indicative of a rejection of the former mode of visuality. Instead, modern artists are said to re-structure the viewing experience so that it shows the reliance of sight on the body, thus permitting the beholder a more active and constitutive role in the perception of art.EThOS - Electronic Theses Online ServiceGBUnited Kingdo
- …