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

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

Hungarian International Development Cooperation: Context, Stakeholders and Performance

This paper explores the domestic and international context of Hungary's emerging international development policy. Specifically, it looks at three factors that may influence how this policy operates: membership in the European Union (EU) and potential ‘Europeanization’, Hungary's wider foreign policy strategy, and the influence of domestic stakeholders. In order to uncover how these factors affect the country's international development policy, semi-structured interviews were carried out with the main stakeholders. The main conclusions are: (1) While accession to the EU did play a crucial role in restarting Hungary's international development policy, the integration has had little effect since then; (2) international development policy seems to serve mainly Hungary's regional strategic foreign policy and economic interests, and not its global development goals; and (3) although all the domestic development stakeholders are rather weak, the Ministry of Foreign Affairs (MFA) still seems to play a dominating role. Convergence with European requirements and best practices is, therefore, clearly hindered by foreign policy interests and also by the weakness of non- governmental stakeholders

The Paths to Choreography Extraction

Choreographies are global descriptions of interactions among concurrent components, most notably used in the settings of verification (e.g., Multiparty Session Types) and synthesis of correct-by-construction software (Choreographic Programming). They require a top-down approach: programmers first write choreographies, and then use them to verify or synthesize their programs. However, most existing software does not come with choreographies yet, which prevents their application. To attack this problem, we propose a novel methodology (called choreography extraction) that, given a set of programs or protocol specifications, automatically constructs a choreography that describes their behavior. The key to our extraction is identifying a set of paths in a graph that represents the symbolic execution of the programs of interest. Our method improves on previous work in several directions: we can now deal with programs that are equipped with a state and internal computation capabilities; time complexity is dramatically better; we capture programs that are correct but not necessarily synchronizable, i.e., they work because they exploit asynchronous communication

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

Alignment transition in a nematic liquid crystal due to field-induced breaking of anchoring

We report on the alignment transition of a nematic liquid crystal from initially homeotropic to quasi-planar due to field-induced anchoring breaking. The initial homeotropic alignment is achieved by Langmuir-Blodgett monolayers. In this geometry the anchoring strength can be evaluated by the Frederiks transition technique. Applying an electric field above a certain threshold provokes turbulent states denoted DSM1 and DSM2. While DSM1 does not affect the anchoring, DSM2 breaks the coupling between the surface and the liquid crystal: switching off the field from a DSM2 state does not immediately restore the homeotropic alignment. Instead, we obtain a quasi-planar metastable alignment. The cell thickness dependence for the transition is related to theComment: 7 pages, LaTeX2e article, 4 figures, 7 EPS files, added references, accepted for publication in Europhysics Letter

An Artificially Lattice Mismatched Graphene/Metal Interface: Graphene/Ni/Ir(111)

We report the structural and electronic properties of an artificial graphene/Ni(111) system obtained by the intercalation of a monoatomic layer of Ni in graphene/Ir(111). Upon intercalation, Ni grows epitaxially on Ir(111), resulting in a lattice mismatched graphene/Ni system. By performing Scanning Tunneling Microscopy (STM) measurements and Density Functional Theory (DFT) calculations, we show that the intercalated Ni layer leads to a pronounced buckling of the graphene film. At the same time an enhanced interaction is measured by Angle-Resolved Photo-Emission Spectroscopy (ARPES), showing a clear transition from a nearly-undisturbed to a strongly-hybridized graphene $\pi$-band. A comparison of the intercalation-like graphene system with flat graphene on bulk Ni(111), and mildly corrugated graphene on Ir(111), allows to disentangle the two key properties which lead to the observed increased interaction, namely lattice matching and electronic interaction. Although the latter determines the strength of the hybridization, we find an important influence of the local carbon configuration resulting from the lattice mismatch.Comment: 9 pages, 3 figures, Accepted for publication in Phys. Rev.

The rise of policy coherence for development: a multi-causal approach

In recent years policy coherence for development (PCD) has become a key principle in international development debates, and it is likely to become even more relevant in the discussions on the post-2015 sustainable development goals. This article addresses the rise of PCD on the Western donors’ aid agenda. While the concept already appeared in the work of Organisation for Economic Co-operation and Development (OECD) in the early 1990s, it took until 2007 before PCD became one of the Organisation’s key priorities. We adopt a complexity-sensitive perspective, involving a process-tracing analysis and a multi-causal explanatory framework. We argue that the rise of PCD is not as contingent as it looks. While actors such as the EU, the DAC and OECD Secretariat were the ‘active causes’ of the rise of PCD, it is equally important to look at the underlying ‘constitutive causes’ which enabled policy coherence to thrive well