550 research outputs found
Non linear flux flow in TiN superconducting thin film
We have studied the superconducting behavior of 100 nm Titanium Nitride (TiN)
thin film in a perpendicular magnetic field. We found a zero field transition
temperature of 4.6 K and a slope in the H-T plane of -0.745 T/K. At 4.2 K, we
have performed careful transport measurements by measuring both the
differential resistivity and voltage as a function of a DC current. Our results
are analyzed in the framework of linear and non linear flux flow behavior. In
particular, we have observed an electronic instability at high vortex
velocities and from its dependence with respect to the applied magnetic field,
we can exctract the inelastic scattering time and diffusion length of the
quasiparticles
Efficient Set Sharing Using ZBDDs
Set sharing is an abstract domain in which each concrete object is represented by the set of local variables from which it might be reachable. It is a useful abstraction to detect parallelism opportunities, since it contains definite information about which variables do not share in memory, i.e., about when the memory regions reachable from those variables are disjoint. Set sharing is a more precise alternative to pair sharing, in which each domain element is a set of all pairs of local variables from which a common object may be reachable. However, the exponential complexity of some set sharing operations has limited its wider application. This work introduces an efficient implementation of the set sharing domain using Zero-suppressed Binary Decision Diagrams (ZBDDs). Because ZBDDs were designed to represent sets of combinations (i.e., sets of sets), they naturally represent elements of the set sharing domain. We show how to synthesize the operations needed in the set sharing transfer functions from basic ZBDD operations. For some of the operations, we devise custom ZBDD algorithms that perform better in practice. We also compare our implementation of the abstract domain with an efficient, compact, bit set-based alternative, and show that the ZBDD version scales better in terms of both memory usage and running time
Predicting and understanding the stability of G-quadruplexes
Motivation: G-quadruplexes are stable four-stranded guanine-rich structures that can form in DNA and RNA. They are an important component of human telomeres and play a role in the regulation of transcription and translation. The biological significance of a G-quadruplex is crucially linked with its thermodynamic stability. Hence the prediction of G-quadruplex stability is of vital interest
Model for the on-site matrix elements of the tight-binding hamiltonian of a strained crystal: Application to silicon, germanium and their alloys
We discuss a model for the on-site matrix elements of the sp3d5s*
tight-binding hamiltonian of a strained diamond or zinc-blende crystal or
nanostructure. This model features on-site, off-diagonal couplings between the
s, p and d orbitals, and is able to reproduce the effects of arbitrary strains
on the band energies and effective masses in the full Brillouin zone. It
introduces only a few additional parameters and is free from any ambiguities
that might arise from the definition of the macroscopic strains as a function
of the atomic positions. We apply this model to silicon, germanium and their
alloys as an illustration. In particular, we make a detailed comparison of
tight-binding and ab initio data on strained Si, Ge and SiGe.Comment: Submitted to Phys. Rev.
Investigation of microstructure defects in EUROFER97 under He⁺/Fe³⁺ dual ion beam irradiation
Fusion like conditions for reduced activation ferritic/martensitic steels in the first wall are simulated with single Fe3+ and He+/Fe3+ dual ion beam irradiation of EUROFER97 at the Jannus laboratory, CEA Saclay, introducing a damage of 16 dpa and a helium content up to 260 appm. The samples are irradiated at temperatures of 330 °C, 400 °C and 500 °C. The quantitative determination of size distribution and density of dislocation loops is obtained using weak-beam dark-field imaging mode. Burgers vectors of a02〈111〉 are observed for the majority of dislocation loops at irradiation temperatures of 330 °C and 400 °C. At 500 °C no dislocation loops are found. The impact of single and dual ion beam irradiation on mechanical properties is determined by means of nanoindentation. An increase in nano-hardness of up to 35% due to irradiation was measured at samples irradiated at 400 °C. A kinetic rate model is applied for the description of nucleation and evolution of helium bubbles and compared with the experimental results. Evaluating the rate model with help of TEM-results for size and density of bubbles indicates the nucleation scheme as the main source for quantitative disagreement between the model and irradiation. Keywords: Radiation effects, Ion irradiation, Cluster dynamics, Fusion, Helium bubbles, RAFM steel
(13)C/(12)C composition, a novel parameter to study the downward migration of paper sludge in soils†
δ(13)C values of crop and forest soils were measured 8 years after disposal of paper sewage sludge. The carbon transfer from paper sludge downward to the first humic layer is evidenced by a (13)C-enrichnient of up to + 5.6‰ due to the input of (13)C-enriched sludge carbonates. (13)C/(12)C composition is thus a novel, sensitive parameter to follow the downward transfer of paper sludge carbon
Topical Review on "Beta-beams"
Neutrino physics is traversing an exciting period, after the important
discovery that neutrinos are massive particles, that has implications from
high-energy physics to cosmology. A new method for the production of intense
and pure neutrino beams has been proposed recently: the ``beta-beam''. It
exploits boosted radioactive ions decaying through beta-decay. This novel
concept has been the starting point for a new possible future facility. Its
main goal is to address the crucial issue of the existence of CP violation in
the lepton sector. Here we review the status and the recent developments with
beta-beams. We discuss the original, the medium and high-energy scenarios as
well as mono-chromatic neutrino beams produced through ion electron-capture.
The issue of the degeneracies is mentioned. An overview of low energy
beta-beams is also presented. These beams can be used to perform experiments of
interest for nuclear structure, for the study of fundamental interactions and
for nuclear astrophysics.Comment: Topical Review for Journal of Physics G: Nuclear and Particle
Physics, published version, minor corrections, references adde
Loops under Strategies ... Continued
While there are many approaches for automatically proving termination of term
rewrite systems, up to now there exist only few techniques to disprove their
termination automatically. Almost all of these techniques try to find loops,
where the existence of a loop implies non-termination of the rewrite system.
However, most programming languages use specific evaluation strategies, whereas
loop detection techniques usually do not take strategies into account. So even
if a rewrite system has a loop, it may still be terminating under certain
strategies.
Therefore, our goal is to develop decision procedures which can determine
whether a given loop is also a loop under the respective evaluation strategy.
In earlier work, such procedures were presented for the strategies of
innermost, outermost, and context-sensitive evaluation. In the current paper,
we build upon this work and develop such decision procedures for important
strategies like leftmost-innermost, leftmost-outermost,
(max-)parallel-innermost, (max-)parallel-outermost, and forbidden patterns
(which generalize innermost, outermost, and context-sensitive strategies). In
this way, we obtain the first approach to disprove termination under these
strategies automatically.Comment: In Proceedings IWS 2010, arXiv:1012.533
- …