Axioms for Recursion in Call-by-Value

We propose an axiomatization of fixpoint operators in typed call-by-value programming languages, and give its justifications in two ways. First, it is shown to be sound and complete for the notion of uniform T-fixpoint operators of Simpson and Plotkin. Second, the axioms precisely account for Filinski's fixpoint operator derived from an iterator (infinite loop constructor) in the presence of first-class continuations, provided that we define the uniformity principle on such an iterator via a notion of effect-freeness (centrality). We then explain how these two results are related in terms of the underlying categorical structures.     

Steroid hormone profiles of urban and tidal rivers using LC/MS/MS equipped with electrospray ionization and atmospheric pressure photoionization sources

A highly sensitive and uncomplicated method of analyzing steroidal hormones in river and estuarine water samples was developed using a liquid chromatography tandem mass spectrometer equipped with an electrospray ionization (ESI) source and atmospheric pressure photoionization (APPI) source. Steroidal hormones included not only estrogen but also androgen and conjugates of these two. APPI displayed greater sensitivity than ESI for most of the unconjugated steroids examined, with very high sensitivity for testosterone and 4-androstene-3,17-dione in particular. For conjugated hormones, in contrast, ESI was more effective. The method developed was applied to the determination of hormones in the rivers of Osaka City and their estuaries, where the hormones detected were affected by the effluent from municipal wastewater treatment plants (WWTPs), and hormone concentration values were comparable to those reported in previous studies of such effluent. Because of the two-way flow and stagnancy of streams and watercourses, continuous input of steroidal hormones from WWTPs seems to bring about local accumulation. Levels of androgen were 1 order of magnitude lower than those of estrogen. Estrone, estrone 3-sulfate, and 4-androstene-3,17-dione were detected in almost all water samples, with maxima of 51, 5.1, and 6.4 ng L(-1), respectively.     

Different modes of cell death induced by 5-fluoro-2''-deoxyuridine in two clones of the mouse mammary tumor FM3A cell line

OBJECTIVES: To clarify the prevalence and mechanism of supraventricular tachycardia in patients with right atrial isomerism. BACKGROUND: Paired SA and dual atrioventricular (AV) nodes have been described in patients with right atrial isomerism. However, the clinical significance remains unclear. METHODS: From 1987 to 1996, a total of 101 patients (61 male, 40 female) and four fetuses were identified with right atrial isomerism. The diagnosis of supraventricular tachycardia exclude the tachycardia with prolonged QRS duration or AV dissociation, and primary atrial tachycardia. RESULTS: The median follow-up duration was 38 months (range 0.2-270 months). Supraventricular tachycardia was documented in 25 patients (24.8%) and one fetus (25%) (onset age ranged from prenatal to 14 years old; median 4 years old). Actuarial Kaplan-Meier analysis revealed that the probability of being free from tachycardia was 67% and 50% at 6 and 10 years of age, respectively. These tachycardias could be converted by vagal maneuvers in one, verapamil in seven, propranolol in four, digoxin in two, procainamide in one, and rapid pacing in five. Spontaneous conversion was noted in six (including the fetus). Seven cases had received electrophysiological studies. Reciprocating AV tachycardia could be induced in five and echo beats in one. The tachycardia in three patients was documented as incorporating a posterior AV node (antegrade) and an anterior or a lateral AV node (retrograde). Two of them received radiofrequency ablation. Successful ablation in both was obtained by delivering energy during tachycardia, aimed at the earliest retrograde atrial activity and accompanied by junctional ectopic rhythm. The patient with echo beats developed tachycardia soon after operation. CONCLUSIONS: Supraventricular tachycardia is common in patients with right atrial isomerism and can occur during the prenatal stage. Drugs to slow conduction through the AV node may help to terminate the tachycardia. Radiofrequency ablation is a safe and effective treatment alternative to eliminate tachycardia.     

Contamination of vinyl chloride in shallow urban rivers in Osaka, Japan

