This paper defines a class of clauses which we call the , and establishes that both the satisfiability and finite satisfiability problems for sets of stellar clauses are complete for nondeterministic exponential time. It is shown that the stellar fragment is closely related to the familiar...

In [3, Theorem 3] it is proved that for a ring homomorphism : → such that () = for all ideals of , given any chain of prime ideals ℘ ⊆ ℘ ⊆ … ℘ in there exists a chain of prime ideals ⊆ ⊆ … in such that () = ℘. Here, under the weaker assumption (℘) = ℘ for all prime...

Recently braid group cryptosystems have been invented these are the AAG and KLCHKP cryptosystems. We present an algebraic key establisment protocol based on the difficulty of solving equations over algebraic structures. In (our group theoretic illustration of) our protocol is more secure than...

We extend to smooth Banach spaces the proximal formula for Clarke subdifferential of lower semicontinuous function. In the process we also extend the representation of -subdifferential and the singular -subdifferential in terms of sequential limits of smooth subdifferentials of controlled rank

Several new graphical methods for use with compositional data and probability plots are developed and illustrated using the software package (Wolfram (1999)). Graphical techniques that permit inferences regarding the distributional properties of the data are presented and illustrated. Procedures...

Recently cryptosystems have been developed based on the difficulty of the DH-DP and the conjugacy problem. These are KLCHKP (presented at ASIACRYPT 2001) and the AAG key establishment protocols. The AAG is a group theoretic scheme. Both the inventors suggest an implementation in braid groups.I...

For an arbitrary term rewrite system over a ranked alphabet Σ, we restrict the rewriting relation → to ground terms. We study the relation → = → ∩( × ). We show that for a given left-linear right-ground term rewrite system over a ranked alphabet Σ it is decidable whether there is a...

Let be a joint distribution function of a pair (, ) of continuous random variables with marginal distribution functions and , respectively. It is known that the expression (, ) − ()() measures “local” quadrant dependence at each point (, ) in ℝ. In this paper we study measures of...

Recently cryptosystems have been developed based on the difficulty of the DH-DP and the conjugacy problem. These are KLCHKP (presented at ASIACRYPT 2001) and the AAG key establishment protocols. The AAG is a group theoretic scheme. Both the inventors suggest an implementation in braid groups.I...

The solution of the global controllability problem is obtained for a class of the triangular systems of O.D.E. that are not feedback linearizable. The introduced class is a generalization of the classes of triangular systems investigated before. The solution of the problem is based on the...