We analyse the relationship between nominal algebra and nominal rewriting, giving a new and concise presentation of equational deduction in nominal theories. With some new results, we characterise a subclass of equational theories for which nominal rewriting provides a complete and efficient procedure to check nominal algebra equality. This subclass includes specifications of lambda-calculus an...

The equivalence transformation algebra LE for the class of equations ut − uxx = f(u, ux) is obtained. After getting the differential invariants with respect to LE , some results which allow to linearize a subclass of equations are showed. Equations like the standard deterministic KPZ equation fall in this subclass. PACS: 02.30.Jr; 02.20.Tw

We deene a subclass of the class of linear equational theories, called nitely closable linear theories. We consider uniication problems with no repeated variables. We show the decidability of this subclass, and give an algorithm in PSPACE. If all function symbols are monadic, then the running time is in NP, and quadratic for unitary monadic nitely closable linear theories.

Making use of Linear operator theory, we define a new subclass of uniformly convex functions and a corresponding subclass of starlike functions with negative coefficients. The main object of this paper is to obtain coefficient estimates distortion bounds, closure theorems and extreme points for functions belonging to this new class. The results are generalized to families with fixed finitely ma...

The paper addresses the realization and identification problem for a subclass of piecewise-affine hybrid systems. The paper provides necessary and sufficient conditions for existence of a realization by a piecewise-affine hybrid system. The paper also proposes an identification algorithm for this subclass of hybrid systems. The considered system class and the identification problem are motivate...

Linear-fractional transformations of the pairs with J-property are considered. Extremal functions from an important subclass obtained in this way are expressed as mean values of extremal functions from another subclass of these linear-fractional transformations. Applications to some spectral and interpolation problems are discussed.

An environmental isolate of Serratia fonticola resistant to carbapenems was shown to contain a genetic determinant encoding a metallo-beta-lactamase of the subclass B2. The Sfh-I enzyme exhibits some divergence from the previously characterized enzymes of this subclass. This is the first example of a naturally occurring metallo-beta-lactamase in Enterobacteriaceae.

In this work we provide analytic results of infinite one-dimensional cellular automaton(CA). By realizing symbolic products, we investigate a subclass of infinite CA and prove analytically that within this subclass the only allowed attractors are homogenous, steady and periodic states for arbitrary initial configuration. Our method also provide exact enumeration of these attractors and it is sh...

In this present investigation, we consider the subclass of analytic and bi-univalent functions associated with salagean operator consisting of the function class Σ in the unit open disk, which satisfies the qusi-subordination conditions. Also we obtain the first two Taylor-Maclaurin coefficients for functions in this new subclass. Mathematics Subject Classification: 30C45, 30C50

Low density lipoprotein (LDL) subclass phenotype B, characterized by a predominance of small LDL as determined by gradient gel electrophoresis, has been associated with increased risk of coronary heart disease and an atherogenic lipoprotein profile. Previous studies employing complex segregation analysis have demonstrated a major, single gene effect on the inheritance of this phenotype in famil...