Recent work on microprocessor testing and verification has begun to consider the possible applicability of general-purpose satisfiability tools to this domain. In this paper, we will discuss some of the likely upcoming representational enhancements to these solvers, and the extent to which these representational improvements are likely to impact work in MTV. 1Presented at the MTV02 workshop, Ju...

SUMMARY The technique of autoradiognaphy of immunoelectro phonetic patterns was used to study sites of synthesis of mammary tumor virus group-specific antigen (MTV-sl) and munine leukemia virus group-specific antigen (MuL V. gsl) protein in C3H and AKR mice ofvanious ages. Synthesis of MTV-sI protein was seen only in the mam mary gland of tumor-free late pregnant and lactating C3H mice. In addi...

We report the application of molecular tagging velocimetry (MTV) toward two-component velocimetry as demonstrated in an underexpanded free jet flowfield. Two variants of the MTV technique are presented: 1) electronic excitation of seeded nitric oxide (NO) with gated fluorescence imaging (fluorescence lifetime) and 2) photodissociation of seeded NO2 followed by NO fluorescence imaging (NO2 photo...

A new technique for the simultaneous measurement of velocity and concentration fields is described. We describe here applications in liquid-phase flows, but the methodology can be extended to gas-phase flows with appropriate tracers. In this single-laser, two-tracer approach, molecular tagging velocimetry (MTV) based on the use of a phosphorescent compound is combined with laser induced fluores...

Superantigens (SAGs) represent a new class of antigens, characterized as T cell receptor (TCR) V beta-reactive elements. Bacterial toxins constitute the major group of exogenous SAGs, while the mouse mammary tumor virus (MMTV)-encoded Mls molecules represent the endogenous SAGs. Mls-1 is the prototype of the latter SAGs, because it elicits a very potent T cell stimulatory response in vitro in u...

Chloride channels modulate gastrointestinal neuromuscular functions in vitro. Lubiprostone, a selective type 2 chloride channel (ClC-2) activator, induces intestinal secretion and has been shown to relieve constipation in clinical trials; however, the effects of lubiprostone on gastric function and whole gut transit in humans are unclear. Our aim was to compare the effects of the selective ClC-...

This review article reports the recent progress in the development of a new group of molecule-based flow diagnostic techniques, which include molecular taggingvelocimetry (MTV) andmolecular tagging thermometry (MTT), for both qualitative flow visualization of thermally induced flow structures and quantitative whole-field measurements of flowvelocity and temperature distributions. The MTV and MT...

Two novel exogenous mouse mammary tumor viruses (MMTV), BALB2 and BALB14, that encode superantigens (Sags) with Vbeta2+ and Vbeta14+ specificities, respectively, were found in the BALB/cT mouse strain. BALB/cT females were crossed with AKR/J males to generate F1 females. Foster nursing of BALB/cT mice on (BALB/cT x AKR/J)F1 mothers resulted in the generation of a new mouse strain, BALB/cLA, tha...