An irreversible k-threshold process is a process on a graph where vertices change color from white to black if they have at least k black neighbors. An irreversible k-conversion set is a subset S of vertices of a graph G such that the irreversible k-threshold process changes all vertices of G to black if S is the initial set of black vertices. We show that deciding the existence of an irreversi...

We give a multidimensional generalisation of the complete set of Bell-correlation inequalities given by Werner and Wolf in [31], and by Ẑukowski and Brukner in [32], for the two-dimensional case. Our construction applies for the n parties, two-observables case, where each observable is d-valued. The d n inequalities obtained involve homogeneous polynomials. They define the facets of a polytope ...

We describe a class of toric varieties which are set-theoretic complete intersections only over fields of one positive characteristic p.

Landmark heuristics are perhaps the most accurate current known admissible heuristics for optimal planning. A disjunctive action landmark can be seen a form of at-least-one constraint on the actions it contains. In many domains, some critical propositions have to be established for a number of times. Propositional landmarks are too weak to express this kind of constraints. In this paper, we pro...

In European J. Combin. 30 (2009), 986–995, S.M. Hegde recently introduced set colorings of a graph G as an assignment (function) of distinct subsets of a finite set X of colors to the vertices of G, where the colors of the edges are obtained as the symmetric difference of the sets assigned to their end vertices (which are also distinct). A set coloring is called a proper set coloring if all the...

In this paper, we have dealt with the concept of fuzzy b-closed and fuzzy bcompact set, and we study the characterization of fuzzy b-compact set by using fuzzy filterbases. We consider some relations between the fuzzy b-compact space and fuzzy b-closed space. Finally, the concept of bounded and semi bounded operators between fuzzy normed space are studied and some immediate results are also pro...

Blass, A. and A. Scedrov, Complete topoi representing models of set theory, Annals of Pure and Applied Logic 57 (1992) l-26. By a model of set theory we mean a Boolean-valued model of Zermelo-Fraenkel set theory allowing atoms (ZFA), which contains a copy of the ordinary universe of (two-valued, pure) sets as a transitive subclass; examples include Scott-Solovay Boolean-valued models and their ...

Our aim in this paper is to prove some interesting fixed point theorems for the class of asymptotically T-regular mappings framework preordered modular G-metric spaces. results are novel and generalizes several know results. Furthermore we apply our solving nonlinear integral equations.

It is very well known and permeating the whole of mathematics that a closure operator on a given set gives rise to a closure system, whose constituent sets form a complete lattice under inclusion, and vice-versa. Recent work of Wille on triadic concept analysis and subsequent work by the author on polyadic concept analysis led to the introduction of complete trilattices and complete n-lattices,...