Phase locked loop-based clock synthesizer for reconfigurable analog-to-digital converters

Analog Integrated Circuits and Signal Processing - This paper presents the complete design of a phase locked loop-based clock synthesizer for reconfigurable analog-to-digital converters. The...     

Formalization of Ring Theory in PVS

This paper presents a PVS development of relevant results of the theory of rings. The PVS theory includes complete proofs of the three classical isomorphism theorems for rings, and characterizations of principal, prime and maximal ideals. Algebraic concepts and properties are specified and formalized as generally as possible allowing in this manner their application to other algebraic structures. The development provides the required elements to formalize important algebraic theorems. In particular, the paper presents the formalization of the general algebraic-theoretical version of the Chinese remainder theorem (CRT) for the theory of rings, as given in abstract algebra textbooks, proved as a consequence of the first isomorphism theorem. Also, the PVS theory includes a formalization of the number-theoretical version of CRT for the structure of integers, which is the version of CRT found in formalizations. CRT for integers is obtained as a consequence of the general version of CRT for the theory of rings.

     

CMV colitis masquerading as colon cancer--an unusual presentation of acquired immunodeficiency syndrome

To determine whether there is any correlation between sudden decrease in barometric pressure and onset of labor, a non-experimental, retrospective study at a 948-bed tertiary care hospital was done. Pregnant patients of 36 weeks gestation or more who presented with spontaneous onset of labor during the 48 hours surrounding the 12 occurrences of significant drop in barometric pressure in 1992 were included in the study. Significantly more occurrences of onset of labor were identified in the 24 hours after a drop in barometric pressure than were identified in the 24 hours prior to the drop in barometric pressure (P < 0.05). Therefore, the overall number of labor onsets increased in the 24 hours following a significant drop in barometric pressure.     

Astrocytes regulate amino acid receptor current densities in embryonic rat hippocampal neurons

Embryonic rat hippocampal neurons were cultured in a serum-free defined medium (MEM/N3) either directly on poly-D-lysine (PDL) or on a confluent monolayer of postnatal cortical astrocytes, C6 glioma cells, or Rat2 fibroblasts. Neurons on PDL were grown in MEM/N3 or in MEM/N3 conditioned for 24 h by astrocytes or C6 cells. Membrane capacitance (Cm) and gamma-aminobutyric acid (GABA)-, glycine-, kainate-, and N-methyl-D-aspartate (NMDA)-induced currents were quantified using whole-cell patch-clamp recordings. Cm as well as the amplitude and the density of these currents in neurons cultured on astrocytes were significantly greater than those in neurons grown on PDL after 24 and 48 h. C6 cells mimicked astrocytes in promoting Cm and GABA-, glycine-, and NMDA-evoked, but not kainate-evoked, currents. Cm and currents in neurons grown on Rat2 cells were comparable to those in neurons on PDL. Astrocytes maintained in culture for 3 months were noticeably less effective than freshly prepared ones just grown to confluence. Suppression of spontaneous cytoplasmic Ca2+ (Ca[c]2+) elevations in astrocytes by 1,2-bis(2-aminophenoxy) ehane-N, N, N, N-tetraacetic acid acetoxymethyl ester (BAPTA-AM) loaded intracellularly blocked the observed modulatory effects. Medium conditioned by either astrocytes or C6 cells mimicked the effects of direct coculture of neurons on these cells in promoting Cm and amino acid-evoked currents. Inclusion of antagonists at GABA and glutamate receptors in coculture experiments blocked the observed effects. Thus, diffusible substances synthesized and/ or secreted by astrocytes in a Ca(c)2+-dependent manner can regulate neuronal growth and aminoacid receptor function, and these effects may involve neuronal GABA and glutamate receptors.     

8-epi PGF2 alpha generation during coronary reperfusion. A potential quantitative marker of oxidant stress in vivo

BACKGROUND: Myocardial reperfusion is believed to be associated with free radical injury. However, indexes of oxidative stress in vivo have been limited by their poor specificity and sensitivity. Isoprostanes are stable products of arachidonic acid formed in a nonenzymatic, free radical-catalyzed manner. We have developed a sensitive and specific assay for one of these compounds, 8-epi prostaglandin (PG) F2 alpha. METHODS AND RESULTS: To address its utility as an index of oxidative stress during coronary reperfusion, we measured urinary levels by gas chromatography/mass spectrometry in a canine model of coronary thrombolysis, in patients with acute myocardial infarction treated with thrombolytic therapy, and in patients after elective coronary artery bypass surgery. Urinary 8-epi PGF2 alpha was unchanged after circumflex artery occlusion in a canine model of coronary thrombolysis (n = 13; 437.2 +/- 56.4 versus 432.7 +/- 55.2 pmol/mmol creatinine) but increased significantly (P < .05) immediately after reperfusion (553.8 +/- 64.7 pmol/mmol). Urinary levels were increased (P < .001) in patients (n = 12) with acute myocardial infarction given lytic therapy (265.8 +/- 40.8 pmol/mmol) compared with age-matched control subjects (n = 20; 91.5 +/- 11.8 pmol/mmol) and patients with stable coronary disease (n = 20; 95.7 +/- 6.3 pmol/mmol). Preoperative levels rose from 113.2 +/- 11.8 to 248.2 +/- 86.3 pmol/mmol at 30 minutes into revascularization to 332.2 +/- 82.6 pmol/mmol by 15 minutes after global myocardial reperfusion (P < .05) and dropped to 181.2 +/- 50.4 pmol/mmol at 30 minutes and 120.2 +/- 9.9 pmol/mmol at 24 hours after bypass surgery (n = 5). Corresponding changes in spin adduct formation, found with electron paramagnetic resonance, were noted in 2 patients. CONCLUSIONS: These data support the hypothesis that free radical generation occurs during myocardial reperfusion. Measurement of isoprostane production may serve as a noninvasive index of oxidative stress.     

Scarring trachoma is associated with polymorphism in the tumor necrosis factor alpha (TNF-alpha) gene promoter and with elevated TNF-alpha levels in tear fluid

Tumor necrosis factor alpha (TNF-alpha) may play a central role in the disease pathogenesis which occurs as a consequence of chlamydial infection. To investigate the importance of TNF-alpha gene promoter polymorphisms and TNF-alpha levels in tear fluid in scarring trachoma, a large matched-pair case-control study was performed in The Gambia. The -308A allele was present in a higher proportion of patients (28.4%) than controls (18.4%), with an increasing association for homozygotes (chi2 for trend, P = 0.032; allele frequency, 0.163 in patients and 0.099 in controls; chi2, P = 0.025). For the -238A allele, the association was similar but not significant. The disease association was highly significant when the number of either -308A or -238A sites in an individual was considered (P = 0.003). TNF-alpha promoter alleles are tightly linked to some HLA class I and II alleles, but multivariate analysis confirmed that the disease associations were independent of HLA, although a class I allele, A*6802, is also associated with disease. TNF-alpha was more frequently detected in tear samples from patients (27.6%) than from controls (15.9%), increasingly so for higher levels of detectable TNF-alpha (P = 0.015). Among patients, detectable TNF-alpha in tears was highly associated with the presence of ocular chlamydial infection (P < 0.001). The results indicate that TNF-alpha plays a major role in the tissue damage and scarring which occurs as a consequence of Chlamydia trachomatis infection.