b ackground: mediterranean type of visceral leishmaniasis (vl) is present in different parts of iran. several studies have identified dogs as the main reservoirs of the vl caused by leishmania infantum in iran and other mediterranean regions. this study aimed to determine the seroprevalence of canine visceral leishmaniasis as animal reservoir host for human visceral leishmaniasis in boyer ahmad...

We use an example to compare the Boyer-Moore Theorem Prover and the Nuprl Proof Development System. The respective machine veriications of a version of Ramsey's theorem illustrate similarities and diierences between the two systems. The proofs are compared using both quantitative and non-quantitative measures, and we examine diiculties in making such comparisons.

This paper examines the validity of the no scalar hair theorem for charged axially symmetric stationary black hole in four dimension for a very wide class of scalar ten-sor theory, both minimally and nonminimally coupled.The solutions are expressed in Boyer Lindquist form and the scalar field becomes trivial for the existence of a well defined horizon.