Elimination Transformations for Associative–Commutative Rewriting Systems

To simplify the task of proving termination and AC-termination of term rewriting systems, elimination transformations have been vigorously studied since the 1990s. Dummy elimination, distribution elimination, general dummy elimination, and improved general dummy elimination are examples of elimination transformations. In this paper we clarify the essence of elimination transformations based on the notion of dependency pairs. We first present a theorem that gives a general and essential property for elimination transformations, making them sound with AC-termination. Based on the theorem, we design an elimination transformation called the argument filtering transformation. Next, we clarify the relation among various elimination transformations by comparing them with a corresponding restricted argument filtering transformation. Finally, we compare the AC-dependency pair method with the argument filtering transformation. Parts of this work were done while K. Kusakari was completing his Ph.D. thesis, “Termination, AC-Termination and Dependence Pairs of Term Rewriting Systems,” at Japan Advanced Institute of Science and Technology, School of Information Science (March, 2000). A preliminary version of parts of this article appeared in K. Kusakari, M. Nakamura, Y. Toyama, Argument filtering transformation, Proc. of Int. Conf. on Principles and Practice of Declarative Programming, LNCS 1702 (Springer-Verlag, 1999) pp.47–61.     

Synthesis of nitrogen-rich B–C–N materials from melamine and boron trichloride

Nitrogen-rich B–C–N materials have been prepared by the reaction between melamine and boron trichloride at different temperatures. The composition of the materials was dependent on the synthesis and annealing temperatures: C6N10.8-11H9.4B1.5-1.7 (for products synthesized and annealed at 673 K), C6N9.3-9.4H3.8-3.9B2.2-2.5 (for those synthesized at 673 K and annealed at 873 K) and C6N9.2H3.6B1.2-1.3 (for those synthesized and annealed at 873 K). Fourier transform infrared spectroscopy and 13C nuclear magnetic resonance showed that the s-triazine rings from the melamine molecules were preserved in materials synthesized and annealed at 673 and 873 K. The sample obtained at 873 K had a graphite-like structure as suggested by X-ray and electron diffraction studies. The s-triazine rings were decomposed in the materials synthesized or annealed at 1223 K and the main product obtained was turbostratic boron nitride. © 1998 Chapman & Hall     

Mechanical behavior of bioactive composite cements consisting of resin and glass-ceramic powder in a simulated body fluid: Effect of silane coupling agent

Time-dependent strength behavior was investigated for bisphenol-a-glycidyl methacrylate/triethylene glycol dimethacrylate (Bis-GMA/TEGDMA) resin cements combined with glass-ceramic A-W filler treated with various kinds of silane coupling agents. The fracture strength of the composite resin cements was measured by three-point bending as a function of stressing rate in a simulated body fluid (SBF), and thereby the stress-corrosion susceptibility constant was evaluated. The fracture strength was found to depend on the kind of coupling agent used. For the present Bis-GMA/TEGDMA resin, the silane coupling agents without hydrophilic amine groups can be used to obtain good adhesion between resin and A-W filler owing to their nature of co-polymerizing with the resin. On the other hand, all the composite resin cements showed nearly the same degree of stress-corrosion susceptibility whether the A-W fillers were treated or untreated with silane coupling agents. This means that the stress-corrosion susceptibility of the present composite cements is predominantly affected by that of the matrix resin. Thus, the microcrack formation and growth at the resin matrix near particle - resin interface were thought to determine overall time-dependent strength behavior of the composite cements.     

The role of nitric oxide in mercury chloride-induced vasculitis in the brown Norway rat

The molecular epidemiology of Pseudomonas aeruginosa infection in cystic fibrosis (CF) siblings was analysed by DNA fingerprinting using arbitrary primed polymerase chain reaction. A total of 306 strains collected from six pairs of siblings over a period of 20-126 months (median 64) was studied. Fifty-four different P. aeruginosa genotypes were recognized. Two out of six pairs of siblings were ultimately colonized by identical strains, and it was shown that a single P. aeruginosa clone can persist in an individual patient for over ten years. No overlap in P. aeruginosa genotypes was encountered between families, whereas in all families at least transient cross-colonization with the same genotype was observed. This finding demonstrates that P. aeruginosa cross-infection or acquisition of the same strain from an identical environmental source exists within the family situation, but does not always result in a long-term colonization by identical genotypes in all family members suffering from CF.     

Primary intracranial germ cell tumors: a clinical analysis of 153 histologically verified cases

The authors analyzed 153 cases of histologically verified intracranial germ cell tumors. The histological diagnosis was germinoma in 63 patients (41.2%), teratoma in 30 (19.6%), and other types of tumors in 60 patients (39.2%). The patients were treated by a consistent policy of surgical removal with histological verification followed by radiation therapy with or without chemotherapy. The 10- and 20-year survival rates of patients with pure germinoma were 92.7% and 80.6%, respectively. The 10-year survival rates of patients with mature teratoma and malignant teratoma were 92.9% and 70.7%, respectively. Patients with pure malignant germ cell tumors (embryonal carcinoma, yolk sac tumor, or choriocarcinoma) had a 3-year survival rate of 27.3%. The mixed tumors were divided into three subgroups: 1) mixed germinoma and teratoma; 2) mixed tumors whose predominant characteristics were germinoma or teratoma combined with some elements of pure malignant tumors; and 3) mixed tumors with predominantly pure malignant elements. The 3-year survival rates were 94.1% for the first group, 70% for the second group, and 9.3% for the third group, and the differences were statistically significant. Twenty-six patients with malignant tumors received chemotherapy that consisted of cisplatin and carboplatin combinations with or without radiation therapy. However, chemotherapy was not significantly more effective than radiation therapy alone. From these treatment results, the authors classified tumors into three groups with different prognoses and proposed a treatment guideline appropriate for the subgroups.     