Vinyl chloride (VC) contamination had taken place in heavily polluted shallow rivers (Taishogawa and lower Hiranogawa Rivers) in Osaka, Japan. VC concentrations ranged from below detection limit to 55.6 micrograms l-1 (mean: 3.35 micrograms l-1, standard deviation: 5.96 micrograms l-1). Of 55 volatile organic compounds (VOCs) analyzed, concentrations of cis-1,2-dichloroethene (c-DCE), tetrachloroethene (PCE) and trichloroethene (TCE) were significantly correlated to VC concentrations in the rivers, indicating that they share common sources. The four VOCs were invariably present at approximate relative ratios of about 1:2.7:1.5:0.31 (VC: c-DCE: PCE: TCE). The similarity between sampling dates in the distribution pattern of the four VOCs concentrations were observed, but their concentrations were different between the dates. The concentrations of the four VOCs decreased with distance down the river. A sample from the upper Taishogawa River in July 1997 had 55.6 micrograms l-1 of VC, 152 micrograms l-1 of c-DCE, 86.2 micrograms l-1 of PCE and 18.4 micrograms l-1 of TCE, respectively. These values are about an order of magnitude higher than the other sites over the study period and are likely indicative of point source inputs.     

Substituted 3-(phenylsulfonyl)-1-phenylimidazolidine-2,4-dione derivatives as novel nonpeptide inhibitors of human heart chymase

A series of 3-(phenylsulfonyl)-1-phenylimidazolidine-2,4-dione derivatives have been synthesized and evaluated for their ability to selectively inhibit human heart chymase. The structure-activity relationship studies on these compounds gave the following results. The 1-phenyl moiety participates in a hydrophobic interaction where an optimum size is required. At this position, 3,4-dimethylphenyl is the best moiety for inhibiting chymase and showed high selectivity compared with chymotrypsin and cathepsin G. A 3-phenylsulfonyl moiety substituted with hydrogen-bond acceptors such as nitrile and methoxycarbonyl enhances its activity. Molecular-modeling studies on the interaction of 3-[(4-chlorophenyl)sulfonyl]-1-(4-chlorophenyl)-imidazolidine-2,4-dione (29) with the active site of human heart chymase suggested that the 1-phenyl moiety interacts with the hydrophobic P1 pocket, the 3-phenylsulfonyl moiety resides in the S1'-S2' subsites, and the 4-carbonyl of the imidazolidine ring and sulfonyl group interact with the oxyanion hole and the His-45 side chain of chymase, respectively. The complex model is consistent with the structure-activity relationships.     

Inhibition of Autophagy at Different Stages by ATG5 Knockdown and Chloroquine Supplementation Enhances Consistent Human Disc Cellular Apoptosis and Senescence Induction rather than Extracellular Matrix Catabolism

The intervertebral disc is the largest avascular organ. Autophagy is an important cell survival mechanism by self-digestion and recycling damaged components under stress, primarily nutrient deprivation. Resident cells would utilize autophagy to cope with the harsh disc environment. Our objective was to elucidate the roles of human disc cellular autophagy. In human disc cells, serum deprivation and pro-inflammatory interleukin-1β (IL-1β) stimulation increased autophagy marker microtubule-associated protein 1 light chain 3 (LC3)-II and decreased autophagy substrate p62/sequestosome 1 (p62/SQSTM1), indicating enhanced autophagy. Then, RNA interference (RNAi) of autophagy-related gene 5 (ATG5), essential for autophagy, showed decreases in ATG5 protein (26.8%–27.4%, p < 0.0001), which suppressed early-stage autophagy with decreased LC3-II and increased p62/SQSTM1. Cell viability was maintained by ATG5 RNAi in serum-supplemented media (95.5%, p = 0.28) but reduced in serum-free media (80.4%, p = 0.0013) with IL-1β (69.9%, p = 0.0008). Moreover, ATG5 RNAi accelerated IL-1β-induced changes in apoptosis and senescence. Meanwhile, ATG5 RNAi unaffected IL-1β-induced catabolic matrix metalloproteinase release, down-regulated anabolic gene expression, and mitogen-activated protein kinase pathway activation. Lysosomotropic chloroquine supplementation presented late-stage autophagy inhibition with apoptosis and senescence induction, while catabolic enzyme production was modest. Disc-tissue analysis detected age-related changes in ATG5, LC3-II, and p62/SQSTM1. In summary, autophagy protects against human disc cellular apoptosis and senescence rather than extracellular matrix catabolism.     

