نتایج جستجو برای: considers entailment implication to be valid
تعداد نتایج: 10815309 فیلتر نتایج به سال:
abstract foreign and iranian cultures are far distinct in the constraints imposed on writing and translating for children, since the iranian literary system is mainly concerned with cultural and religious instructions which lead to manipulation of translated texts. this study sought to identify the cultural and social constraints and norms which determined the strategies applied in the transl...
chapter one is devotod to collect some notion and background informations, which are needed in the next chapters. it also contains some important statements which will be proved in a more general context later in this thesis. in chapter two, we show that if the marginal factor-group is of order np1...pk,n>1, then we obtain a bound for the order of the verbal subgroup. also a bound for the bear-...
we have devided the thesis in to five chapters. the first recollects facts from purely algebraic theory of jordan algebras and also basic properties of jb and jb* - algebras which are needed in the sequel. in the second chapter we extend to jb* - algebras, a classical result due to cleveland [8]. this result shows shows the weakness of jb* - norm topology on a jb* - algebera. in chapter three, ...
This article presents the experiments carried out at Jadavpur University as part of the participation in Cross-lingual Textual Entailment for Content Synchronization (CLTE) of task 8 @ Semantic Evaluation Exercises (SemEval-2012). The work explores cross-lingual textual entailment as a relation between two texts in different languages and proposes different measures for entailment decision in a...
there is no doubt that human being needs to become integrated with industry and industry needs to be progressed, daily. on the other hand, serious events in industrial units specially in oil industries has been shown that such damages and events are industry related ones. the consequence of such events and damages which resulted in chemical and poisoned explosions and loss of life and property ...
data envelopment analysis (dea) is a powerful tool for measuring relative efficiency of organizational units referred to as decision making units (dmus). in most cases dmus have network structures with internal linking activities. traditional dea models, however, consider dmus as black boxes with no regard to their linking activities and therefore do not provide decision makers with the reasons...
آموزش واژه با بهره گیری از یادگیری تلفیقی و نرم افزارهای چند رسانه ای در کلاس های آموزش زبان انگلیسی
the purpose of this study was to investigate the impact of blended learning and multimedia softwares on iranian efl students vocabulary learning. in addition, the present study tried to examine the extent to which multimedia softwares can be applied into efl classes in iran. it also attempted to find out students attitudes toward using these softwares. to this end, 87 iranian efl learners at el...
hydrochlorothiazide (hct) is a diuretic agent which is shown to be effective in the treatment of hypertension. literature reports have demonstrated that urinary excretion data may be used to assess the bioavailability of various formulations containing this thiazide. also hct consumption by the athletes is one of the drugs which should be regulated by world anti-doping agency (wada), because of...
from 1950s onward, new theories and critical approaches burgeoned across humanities. these theories were context-oriented; as a result, the analysis of discursive practices gained significance. thus, social, political, historical and cultural discourses that have been hitherto marginalized and considered inferior to literary texts, were introduced as important texts to be analyzed by critics. o...

 The purpose of this paper is to formulate first-order Peano arithmetic within the resources relevant logic, and demonstrate certain properties system thus formulated. Striking among these are facts that (1) it trivial absolutely consistent, but (2) classical straightforwardly contained in arithmetic. Under (1), I shall show particular 0 = 1 a non-theorem arithmetic; this, course, exactly...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید