Altaf Hussain

Learn More
We study consistency, satisfiability, and validity problems for collectively model checking a set of views endowed with labelled transitions , hybrid constraints on states, and atomic propositions. A PTIME algorithm for deciding whether a set of views has a common refinement (consistency) is given. We prove that deciding whether a common refinement(More)
A heterogeneous computing system (HCS) efficiently utilizes the heterogeneity of diverse computational resources interconnected with high speed networks to execute a group of compute intensive tasks. These are typically represented by means of a directed acyclic graph (DAG) with varied computational requirements and constraints. The optimal scheduling of(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)
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)
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)
Taking our inspiration from van Benthem's treatment of temporal interval structures, and Halpern and Shoham's work on intervals, we introduce an interval hybrid temporal logic with two binary relations, precedence and inclusion, for talking about interval temporal structures. This paper can be seen as an continuation of the work began in an earlier paper,(More)
Recently, iron oxide nanoparticles (NPs) have attracted much consideration due to their unique properties, such as superparamagnetism, surface-to-volume ratio, greater surface area, and easy separation methodology. Various physical, chemical, and biological methods have been adopted to synthesize magnetic NPs with suitable surface chemistry. This review(More)
In Artificial Intelligence there is a need for reasoning about continuous processes, where assertions refer to time intervals rather than time points. Taking our lead from van Benthem's treatment of interval temporal structures and Halpern and Shoham's work on intervals, we present a interval temporal logic with two binary relations, precedence and(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)