The molecular mechanisms of 5-fluoro-2'-deoxyuridine induced cell death

The molecular mechanism of cell death induced by 5-Fluoro-2'-deoxyuridine (FUdR) was investigated. FUdR caused cell death to induce dNTP pool imbalance and following DNA double strand breaks in mouse mammary tumor FM3A cells. We isolated a new endonuclease from FUdR-treated cells, named endonuclease S, that played an important role in FUdR-induced cell death. Cells treated with FUdR showed intracellular acidification before cell death formation. We observed that the endonuclease S in acidic cells may lead the DNA fragmentation. On the other hand, we observed that protease inhibitors (such as TLCK, TPCK, PMSF, p-APMSF, Pefabloc SC and Z-Asp-CH2-DCB) blocked intracellular acidification, DNA fragmentation and FUdR-induced cell death. But the inhibitors did not affect dNTP pool imbalance in the cells. These results suggest that proteases act at the point of downstream of dNTP pool imbalance and upstream of the intracellular acidification.     

Involvement of Autophagy in Rat Tail Static Compression-Induced Intervertebral Disc Degeneration and Notochordal Cell Disappearance

The intervertebral disc is the largest avascular low-nutrient organ in the body. Thus, resident cells may utilize autophagy, a stress-response survival mechanism, by self-digesting and recycling damaged components. Our objective was to elucidate the involvement of autophagy in rat experimental disc degeneration. In vitro, the comparison between human and rat disc nucleus pulposus (NP) and annulus fibrosus (AF) cells found increased autophagic flux under serum deprivation rather in humans than in rats and in NP cells than in AF cells of rats (n = 6). In vivo, time-course Western blotting showed more distinct basal autophagy in rat tail disc NP tissues than in AF tissues; however, both decreased under sustained static compression (n = 24). Then, immunohistochemistry displayed abundant autophagy-related protein expression in large vacuolated disc NP notochordal cells of sham rats. Under temporary static compression (n = 18), multi-color immunofluorescence further identified rapidly decreased brachyury-positive notochordal cells with robust expression of autophagic microtubule-associated protein 1 light chain 3 (LC3) and transiently increased brachyury-negative non-notochordal cells with weaker LC3 expression. Notably, terminal deoxynucleotidyl transferase dUTP nick end labeling-positive apoptotic death was predominant in brachyury-negative non-notochordal cells. Based on the observed notochordal cell autophagy impairment and non-notochordal cell apoptosis induction under unphysiological mechanical loading, further investigation is warranted to clarify possible autophagy-induced protection against notochordal cell disappearance, the earliest sign of disc degeneration, through limiting apoptosis.     

The pressure beneath a growing rising bubble

On the basis of potential theory, the equations of motion and the associated pressure field are derived for an idealized growing spherical gas bubble rising in an inviscid liquid under the influence of gravity from a horizontal plate-orifice and from a free standing nozzle. The dimensionless pressure (p_N?p₀)/πga at the gas source N (where p₀ is the undisturbed ambient pressure, a the instantaneous bubble radius and π the liquid density) is found to rise to a maximum when the dimensionless bubble position h/a = 1·55 for bubbles formed at a plate orifice and (125/48)^{$\text{1}\text{3}$} ? 1·38 for bubbles formed at a free standing nozzle. These positions of maximum pressure correspond well to experimentally observed positions at which the gas supply to bubbles grown at constant flow rate in water is cut off by the collapse of the neck linking bubble and gas source. The volumes of bubbles at this instant are predicted theoretically and compare well with experimentally determined values.