The specification logic νZ

This paper introduces a wide-spectrum specification logic νZ. The minimal core logic is extended to a more expressive specification logic which includes a schema calculus similar (but not equivalent) to Z, new additional schema operators, and extensions to programming and program development logics.     

Viral dynamics of primary viremia and antiretroviral therapy in simian immunodeficiency virus infection

Mathematical modeling of viral replication dynamics, based on sequential measurements of levels of virion-associated RNA in plasma during antiretroviral treatment, has led to fundamental new insights into human immunodeficiency virus type 1 pathogenesis. We took advantage of the simian immunodeficiency virus (SIV)-infected macaque model to perform detailed measurements and mathematical modeling during primary infection and during treatment of established infection with the antiretroviral drug (R)-9-(2-phosphonylmethoxypropyl)adenine (PMPA). The calculated clearance half-life for productively infected cells during resolution of the peak viremia of primary infection was on the order of 1 day, with slightly shorter clearance half-lives calculated during PMPA treatment. Viral reproduction rates upon discontinuation of PMPA treatment after 2 weeks were approximately twofold greater than those obtained just prior to initiation of treatment in the same animals, likely reflecting accumulation of susceptible target cells during treatment. The basic reproductive ratio (R0) for the spread of SIV infection in vivo, which represents the number of productively infected cells derived from each productively infected cell at the beginning of infection, was also estimated. This parameter quantifies the extent to which antiviral therapy or vaccination must limit the initial spread of virus to prevent establishment of chronic disseminated infection. The results thus provide an important guide for efforts to develop vaccines against SIV and, by extension, human immunodeficiency virus.     

Evidence for interaction between transmembrane segments in assembly of Kv1.3

Previously, we showed that the N-terminal recognition domain (T1) of Kv1.3 was not required for assembly of functional channels [Tu et al. (1996) J. Biol. Chem. 271, 18904-18911]. Moreover, specific Kv1.3 peptide fragments including regions of the central core are able to inhibit expression of current produced from a channel lacking the T1 domain, Kv1.3(T1-). To elucidate the mechanism whereby Kv1.3 peptide fragments suppress Kv1.3(T1-) current, we have studied the ability of peptide fragments containing the transmembrane segments S1, S1-S2, or S1-S2-S3 to physically associate with the Kv1.3(T1-) polypeptide subunit in vitro in microsomal membranes. Using c-myc (9E10) epitope-labeled peptide fragments and anti-myc antibody as well as antisera to the Kv1.3 C-terminus, we now demonstrate specific association of these peptide fragments with Kv1.3(T1-). Association of peptide fragments with Kv1.3(T1-) was correlated with integration of both proteins into the membrane. Furthermore, the relative strength and kinetics of this association directly correlated with the ability of fragments to suppress Kv1.3(T1-) current. The rate-limiting step in the sequential synthesis, integration, and formation of a complex was the association of integrated polypeptides within the plane of the lipid bilayer. These results strongly suggest that the physical association of transmembrane segments provides the basis for suppression of K+ channel function by K+ channel peptide fragments in vivo. Moreover, the S1-S2-S3 peptide fragment potently suppressed full-length Kv1.3, thus implicating a role for the S1-S2-S3 region of Kv1.3 in the assembly of the Kv1.3 channel. We refer to these putative association sites as IMA (intramembrane association) sites.     

Another false alarm? apnea monitor activation in a Neonatal Intensive Care Unit graduate

Neonatal emergencies have become more common as increasingly sophisticated Neonatal Intensive Care Units graduate lower birth-weight babies born at younger gestational ages. These patients present a number of challenges to emergency physicians. They are often discharged with apnea monitors, which generate a high number of false alarms. Neonatal Intensive Care Unit graduates, however, are predisposed to a number of conditions that can result in true episodes of apnea. We present such a case and will discuss the unusual underlying cause of apnea, the utility of apnea monitors, and the need for emergency physicians to be prepared to evaluate and treat these potentially complicated patients.     

