We translate into the language of semi-group theory Bismut’s Calculus on boundary processes Bismut 1983 , Lèandre 1989 which gives regularity result on the heat kernel associated with fractional powers of degenerated Laplacian. We translate into the language of semi-group theory the marriage of Bismut 1983 between the Malliavin Calculus of Bismut type on the underlying diffusion process and the...

In the present paper a general theory of ionic adsorption of gases on semi-conductors is developed, with particular consideration for the combination of the types of semi-conductors and the signs of the electric charge on the adsorbed molecules. The results obtained agree qualitatively with experiments, but contradict predictions made by DOWDEN who in his theory does not take the space-charge l...

We survey both old and new developments in the theory of algorithms in real algebraic geometry – starting from effective quantifier elimination in the first order theory of reals due to Tarski and Seidenberg, to more recent algorithms for computing topological invariants of semi-algebraic sets. We emphasize throughout the complexity aspects of these algorithms and also discuss the computational...

In [6] S. Shelah showed that in the endomorphism semi-group of an infinitely generated algebra which is free in a variety one can interpret some set theory. It follows from his results that, for an algebra Fκ which is free of infinite rank κ in a variety of algebras in a language L, if κ" rLr, then the first-order theory of the endomorphism semi-group of Fκ, Th(End(Fκ)), syntactically interpret...

Flood simulation and forecasting in various types of watersheds is a hot issue in hydrology. Conceptual hydrological models have been widely applied to flood forecasting for decades. With the development of economy, modern China faces with severe flood disasters in all types of watersheds include humid, semi-humid semi-arid and arid watersheds. However, conceptual model-based flood forecasting ...

We identify a regime of the AdS/CFT correspondence in which we can quantitatively match N = 4 super Yang-Mills (SYM) for small ’t Hooft coupling with weakly coupled type IIB string theory on AdS5 × S. We approach this regime by taking the same decoupling limit on both sides of the correspondence. On the gauge theory side only the states in the SU(2) sector survive, and in the planar limit the H...

We identify a regime of the AdS/CFT correspondence in which we can quantitatively match N = 4 super Yang-Mills (SYM) for small ’t Hooft coupling with weakly coupled type IIB string theory on AdS5 × S. We approach this regime by taking the same decoupling limit on both sides of the correspondence. On the gauge theory side only the states in the SU(2) sector survive, and in the planar limit the H...

Although techniques for using formal speci cations have been progressing, methods for developing formal speci cations themselves have improved little. To alleviate this problem, we propose a parallel re nement approach to speci cation acquisition where the designer uses an object-oriented speci cation representation while an underlying speci cation composition system manipulates an equivalent t...