We prove the existence of an equilibrium in an economy with a measure space of agents and a separable Banach commodity space whose positive cone admits an interior point. We follow the truncation argument given at the end of Yannelis [Yannelis, N.C., 1987. Equilibria in noncooperative models of competition, J. Econ. Theory 41, 96–111] and the abstract economy approach as in Shafer [Shafer, W., ...

The findings presented in the article by Khan et al. (1) are very similar to findings that I and two colleagues reported more than 25 years ago (2). In that work, we also employed a flame-thermal treatment of Ti plates to prepare TiO2 films at different temperatures. We also demonstrated water splitting, but under sunlight rather than under artificial illumination. Whereas we reported an energy...

paragraph["In Xanada did Kubla Khan ..."] paragraph["And there did he ..."] ] section[title["Critical Overview ..." ] ] ...

uniparametric, non-parametric methods and ammi model (additive main effects and multiplicative interaction) were used to evaluate the yield stability of ten cotton cultivars at six regions of golestan and mazandaran provinces (baye kola, gharakheil, kalaleh, khan bebein, karkandeh, hashem abad) during two successive years ( 2005 & 2006). the experiment was conducted in randomized complete block...

The air traffic control (ATC) is safety, monetary and environmental critical system. Its failure may cause the loss of human life, severe injuries, loss of money and environmental issues. The complexity of such systems requires formal modeling and step by step design processes. In this paper we investigate the use of formal method VDM++ to specify and verify the arrival procedure of aircrafts. ...