CSPE is a specification language for runtime monitors that can directly express concurrency in a bottom-up manner that composes the system from simpler, interacting components. It includes constructs to explicitly flag failures to the monitor, which unlike deadlocks and livelocks in conventional process algebras, propagate globally and aborts the whole system’s execution. Although CSPE has a tr...

The past five years have witnessed an explosion of interest in the use of cooperation logics for reasoning about multi-agent systems. Since the development of ATL, there are many multi-agent cooperation logics developed as an extension to ATL. The cooperation logic called the Normative Alternating-time Temporal Epistemic Logic(NATEL) is developed to extend ATL. Four key contributions have been ...

The technique of generating new solutions to 4D gravity/matter systems by dimensional reduction to a σ-model is extended to supersymmetric configurations of supergravity. The conditions required for the preservation of supersymmetry under isometry transformations in the σ-model target space are found. Some examples illustrating the technique are given. e-mail: [email protected] e-mail: parviz@ph...

The results of a comparative analysis the everyday semantics bionym Orel and Ezir [Eagle] in Russian Tuvan languages are presented. relevance study is determined by its incorporation into problems modern ethnoconceptology that part it associated with description different ethnic groups. scientific novelty due to use methodological techniques allow us trace participation layers conceptualization...

We isolated and characterized the eagle gene, encoding a member of the steroid receptor superfamily in Drosophila. In the central nervous system eagle RNA was expressed in a limited number of cells. During stages 10 and 11, eagle RNA expression was observed in four neuroblasts, NB2-4, NB3-3, NB6-4 and NB7-3. Except for NB6-4, eagle RNA expression reached a maximum at the very beginning of expre...

The question of the stability of the four dimensional Gross-Perry-Sorkin Kaluza-Klein magnetic monopole solution is investigated within the framework of a N=2, D=5 supergravity theory. We show that this solution does not support a spin structure of the Killing type and is therefore, contrary to previous expectations, not necessarily stable. OSLO-TP 3-97, USITP 97-01 ∗e-mail address: bjensen@bos...

43 Solidified floating organic drop micro-extraction (SFODME) for simultaneous separation/pre-concentration and determination of cadmium by atomic absorption spectroscopy R. Parviz, M. Honari Department of Chemistry, Faculty of Science, Islamic Azad University Shahr-E-Rey Branch, Shahr-E-Rey, Iran Department of Plant Breading and Biotechnology, Agriculture and Natural Resources Faculty, Tehran ...