This theory contains a formalization of decreasing diagrams showing that any locally decreasing abstract rewrite system is confluent. We consider the valley (van Oostrom, TCS 1994) and the conversion version (van Oostrom, RTA 2008) and closely follow the original proofs. As an application we prove Newman’s lemma. A description of this formalization is available in [3].

In this article, a numerical investigation of magnetohydrodynamic non-Newtonian nanofluid flow on a stretching sheet through an isotropic porous medium. The effects of both non-linear thermal radiation and heat generation/absorption were studied on distributions of velocity, temperature and concentration. On the other side, the governing partial differential equations have been transformed by u...

Background: Polycystic Ovary Syndrome (PCOS) as other chronic diseases causes dependence and decreasing body control. It also causes unworthy unsafely, negative suggestions and decreasing of Self-confidence. The aim of this comparative study was comparing Selfconfidence in woman with and without PCOS according to their ages. Materials and Methods: This comparative study conducted between 100 wo...