The existence of an inverse limit of inverse system of measure spaces - a purely measurable case

The existence of an inverse limit of an inverse system of (probability) measure spaces has been investigated since the very beginning of the birth of the modern probability theory. Results from Kolmogorov [10], Bochner [2], Choksi [5], Metivier [14], Bourbaki [3] among others have paved the way of the deep understanding of the problem under consideration. All the above results, however, call for some topological concepts, or at least ones which are closely related topological ones. In this paper we investigate purely measurable inverse systems of (probability) measure spaces, and give a sucient condition for the existence of a unique inverse limit. An example for the considered purely measurable inverse systems of (probability) measure spaces is also given

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

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

Challenges of open innovation: the paradox of firm investment in open-source software

Open innovation is a powerful framework encompassing the generation, capture, and employment of intellectual property at the firm level. We identify three fundamental challenges for firms in applying the concept of open innovation: finding creative ways to exploit internal innovation, incorporating external innovation into internal development, and motivating outsiders to supply an ongoing stream of external innovations. This latter challenge involves a paradox, why would firms spend money on R&D efforts if the results of these efforts are available to rival firms? To explore these challenges, we examine the activity of firms in opensource software to support their innovation strategies. Firms involved in open-source software often make investments that will be shared with real and potential rivals. We identify four strategies firms employ – pooled R&D/product development, spinouts, selling complements and attracting donated complements – and discuss how they address the three key challenges of open innovation. We conclude with suggestions for how similar strategies may apply in other industries and offer some possible avenues for future research on open innovation

Deconfinement and the Hagedorn Transition in String Theory

Superseded and extended in hep-th/0105110 and hep-th/0208112.Comment: Superseded and extended in hep-th/0105110 and hep-th/020811

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

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

Promoting SME cooperative aggregations: main criteria and contractual models

Collaboration is considered an effective solution to improve business strategies. However, small and medium enterprises (SMEs) often lack common principles and common forms of contractual coordination. Several policies implemented by the EU have addressed the set-up of a comprehensive SME policy framework, but European institutions seem to have focused more on organisational devices to conduct business activities rather than on contractual forms of coordination. In April 2009, Italy adopted a law in network contract to promote the development of inter-firm cooperation strategies to foster enterprises' innovation and growth. Even if this law represents a novelty in Europe and may offer new challenges and hints, it still presents some lacks in its formulation. The current research aims at presenting the Italian law for network contract and a comparison with other models of SME aggregations adopted in EU countries. A formal model to support the design of an SME network was proposed, by providing both an ontology-based model to help the definition of the contract in a structured way, and a basic workflow to identify the important phases of the network design, i.e. the feasibility study and the negotiatio