the objective of this article is to develop an empirically based framework for formulating and selecting a vendor in supply chain. this study applies the fuzzy set theory to evaluate the vendor selection decision. applying analytic hierarchy process (ahp) in obtaining criteria weights and applied technique for order performance by similarity to idea solution (topsis) for obtaining final ranking...

The study discusses the advantages of adopting hybrid workplace model by organizations. is based upon survey conducted on IT organizations in India. From survey, it was found that employees perceive more work-life balance, creativity, better well-being from working remotely. remote also contributes to physical and mental health employees. Also, observed most were favor as compared traditional m...

Any model checker is limited by the time needed to determine the set of reachable states. We propose a hybrid model checker that successfully combines two approximation methods for fast and robust reachability analysis. Experiments on both sequential equivalence problems and safety property verification problems illustrate a speedup over previous SATbased unbounded verification methods.