Results 231 to 240 of about 2,080,270 (249)
Some of the next articles are maybe not open access.
Specificity of glycopeptide-specific T cells
The Journal of Immunology, 1995Abstract We examined the specificity of glycopeptide-specific CD4 T cells following procedures similar to those previously reported by us. The disaccharide galabiose (Gal α 1-4Gal) was attached to the middle of the 52-61 peptide of hen egg lysozyme. This peptide is well known to bind to I-Ak molecules.
B, Deck +3 more
openaire +2 more sources
On the lattice of specifications: Applications to a specification methodology
Formal Aspects of Computing, 1992Abstract In this paper we investigate the lattice properties of the natural ordering between specifications, which expresses that a specification expresses a stronger requirement than another specification. The lattice-like structure that we uncover is used as a basis for a specification methodology.
Noureddine Boudriga +2 more
openaire +2 more sources
Specific and Non-Specific Immunity to Haemoprotozoa
The American Journal of Tropical Medicine and Hygiene, 1977Immunity to haemoprotozoa is complex, involving several components that interact in ways that vary from one host-parasite combination to another. In recent years, most attention has been given to antibody formation, which is relatively easily measured. It has been suggested that antibodies interfere with the penetration of merozoites into erythrocytes,
A C, Allison, I A, Clark
openaire +2 more sources
Transformation of Lotos specifications to Estelle specifications
Proceedings Second IEEE Symposium on Computer and Communications, 2002A technique for the automated transformation of a Lotos specification to an Estelle specification is presented. First, a restricted behaviour tree is constructed from the Lotos specification in a somewhat similar way to generating a reachability tree for a finite-state machine.
Hazem El-Gendy, Hoda Baraka
openaire +1 more source
Specification of schedulers with algebraic specification techniques
1982The specification of a class of single resource schedulers is presented. A class of these schedulers is regarded as a parameterized data type whose formal parameter is a scheduling strategy. The specification is given by using the concept of parameterization in algebraic techniques.
Kouichi Wada 0001 +3 more
openaire +2 more sources
Substrate specificity of a human-specific esterase
Analytical Biochemistry, 1973Abstract A human species-specific esterase has been identified in tissues, cell cultures, and urine. It is the most slowly migrating (i.e., cathodal) of the esterase isoenzymes in agarose electrophoresis; it is not a choline estrase, a pseudocholine esterase, an acetyl phenylalanine-3-naphthyl esterase or N -benzoyl-arginine-3-naphthyl esterase ...
D, Munjal, N R, Rose
openaire +2 more sources
Is Accounts-Receivable Industry-Specific or Firm-Specific? [PDF]
SSRN Electronic Journal, 2012 This paper empirically examines whether the generally accepted finding that the firm’s accounts receivable tends to be industry-specific is valid for private mature Belgian firms between 2001 and 2008.The average accounts receivable of the firm’s industry in 2001 is not an important determinant in explaining the future accounts receivable of mature ...
openaire +1 more source
Techniques for Partial Specification and Specification of Switching Systems
1991This paper reports on results obtained by specifying the connection patterns within a small PBX using Z. We discuss techniques for specification of switching systems, including how to model the state space of a feature-rich switching system, how to use the schema calculus for organizing a complex operation set, and how to realize the potential benefits
Pamela Zave, Michael Jackson 0001
openaire +2 more sources