We measured the chemical and magnetic depth profiles of a single crystalline (La(1-x)Pr(x))(1-y)Ca(y)MnO(3-δ) (x=0.52±0.05, y=0.23±0.04, δ=0.14±0.10) film grown on a NdGaO(3) substrate using x-ray reflectometry, electron microscopy, electron energy-loss spectroscopy, and polarized neutron reflectometry. Our data indicate that the film exhibits coexistence of different magnetic phases as a funct...

S U M M A R Y Data from three seismic arrays installed in southern Peruwere analysed using receiver functions from P, PP and PKP wave phases, in order to image the subducted Nazca slab. The arrays cover the transition region from flat slab subduction in central Peru to normal subduction with an angle of about 30◦ further south. A previous study used data from the first array in the normal subdu...

Purpose – Within an IT outsourcing relationship, transition represents a critical and complex phase that starts immediately after contract signing. Transition involves handing over outsourced activities from client firm to service provider firm and accompanies a new way of operating. The purpose of this paper is to determine and detail factors influencing the performance of transition phase wit...

There are two general approaches for scheduling tasks in real-time systems: runtime and pre-runtime scheduling. However, there are several situations where the runtime approach does not find a feasible schedule even if such a schedule exists. The proposed approach uses state space exploration for finding a preruntime scheduling. The main problem with such methods is the space size, which can gr...

Skew and motion blur are significant challenges when camera and scene of interest are in two different media. Skew occurs due to spatially varying refraction on a dynamic water surface, whereas motion blur results from multiple intensities impinging on the imaging sensor during camera exposure time due to time varying refraction. In this paper, we propose a technique to restore underwater image...

We present a model of a geothermal system supplied at depth by saturated steam. It is shown that as steam rises from depth to lower pressure regions, liquid forms for pressures greater than 3.1 MPa. Once the pressure reaches 3.1MPa and the steam continues to rise into even lower pressure regions, it becomes superheated. Condensate does not form in the zone where pressures are less than 3.1MPa. ...

Abstract A theory is presented to account for all the experimental observations of fluxoid quantization and phase transition in superconducting cylinders, without invoking the large, unlikely, misalignment between field and cylinder required in previous theory. Correct values are obtained for the ratio of periodic to background quadratic coefficients in the resistance vs. field plot, and for th...

Depth-bounded processes form the most expressive known fragment of the π-calculus for which interesting verification problems are still decidable. In this paper we develop an adequate domain of limits for the well-structured transition systems that are induced by depth-bounded processes. An immediate consequence of our result is that there exists a forward algorithm that decides the covering pr...