We introduce a software environment to support research and development in the area of both deterministic and non-deterministic reasoning. This environment REES (Reasoning Engine(s) Evaluation Shell) has a plug-in oriented architecture that promotes reuse of existing software components and allows for the comparison and evaluation of alternative technologies. The third release of the REES syste...

tons of oxides in 2003 [3]. However, this growing use of REEs is accompanied by enrichment to the environment [4]. Indeed, REE senter the groundwater and eventually migrate into rivers and lakes [5] and reach humans through trophic transfer [6, 7]. Despite their widespread applications, environmental risks related to REEs have received little attention which explains the paucity of data about t...

1. Bertina RM, Koeleman BP, Koster T, Rosendaal FR, Dirven RJ, De Ronde H, Van der Velden PA, Reitsma PH: Mutation in blood coagulation factor V associated with resistance to activated protein C. Nature 369:64, 1994 2. Poort SR, Rosendaal FR, Reitsma PH, Bertina RM: A common genetic variation in the 38-untranslated region of the prothrombin gene is associated with elevated plasma prothrombin le...

The Agh-Dareh and Zarshouran mines are two known active gold deposits in Takab, NW Iran. In the present study, the potentials of two species of Astragalus (A. microcephalus from Agh-Dareh and A. effusus from Zarshouran mines), as the dominant plants grown in these areas, were assessed for the bio-accumulation of the major, trace, and rare earth elements (REEs). The plant and soil samples were c...

The uptake of REEs was investigated using nano-zero valent iron (nZVI) and alumina-supported nZVI (AlnZVI). The results indicated fast uptake, with saturation approached within 10 min of contact between solutions and solids. Upon using nZVI, the uptake of REEs seemed to be quantitative over the studied range of concentration; 1.0–100.0 mg L . When Al-nZVI was used, complete removal was achieved...

We interpret the Artin–Rees lemma and the Izumi theorem in term of Artin function and we obtain a stable version of the Artin–Rees lemma. We present different applications of these interpretations. First we show that the Artin function of X1X2 −X3X4, as a polynomial in the ring of power series in more than three variables, is not bounded by an affine function. Then we prove that the Artin funct...