Bileaflet mechanical heart valves (BMHV) create unphysiological turbulent flow. Such flow involves multiple instability mechanisms interacting with one another in a confined geometry. For instance, an impinging leading-edge vortex (ILEV) creates disturbances at the leading edge of valve leaflets, while potentially promoting turbulence downstream BMHV (Zolfaghari and Obrist, Phys. Rev. Fluids , ...

In this paper, we consider a multi-server queuing system in which additional servers are allowed for a longer queue to reduce the customer’s balking and reneging behavior. The customers are assumed to arrive in Poisson fashion and their service- times follow exponential distribution. The number of servers in long run depends on the queue-length. We obtain equilibrium queue size distribution. Th...

CYP2C22 was recently described as a retinoic acid–metabolizing cytochrome P450 enzyme whose transcription is induced by alltrans-retinoic acid (atRA) in hepatoma cells (Qian L, Zolfaghari R, and Ross AC (2010) J Lipid Res 51:1781–1792). We identified CYP2C22 as a putative nitric oxide (NO)–regulated protein in a proteomic screen and raised specific polyclonal antibodies to CYP2C22 to study its ...

Simulation is defined as the imitation of the operation of a system or real-world process over time, and in many cases, manufacturing provides one of the most important applications of simulation (Zolfaghari and Roa, 2006). Standard interfaces could make information effective sharing, and hence promote the utilization of simulators. An information model (McLean et al., 2005), which represents m...

The object of the investigation is to study reducible $M$-ideals in Banach spaces. It is shown that if the number of $M$-ideals in a Banach space $X$ is $n(<infty)$, then the number of reducible $M$-ideals does not exceed of $frac{(n-2)(n-3)}{2}$. Moreover, given a compact metric space $X$, we obtain a general form of a reducible $M$-ideal in the space $C(X)$ of continuous functions on $X$. The...

CYP2C22 was recently described as a retinoic acid-metabolizing cytochrome P450 enzyme whose transcription is induced by all-trans-retinoic acid (atRA) in hepatoma cells (Qian L, Zolfaghari R, and Ross AC (2010) J Lipid Res 51:1781-1792). We identified CYP2C22 as a putative nitric oxide (NO)-regulated protein in a proteomic screen and raised specific polyclonal antibodies to CYP2C22 to study its...

Simulation is defined as the imitation of the operation of a system or real-world process over time, and in many cases, manufacturing provides one of the most important applications of simulation (Zolfaghari and Roa, 2006). Standard interfaces could make information sharing effective, and hence promote the utilization of simulators. An information model (McLean et al., 2005), which represents m...

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 ...