On Resilient Behaviors in Computational Systems and Environments

The present article introduces a reference framework for discussing resilience of computational systems. Rather than a property that may or may not be exhibited by a system, resilience is interpreted here as the emerging result of a dynamic process. Said process represents the dynamic interplay between the behaviors exercised by a system and those of the environment it is set to operate in. As a result of this interpretation, coherent definitions of several aspects of resilience can be derived and proposed, including elasticity, change tolerance, and antifragility. Definitions are also provided for measures of the risk of unresilience as well as for the optimal match of a given resilient design with respect to the current environmental conditions. Finally, a resilience strategy based on our model is exemplified through a simple scenario.Comment: The final publication is available at Springer via http://dx.doi.org/10.1007/s40860-015-0002-6 The paper considerably extends the results of two conference papers that are available at http://ow.ly/KWfkj and http://ow.ly/KWfgO. Text and formalism in those papers has been used or adapted in the herewith submitted pape

Relativistic theories of interacting fields and fluids

We investigate divergence-type theories (DTT) describing the dissipative interaction between a field and a fluid. We look for theories which, under equilibrium conditions, reduce to the theory of a Klein-Gordon scalar field and a perfect fluid. We show that the requirements of causality and positivity of entropy production put non-trivial constarints to the structure of the interaction terms. These theories provide a basis for the phenomonological study of the reheating period.Comment: 17 pages, no figures, minor corrections mad

Non-Zero Sum Games for Reactive Synthesis

In this invited contribution, we summarize new solution concepts useful for the synthesis of reactive systems that we have introduced in several recent publications. These solution concepts are developed in the context of non-zero sum games played on graphs. They are part of the contributions obtained in the inVEST project funded by the European Research Council.Comment: LATA'16 invited pape

Co-opetition models for governing professional football

In recent years, models for co-creating value in a business-to-business context have often been examined with the aim of studying the strategies implemented by and among organisations for competitive and co-operative purposes. The traditional concepts of competition and co-operation between businesses have now evolved, both in terms of the sector in which the businesses operate and in terms of the type of goods they produce. Many researchers have, in recent times, investigated the determinants that can influence the way in which the model of co-opetition can be applied to the football world. Research interest lies in the particular features of what makes a good football. In this paper, the aim is to conduct an analysis of the rules governing the “football system”, while also looking at the determinants of the demand function within football entertainment. This entails applying to football match management the co-opetition model, a recognised model that combines competition and co-operation with the view of creating and distributing value. It can, therefore, be said that, for a spectator, watching sport is an experience of high suspense, and this suspense, in turn, depends upon the degree of uncertainty in the outcome. It follows that the rules ensuring that both these elements can be satisfied are a fertile ground for co-operation between clubs, as it is in the interest of all stakeholders to offer increasingly more attractive football, in comparison with other competing products. Our end purpose is to understand how co-opetition can be achieved within professional football

Limits on models of the ultrahigh energy cosmic rays based on topological defects

An erratum exists for this article. Please see the description link below for details.Using the propagation of ultrahigh energy nucleons, photons, and electrons in the universal radiation backgrounds, we obtain limits on the luminosity of topological defect scenarios for the origin of the highest energy cosmic rays. The limits are set as a function of the mass of the X particles emitted by the cosmic strings or other defects, the cosmological evolution of the topological defects, and the strength of the extragalactic magnetic fields. The existing data on the cosmic ray spectrum and on the isotropic 100 MeV gamma-ray background limit significantly the parameter space in which topological defects can generate the flux of the highest energy cosmic rays, and rule out models with the standard X-particle mass of 10¹⁶GeV and higher.R. J. Protheroe and Todor Stane

Respecting the deal: how to manage co-opetitive actors in open innovation

Platforms like E-bay allow product seekers and providers to meet and exchange goods. On the same way in open innovation, as defined by Chesbrough, an enterprise can collect ideas from outside the company. But on E-bay, the seeker can return the product if it does not correspond to the expectations, since E-bay is the third-party actor in charge of assuring that the agreement between seekers and providers will be respected. So who does provide the same service for what concerns open innovation, where specifications might not fully defined? In this paper we shall describe the business model of an organizational structure to support the elicitation and respect of agreements between actors, who have conflicting interests but that gain from cooperating together. The concepts of the model will be illustrated to derive a set of propositions and a simple example will illustrate one of its possible instantiations. The description of our first evaluation phase shall find place at the end

The Sheaf-Theoretic Structure Of Non-Locality and Contextuality

We use the mathematical language of sheaf theory to give a unified treatment of non-locality and contextuality, in a setting which generalizes the familiar probability tables used in non-locality theory to arbitrary measurement covers; this includes Kochen-Specker configurations and more. We show that contextuality, and non-locality as a special case, correspond exactly to obstructions to the existence of global sections. We describe a linear algebraic approach to computing these obstructions, which allows a systematic treatment of arguments for non-locality and contextuality. We distinguish a proper hierarchy of strengths of no-go theorems, and show that three leading examples --- due to Bell, Hardy, and Greenberger, Horne and Zeilinger, respectively --- occupy successively higher levels of this hierarchy. A general correspondence is shown between the existence of local hidden-variable realizations using negative probabilities, and no-signalling; this is based on a result showing that the linear subspaces generated by the non-contextual and no-signalling models, over an arbitrary measurement cover, coincide. Maximal non-locality is generalized to maximal contextuality, and characterized in purely qualitative terms, as the non-existence of global sections in the support. A general setting is developed for Kochen-Specker type results, as generic, model-independent proofs of maximal contextuality, and a new combinatorial condition is given, which generalizes the `parity proofs' commonly found in the literature. We also show how our abstract setting can be represented in quantum mechanics. This leads to a strengthening of the usual no-signalling theorem, which shows that quantum mechanics obeys no-signalling for arbitrary families of commuting observables, not just those represented on different factors of a tensor product.Comment: 33 pages. Extensively revised, new results included. Published in New Journal of Physic