this study assessed domestic customers' attitude for website usability and attractiveness in iran petrochemical commercial company (ipcc) in business to business (b2b) market space . a three-phase conceptual scheme for website evaluation is examined based on constructs such as attractiveness, navigation and transaction. a website with aesthetics appeal can help initial attraction, communic...

We consider the problem of encoding Boolean cardinality constraints in conjunctive normal form (CNF). Boolean cardinality constraints are formulae expressing that at most (resp. at least) k out of n propositional variables or formulae are true. We present a unifying framework for a whole family of such encodings encompassing previously proposed solutions. We give two novel encodings that improv...

The wireless communications sector is a heavily regulated industry area where regulatory authorities have remarkably much power in defining the market dynamics. It has been widely debated which amount of regulatory measures are necessary without having too much distorting effect on healthily working free markets. However, regulation is usually reasoned merely by economic arguments, overlooking ...

In this paper it is argued that Hintikka’s game theoretical semantics for Independence Friendly logic does not formalize the intuitions about independent choices; it rather is a formalization of imperfect information. Furthermore it is shown that the logic has several strange properties (e.g. renaming of bound variables is not allowed). An alternative semantics is proposed which formalizes intu...