An admissible Poisson algebra (or briefly, an adm-Poisson algebra) gives equivalent presentation with only one operation for a algebra. We establish bialgebra theory algebras independently and systematically, including but beyond the corresponding results on bialgebras given in [27]. Explicitly, we introduce notion of which are to Manin triples as well bialgebras. The direct correspondence betw...

A characteriation of continuity of the $p$-$Lambda$-variation function is given and the Helly's selection principle for $Lambda BV^{(p)}$ functions is established. A characterization of the inclusion of Waterman-Shiba classes into classes of functions with given integral modulus of continuity is given. A useful estimate on modulus of variation of functions of class $Lambda BV^{(p)}$ is found.

We present results of spectroscopic monitoring observations the Ultra-Luminous Infra Red Galaxy F01004-2237. This galaxy was observed to undergo changes in its optical spectrum, detected by comparing a spectrum from 2015 with one 2000. These were coincident photometric brightening. The main are enhanced He II $\lambda$4686 emission and appearance I $\lambda$3898,$\lambda$5876 lines. favoured in...

The use of cloning vectors that express inserted cDNA as fusion protein has led to the isolation of genes encoding a variety of eukaryotic proteins. In these instances antisera or monoclonal antibodies were used as probes to screen expression libraries. Since fusion proteins sometimes display biological activity reflective of the insert-specified portion, we tested the possibility that ligand-b...

We give a formal description of an algorithm for lambda unification. The input to the algorithm consists of two terms t and s of lambda logic. The purpose of the algorithm is to find (sometimes) a substitution σ such that tσ = sσ is provable in lambda logic. In general such unifiers are not unique. Lambda logic itself is defined in [2]. We prove some basic metatheorems about lambda unification,...