The system AProVE (Automated Program Verification Environment) can be used for automated termination and innermost termination proofs of (conditional) term rewrite systems (TRSs). AProVE currently offers the techniques of recursive path orders possibly with status [3] (Sect. 2), dependency pairs including recent refinements such as narrowing, rewriting, and instantiation of dependency pairs [1,...

This study carried out for determination and discrimination of intraspecific diversity of Astragalus verus and Astragalus glaucops by Eco-phytosociological method from west of Iran. In this order, application of Endogenous milieu (special station) for data collecting and then their analyzing permit us only determine existence of inter and intraspecific diversity. Then for determinating kind and...

Radix Astragali has been an important traditional Chinese herbal medicine for over 2000 years. It is derived from two plant species, namely, Astragalus mongholicus [Astragalus membranaceus (Fisch.) Bge. var. mongholicus (Bge.) Hsiao] and Astragalus membranaceus [Astragalus membranaceus (Fisch.) Bge.] (Leguminosae), according to the Pharmacopoeia of the People’s Republic of China. In this study,...

The paper attempts to rationalize cooperation in the one-shot prisoners’ dilemma (PD). It starts by introducing (and preliminarily investigating) a new kind of equilibrium (differing from Aumann’s correlated equilibria) according to which the players’ actions may be correlated (sect. 2). In PD the Pareto-optimal among these equilibria is joint cooperation. Since these equilibria seem to contrad...

Petunia hybrida Vilm. ‘PxPc6’ 2.85 Marie and Brown (1993) Pisum sativum L. ‘Ctirad’ 9.08 Doležel et al. (1998) Pisum sativum L. ‘Express Long’ 8.37 Marie and Brown (1993) Pisum sativum L. ‘Minerva Maple’ 9.72 Bennett and Smith (1991) Raphanus sativus L. ‘Saxa’ 1.10 Doležel et al. (1992) Salvia brachyodon Vandas 0.95 Siljak-Yakovlev et al. (2010) Secale cereale L. ‘Daňkovské’ 16.18 Doležel et al...

The name Carex poeppigii (sect. Echinochlaenae) is validated and a new combination in South American Carex, C. vixdentata (sect. Spirostachyae), is made here. Also, the taxonomic status of C. aueri is discussed, and this name is placed in the synonymy of C. reichei (sect. Arenariae).

The paper attempts to rationalize cooperation in the one-shot prisoners’ dilemma (PD). It starts by introducing (and preliminarily investigating) a new kind of equilibrium (differing from Aumann’s correlated equilibria) according to which the players’ actions may be correlated (sect. 2). In PD the Pareto-optimal among these equilibria is joint cooperation. Since these equilibria seem to contrad...

chemodiversity in plants provides sources of great value which might be helpful for finding new leads in drug discovery programs. fabaceae as the third largest family of flowering plants was chosen to investigate its possible antifungal activity. in order to increase the effectiveness of the result, molecular similarity methods and chemical data were used. twelve plants were selected from fabac...