the aim of this work is to describe the qualitative behavior of the solution set of a givensystem of fractional differential equations and limiting behavior of the dynamical system or flow defined by the system of fractional differential equations. in order to achieve this goal, it is first necessary to develop the local theory for fractional nonlinear systems. this is done by the extension of ...

We give new proofs of some well-known results from Invariant Theorey using the Kempf-Ness theorem.

Higher-order process calculi have been receiving much attention in recent years for its significance in both theorey and practice. Work on bisimulations has never ceased evolving, typically represented by Thomsen and Sangiorgi for their work on bisimulation theory and encoding to and from first-order process calculi. Fu puts forth linear higher-order π-calculus, and makes improvement to previou...

This paper and its companion paper, Board & Chung [3], provide foundations for applied models of unawareness as seen in Tirole [24] and Chung & Fortnow [5]. In this paper, we provided a set-theoretic description of a general class of unawareness models called object-based unawareness structures, and present two applications. The first application provide a justification for the contra proferent...

The aim of this work is to describe the qualitative behavior of the solution set of a given system of fractional differential equations and limiting behavior of the dynamical system or flow defined by the system of fractional differential equations. In order to achieve this goal, it is first necessary to develop the local theory for fractional nonlinear systems. This is done by the extension of...

the main purpose of this study was to investigate of economic impacts of soleimanshah dam on rural development in regions that are under influence of irrigation and drainage network of dam. in this research quantitative-qualitative research method was used and information gathered with questionnaire, interview, and direct observation. statistical population of research in qualitative part consi...

Qualitative spatial and temporal reasoning problems are usually expressed in terms of constraint satisfaction problems, with determining consistency as the main reasoning problem. Because of the high complexity of determining consistency, several notions of local consistency, such as path-consistency, k-consistency and corresponding algorithms have been introduced in the constraint community an...