Game theory is concerned with optimization problems involving several players with conicting interests. Di erential games are an interesting area inside this eld in which the problem is formulated by means of dynamical systems. In spite that the theoretical solution of di erential games is well known, faced with large-scale, complex systems, analytical or, even, numerical methods are not usuall...

The theory of fractional calculus goes back to the beginning of the theory of di erential calculus but its inherent complexity postponed the application of the associated concepts. In the last decade the progress in the areas of chaos and fractals revealed subtle relationships with the fractional calculus leading to an increasing interest in the development of the new paradigm. In the area of a...

The derivative of an ideal in a number ring is defined and the relation between the ideal derivative and the arithmetic derivative of a number in Z is discussed. Some simple ideal di↵erential equations are also studied. Further, the definition of the ideal derivative is extended to the derivative of a fractional ideal in a number ring. Again, the relation between the fractional ideal derivative...

The di erential geometry of autoregressive fractionally integrated moving average processes is developed. Properties of Toeplitz forms associated with the spectral density functions of these long memory processes are used to compute the geometric quantities. The role of these geometric quantities on the asymptotic bias of the maximum likelihood estimates of the model parameters and on the Bartl...

Our goal in this paper is to use combined Laplace transform (CLT) and Adomian decomposition method(ADM) (that will be explained section 3), study approximate solutions for non-linear time-fractionalBurger's equation, fractional Burger's Kdv equation the modi?ed theCaputo Conformable derivatives. Comparison between two exact solution made.Here we report that method (LTDM) proved e?cient beused o...

We propose a new method for evaluating the security of block ciphers against di erential cryptanalysis and propose new structures for block ciphers. To this end, we de ne the word-wise Markov (Feistel) cipher and random output-di erential (Feistel) cipher and clarify the relations among the di erential, the truncated di erential and the impossible di erential cryptanalyses of the random output-...

Re nement Calculus is a formal framework for the development of provably correct software. It is also used in the development of Action Systems, which is a predicate transformer based framework for constructing distributed and reactive software systems. Recently, Action Systems were extended with a new action called the di erential action. It allows the modelling of continuous behaviour. Along ...

In this paper we describe an experimental system called d dt for approximating reachable states for hybrid systems whose con tinuous dynamics is de ned by linear di erential equations We use an approximation algorithm whose accumulation of errors during the con tinuous evolution is much smaller than in previously used methods The d dt system can so far treat non trivial continuous systems hybri...

We de ne a discrete (integer-valued) Lyapunov function V for cyclic nearest neighbor systems of di erential delay equations possessing a feedback condition. This extends analogous de nitions for cyclic systems of ODE's, and for scalar di erential delay equations. We relate the values of V to the real parts of the Floquet multipliers for such linear periodic systems, and thereby prove all Floque...

Re nement Calculus is a formal framework for the development of provably correct software It is also used in the development of Action Systems which is a predicate transformer based framework for constructing distributed and reactive software systems Recently Action Systems were extended with a new action called the di erential action It allows the modelling of con tinuous behaviour Along with ...