In the first section of this paper we show that iΠ1 ≡ W¬¬lΠ1. In the second section of the paper, we show that for equivalence of forcing and satisfaction of Πm-formulas in a linear Kripke model deciding ∆0-formulas, it is necessary and sufficient that the model be Σm-elementary. This implies that if a linear Kripke model forces PEMprenex, then it forces PEM . We also show that, for each n > 1,...

The objective of this study is to use a new style of waved flow channel instead of the plane surface channel in the proton exchange membrane fuel cell (PEMFC). The velocity, concentration, and electrical performance with the waved flow channel in PEMFC are investigated by numerical simulations. The results show that the waved channel arises when the transport benefits through the porous layer a...

The problem of undernutrition is rampant in many states of India as found by many researchers in past. In so called “BIMARU” states such as Madhya Pradesh, Jharkhand, and Bihar have very high rates of undernutrition. Moreover most studies also reveal variable prevalence’s of undernutrition in different states of India ranging from 35% to 60% [41.2% in Dehradun; 2 to 37% in Kerala the rates of u...

Fuel cell's system requires regulating circuit for voltage and current in order to control power in case of connecting to other generative devices or load. In this paper Fuel cell system and convertor, which is a multi-variable system, are controlled using sliding mode method. Use of weighting matrix in design procedure made it possible to regulate speed of control. Simulation results show the ...

Background: The spread of technology has influenced different aspects of human life, and teaching and learning are not exceptions. This study aimed to examine the potential contribution of the use of technology in teaching English language to medical students.   Methods: This qualitative-action research study was conducted in Birjand University of Medical Sciences (BUMS), with 60 medica...