We study the complexity and the efficient approximability of graph and satisfiability problems when specified using various kinds of periodic specifications studied in [Or82a, HT95, Wa93, HW94, Wa93, MH+94]. We obtain two general results. First, we characterize the complexities of several basic generalized CNF satisfiability problems SAT(S) [Sc78], when instances are specified using various kin...

UNLABELLED Lasers and aesthetic procedures have transformed dermatology practice. They have aided in the treatment of hitherto untreatable conditions and allowed better financial remuneration to the physician. The availability of a variety of laser devices of different makes, specifications and pricing has lead to confusion and dilemma in the mind of the buying physician. There are presently no...

Refinement-oriented development starts with the requirements of the procuring organization. These requirements are typically a mixture of informal and semiformal notations that reflect the needs of the organization. To provide the basis for a clear contract, the requirements must be formalized into specifications that both the procuring organization (the buyer) and the developer (the seller) ca...

in spite of different ideas of islamic jurists, in iranian law, in article 184 of civil law, the suspended contract has been accepted and only exceptionally, this contract is null. in the french law and some of the islamic countries, there are two kinds or suspensions: suspension of formation of contract and suspension of dissolution of contract. in the civil law of these countries, the event t...