Activation of the mitogen-activated protein kinase pathway is involved in and sufficient for megakaryocytic differentiation of CMK cells

Activation of the mitogen-activated protein (MAP) kinase pathway has been associated with both cell proliferation and differentiation. Constitutively activated forms of Mek (MAP kinase/Erk kinase) and Erk (MAP kinase) have been previously shown capable of inducing differentiation or proliferation in nonhematopoietic cells. To specifically examine the role of Erk activation in megakaryocytic growth and development, we activated the MAP kinase pathway by the transfection of constitutively activated Mek or Erk cDNA into a human megakaryoblastic cell line, CMK, by electroporation. The CMK transfectant clones that expressed constitutively activated Mek or Erk showed morphologic changes of differentiation. Transfected cells also showed expression of mature megakaryocytic cell surface markers. The MAP kinase pathway was also activated by treatment of the hematopoietic cells with a cytokine that activates Erk. The treatment of CMK cells with stem cell factor (SCF ) caused MAP kinase activation and induced differentiation by the expression of mature megakaryocytic cell surface markers. The effects of the SCF treatment were inhibited by pretreatment with a specific inhibitor of the MAP kinase pathway, PD98059. In this report, we conclude that activation of the MAP kinase pathway was both necessary and sufficient to induce differentiation in this megakaryoblastic cell line.     

Molecular cloning and functional expression of a recombinant 72.5 kDa fragment of the 110 kDa regulatory subunit of smooth muscle protein phosphatase 1M

RATIONALE AND OBJECTIVES: We compared adverse reactions and image quality for hysterosalpingography (HSG) performed with ionic (diatrizoate meglumine combined with iodipamide meglumine [DM + IM]) and nonionic (iohexol) contrast media. METHODS: We performed a study of 95 patients who had HSG and were randomly selected to receive DM + IM or iohexol. Patients reported episodes of abdominal pain and other adverse reactions immediately and 24 hr after the procedure and categorized severity of symptoms on a subjective scale. Two radiologists evaluated image quality for diagnosis. RESULTS: Prevalence of abdominal pain and other reactions both immediately and 24 hr after HSG was lower in patients who received iohexol than in patients who received DM + IM. Moderate or severe abdominal pain was significantly lower in the iohexol group than in the DM + IM group (p < .05). Visualization of the uterine cavity and ampullary rugae was judged excellent with both contrast media (87% with iohexol and 92% with DM + IM). CONCLUSION: Iohexol and DM + IM are excellent contrast media for use during HSG; iohexol 300 may cause fewer episodes of more severe and prolonged abdominal pain.     

Effect of crosslinking agent content, monomer functionality, and repeat unit chemistry on properties of unfilled resins

Seven mechanical/physical properties were used to evaluate 10 unfilled resins: eight aromatic dimethacrylates and two urethane dimethacrylates. Physical property tests included compressive strength, Young's modulus in compression, uniaxial tensile strength, intrinsic yield point, toothbrush abrasion, Knoop hardness, and water sorption. Controlled changes were made in the following four material parameters: amount of crosslinking diluent present in the uncured monomer, functionality of the monomer, repeat unit chemistry of the monomer (urethane vs. aromatic structure) and mode of activation (chemical vs. visible light). Polymers containing a high concentration of crosslinking agent (50 wt%) were found to be tougher and to possess lower hardness than materials containing lesser amounts of crosslinking agent. This was attributed to the flexible nature of the triethylene glycol dimethacrylate crosslinking molecule. Exposure to water plasticized the highly crosslinked materials to the degree that the yield point and elastic modulus were effectively lowered. Most of the tested properties were unaffected by differences in functionality except resistance to toothbrush abrasion, which was enhanced for polymers derived from high functionality monomers. The urethane-based polymers sorbed substantially more water than the aromatic-based materials, which presumably resulted in lower values for surface hardness. However, the urethane resins were very tough, and excellent resistance to toothbrush abrasion was observed. Property differences caused by differences in activation mode were small, although the visible light materials did sorb more water.