predicates are words or groups of words which are considered as the most important semantic elements of the sentence. following manouilidou, almeida, schwartz and nair, this research investigates the nature of verb disorder in persian alzheimer patients. to this end, the property of thematic role assignment by three kinds of predicates has been focused upon. the first kind of predicates include...

In distributed computing, multiple processes interact to solve a problem together. The main model of interaction is the message-passing model, where communicate by exchanging messages. Nevertheless, there are several models varying along important dimensions: degree synchrony, kinds faults, number faults... This variety compounded lack general formalism in which abstract these models. One way b...

In the domain of software verification, predicate abstraction has emerged to be a powerful and popular technique for extracting finite-state models from often complex source code. In this paper, we report on the application of three techniques for improving the performance of the predicate abstraction refinement loop. The first technique allows faster computation of the abstraction. Instead of ...

a growing number of recent studies on verbal meaning have demonstrated that positing a direct mapping between (lexical/logical) semantics and syntax with respect to event structure can account for numerous linguistic phenomena. in this article, we demonstrate that certain facts in persian can only be explained by decomposing verbs into smaller syntactic pieces that reflect subparts of a complex...

Separation Logic brought an advance to program verification of data structures through its use of (recursively defined) predicates to implicitly represent heaps, and the separation operator to construct heaps from disjoint subheaps. While this facilitated local reasoning in program fragments, the consideration of subheaps that are disjoint meant that any form of sharing between predicates is pr...

This article offers an analysis of Moldovan complex predicates, focusing on the differences between structures with aspectuals and modals. It is shown that, under influence Russian, a minor pattern found in old Moldovan, whereby embedded infinitives instantiate monoclausal construction, was generalized. As consequence, pronominal clitics became free to raise matrix aspectual predicate, since th...

Shape and location of objects in a spatial database are commonly represented by geometric data such as points, lines and regions. Numerous geometric operators and predicates have been proposed for spatial database systems. Existing work on their implementation concentrate on individual operators and predicates. This approach makes the realization of geometric operators and predicates in a spati...

This paper presents a framework for a theory of granularity, which is seen as a means of constructing simple theories out of more complex ones. A transitive indistinguishability relation can be defined by means of a set of relevant predicates, allowing simplification of a theory of complex phenomena into computationally tractable local theories, or granularities. Nontransitive indistinguishabil...

Topological predicates between spatial objects have for a long time been a focus of research in a number of disciplines like artificial intelligence, cognitive science, linguistics, robotics, and spatial reasoning. Especially as predicates, they support the design of suitable query languages for spatial data retrieval and analysis in spatial database systems and geographical information systems...