We give model theoretic criteria for the existence of∃∀ and∀∃formulas in the ring language to define uniformly the valuation rings O of models (K,O) of an elementary theory Σ of henselian valued fields. As one of the applications we obtain the existence of an ∃∀-formula defining uniformly the valuation rings O of valued henselian fields (K,O) whose residue class field k is finite, pseudofinite,...

real coded genetic algorithm, rcga, is the type of ga which operates on chromosomes with real valued parameters. different mutation and crossover operations are defined for rcga. one usable crossover for this kind of ga is to consider its chromosomes simply as bit strings and utilize the same operations as binary coded ga. in this paper, we attempt to show that this kind of crossover can not ha...

use of the double ring infiltrometer to measure soil water infiltration in center pivot irrigation systems isn’t an accurate approach because the real conditions of infiltration under center pivot sprinklers is different from what happens in the double ring. in this study the infiltration parameters were evaluated in real conditions of a center pivot system. for this purpose a single ring with ...

The intuitionistic linguistic set (ILS) is an extension of linguisitc variable. To overcome the drawback of using single real number to represent membership degree and non-membership degree for ILS, the concept of interval-valued intuitionistic linguistic set (IVILS) is introduced through representing the membership degree and non-membership degree with intervals for ILS in this paper. The oper...