the soul in immaterial for descartes, because it’s inherent attribute; i.e. thought is immaterial. moreover, it is independent from body and matter and has no extend. in his view, the soul from the beginning has been immaterial, while mulla-sadra recognizes it as a corporeal object at the beginning, in generation, and immaterial afterward and survivance. mulla-sadra demonstrates that, soul need...

Tuberculosis is a global threat to human existence. A model investigate the transmission of tuberculosis was constructed and analysed. The threshold quantity ( R_0) that predicts existence or extinction disease in population computed. It found local stability asymptotically stable when basic reproduction number less than unity at disease-free – equilibrium point. Lyapunov function order analyse...

We solve the problem of computing the residual reliability (the RES problem) for all classes of P-threshold graphs for which efficient structural characterizations based on decomposition to indecomposable components have been established. In particular, we give a constructive proof of existence of linear algorithms for computing residual reliability of pseudodomishold, domishold, matrogenic and...

Using language of dg PROPs we give a new short proof of existence of star products on (formal) germs of Poisson manifolds.

amr bayn al-amrayn (principle of middle position) is amongst the fundamentals of the shī‘ī intellectual doctrines. it is attempted in this paper to demonstrate the genuineness and integrity of the theory of amr bayn al amrayn according to the principle of unity of divine acts and autonomous creatorship of god, the original principle of causality as well as the principle of analogical gradation ...

Using language of dg PROPs we give a new proof of existence of star products on (formal) germs of Poisson manifolds.

We provide cubature formulas for the calculation of derivatives of expected values in the spririt of Terry Lyons and Nicolas Victoir. In financial mathematics derivatives of option prices with respect to initial values, so called Greeks, are of particular importance as hedging parameters. The proof of existence of Cubature formulas for Greeks is based on an argument, which leads to the calculat...

In 1984, Raoult proposed a formalization of graph rewritings using pushouts in the category of graphs and partial functions. This note generalizes his method and formulates algebraic graph structure to introduce a more general framework for graph rewritings and to give a simple proof of existence theorem of pushouts using relational calculus.