We introduce a new consistency condition for neutral social welfare functions, called hyperstability. A social welfare function α selects a complete weak order from a profile PN of linear orders over any finite set of alternatives, given N individuals. Each linear order P in PN generates a linear order over orders of alternatives,called hyper-preference, by means of a preference extension. Henc...

In this work we study a weak order ideal associated with the coset leaders of a non-binary linear code. This set allows the incrementally computation of the coset leaders and the definitions of the set of leader codewords. This set of codewords has some nice properties related to the monotonicity of the weight compatible order on the generalized support of a vector in F q which allows to descri...

An ideal tentacle manipulator is a non-conventional robotic arm with an infinite mobility. It has the capability of taking sophisticated shapes and of achieving any position and orientation in a 3D space. A tentacle manipulator is a hyper redundant or hyper degree of freedom manipulator. Hyper redundant robots produce changes of configuration using a continuous backbone made of sections which b...

There were two kinds of methods in information retrieval, based on content and based on hyper-link. The quantity of computation in systems based on content was very large and the precision in systems based on hyper-link only was not ideal. It was necessary to develop a technique combining the advantages of two systems. In this paper, we drew up a framework by using the two methods. We set up th...

A unifying semantic framework for different reasoning approaches provides an ideal tool to compare these competing alternatives. A historic example is Kripke’s possible world semantics that provided a unifying framework for different systems of modal logic. More recently, Shoham’s work on preferential semantics similarly provided a much needed framework to uniformly represent and compare a vari...

The Ideal Membership Problem is as follows: given f0, f1, . . . , fm ∈ K[x1, . . . , xn], is f0 ∈ 〈f1, . . . , fm〉, where 〈f1, . . . , fm〉 denotes the ideal generated by the fi? An equivalent formulation is: are there q1, . . . , qm ∈ K[x1, . . . , xn] such that f0 = ∑m i=1 qifi? We will solve this question by using Gröbner bases. That is, a Gröbner basis is a “nice” representation of an ideal,...