the facet of knapsack ploytope, i.e. convex hull of 0-1 points satisfying a given linear inequality has been presented in this current paper. such type of facets plays an important role in set covering set partitioning, matroidal-intersection vertex- packing, generalized assignment and other combinatorial problems. strong covers for facets of knapsack ploytope has been developed in the first pa...

The development of the Cyprus Stock Exchange together with the increasing trend of investors’ presence in financing activities has led to the importance of this market. In such circumstances, the first step towards a sustainable development of the Exchange is to support the investors. Risk of bankruptcy for the investee is a major challenge that an inexperienced stock investor encounters. In th...

This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared variables. However, some universal properties do not appear directly in components specifications and they must be constructed to prove the composed system. Coming up with such universal properties often requires creativity. Th...