نتایج جستجو برای: semantic formulae

تعداد نتایج: 121801  

The word istikbar (arrogance) is one of the key words in the monotheistic system of the Quran, which has found a special status as a special feature of the opponents and adversaries of the call to the truth. Given the prominent role of this issue in the human life system and its provision of corruption and moral deviations, it is necessary to represent the nature of the elements that make up th...

Objectives: Wernicke’s aphasia is one of the most prominent focal brain deficits affecting the comprehension abilities of patients while preserving their production abilities. Although a lot of studies in different languages have been conducted to analyze the nature of this deficit, still some controversies exist in this regard. While some research studies attribute this defect to a performance...

Journal: :International Journal of Geographical Information Science 2005
Ola Ahlqvist

This article may be used for research, teaching and private study purposes. Any substantial or systematic reproduction, redistribution , reselling , loan or sub-licensing, systematic supply or distribution in any form to anyone is expressly forbidden. The publisher does not give any warranty express or implied or make any representation that the contents will be complete or accurate or up to da...

2009
IYAD RAHWAN

Game theory is becoming central to the design and analysis of computational mechanisms in which multiple entities interact strategically. In particular, the tools of mechanism design are used extensively to engineer incentives for truth-revelation into resource-allocation and preferenceaggregation protocols, as evident in the work on combinatorial auctions and voting. On the other hand, traditi...

Journal: :journal of paramedical sciences 0
majid nemati faculty of foreign languages and literatures, university of tehran masoud azizi faculty of foreign languages and literatures, university of tehran

samples of participants’ writing were scored by two raters using toefl writing scoring rubric. the readability index of each text was calculated through the use of six readability formulae and graphs, i.e., flesch-kincaid index, reading ease index, fog index, smog formula, fry’s graph, and dale-chall readability index. the scores given to each essay were later compared to the obtained readabili...

Journal: :Journal of Logic and Computation 2022

Abstract Logical forgetting is removing some variables from a formula while maintaining its consequences on the remaining variables. This removal may require exponential time arbitrary propositional Horn formulae, but it only takes polynomial single-head definite formulae. Single-head means that no variable head of multiple clauses. An algorithm to make if possible shown. It enlarges set formul...

Background: Phenylketonuria is a kind of disorder in phenylalanine metabolism which is caused by hepatic enzyme deficiency that transmitted in autosomal recessive mode. The prevalence is 1 in every 12000 birth and mental retardation is its prevalent phenomenon. Delay in language and cognition development is significant among the effects of mental retardation that will lead to communication diso...

The aim of this study is to determine the effect of word clustering method on vocabulary learning of Iranian EFL learners through a case of semantic versus phonological clustering. To this effect, 80 homogeneous students from four intermediate classes at an English institute in Torbat e Heydariyeh participated in this research. They were assigned to four groups according to semantic versus phon...

Journal: :SIAM J. Comput. 1990
George Labahn Dong-Koo Choi Stanley Cabay

A set of new formulae for the inverse of a block Hankel (or block Toeplitz) matrix is given. The formulae are expressed in terms of certain matrix Pad6 forms, which approximate a matrix power series associated with the block Hankel matrix. By using Frobenius-type identities between certain matrix Pad6 forms, the inversion formulae are shown to generalize the formulae of Gohberg-Heinig and, in t...

Journal: :Fundam. Inform. 2009
Willem Conradie Valentin Goranko Dimiter Vakarelov

In earlier papers we have introduced an algorithm, SQEMA, for computing first-order equivalents and proving canonicity of modal formulae. However, SQEMA is not complete with respect to the so called complex Sahlqvist formulae. In this paper we, first, introduce the class of complex inductive formulae, which extends both the class of complex Sahlqvist formulae and the class of polyadic inductive...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید