نتایج جستجو برای: transitivity process
تعداد نتایج: 1314627 فیلتر نتایج به سال:
We introduce a new decision procedure for Equality Logic. The procedure improves on Bryant and Velev’s sparse method [4] from CAV’00, in which each equality predicate is encoded with a Boolean variable, and then a set of transitivity constraints are added to compensate for the loss of transitivity of equality. We suggest the Reduced Transitivity Constraints (RTC) algorithm, that unlike the spar...
We consider existential rules (aka Datalog±) as a formalism for specifying ontologies. In recent years, many classes of existential rules have been exhibited for which conjunctive query (CQ) entailment is decidable. However, most of these classes cannot express transitivity of binary relations, a frequently used modelling construct. In this paper, we address the issue of whether transitivity ca...
An on-line "word detection" paradigm was used to assess the comprehension of thematic and transitive verb agreements during sentence processing in individuals diagnosed with probable Alzheimer's Disease (AD, n=15) and Frontotemporal Dementia (FTD, n=14). AD, FTD, and control participants (n=17) were asked to listen for a word in a sentence. Unbeknownst to the participants, the target word follo...
Nonnative English-speaking scholars have often been reported to be at a disadvantage vis-à-vis their English native counterparts when it comes to writing a publishable research article (RA). When they submit their manuscripts to English-language journals, they sometimes receive comments criticizing their faulty English. One area of difficulty for these authors is the grammaticalization of neutr...
abstractthis study tried to examine the relationship between language strategies/sources and ideologies, and how ideologies are constructed and expressed through language strategies in different english newspapers with different political contexts. the focus of the study was on the style of representation of syrian civil war in tehran-times and asharq al-awsat newspapers. the data from these ne...
We introduce a new decision procedure for Equality Logic. The procedure improves on Bryant and Velev’s sparse method [4] from CAV’00, in which each equality predicate is encoded with a Boolean variable, and then a set of transitivity constraints are added to compensate for the loss of transitivity of equality. We suggest the Reduced Transitivity Constraints (rtc) algorithm, that unlike the spar...
Much work has demonstrated that speakers of verb-final languages are able to construct rich syntactic representations in advance of verb information. This may reflect general architectural properties of the language processor, or it may only reflect a language-specific adaptation to the demands of verb-finality. The present study addresses this issue by examining whether speakers of a verb-medi...
We study a recently introduced deterministic model of competitive information diffusion on the Iterated Local Transitivity (ILT) model of Online Social Networks (OSNs). In particular, we show that, for 2 competing agents, an independent Nash Equilibrium (N.E.) on the initial graph remains a N.E. for all subsequent times. We also describe an example showing that this conclusion does not hold for...
MOTIVATION It is widely believed that for two proteins Aand Ba sequence identity above some threshold implies structural similarity due to a common evolutionary ancestor. Since this is only a sufficient, but not a necessary condition for structural similarity, the question remains what other criteria can be used to identify remote homologues. Transitivity refers to the concept of deducing a str...
We present a graphical criterion for reading dependencies from the minimal directed independence map G of a graphoid p, under the assumption that G is a polytree and p satisfies weak transitivity. We prove that the criterion is sound and complete. We argue that assuming weak transitivity is not too restrictive.
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید