The strong completeness of medium logic system is discussed. The following results are proved: medium propositional logic system MP and its extension MP * are s
The relationship between options and agency costs in levered firms is studied by modeling the effect of executive stock options on the managers investment str
Using the method of separation of variables in the elliptical coordinate system, a recursive formula for the electromagnetic fields in a confocal elliptical wav
Mining frequent pattern in transaction database, time-series databases, and many other kinds of databases have been studied popularly in data mining research. M
It is proven that there exists a Dedekind complete Banach lattice E such that the linear spans Kr (E) and Wr (E) of positive compact and positive weakly compact
A new parallel algorithm is proposed for the knapsack problem where the method of divide and conquer is adopted. Based on an EREW-SIMD machine with shared memor