Connection between orbital modulation of H-alpha and gamma-rays in the Be/X-ray binary LSI+61303

We studied the average orbital modulation of various parameters (gamma-ray flux, H-alpha emission line, optical V band brightness) of the radio- and gamma-ray emitting Be/X-ray binary LSI+61303. Using the Spearman rank correlation test, we found highly significant correlations between the orbital variability of the equivalent width of the blue hump of the H-alpha and Fermi-LAT flux with a Spearman p-value 2e-5, and the equivalent widths ratio EW_B/EW_R and Fermi-LAT flux with p-value 9e-5. We also found a significant anti-correlation between Fermi-LAT flux and V band magnitude with p-value 7.10^{-4}. All these correlations refer to the average orbital variability, and we conclude that the H-alpha and gamma-ray emission processes in LSI+61303 are connected. The possible physical scenario is briefly discussed.Comment: accepted as a Letter in Astronomy and Astrophysic

Lending Petri nets and contracts

Choreography-based approaches to service composition typically assume that, after a set of services has been found which correctly play the roles prescribed by the choreography, each service respects his role. Honest services are not protected against adversaries. We propose a model for contracts based on a extension of Petri nets, which allows services to protect themselves while still realizing the choreography. We relate this model with Propositional Contract Logic, by showing a translation of formulae into our Petri nets which preserves the logical notion of agreement, and allows for compositional verification

The spatial distribution of substellar objects in IC348 and the Orion Trapezium Cluster

Aims: Some theoretical scenarios suggest the formation of brown dwarfs as ejected stellar embryos in star-forming clusters. Such a formation mechanism can result in different spatial distributions of stars and substellar objects. We aim to investigate the spatial structure of stellar and substellar objects in two well sampled and nearby embedded clusters, namely IC348 and the Orion Trapezium Cluster (OTC) to test this hypothesis. Methods:Deep near-infrared K-band data complete enough to sample the substellar population in IC348 and OTC are obtained from the literature. The spatial distribution of the K-band point sources is analysed using the Minimum Spanning Tree (MST) method. The Q parameter and the spanning trees are evaluated for stellar and substellar objects as a function of cluster core radius R$_c$. Results: The stellar population in both IC348 and OTC display a clustered distribution whereas the substellar population is distributed homogeneously in space within twice the cluster core radius. Although the substellar objects do not appear to be bound by the cluster potential well, they are still within the limits of the cluster and not significantly displaced from their birth sites. Conclusions: The spatially homogeneous distribution of substellar objects is best explained by assuming higher initial velocities, distributed in a random manner and going through multiple interactions. The overall spatial coincidence of these objects with the cluster locations can be understood if these objects are nevertheless travelling slowly enough so as to feel the gravitational effect of the cluster. The observations support the formation of substellar objects as ``ejected stellar embryos''. Higher ejection velocities are necessary but net spatial displacements may not be necessary to explain the observational data.Comment: 4 pages. Accepted by A&A Letter

Electric field effects on magnetotransport properties of multiferroic Py/YMnO3/Pt heterostructures

We report on the exchange bias between antiferromagnetic and ferroelectric hexagonal YMnO3 epitaxial thin films sandwiched between a metallic electrode (Pt) and a soft ferromagnetic layer (Py). Anisotropic magnetoresistance measurements are performed to monitor the presence of an exchange bias field. When the heteroestructure is biased by an electric field, it turns out that the exchange bias field is suppressed. We discuss the dependence of the observed effect on the amplitude and polarity of the electric field. Particular attention is devoted to the role of current leakage across the ferroelectric layer.Comment: Accepted for publication in Philosophical Magazine Letters (Special issue on multiferroics

Maude: specification and programming in rewriting logic

Maude is a high-level language and a high-performance system supporting executable specification and declarative programming in rewriting logic. Since rewriting logic contains equational logic, Maude also supports equational specification and programming in its sublanguage of functional modules and theories. The underlying equational logic chosen for Maude is membership equational logic, that has sorts, subsorts, operator overloading, and partiality definable by membership and equality conditions. Rewriting logic is reflective, in the sense of being able to express its own metalevel at the object level. Reflection is systematically exploited in Maude endowing the language with powerful metaprogramming capabilities, including both user-definable module operations and declarative strategies to guide the deduction process. This paper explains and illustrates with examples the main concepts of Maude's language design, including its underlying logic, functional, system and object-oriented modules, as well as parameterized modules, theories, and views. We also explain how Maude supports reflection, metaprogramming and internal strategies. The paper outlines the principles underlying the Maude system implementation, including its semicompilation techniques. We conclude with some remarks about applications, work on a formal environment for Maude, and a mobile language extension of Maude

Worldlines on Orbifolds and the Fayet-Iliopoulos Term

We adapt ``string-inspired'' worldline techniques to one-loop calculations on orbifolds, in particular on the $S^1/Z_2$ orbifold. Our method also allows for the treatment of brane-localized terms, or bulk-brane couplings. For demonstration, we reproduce the well-known result for the one-loop induced Fayet-Iliopoulos term in rigidly supersymmetric Abelian gauge theory, and generalize it to the case where soft supersymmetry breaking mass terms for the bulk scalar fields are present on the branes.Comment: Typos corrected, clarifying remarks adde

The relative role of the intellectual and moral virtues in sustainable management decisions: The case of practical wisdom and justice

We analyze the status of virtues in management by going in some depth into the two main virtues, justice and practical wisdom. We next study how ethics requires that all virtues should be present under the ideal concept of a ‘unity of virtues’ for a completely wise person and discuss the practical limitations of this concept. Then, we draw a framework for decision making depending on whether the decision maker possesses justice and practical wisdom or lacks one of them and then discuss which one is better to have. We conclude that justice is more important, as it is about setting objectives and prioritizing, whereas practical wisdom is about attaining these objectives, once listed, in a rationally wise and contextual way. Hence, we conclude that objectives (justice) must come first, because this makes it more likely that, in the end, practical wisdom is developed, and thus we end up having the two virtue

Trust under bounded rationality: Competence, value systems, unselfishness and the development of virtue

Purpose: This paper analyses the foundations of trust in a context of bounded rationality to reach the conclusion that non-calculative trust is meaningful essentially because of bounded rationality, specifying what aspects of bounded rationality are relevant for this to happen. Design/methodology: Building on previous theoretical work we conceptually develop the reasoning involved to arrive deductively that bounded rationality provides a rationale for the concept of trust that goes beyond a calculative notion. Findings: We show that there are four reasons for trust to exist and that people assess probabilities to each in order to determine whether to trust a recipient, depending on each of the four. We also add to previous work and show how bounded rationality provides additional arguments to show how competence, value systems and unselfishness are necessary to underpin trust. We provide additional foundations to their three factors, focused on bounded rationality. We add the development of virtue as a crucial fourth aspect, which supports the argument that trust can be reinforced between people and developed through time. Originality/value: The concept of trust has been analyzed empirically, but it lacks some theoretical foundations to show under which assumptions trust is a requirement that goes beyond mere calculations, and can be developed or not through time. We also introduce how the concept of virtue has a major role in trust development