1.

A notion of dependent coercion is introduced and studied in the context of dependent type theories. It extends our earlier work on coercive subtyping into a uniform framework which increases the expressive power with new applications. A dependent coercion introduces a subtyping relation between a type and a family of types in that an object of the type is mapped into one of the types in the fam...

The hypotensive effect of garlic has been well-documented in human subjects and animals. Since endothelial activity regulates vascular reactivity in physiological and pathophysiological conditions, the aim of the present study was to investigate the effect of garlic on endothelium-dependent and independent relaxation of rat aorta for elucidation of mechanism of the garlic anti-hypertensive effe...

In this paper, we investigate the population dynamics of phytoplankton–zooplankton–nanoparticle model with diffusion and density dependent death rate predator. The functional response predator in is considered as Beddington–DeAngelis type. stability analysis equilibrium points observed by applying Routh–Hurwitz criterion. Numerical simulations are given to illustrate theoretical results.

Batrachochytrium dendrobatidis is responsible for amphibian declines worldwide. Decreasing the aquatic density of this chytrid through consumption its infectious zoospores by Cladocera (water fleas) may mitigate impact chytridiomycosis. Understanding predator-prey relationship requires insights in zoospore ingestion rate an average water flea, but such data are almost non-existent. We investiga...