Agents often interact strategically to meet conditions involving their own or other agents’ knowledge. This interaction can be modeled using a new method of game construction, knowledge condition games, introduced in this paper. Knowledge condition games are games in which a coalition of agents chooses its strategy in an extensive game form such that an epistemic logic condition is fulfilled. I...

We derive a new generalized imaging condition based on time shifts between source and receiver wavefields. This imaging condition contrasts with other imaging techniques requiring space shifts between the two wavefields. This imaging condition is applicable to both Kirchhoff and wave-equation migrations. The transformation allows us to generate common-image gathers presented as function of eith...

In this paper we first compare Parikh’s condition to various pumping conditions Bar-Hillel’s pumping lemma, Ogden’s condition and Bader-Moura’s condition; secondly, to interchange condition; and finally, to Sokolowski’s and Grant’s conditions. In order to carry out these comparisons we present some properties of Parikh’s languages. The main result is the orthogonality of the previously mentione...

denote its Euclidean operator norm (often called the 2-norm). If  is nonsingular, then its condition number () is defined by () = kk°°−1°° = 1() () where 1 ≥ 1 ≥    ≥  ≥ 0 are the singular values of . The s constitute lengths of the semi-axes of the hyperellipsoid  = { : kk = 1} in -dimensional space; thus  measures elongation of  at its extreme [1]. The role that  ...

This paper investigates the effect of structure-preserving perturbations on the eigenvalues of linearly and nonlinearly structured eigenvalue problems. Particular attention is paid to structures that form Jordan algebras, Lie algebras, and automorphism groups of a scalar product. Bounds and computable expressions for structured eigenvalue condition numbers are derived for these classes of matri...

History.?In October 1910, the patient, Sepoy T. K., 27th Punjabis, showed me some pigmented spots on iiis face, hands and left leg. They first appeared in March, 1U0S, when the patient was living in Jhandola. He believed that quinine, which he was taking prophylactically at that time, caused their appearance. No fresh spots have appeared since then, but some of the original areas have increased...

We present a technique for automatically generatingcommutativity conditions from (abstract-level) data-structurespecifications. We observe that one can pose the commutativityquestion in a way that does not introduce additional quantifiers,via a mechanized lifting of a (potentially partial) specificationto an equivalent total specification. We then describe an al-gorithm ...

Conditional Asian options are recent market innovations, which offer cheaper and longdated alternatives to regular Asian options. In contrast with payoffs from regular Asian options which are based on average asset prices, the payoffs from conditional Asian options are determined only by average prices above certain threshold. Due to the limited inclusion of prices, conditional Asian options fu...

Lipedema is a condition characterized by swelling and enlargement of the lower limbs due to abnormal deposition of subcutaneous fat. Lipedema is an under-recognized condition, often misdiagnosed as lymphedema or dismissed as simple obesity. We present a series of pedigrees and propose that lipedema is a genetic condition with either X-linked dominant inheritance or more likely, autosomal domina...