Using the notion of bipolar-valued fuzzy sets, the concepts of bipolar fuzzy (weak, s-weak, strong) hyper BCK-ideals are introduced, and their relations are discussed in [3]. Further properties are investigated in this article. We show that if Φ = (H ;μΦ , μ N Φ ) is a bipolar fuzzy (weak, strong) hyper BCK-ideal of a hyper BCK-algebra H, then the set I := {x ∈ H | μΦ(x) = μΦ(0), μΦ (x) = μΦ (0...

In 2006, Restorff completed the classification of all Cuntz-Krieger algebras with finitely many ideals (i.e., those that are purely infinite) up to stable isomorphism. He left open the questions concerning strong classification up to stable isomorphism and unital classification. In this paper, we address both questions. We show that any isomorphism between the reduced filtered K-theory of two C...

In this paper, an exact dual is derived for Semideenite Programming (SDP), for which strong duality properties hold without any regularity assumptions. Its main features are: i. The new dual is an explicit semideenite program with polynomially many variables and polynomial size coeecient bitlengths. ii. If the primal is feasible, then it is bounded if and only if the dual is feasible. iii. When...

since 2005 a new powerful invariant of an algebra has emerged using the earlier work of horvath, hethelyi, kulshammer and murray. the authors studied morita invariance of a sequence of ideals of the center of a nite dimensional algebra over a eld of nite characteristic. it was shown that the sequence of ideals is actually a derived invariant, and most recently a slightly modied version o...

Abstract We give a sharp lower bound for the Hilbert function in degree d of artinian quotients $$\Bbbk [x_1,\ldots ,x_n]/I$$ k [ x 1 , … n ] / ...

The generation of high-quality staggered unstructured grids for computational simulation is considered; leading to the development of a new optimisation-based strategy for the construction of weighted ‘RegularPower’ tessellations appropriate for co-volume type numerical techniques. This new framework aims to extend the conventional Delaunay-Voronoi primal-dual structure; seeking to assemble gen...

Since 2005 a new powerful invariant of an algebra has emerged using the earlier work of Horvath, Hethelyi, Kulshammer and Murray. The authors studied Morita invariance of a sequence of ideals of the center of a nite dimensional algebra over a eld of nite characteristic. It was shown that the sequence of ideals is actually a derived invariant, and most recently a slightly modied version o...

Quantified Boolean Formulas (QBF) provide a good language for modeling many complex questions about deterministic systems, especially questions involving control of such systems and optimizing choices. However, translators typically have one set way to encode the description of a system and a property, or question about the system, often without distinguishing between the two. In many cases the...