A description of the Hochschild cohomology algebra for the symmetric 8-dimensional algebras found by Liu and Schulz is given in terms of generators and relations. The dimensions of the cohomology groups are calculated. §

Equational unification algorithms can be used in resolution based theorem provers [9] and rewriting engines [6] to improve their handling of equality. Originally, the requirements of these theorem provers and rewrite engines were such that the unification algorithms had to compute complete sets of unifiers. But with the advent of constraint based approaches to theorem proving [4] and rewriting ...

Compressed sensing (CS) has renewed interest in sparse channel estimation. Herein, a semi-blind, iterative, sparse channel estimation method is proposed. The new method is based on minimizing Csiszár’s I-divergence using Schulz & Snyder’s iterative deautocorrelation algorithm. First, it is shown that the desired methods can be adapted to the problem of interest. The proposed semi-blind method a...