Choreographies in Practice

Choreographic Programming is a development methodology for concurrent software that guarantees correctness by construction. The key to this paradigm is to disallow mismatched I/O operations in programs, called choreographies, and then mechanically synthesise distributed implementations in terms of standard process models via a mechanism known as EndPoint Projection (EPP). Despite the promise of choreographic programming, there is still a lack of practical evaluations that illustrate the applicability of choreographies to concrete computational problems with standard concurrent solutions. In this work, we explore the potential of choreographies by using Procedural Choreographies (PC), a model that we recently proposed, to write distributed algorithms for sorting (Quicksort), solving linear equations (Gaussian elimination), and computing Fast Fourier Transform. We discuss the lessons learned from this experiment, giving possible directions for the usage and future improvements of choreography languages

Characterization of disturbance sources for LISA: torsion pendulum results

A torsion pendulum allows ground-based investigation of the purity of free-fall for the LISA test masses inside their capacitive position sensor. This paper presents recent improvements in our torsion pendulum facility that have both increased the pendulum sensitivity and allowed detailed characterization of several important sources of acceleration noise for the LISA test masses. We discuss here an improved upper limit on random force noise originating in the sensor. Additionally, we present new measurement techniques and preliminary results for characterizing the forces caused by the sensor's residual electrostatic fields, dielectric losses, residual spring-like coupling, and temperature gradients.Comment: 11 pages, 8 figures, accepted for publication Classical and Quantum Gravit

Persistence of small-scale anisotropy of magnetic turbulence as observed in the solar wind

The anisotropy of magnetophydrodynamic turbulence is investigated by using solar wind data from the Helios 2 spacecraft. We investigate the behaviour of the complete high-order moment tensors of magnetic field increments and we compare the usual longitudinal structure functions which have both isotropic and anisotropic contributions, to the fully anisotropic contribution. Scaling exponents have been extracted by an interpolation scaling function. Unlike the usual turbulence in fluid flows, small-scale magnetic fluctuations remain anisotropic. We discuss the radial dependence of both anisotropy and intermittency and their relationship.Comment: 7 pages, 2 figures, in press on Europhys. Let

Measuring the LISA test mass magnetic proprieties with a torsion pendulum

Achieving the low frequency LISA sensitivity requires that the test masses acting as the interferometer end mirrors are free-falling with an unprecedented small degree of deviation. Magnetic disturbances, originating in the interaction of the test mass with the environmental magnetic field, can significantly deteriorate the LISA performance and can be parameterized through the test mass remnant dipole moment $\vec{m}_r$ and the magnetic susceptibility $\chi$. While the LISA test flight precursor LTP will investigate these effects during the preliminary phases of the mission, the very stringent requirements on the test mass magnetic cleanliness make ground-based characterization of its magnetic proprieties paramount. We propose a torsion pendulum technique to accurately measure on ground the magnetic proprieties of the LISA/LTP test masses.Comment: 6 pages, 3 figure

Transport anisotropy in biaxially strained La(2/3)Ca(1/3)MnO(3) thin films

Due to the complex interplay of magnetic, structural, electronic, and orbital degrees of freedom, biaxial strain is known to play an essential role in the doped manganites. For coherently strained La(2/3)Ca(1/3)MnO(3) thin films grown on SrTiO(3) substrates, we measured the magnetotransport properties both parallel and perpendicular to the substrate and found an anomaly of the electrical transport properties. Whereas metallic behavior is found within the plane of biaxial strain, for transport perpendicular to this plane an insulating behavior and non-linear current-voltage characteristics (IVCs) are observed. The most natural explanation of this anisotropy is a strain induced transition from an orbitally disordered ferromagnetic state to an orbitally ordered state associated with antiferromagnetic stacking of ferromagnetic manganese oxide planes.Comment: 5 pages, 4 figure

Orchestrating Forest Policy in Italy: Mission Impossible?

In the Italian political and economic agenda the forest sector occupies a marginal role. The forest sector in Italy is characterized by a high institutional fragmentation and centralized decision-making processes dominated by Public Forest Administrations. Public participation in forest policy processes has been implemented since the 1990s at national, regional and local levels in several cases. However, today no significant changes have been observed in the overall governance of the forest sector and stakeholders' involvement in Italian forest policy decision-making is still rather limited. The aims of this paper are to describe the state of forest-related participatory processes in Italy at various levels (national, regional and local) and identify which factors and actors hinder or support the establishment and implementation of participatory forest-related processes in the country. The forest-related participatory processes are analyzed adopting a qualitative-based approach and interpreting interactive, complex and non-linear participatory processes through the lens of panarchy theory

Quantifying signals with power-law correlations: A comparative study of detrended fluctuation analysis and detrended moving average techniques

Detrended fluctuation analysis (DFA) and detrended moving average (DMA) are two scaling analysis methods designed to quantify correlations in noisy non-stationary signals. We systematically study the performance of different variants of the DMA method when applied to artificially generated long-range power-law correlated signals with an {\it a-priori} known scaling exponent $\alpha_{0}$ and compare them with the DFA method. We find that the scaling results obtained from different variants of the DMA method strongly depend on the type of the moving average filter. Further, we investigate the optimal scaling regime where the DFA and DMA methods accurately quantify the scaling exponent $\alpha_{0}$, and how this regime depends on the correlations in the signal. Finally, we develop a three-dimensional representation to determine how the stability of the scaling curves obtained from the DFA and DMA methods depends on the scale of analysis, the order of detrending, and the order of the moving average we use, as well as on the type of correlations in the signal.Comment: 15 pages, 16 figure

C 1s core-level photoemission spectra of stilbene on Si(100)2x1 surface from first-principles calculations

Adsorption of the cis and trans stilbene on the Si(100)2 x 1 surface was studied using plane waves density functional theory (DFT). Configurations across a silicon dimer, along the dimers and along the channels between dimers were probed for the two isomers. Trans and cis stilbene both bind preferentially across the dimers. In the former case only the ethylenic carbon atoms are involved and the aromatic character is preserved. In the latter case the adsorption interaction involves also the two phenyl rings with the conversion to two 1,3-cyclohexadiene, yielding a more stable local minimum. The corresponding calculated C 1s core level shifts are distributed in an energy range of about 2.5 eV. The overall shape of the spectra of the two adsorbed isomers shows differences consistent with chemical changes observed upon adsorption. There is a good agreement between the simulated and the experimentally observed spectrum of trans stilbene on the Si surface

Model-Independent Sum Rule Analysis Based on Limited-Range Spectral Data

Partial sum rules are widely used in physics to separate low- and high-energy degrees of freedom of complex dynamical systems. Their application, though, is challenged in practice by the always finite spectrometer bandwidth and is often performed using risky model-dependent extrapolations. We show that, given spectra of the real and imaginary parts of any causal frequency-dependent response function (for example, optical conductivity, magnetic susceptibility, acoustical impedance etc.) in a limited range, the sum-rule integral from zero to a certain cutoff frequency inside this range can be safely derived using only the Kramers-Kronig dispersion relations without any extra model assumptions. This implies that experimental techniques providing both active and reactive response components independently, such as spectroscopic ellipsometry in optics, allow an extrapolation-independent determination of spectral weight 'hidden' below the lowest accessible frequency.Comment: 5 pages, 3 figure