We find the requirements on change of evolutionary stability of a mixed Nash equilibrium (NE) when a game changes its form from classical to quantum or conversely. We consider a quantized two players two strategies symmetric game. We find that an entangled state in a more general form is needed to affect evolutionary stability of a mixed NE than needed, with similar purpose, for a pure NE.

Mammary mixed tumours are the most frequent neoplasias in female dogs. In humans, mixed tumours are frequently found in the salivary glands and are known as pleomorphic adenomas. In addition to their histomorphologic similarities, mixed tumours and pleomorphic adenomas have the potential to become malignant and give rise to carcinomas in mixed tumours and carcinomas ex-pleomorphic adenoma, resp...

rice husk ash (rha) is natural pozzolan containing reactive silica and/or aluminum. when the material is mixed with lime in powdered form and in the presence of water, it will set and harden like cement. this work uses osadebe’s optimization model to optimize the shear modulus of concrete made from rha. the strengths predicted by the model are in good agreement with their corresponding experime...

here a posteriori error estimate for the numerical solution of nonlinear voltena- hammerstein equations is given. we present an error upper bound for nonlinear voltena-hammastein integral equations, in which the form of nonlinearity is algebraic and develop a posteriori error estimate for the recently proposed method of brunner for these problems (the implicitly linear collocation method).we al...

Modal logics have proven to be a very successful tool for reasoning about games. However, until now, although logics have been put forward for games in both normal form and games in extensive form, and for games with complete and incomplete information, the focus in the logic community has hitherto been on games with pure strategies. This paper is a first to widen the scope to logics for games ...

this paper studies the hybrid flow shop scheduling where the optimization criterion is the minimization of total tardiness. first, the problem is formulated as a mixed integer linear programming model. then, to solve large problem sizes, an artificial immune algorithm hybridized with a simple local search in form of simulated annealing is proposed. two experiments are carried out to evaluate th...

Edwards recently introduced a new normal form for elliptic curves. Every elliptic curve over a non-binary field is birationally equivalent to a curve in Edwards form over an extension of the field, and in many cases over the original field. This paper presents fast explicit formulas (and register allocations) for group operations on an Edwards curve. The algorithm for doubling uses only 3M+ 4S,...

In this thesis, we develop a mixed SAT solver for differencelogic (DL) to carry out bounded model checking for timed systems. We defineDL as an extension of propositional Boolean logic with difference constraintsof the form (x-y¡c). We present algorithms to convert formulae in this logic tothe mixed conjunctive normal form, which is appropriate for solving purposes.We examin...

A game in strategic form does not always have a Nash equilibrium in which each player deterministically chooses one of his strategies. However, players may instead randomly select from among these pure strategies with certain probabilities. Randomizing one’s own choice in this way is called a mixed strategy. A profile of mixed strategies is called a mixed equilibrium if no player can gain on av...