Previous studies in the issue of inventory models with imperfect quality assumed the defectives could be sold in a batch by the end of the inspection process and the manufacturing systems were push systems. However, the above assumptions may not be true in the pull system in which buyer is powerful. Therefore, in this paper, we develop a new inventory model for items with imperfect quality and ...

1. Some philosophical problems are decidedly esoteric. It might be thought that certain counterexamples Larry Temkin and Stuart Rachels have offered to the transitivity of the better-than relation are prime instances. For the most compelling of these putative counterexamples rely on our evaluative judgments concerning the quality of hypothetical lives that last an incredibly long time. And if t...

High-density lipoprotein (HDL) particles are characterized by their heterogeneity in composition, structure, and biological properties. In addition to the major structural protein apolipoprotein A1, HDL proteomes and lipidomes show great diversity. Such constituents presumably carry out the multitude of HDL functions, for example, reverse cholesterol transport, antioxidant, anti-inflammatory, a...

High-density lipoprotein (HDL) particles are characterized by their heterogeneity in composition, structure, and biological properties. In addition to the major structural protein apolipoprotein A1, HDL proteomes and lipidomes show great diversity. Such constituents presumably carry out the multitude of HDL functions, for example, reverse cholesterol transport, antioxidant, anti-inflammatory, a...

In temporal-logic model checking, we verify the correctness of a program with respect to a desired behavior by checking whether a structure that models the program satis es a temporal-logic formula that speci es the behavior. The model-checking problem for the branching-time temporal logic CTL can be solved in linear running time, and model-checking tools for CTL are used successfully in indust...