Universal algebra [5, 9, 4] is the theory of equalities t = u. It is a simple framework within which we can study mathematical structures, for example groups, rings, and fields. It has also been applied to study the mathematical properties of mathematical truth and computability. For example boolean algebras correspond to classical truth, heyting algebras correspond to intuitionistic truth, cyl...

Nominal unification is a generalisation of first-order unification that takes α-equivalence into account. In this paper, we study nominal unification in the context of equational theories. We introduce nominal narrowing and design a general nominal E-unification procedure, which is sound and complete for a wide class of equational theories. We give examples of application. 1998 ACM Subject Clas...

Robust performance controller design for duty-cycle controlled series resonant converter (SRC) is proposed in this paper. The uncertainties of the converter are analyzed with load variation and power circuit components tolerances are taken into consideration. Additionally, a nominal performance (NP) controller is designed. Closed-loop system is simulated with Orcad and simulation results of r...

Abstract This paper discusses discourse features such as tail-head linkage and repetition, development devices, associative strategies subordination in oral narrative texts the Koroshi (KoB), Sistani (SiB), Coastal (CoB) dialects of Balochi, all which belong to North-West branch Iranian language family. The frequency with these vary dialect, variation can be attributed different stages orality....