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

Immunoglobulin light chain (IgL) rearrangements occur more frequently at Ig kappa than at Ig lambda. Previous results suggested that the unrearranged Ig kappa locus negatively regulates Ig lambda transcription and/or rearrangement. Here, we demonstrate that expression of a VJ lambda 1-joint inserted into its physiological position in the Ig lambda locus is independent of Ig kappa rearrangements...

This short note presents a new formal language, lambda dependency-based compositional semantics (lambda DCS) for representing logical forms in semantic parsing. By eliminating variables and making existential quantification implicit, lambda DCS logical forms are generally more compact than those in lambda calculus.

The variety (equational class) of lambda abstraction algebras was introduced to algebraize the untyped lambda calculus in the same way cylindric and polyadic algebras algebraize the rst-order predicate logic. In this paper we prove that the variety of lambda abstraction algebras is not congruence modular and that the lattice of lambda theories is not modular.

Isbell and Semadeni [Trans. Amer. Math. Soc. 107 (1963)] proved that every infinite-dimensional $1$-injective Banach space contains a hyperplane is $(2+\varepsilon )$-injective for $\varepsilon \gt 0$, yet not $2$-injective, rem

We consider three fluid phases meeting at a line of common contact and study the linear excesses per unit length of the contact line (the linear adsorptions Lambda(i)) of the fluid's components. In any plane perpendicular to the contact line, the locus of choices for the otherwise arbitrary location of that line that makes one of the linear adsorptions, say Lambda(2), vanish, is a rectangular h...

Immunoglobulin gene rearrangement during mammalian B cell development generally follows an ordered progression, beginning with heavy (H) chain genes and proceeding through kappa and lambda light (L) chain genes. To determine whether the predicted kappa-->lambda hierarchy was occurring in vitro, we generated Epstein-Barr virus-transformed cell lines from cultures undergoing human pre-B cell diff...