In this paper, we investigate related properties of some particular derivations and give some characterizations of additive derivations in MV-algebras. Then, we obtain that the fixed point set of additive derivations is still an MV-algebra. Also, we study Boolean additive derivations and their adjoint derivations. In particular, we get that the fixed point set of Boolean addition derivations an...

We present a preliminary study of applying the concepts of algebraic geometry over fields to the theory of MV-algebras. We proceed along lines similar to B. Plotkin and others where an algebraic geometry over groups is developed.

Micali and Valiant proposed a mechanism for combinatorial auctions that is dominant-strategy truthful, guarantees reasonably high revenue, and is very resilient against collusions. Their mechanism, however, uses as a subroutine the VCG mechanism, that is not polynomial time. We propose a modification of their mechanism that is efficient, while retaining their collusion resilience and a good fra...

Skeleton is an important 1-D descriptor of polygon and a useful tool for advanced geometric algorithms. However the skeleton that most existing algorithms investigated is the longest one, which is not intended in all circumstances. This paper proposes an algorithm for extracting hierarchically optimal skeleton network of polygons. The algorithm incorporates length, angularity and area of associ...

I t pays to have a backup project in case your main research stalls. That's what Alan Hall (now at University College London) and colleagues learned when they set aside their studies on the protein ras and switched to its cousin rho. Their work (starting with Paterson et al., 1990) revealed that rho and related proteins were key regulators of the cell's actin cytoskeleton, and it set the stage ...

In this paper rst we dene the notions of positive implicativehyper MV -ideals of types 1,2,3 and 4 in hyper MV -algebras and we investigatethe relationship between of them . Then by some examples we show that thesenotions are not equivalent. Finally we give some relations between these notionsand the notions of (weak) hyper MV -ideals and (weak) hyper MV -deductivesystems of hyper MV -algebras.

In this article, Imam Khomeini’s political theory is investigated with the Lakatos methodology. His methodology confirms the distinction between a hard core or the original skeleton of investments and experimental propositions confirms as a protective belt for the research program. Regarding this, the claim from this article is that if we understand the system of religious knowledge of Imam Kho...

A method of identification of curvature features for shape description and recognition is suggested. The method is based on the relation between local boundary features and the skeleton structure of a plain domain. It uses a continuous boundary-skeleton model of an image. The model consists of a boundary of a polygonal figure approximating a raster image, and a skeleton of the figure. To reveal...