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 ...

Lysozyme from lambda bacteriophage (lambda lysozyme) is an 18 kDa globular protein displaying some of the structural features common to all lysozymes; in particular, lambda lysozyme consists of two structural domains connected by a helix, and has its catalytic residues located at the interface between these two domains. An interesting feature of lambda lysozyme, when compared to the well-charac...

A lambda theory satisfies an equation between contexts, where a context is a *-term with some ``holes'' in it, if all the instances of the equation fall within the lambda theory. In the main result of this paper it is shown that the equations (between contexts) valid in every lambda theory have an explicit finite equational axiomatization. The variety of algebras determined by the above equatio...

The sensitivity of trajectories over finite-time intervals t to perturbations of the initial conditions can be associated with a finite-time Lyapunov exponent lambda, obtained from the elements M(ij) of the stability matrix M. For globally chaotic dynamics, lambda tends to a unique value (the usual Lyapunov exponent lambda(infinity)) for almost all trajectories as t is sent to infinity, but for...