today we are facing with a turbulent world full of complexity and change. contemporary problems are too complicated for rational, logical solutions. they admit insights, not answers. chaos theory is a solution to reveal insights into the structure and the dynamics of complex systems. chaos theory is in formative stage, but we can use it in management practices. this article is about application...

We consider a general notion of timed automata with inputdetermined guards and show that they admit a robust logical framework along the lines of [6], in terms of a monadic second order logic characterisation and an expressively complete timed temporal logic. We then generalise these automata using the notion of recursive operators introduced by Henzinger, Raskin, and Schobbens [9], and show th...

In [4], the authors proved the uniqueness among the solutions which admit every exponential moments. In this paper, we prove that uniqueness holds among solutions which admit some given exponential moments. These exponential moments are natural as they are given by the existence theorem. Thanks to this uniqueness result we can strengthen the nonlinear Feynman-Kac formula proved in [4].

In [4], the authors proved the uniqueness among the solutions which admit every exponential moments. In this paper, we prove that uniqueness holds among solutions which admit some given exponential moments. These exponential moments are natural as they are given by the existence theorem. Thanks to this uniqueness result we can strengthen the nonlinear Feynman-Kac formula proved in [4].

HyLL (Hybrid Linear Logic) and SELL (Subexponential Linear Logic) are logical frameworks that have been extensively used for specifying systems that exhibit modalities such as temporal or spatial ones. Both frameworks have linear logic (LL) as a common ground and they admit (cut-free) complete focused proof systems. The difference relies on the way modalities are handled. In HyLL, truth judgmen...

HyLL (Hybrid Linear Logic) and SELL (Subexponential Linear Logic) are logical frameworks that have been extensively used for specifying systems that exhibit modalities such as temporal or spatial ones. Both frameworks have linear logic (LL) as a common ground and they admit (cut-free) complete focused proof systems. The difference between the two logics relies on the way modalities are handled....

We construct the Killing spinors for a class of supersymmetric solutions of type IIB supergravity that are invariant under the non-relativistic Schrödinger algebra. The solutions depend on a five-dimensional SasakiEinstein space and it has been shown that they admit two Killing spinors. Here we will show that, for generic Sasaki-Einstein space, there are special subclasses of solutions which ad...

Logical gates studied in quantum computation suggest a natural logical abstraction that gives rise to a new form of unsharp quantum logic. We study the logical connectives corresponding to the following gates: the Toffoli gate, the NOT and the √ NOT (which admit of natural physical models). This leads to a semantic characterization of a logic that we call computational quantum logic (CQL).

By assuming a particular mass function we find new exact solutions to the Einstein field equations with an anisotropic matter distribution. The solutions are shown to be relevant for the description of compact stars. A distinguishing feature of this class of solutions is that they admit a linear equation of state which can be applied to strange stars with quark matter.