Presents information on the MMTS Microwave and Millimeter-Wave Solid State Devices Committee.

Despite the remarkable development of the theory of termination of rewriting, its application to high-level programming languages is far from being optimal. This is due to the need for features such as conditional equations and rules, types and subtypes, (possibly programmable) strategies for controlling the execution, matching modulo axioms, and so on, that are used in many programs and tend t...

The reduction of the tetrazolium salt 3-(4,5-dimethylthiazol-2-yl)-2,5-diphenyl tetrazolium bromide (MTT) to a blue formazan product is widely used for assaying cell survival and proliferation. The reduction reaction is catalyzed by dehydrogenases localized in the mitochondria of viable cells. As part of an analysis of the ability of glutathione S-transferase (GST) enzymes to protect cells from...