Stimulus size and eccentricity in visually induced perception of horizontally translational self-motion

The effects of the size and eccentricity of the visual stimulus upon visually induced perception of self-motion (vection) were examined with various sizes of central and peripheral visual stimulation. Analysis indicated the strength of vection increased linearly with the size of the area in which the moving pattern was presented, but there was no difference in vection strength between central and peripheral stimuli when stimulus sizes were the same. Thus, the effect of stimulus size is homogeneous across eccentricities in the visual field.     

Intracellular distribution of the Wilson's disease gene product (ATPase7B) after in vitro and in vivo exogenous expression in hepatocytes from the LEC rat, an animal model of Wilson's disease

In patients with Wilson's disease, both copper incorporation into ceruloplasmin and excretion of this metal into bile are impaired. These conditions are caused by a genetic defect in the Wilson's disease gene (ATP7B). To investigate the Wilson's disease gene protein (ATPase7B) in hepatocytes, we constructed an expression plasmid carrying full-length complementary DNA for human Wilson's disease gene and attempted to express the gene in hepatocytes of LEC rats, an animal model of Wilson's disease. Transfection of hepatocytes, either in vitro or in vivo, was done using a newly developed cationic liposome containing 1,4-bis(3-(N-hexadecyl) aminopropyl) piperazine. Immunological analyses of human ATPase7B with specific monoclonal antibodies showed human ATPase7B to be a membrane protein with a molecular mass of 155 kd. Analysis of human ATPase7B expressed in hepatocytes from LEC rats suggested that this protein is present in the trans-Golgi network and at the plasma membrane, a distribution pattern similar to that of Menkes' disease protein (ATPase7A). These findings suggest that these two putative copper-transporting P-type ATPases function similarly at the cellular level. Cotransfection and coexpression of the human Wilson's disease gene and ceruloplasmin gene in cultured hepatocytes indicate that the distribution of ceruloplasmin is always accompanied by ATPase7B at the perinuclear region, but that part of ATPase7B localizes irrespective of the distribution of ceruloplasmin. Based on these investigations, we propose that ATPase7B exists in the trans-Golgi network and transports copper into this compartment. This seems to ensure an appropriate delivery of copper to the apoceruloplasmin. On the other hand, part of ATPase7B that is not accompanied by ceruloplasmin in the perinuclear region and at the plasma membrane seems to contribute to efflux of this metal from the hepatocytes. Thus the distribution patterns of ATPase7B in hepatocytes may explain the dual roles of this P-type ATPase in hepatocytes.     

Single amino acid substitution in prokaryote polypeptide release factor 2 permits it to terminate translation at all three stop codons

Prokaryotic translational release factors, RF1 and RF2, catalyze polypeptide release at UAG/UAA and UGA/UAA stop codons, respectively. In this study, we isolated a bacterial RF2 mutant (RF2*) containing an E167K substitution that restored the growth of a temperature-sensitive RF1 strain of Escherichia coli and the viability of a chromosomal RF1/RF2 double knockout. In both in vivo and in vitro polypeptide termination assays, RF2* catalyzed UAG/UAA termination, as does RF1, as well as UGA termination, showing that RF2* acquired omnipotent release activity. This result suggests that the E167K mutation abolished the putative third-base discriminator function of RF2. These findings are interpreted as indicating that prokaryotic and eukaryotic release factors share the same anticodon moiety and that only one omnipotent release factor is sufficient for bacterial growth, similar to the eukaryotic single omnipotent factor.     

Incidence and influence of GB virus C and hepatitis C virus infection in patients undergoing bone marrow transplantation

Markers of GB virus C (GBV-C) and hepatitis C virus (HCV) were sought in 80 patients before and after they underwent BMT in a metropolitan hospital in Tokyo between 1990 and 1996. RNA of GBV-C was detected in 14 (18%) patients before BMT. Of the 55 patients who had been transfused, 14 (25%) possessed GBV-C RNA at a frequency significantly higher than in the 25 untransfused patients who were all negative (P < 0.01). HCV RNA was detected in three of the 55 (5%) transfused patients, but in none of the 25 untransfused patients. Sera at 3 months after BMT were available for 57 patients. GBV-C RNA persisted in all 10 patients who were infected before BMT, while it was detected in five of the remaining 47 (11%) patients who were not. However, persistent and/or ongoing GBV-C infection had no appreciable influence on patient morbidity or mortality. Two of the 57 patients were positive for HCV RNA before BMT and this persisted after BMT in both. HCV RNA became positive in eight of the remaining 55 (15%) patients who were negative before BMT. Of the 14 patients who received transfusions screened by the first-generation test at BMT, seven (50%) became positive for HCV RNA, a rate significantly higher than the one of 41 (2%) patients who received transfusions screened by the second-generation test (P < 0.001). These results indicate that BMT patients are at increased risk of GBV-C infection transmitted by transfusions received before and at the time of BMT, and that the risk of HCV infection has decreased after the implementation of the second-generation anti-HCV test.