Deciding confluence of certain term rewriting systems in polynomial time

We present a characterization of confluence for term rewriting systems, which is then refined for special classes of rewriting systems. The refined characterization is used to obtain a polynomial time algorithm for deciding the confluence of ground term rewrite systems. The same approach also shows the decidability of confluence for shallow and linear term rewriting systems. The decision procedure has a polynomial time complexity under the assumption that the maximum arity of a function symbol in the signature is a constant.     

Magnetic and martensitic transitions in Ni-Fe-Ga alloy

The ferromagnetic shape memory alloy with nominal composition Ni₅₄Fe₁₉Ga₂₇ is investigated by Ac susceptibility and resistivity measurements. The alloy shows long-range ferromagnetic order below 290 K. The anomaly due to the martensitic transition is observed in the susceptibility and resistivity data in the temperature range around 220 K, which is associated with clear thermal hysteresis. Minor hysteresis loop technique was used to investigate the phase coexistence across the martensitic transition, and our analysis indicate that both martensite and austenite phases mutually coexist in the region of hysteresis.     

Thermal decomposition of a generation 4.5 PAMAM dendrimer platinum drug conjugate

A nanoscale multivalent platinum drug based on a poly(amidoamine) [PAMAM] dendrimer (generation 4.5, carboxylate surface) has been synthesized and fully characterized using a variety of spectroscopic, chromatographic and thermal methods. Treatment of the dendrimer with an aqueous solution containing an excess diaquo(cis-1,2-diaminocyclohexane)platinum(II) produces a conjugate containing approximately forty (diaminocyclohexane)platinum(II) moieties at the surface of the dendrimer. This material undergoes smooth two-stage thermal decomposition to provide residual platinum oxide reflecting the platinum loading in the drug.     

High-performance liquid chromatographic detection of hydroxylated benzoic acids as an indirect measure of hydroxyl radical in heart: its possible link with the myocardial reperfusion injury.

The present report describes a method suitable for the indirect assay of hydroxyl radical (OH.), which is likely to be produced during reperfusion of ischemic myocardium. Isolated rat heart perfused by the Langendorff technique was subjected to 30 min of ischemia, followed by 30 min of reperfusion. Salicylic acid (2 mM) was added to the perfusion circuit to trap any OH. radical generated during the experiment. 2,5- and 2,3-dihydroxybenzoic acids (hydroxylated products of salicylic acid) were identified by authentic standards as well as by pure OH.-generating system using high-performance liquid chromatography with electrochemical detection. In addition to serving as a chemical trap for the detection of OH., salicylate attenuated myocardial reperfusion injury as evidenced by reduced formation of creatine kinase, decreased lipid peroxidation, and improved myocardial contractile functions during reperfusion. These results thus provide direct evidence for the presence of OH. in heart and link it to the myocardial reperfusion injury.     

Dynamic stability of uncertain laminated beams subjected to subtangential loads

Because of the inherent complexity of fiber-reinforced laminated composites, it can be challenging to manufacture composite structures according to their exact design specifications, resulting in unwanted material and geometric uncertainties. Thus the understanding of the effect of uncertainties in laminated structures on their static and dynamic responses is highly important for a reliable design of such structures. In this research, we focus on the probabilistic stability analysis of laminated structures subject to subtangential loading, a combination of conservative and nonconservative tangential loads, using the dynamic criterion. In order to study the dynamic behavior by including uncertainties into the problem, three models were developed: exact Monte Carlo simulation, sensitivity-based Monte Carlo simulation, and probabilistic FEA. These methods were integrated into the existing finite element analysis. Also, perturbation and sensitivity analysis have been used to study nonconservative problems to study the stability analysis using the dynamic criterion.     

INDUCIBLE POSTREPLICATION REPAIR IS RESPONSIBLE FOR MINIMAL MEDIUM RECOVERY IN UV-IRRADIATED Escherichia coliK–12

Abstract— Ultraviolet (UV)-irradiated Escherichia coli K–12 uvrA cells showed higher survival if plated on minimal growth medium rather than on rich growth medium, i.e., they showed minimal medium recovery (MMR). A 2-hour treatment of UV-irradiated cells with rifampicin inhibited the subsequent expression of MMR, and produced a large reduction in survival. We have recently isolated a new mutant ( mmrA1 ) that does not show MMR. The mmrA mutation protected UV-irradiated uvrA cells from the effect of rich growth medium on survival, but not from the effect of rifampicin on survival. DNA daughter-strand gap (DSG) repair in UV-irradiated (4 J/m²) uvrA cells was inhibited to the same degree whether rich growth medium was added immediately after irradiation or after 10 min of postirradiation incubation in minimal growth medium. However, chloramphenicol added immediately after irradiation greatly reduced this repair; there was less reduction if it was added 10 min after UV irradiation. These findings suggest that MMR is an inducible repair phenomenon, and that rich growth medium inhibits this repair process itself rather than its induction.     

Catalytic enantioselective indium-mediated allylation of hydrazones

[reaction: see text] A facile and highly selective indium-mediated allylation of hydrazones utilizing BINOL ligands is described. Chiral (R)-3,3'-bistrifluoromethylBINOL afforded homoallylic amines in up to 97% ee with stoichiometric ligand. Employing only 10 mol % ligand afforded selectivity of up to 92% ee.