Altaf Hussain

Learn More
Fasciolosis is an economically important disease for livestock, as well as being zoonotic. Recent figures on the prevalence of this disease have caused alarm concerning its potential for an increased prevalence in the future. The prevalence of fascioliosis has been documented from different regions of the world, helping us identify areas where future(More)
3-valued models have been advocated as a means of system abstraction such that verifications and refutations of temporal-logic properties transfer from abstract models to the systems they represent. Some application domains, however, require multiple models of a concrete or virtual system. We build the mathematical foundations for 3-valued property(More)
In order to locate mates, food, and oviposition sites, insects mainly rely on volatile cues released by their sexual partners, food sources, and host and non-host plants. Calling, mating, and oviposition behaviors, as well as fecundity and longevity, of newly emerged Spodoptera littoralis (Bois.) moths were recorded in the presence of volatiles from leaves(More)
Solid dispersions of artemether and polyethylene glycol 6000 (PEG6000) were prepared in ratio 12 : 88 (group-1). Self-emulsified solid dispersions of artemether were prepared by using polyethylene glycol 6000, Cremophor-A25, olive oil, Transcutol, and hydroxypropyl methylcellulose (HPMC) in ratio 12 : 75 : 5 : 4 : 2 : 2, respectively (group-2). In third(More)
We consider a modal language for affine planes, with two sorts of formulas (for points and lines) and three modal boxes. To evaluate formulas, we regard an affine plane as a Kripke frame with two sorts (points and lines) and three modal accessibility relations, namely the point-line and line-point incidence relations and the parallelism relation between(More)