hyper-tubes consisting of hyper-cubes of n-dimensions were designed and formulas for substructures of vary dimensions established.

Local consistency techniques such as k-consistency are a key component of specialised solvers for constraint satisfaction problems. In this paper we show that the power of using k-consistency techniques on a constraint satisfaction problem is precisely captured by using a particular inference rule, which we call negative-hyper-resolution, on the standard direct encoding of the problem into Bool...

Let n 1 be an integer. The hypercube Qn is the graph whose vertex set isf0;1gn, where two n-tuples are adjacent if they differ in precisely one coordinate. This graph has many applications in Computer sciences and other area of sciences. Inthe graph Qn, the layer Lk is the set of vertices with exactly k 1’s, namely, vertices ofweight k, 1 k n. The hyper-star graph B(n;k) is...

We introduce a method of searching the k nearest neighbours (k-NN) using PM-tree. The PM-tree is a metric access method for similarity search in large multimedia databases. As an extension of M-tree, the structure of PM-tree exploits local dynamic pivots (like M-tree does it) as well as global static pivots (used by LAESA-like methods). While in M-tree a metric region is represented by a hyper-...

Dans le contexte électoral, l’association Les Poissons roses a formulé vingt-deux propositions pour une démocratie implicative et territoriale, apte à mener la transition écologique.

In the paper we are interested in the question of coherence of radial implicative fuzzy systems with nominal consequents (radial I-FSs with NCs). Implicative fuzzy systems are fuzzy systems employing residuated fuzzy implications for representation of IF-THEN structure of their rules. Radial fuzzy systems are fuzzy systems exhibiting the radial property in antecedents of their rules. The proper...

To investigate implicative filters of hoops furthermore, we apply n-fold theory to (?, ?)-hesitant fuzzy and introduce the notion (?,?)-hesitant filters, obtain some conditions for a filter be filter. We also study preimage image filters.

Doubt m-polar subalgebras (ideals) were introduced and some properties investigated. Also, doubt positive implicative (commutative) ideals defined related results proved.