Results 261 to 270 of about 639,528 (302)

Encoding specificity, retrieval specificity or structural specificity?

Journal of Verbal Learning and Verbal Behavior, 1976
Abstract We attempt to show that Tulving's theory of encoding specificity and Bahrick's theory of associative continuity are not contradictory but complementary. In order to do this we realized an experiment in the same conditions that Thomson and Tulving (1970) used but with a different material: the strongly and weakly associated cues maintain the
S. Ehrlich, M. Philippe
openaire   +1 more source

Diagrammatic specifications

Mathematical Structures in Computer Science, 2003
This paper presents a simple and powerful diagrammatic framework for dealing with specifications in computer science. Following a classical line, we define diagrammatic specifications as a kind of generalised sketch. In addition, the specifications themselves are defined as the realisations of projective sketches.
openaire   +1 more source

The Specification of Assemblers

IEEE Transactions on Software Engineering, 1976
The problem of applying formal techniques of program specification and verification to large complex programs is considered. It is argued that a practical solution requires a variety of techniques, including both procedural and nonprocedural specifications, hierarchical program organization, and the use of program transformations. In particular, a case
openaire   +3 more sources

Specific and non-specific autoreactive immunity

Journal of Autoimmunity, 1992
Most autoimmune diseases are HLA-associated which supports the notion that they are dependent upon specific immune activation of a limited set of T cell clones. Findings which imply that induction of autoimmune reactivity probably does not differ from normal immune responses are discussed. The possibility of transferring autoimmune disease using T cell
E, Möller, M A, Valugerdi, A, Ridderstad   +2 more
openaire   +2 more sources

The specification statement

ACM Transactions on Programming Languages and Systems, 1988
Dijkstra's programming language is extended by specification statements , which specify parts of a program “yet to be developed.” A weakest precondition semantics is given for these statements so that the extended language has a meaning as precise as the original.
openaire   +2 more sources

Specific and Non-Specific Immunity to Haemoprotozoa

The American Journal of Tropical Medicine and Hygiene, 1977
Immunity 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

Specificity of glycopeptide-specific T cells

The Journal of Immunology, 1995
Abstract 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, M, Elofsson, J, Kihlberg, E R, Unanue   +3 more
openaire   +2 more sources

Transformation of Lotos specifications to Estelle specifications

Proceedings Second IEEE Symposium on Computer and Communications, 2002
A 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

1982
The 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, Kenichi Hagihara, Toshiro Araki, Nobuki Tokura   +3 more
openaire   +2 more sources

Substrate specificity of a human-specific esterase

Analytical Biochemistry, 1973
Abstract 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