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 $N$ 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

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 $z\sim1-2$. The absence of significant radial gradients in the peak $\rm (B-V)_0$ and $\rm (V-I)_0$ 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