Let $X$ be a reflexive Banach space, $T:Xto X$ be a nonexpansive mapping with $C=Fix(T)neqemptyset$ and $F:Xto X$ be $delta$-strongly accretive and $lambda$- strictly pseudocotractive with $delta+lambda>1$. In this paper, we present modified hybrid steepest-descent methods, involving sequential errors and functional errors with functions admitting a center, which generate convergent sequences ...

In this paper, we prove Hyers-Ulam-Rassias stability of $C^*$-ternary algebra homomorphism for the following generalized Cauchy-Jensen equation $$eta mu fleft(frac{x+y}{eta}+zright) = f(mu x) + f(mu y) +eta f(mu z)$$ for all $mu in mathbb{S}:= { lambda in mathbb{C} : |lambda | =1}$ and for any fixed positive integer $eta geq 2$ on $C^*$-ternary algebras by using fixed poind alternat...

Given four complex matrices $A$‎, ‎$B$‎, ‎$C$ and $D$ where $Ainmathbb{C}^{ntimes n}$‎ ‎and $Dinmathbb{C}^{mtimes m}$ and let the matrix $left(begin{array}{cc}‎ A & B ‎ C & D‎ end{array} right)$ be a normal matrix and‎ assume that $lambda$ is a given complex number‎ ‎that is not eigenvalue of matrix $A$‎. ‎We present a method to calculate the distance norm (with respect to 2-norm) from $D$‎ to ...

To determine the molecular and functional properties of human rheumatoid factors (RF), we established stable hybridomas and Epstein-Barr virus-transformed B cell lines from the synovial fluid or peripheral blood of three patients with rheumatoid arthritis and one patient with systemic lupus erythematosus. 17 cell lines were obtained that produced high-titer immunoglobulin M (IgM) RF that reacte...

In pre-B cells, immunoglobulin mu (Ig mu) is associated with pre-B cell-specific proteins to form a multimeric complex that is found on the cell surface. One of these proteins is encoded by the three exon Ig lambda-like gene 14.1, whose expression is restricted to pre-B cells and occurs from an unrearranged gene. A comparison of the 14.1 gene structure to the seven-gene human Ig lambda locus re...

Otter-lambda is a theorem-prover based on an untyped logic with lambda calculus, called Lambda Logic. Otter-lambda is built on Otter, so it uses resolution proof search, supplemented by demodulation and paramodulation for equality reasoning, but it also uses a new algorithm, lambda unification, for instantiating variables for functions or predicates. The basic idea of a typed interpretation of ...