نتایج جستجو برای: transitivity
تعداد نتایج: 2590 فیلتر نتایج به سال:
Transitivity and Aspect in Sahidic Coptic consists of three studies united by the common topic voice alternations Sahidic. Having established that verbal system is based on split causativity (for term see Kulikov L.I., “Split causativity: remarks correlations between transitivity, aspect, tense”), work introduces concept an aspect-transitivity grid, which unmarked infinitival form ascribed voic...
¡v in this paper we consider a strongly regular relation ƒá on hypermodules so that the quotient is amodule (with abelian group) over a fundamental commutative ring. also, we state necessary and sufficientconditions so that the relation ƒá is transitive, and finally we prove that ƒá is transitive on hypermodules.
We study transitivity properties of edge weights in complex networks. We show that enforcing transitivity leads to a transitivity inequality which is equivalent to ultra-metric inequality. This can be used to define transitive closure on weighted undirected graphs, which can be computed using a modified Floyd-Warshall algorithm. These new concepts are extended to dissimilarity graphs and triang...
Arrow’s Impossibility Theorem states that any constitution which satisfies Transitivity, Independence of Irrelevant Alternatives (IIA) and Unanimity is a dictatorship. Wilson derived properties of constitutions satisfying Transitivity and IIA for unrestricted domains where ties are allowed. In this paper we consider the case where only strict preferences are allowed. In this case we derive a ne...
Consistency of preference relations is associated with the study of the transitivity property. In this paper, we analyze the properties to be verified by a function, T , in order to obtain the value of preference of the alternative xi over the alternative xk when we already have the values of the preference of xi over xj , and of xj over xk. As a consequence, we define T -additive transitivity ...
Sen [6] proved that by confining voters to value restricted (acyclic) domains voting paradoxes (intransitive relations) can be avoided in aggregation by majority. We generalize this result to any neutral monotone aggregation. In addition, we show that acyclicity is neither necessary nor sufficient for transitivity for neutral non-monotone aggregation: we construct a cyclic transitive domain and...
We study portfolios of parallel strategies for Boolean Satisfiability (SAT) based solving of Hamiltonian Cycle Problems (HCPs). The strategies are based on our techniques for relative SAT encoding of permutations with constraints, and exploit: 1) encodings that eliminate half of the ordering Boolean variables and two-thirds of the transitivity constraints; 2) 12 triangulation heuristics for min...
The present study aims to investigate the system of the visual transitivity by analyzing the images of American English file (2014) and Cutting edge (2005) series based on Halliday’s (1976) systemic functional linguistics and Kress and van leuween’s (1997-2006) social semiotics. The system of visual transitivity refers to a type of process which determines how represented participants are label...
In this work we study different properties of graph symmetry. The first, is vertex transitivity, which informally says, that each vertex has the same global view of the graph. We give a simple one-sided error testing algorithm for vertex transitivity in the dense-graphs model, whose query complexity is Θ̃(n). In addition, we prove that any one-sided error testing algorithm for vertex transitivit...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید