This paper studies the relationship between disjunctive form, a syntactic normal form for the modal μ calculus, and the alternation hierarchy. First it shows that all disjunctive formulas which have equivalent tableau have the same syntactic alternation depth. However, tableau equivalence only preserves alternation depth for the disjunctive fragment: there are disjunctive formulas with arbitrar...

We show a new remarkable connection between the symmetric form of a quantum stochastic differential equation (QSDE) and the strong resolvent limit of Schrödinger equations in Fock space: the strong resolvent limit is unitary equivalent to QSDE in the adapted (or Ito) form, and the weak limit is unitary equivalent to the symmetric (or Stratonovich) form of QSDE. We prove that QSDE is unitary equ...

abstract zinc (zn) is an essential plant nutrient. knowledge about distribution of zn between its different chemical forms is useful in understanding the chemistry of this element in soil and also in development of soil testing procedures. the present study was conducted to obtain such information about distribution of zinc forms in 20 soil samples of lorestan province by the use of a sequentia...

In this paper we show that an invariant solution for normal form games can be extended uniquely to an invariant solution for strategic form games. This result has Ž . the following consequence for the reduction of a normal form game. Suppose that Ž the pure strategies are removed that are payoff equivalent with some possibly . mixed strategy. Then, if one is concerned with an invariant solution...

We give necessary and sufficient geometric conditions for a distribution (or a Pfaffian system) to be locally equivalent to the canonical contact system on J(R, R). We study the geometry of that class of systems, in particular, the existence of corank one involutive subdistributions. We also distinguish regular points, at which the system is equivalent to the canonical contact system, and singu...

We present an efficient mechanism for finding equivalent ontologies motivated by the development of the Semantic Web search engine Watson. In principle, it computes a canonical form for the ontologies, which can then be compared syntactically to assess semantic equivalence. The advantage of using this method is that the canonical form can be indexed by the search engine, reducing the search for...