Orchestrating Tuple-based Languages

The World Wide Web can be thought of as a global computing architecture supporting the deployment of distributed networked applications. Currently, such applications can be programmed by resorting mainly to two distinct paradigms: one devised for orchestrating distributed services, and the other designed for coordinating distributed (possibly mobile) agents. In this paper, the issue of designing a pro- gramming language aiming at reconciling orchestration and coordination is investigated. Taking as starting point the orchestration calculus Orc and the tuple-based coordination language Klaim, a new formalism is introduced combining concepts and primitives of the original calculi. To demonstrate feasibility and effectiveness of the proposed approach, a prototype implementation of the new formalism is described and it is then used to tackle a case study dealing with a simplified but realistic electronic marketplace, where a number of on-line stores allow client applications to access information about their goods and to place orders

Surface Effects on the Mechanical Elongation of AuCu Nanowires: De-alloying and the Formation of Mixed Suspended Atomic Chains

We report here an atomistic study of the mechanical deformation of AuxCu(1-x) atomic-size wires (NWs) by means of high resolution transmission electron microscopy (HRTEM) experiments. Molecular dynamics simulations were also carried out in order to obtain deeper insights on the dynamical properties of stretched NWs. The mechanical properties are significantly dependent on the chemical composition that evolves in time at the junction; some structures exhibit a remarkable de-alloying behavior. Also, our results represent the first experimental realization of mixed linear atomic chains (LACs) among transition and noble metals; in particular, surface energies induce chemical gradients on NW surfaces that can be exploited to control the relative LAC compositions (different number of gold and copper atoms). The implications of these results for nanocatalysis and spin transport of one-atom-thick metal wires are addressed.Comment: Accepted to Journal of Applied Physics (JAP

Water scarcity and institutional change: lessons in adaptive governance from the drought experience of Perth, Western Australia

Urban water systems will be increasingly challenged under future climates and global pressures. Meeting challenges by reconfiguring water systems to integrate supplies and deliver multifunctional uses is technically well described. Adjusting the institutions that frame the management of these systems is not well operationalized in practice or conceptualized in theory. This study seeks to address this gap through an institutional analysis of Perth, Australia, a city where drought crisis has put under pressure both management practices and the institutional setting that underlies them. The study found that while trusted practices moderated water scarcity, the stability of the institutional setting may not facilitate a shift toward adaptable institutional configurations suited to future conditions. The results identified three key ingredients for a flexible institutional setting: (i) feedbacks in the system through better information management, (ii) reflexive dialogue and strategic use of projects to generate greater learning opportunities, and (iii) policy level support for sector-wide collaboration through progressive agendas, incentives for innovation and capacity building in stakeholder and community engagement. Further, the results suggest that a deeper understanding of institutional dynamics is needed to enable adaptive governance. The paper provides an analytical framework for diagnosing how greater adaptive capacity might be mobilized through influencing these dynamics

Network-aware Evaluation Environment for Reputation Systems

Parties of reputation systems rate each other and use ratings to compute reputation scores that drive their interactions. When deciding which reputation model to deploy in a network environment, it is important to find the most suitable model and to determine its right initial configuration. This calls for an engineering approach for describing, implementing and evaluating reputation systems while taking into account specific aspects of both the reputation systems and the networked environment where they will run. We present a software tool (NEVER) for network-aware evaluation of reputation systems and their rapid prototyping through experiments performed according to user-specified parameters. To demonstrate effectiveness of NEVER, we analyse reputation models based on the beta distribution and the maximum likelihood estimation

Evidence of spontaneous spin polarized transport in magnetic nanowires

The exploitation of the spin in charge-based systems is opening revolutionary opportunities for device architecture. Surprisingly, room temperature electrical transport through magnetic nanowires is still an unresolved issue. Here, we show that ferromagnetic (Co) suspended atom chains spontaneously display an electron transport of half a conductance quantum, as expected for a fully polarized conduction channel. Similar behavior has been observed for Pd (a quasi-magnetic 4d metal) and Pt (a non-magnetic 5d metal). These results suggest that the nanowire low dimensionality reinforces or induces magnetic behavior, lifting off spin degeneracy even at room temperature and zero external magnetic field.Comment: 4 pages, 3 eps fig

Resolving Non-Determinism in Choreographies

Resolving non-deterministic choices of choreographies is a crucial task. We introduce a novel notion of realisability for choreographies –called whole-spectrum implementation– that rules out deterministic implementations of roles that, no matter which context they are placed in, will never follow one of the branches of a non-deterministic choice. We show that, under some conditions, it is decidable whether an implementation is whole-spectrum. As a case study, we analyse the POP protocol under the lens of whole-spectrum implementation

Monitoring Networks through Multiparty Session Types

In large-scale distributed infrastructures, applications are realised through communications among distributed components. The need for methods for assuring safe interactions in such environments is recognized, however the existing frameworks, relying on centralised verification or restricted specification methods, have limited applicability. This paper proposes a new theory of monitored π-calculus with dynamic usage of multiparty session types (MPST), offering a rigorous foundation for safety assurance of distributed components which asynchronously communicate through multiparty sessions. Our theory establishes a framework for semantically precise decentralised run-time enforcement and provides reasoning principles over monitored distributed applications, which complement existing static analysis techniques. We introduce asynchrony through the means of explicit routers and global queues, and propose novel equivalences between networks, that capture the notion of interface equivalence, i.e. equating networks offering the same services to a user. We illustrate our static-dynamic analysis system with an ATM protocol as a running example and justify our theory with results: satisfaction equivalence, local/global safety and transparency, and session fidelity

Some comments on nˉp\bar n p-annihilation branching ratios into ππ\pi \pi-, KˉK\bar K K- and πη\pi \eta-channels

We give some remarks on the $\bar n p$-partial branching ratios in flight at low momenta of antineutron, measured by OBELIX collaboration. The comparison is made to the known branching ratios from the $p \bar p$-atomic states. The branching ratio for the reaction $\bar n p \to \pi^+\pi^0$ is found to be suppressed in comparison to what follows from the $p \bar p$-data. It is also shown, that there is no so called dynamic I=0-amplitude suppression for the process $N\bar N \to K\bar K$.Comment: 8 pages, LaTeX, no figure

Mechanisms of weight regain

Weight regain following weight loss is frequent problem that people with obesity face. This weight recidivism is often attributed to the lack of compliance with appropriate food habits and exercise. On the contrary, it is known that body weight and fat mass are regulated by numerous physiological mechanisms, far beyond voluntary food intake and physical exercise. Thus, the aim of this paper is to review the main peripheral and central mechanisms involved in weight regain. Gut hormone secretion profiles impact upon predisposition to weight regain according to an individual variability, although it is recognised a usual pattern of compensatory changes: a reduction in anorectic hormones secretion and an increase in orexigenic hormone. These changes lead to both increased appetite and reward value of food leading to increased energye intake. In addition, resting energy expenditure after weight loss is lower than expected according to body composition changes. This gap between observed and predicted energy expenditure following weight loss is named metabolic adaptation, which has been suggested to explain partly weight regain. This complicated scenario, beyond patient motivation, makes weight regain a challenge in long-term management interventions in patients with obesity