15,143 research outputs found
A phenomenological model for magnetoresistance in granular polycrystalline colossal magnetoresistive materials: the role of spin polarised tunnelling at the grain boundaries
It has been observed that in bulk and polycrystalline thin films of collossal
magnetoresistive (CMR) materials the magnetoresistance follows a different
behaviour compared to single crystals or single crystalline films below the
ferromagnetic transition temperature Tc. In this paper we develop a
phenomenological model to explain the magnetic field dependence of resistance
in granular CMR materials taking into account the spin polarised tunnelling at
the grain boundaries. The model has been fitted to two systems, namely,
La0.55Ho0.15Sr0.3MnO3 and La1.8Y0.5Ca0.7Mn2O7. From the fitted result we have
separated out, in La0.55Ho0.15Sr0.3MnO3, the intrinsic contribution from the
intergranular contribution to the magnetoresistance coming from spin polarised
tunnelling at the grain boundaries. It is observed that the temperature
dependence of the intrinsic contribution to the magnetoresistance in
La0.55Ho0.15Sr0.3MnO3 follows the prediction of double exchange model for all
values of field.Comment: 14 pages + 5 figures, postscript (to appear in Journal of Applied
Physics
Modular termination verification for non-blocking concurrency
© Springer-Verlag Berlin Heidelberg 2016.We present Total-TaDA, a program logic for verifying the total correctness of concurrent programs: that such programs both terminate and produce the correct result. With Total-TaDA, we can specify constraints on a threadâs concurrent environment that are necessary to guarantee termination. This allows us to verify total correctness for nonblocking algorithms, e.g. a counter and a stack. Our specifications can express lock- and wait-freedom. More generally, they can express that one operation cannot impede the progress of another, a new non-blocking property we call non-impedance. Moreover, our approach is modular. We can verify the operations of a module independently, and build up modules on top of each other
Some aspects of the synchronization in coupled maps
Through numerical simulations we analyze the synchronization time and the
Lyapunov dimension of a coupled map lattice consisting of a chain of chaotic
logistic maps exhibiting power law interactions. From the observed behaviors we
find a lower bound for the size of the lattice, independent of the range
and strength of the interaction, which imposes a practical lower bound in
numerical simulations for the system to be considered in the thermodynamic
limit. We also observe the existence of a strong correlation between the
averaged synchronization time and the Lyapunov dimension. This is an
interesting result because it allows an analytical estimation of the
synchronization time, which otherwise requires numerical simulations.Comment: 4 pages, 6 figure
Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity
We present a lightweight approach to Hoare-style specifications for
fine-grained concurrency, based on a notion of time-stamped histories that
abstractly capture atomic changes in the program state. Our key observation is
that histories form a partial commutative monoid, a structure fundamental for
representation of concurrent resources. This insight provides us with a
unifying mechanism that allows us to treat histories just like heaps in
separation logic. For example, both are subject to the same assertion logic and
inference rules (e.g., the frame rule). Moreover, the notion of ownership
transfer, which usually applies to heaps, has an equivalent in histories. It
can be used to formally represent helping---an important design pattern for
concurrent algorithms whereby one thread can execute code on behalf of another.
Specifications in terms of histories naturally abstract granularity, in the
sense that sophisticated fine-grained algorithms can be given the same
specifications as their simplified coarse-grained counterparts, making them
equally convenient for client-side reasoning. We illustrate our approach on a
number of examples and validate all of them in Coq.Comment: 17 page
The role of translational invariance in non linear gauge theories of gravity
The internal structure of the tetrads in a Poincar\'e non linear gauge theory
of gravity is considered. Minkowskian coordinates becomes dynamical degrees of
freedom playing the role of Goldstone bosons of the translations. A critical
length allowing a covariant expansion similar to the weak field approach is
deduced, the zeroth order metric being maximally symmetric (Minkowskian in some
cases).Comment: 17 pages, LaTe
PHS85 Determining Patient Satisfaction, Perception Of Value, And Monetary Worth Associated With Adherence Packaging And Pharmacy Services
On the Relation Between Peak Luminosity and Parent Population of Type Ia Supernovae: A New Tool for Probing the Ages of Distant Galaxies
We study the properties of Type Ia Supernovae (SNe Ia) as functions of the
radial distance from their host galaxy centers. Using a sample of 62 SNe Ia
with reliable luminosity, reddening, and decline rate determinations, we find
no significant radial gradients of SNe Ia peak absolute magnitudes or decline
rates in elliptical+S0 galaxies, suggesting that the diversity of SN properties
is not related to the metallicity of their progenitors. We do find that the
range in brightness and light curve width of supernovae in spiral galaxies
extends to brighter, broader values. These results are interpreted as support
for an age, but not metallicity, related origin of the diversity in SNe Ia. If
confirmed with a larger and more accurate sample of data, the age-luminosity
relation would offer a new and powerful tool to probe the ages and age
gradients of stellar populations in galaxies at redshift as high as .
The absence of significant radial gradients in the peak and colors of SNe Ia supports the redding correction method of Phillips et
al (1999). We find no radial gradient in residuals from the SN Ia
luminosity-width relation, suggesting that the relation is not affected by
properties of the progenitor populations and supporting the reliability of
cosmological results based upon the use of SNe Ia as distance indicators.Comment: 19 pages, incl. 3 tables & 3 figures; to appear in Nov 2000 issue of
Ap
Scour around marine foundations in layered sediments: a mathematical modelling approach
In order to improve the understanding of scour processes in layered conditions for offshore foundations, a laboratory study was conducted regarding equilibrium scour depth vs. time curve and its adjustment to hyperbolic and exponential/linear combined functions. The present paper provides a mathematical study describing a set of scour tests in order to clarify the scour depth evolution for complex, non-cohesive soil configurations
Quantum Cosmology in Scalar-Tensor Theories With Non Minimal Coupling
Quantization in the minisuperspace of non minimal scalar-tensor theories
leads to a partial differential equation which is non separable. Through a
conformal transformation we can recast the Wheeler-DeWitt equation in an
integrable form, which corresponds to the minimal coupling case, whose general
solution is known. Performing the inverse conformal transformation in the
solution so found, we can construct the corresponding one in the original
frame. This procedure can also be employed with the bohmian trajectories. In
this way, we can study the classical limit of some solutions of this quantum
model. While the classical limit of these solutions occurs for small scale
factors in the Einstein's frame, it happens for small values of the scalar
field non minimally coupled to gravity in the Jordan's frame, which includes
large scale factors.Comment: latex, 18 page
Morphogenic analysis of three geographical populations of Eragrostis plana ness in South of Brazil.
Eragrostis plana Ness is the most important weed of rangeland in the Southern of Brazil and represents a real risk to other south american countries. This perennial grass of South Africa,has low nutritional value and high seed production. It was introduced in this region, about 50 years ago and, until now, its variability is unknown. In order to test the morphogenics variation in the material present in this region, seeds of E. Plana Ness were sampled at different locations to studied the tissues flow, and tested the similarity of the geographical populations.Autores Susana Feldman; Oliva, Gabriel; MĂłnica Sacido
- âŠ