نتایج جستجو برای: two variable
تعداد نتایج: 2624824 فیلتر نتایج به سال:
this research study aimed to investigate the relationship between field-dependence/independence cognitive style and vocabulary learning strategies among iranian efl learners. ninety participants majoring in english translation at arak university were chosen. the participants were classified into two groups of field-dependent and independent based on the results of group embedded figure test (ge...
Extensions of the two variable fragment of FO (henceforth denoted as FO) with interpreted predicates have been of interest recently in the context of verification of infinite state systems and semi-structured data (in particular XML). We briefly discuss one specific problem, namely FO over datawords. Datawords are linear orders (denoted by ≺ where ≺ denotes the successor relation) labelled by a...
The finite satisfiability problem for two-variable logic over structures with unary relations and two order relations is investigated. Firstly, decidability is shown for structures with one total preorder relation and one linear order relation. More specifically, we show that this problem is complete for EXPSPACE. As a consequence, the same upper bound applies to the case of two linear orders. ...
abstract: about 60% of total premium of insurance industry is pertained?to life policies in the world; while the life insurance total premium in iran is less than 6% of total premium in insurance industry in 2008 (sigma, no 3/2009). among the reasons that discourage the life insurance industry is the problem of adverse selection. adverse selection theory describes a situation where the inf...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید