Publications

This system, already described [Abstract 1939B01196], provides 12 channels on a single pair of wires in addition to 3 already derived from a type C system and the normal voice-frequency circuit.

The intelligibility of syllables whose cepstral trajectories were temporally filtered was measured.

No abstract provided.

Computation has been invaluable in gaining insight into the behavior of a variety of mathematical problems in combinatorics, coding theory, algebra, and other fields.

We introduce the arrow product, a new generating function technique for directed graph enumeration.

Symbolic verification based on Binary Decision Diagrams (BDDs) has proven to be a powerful technique for ensuring the correctness of digital hardware.

Symbolic substitution is a method of computing based on parallel binary pattern replacement, that can be implemented with simple optical components and regular free-space interconnection schemes.

We study the verification of properties of communication protocols modeled by a finite set of finite-state machines that communicate by exchanging messages via unbounded FIFO queues.

The following list gives the symbols used through the several articles appearing in this issue of the J O U R N A L .

The diffusion of photogenerated electron-hole plasmas in intrinsic InP/InGaAs/InP single quantum wells was investigated by measurements of the photoluminescence intensity profile around the illumin