Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming

Functional and non-functional concerns require different programming effort, different techniques and different methodologies when attempting to program efficient parallel/distributed applications. In this work we present a "programmer oriented" methodology based on formal tools that permits reasoning about parallel/distributed program development and refinement. The proposed methodology is semi-formal in that it does not require the exploitation of highly formal tools and techniques, while providing a palatable and effective support to programmers developing parallel/distributed applications, in particular when handling non-functional concerns.

On the continuity of the support of masa-bimodules

We anounce results on the continuity of the map sending a masa-bimodule to its support. The proofs of the results will be published elsewhere.

Diagnostic-based modeling on a micro-scale atmospheric-pressure plasma jet

Diagnostic-based modeling (DBM) actively combines complementary advantages of numerical plasma simulations and relatively simple optical emission spectroscopy (OES). DBM is applied to determine spatial absolute atomic oxygen ground-state density profiles in a micro atmospheric-pressure plasma jet operated in He–O2. A 1D fluid model with semi-kinetic treatment of the electrons yields detailed information on the electron dynamics and the corresponding spatio-temporal electron energy distribution function. Benchmarking this time- and space-resolved simulation with phase-resolved OES (PROES) allows subsequent derivation of effective excitation rates as the basis for DBM. The population dynamics of the upper O(3p3P) oxygen state (? = 844 nm) is governed by direct electron impact excitation, dissociative excitation, radiation losses, and collisional induced quenching. Absolute values for atomic oxygen densities are obtained through tracer comparison with the upper Ar(2p1) state (? = 750.4 nm). The resulting spatial profile for the absolute atomic oxygen density shows an excellent quantitative agreement to a density profile obtained by two-photon absorption laser-induced fluorescence spectroscopy.

Continuity and Change in the European Union’s Approach to Enlargement::Turkey and Central and Eastern Europe compared

Existing studies of European Union (EU) enlargement provide few answers to questions concerning continuity and change in the dynamics of the process. This article identifies a number of conditioning factors that have shaped the EU’s approach to eastern enlargement and traces elements of continuity and change in the EU’s handling of Turkey’s membership aspirations. The article focuses on three established factors – member state preferences, supranational activism and EU capacity – and two less prominent factors – public opinion and narrative frame

Palaeoclimate change recorded in Upper Cretaceous (Albian-Cenomanian) Kazhdumi Formation Borehole spectral Gamma-Ray Logs, South Pars Gas field, Persian Gulf

Th/U and Th/K data from spectral gamma-ray logs obtained from outcrop successions have been used as a rapid and inexpensive proxy for determining possible episodes of humid-arid palaeoclimate change. Such outcrop-based measurements have never been tested using spectral gamma-ray data obtained from wireline logs in subsurface boreholes. Th/K and Th/U ratios have traditionally been used to decipher sequence stratigraphic patterns, at outcrop and in borehole. The possible influence of palaeoclimate on such ratio changes has yet to be proven, especially from borehole data. In this work, we compare borehole-derived Th/K (and to a lesser extent Th/U) to palaeoenvironmental changes inferred from palynology and deduce that both sea level and changing hinterland weathering regimes caused discrete fluctuations observed in the spectral gamma-ray logs. This is the first time such subsurface information has been used in this way. Interpretation of wireline logs in terms of palaeoclimate as well as sea level may now be considered, and the use of such logs in palaeoclimate reconstruction is strengthened.