Given a model M and a temporal logic formula φ[?], where ? is a placeholder, the query checking problem, as defined for the case of CTL by Chan in 2000, is to find the strongest propositional formula f such that M |= φ[? ← f ]. The motivation for solving this problem is, among other things, to get insight on the model. We consider various objectives to the LTL query-checking problem, and study ...

objective(s): to study the effect of cardiopulmonary bypass (cpb) on nuclear factor-kappa b (nf-кb) and cytokine expression and pulmonary function in dogs. materials and methods: twelve male mongrel dogs were divided into a methylprednisolone group (group m) and a control group (group c). all animals underwent aortic and right atrial catheterization under general anesthesia. changes in pulmonar...

Oncostatin M (OM) is structurally and functionally related to a subclass of hematopoietic cytokines including leukemia-inhibitory factor (LIF), ciliary neurotrophic factor (CNTF), granulocyte colony-stimulating factor (G-CSF), and interleukin-6 (IL-6). Using human endothelial cells (HEC) as a model for cytokine regulation of hematopoietic growth factor expression, we tested OM as an inducer of ...

Waiting in long queue is undesirable due to which in some practical situations customers become impatient and leave the system. In such cases providing additional servers can reduce long queue. This investigation deals with multi-server queueing system with additional servers and discouragement. The customers arrive in poisson fashion and are served exponentially by a pool of permanent and addi...

Introduction Conjugation between two haploid yeast cells is generally controlled by the reciprocal action of diffusible mating factors, cells of each mating type releasing peptide pheromones that induce mating-specific changes in cells of the opposite type. The pheromones bind to specific receptors at the surface of their target cell and binding initiates a series of intracellular events that l...