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.     

Multifunctional ToF-SIMS: combinatorial mapping of gradient energy substrates

We present a simple method for chemical modification of chlorosilane self-assembled monolayers (SAMs) on Si surfaces by exposure to a gradient of UV-ozone radiation to create stable substrates with a range of contact angles (θ_H2O≈5–95°) and surface energies on a single substrate. These gradient energy substrates are developed to potentially generate libraries for combinatorial studies of thin film phenomenology, where a systematic variation of interfacial surface energy represents one of the significant parameters along one axis. The graded oxidation process presents a systematic variation of surface chemical composition. We have utilized contact angle measurements and time-of-flight secondary ion mass spectrometry (ToF-SIMS) to investigate this variation for a series of ions, among which are SiCH₃⁺, SiOH⁺ and COOH⁻. We show that the macroscopic measurements of surface free energy/contact angle correlate with the detailed analysis of surface chemistry (as assessed by ToF-SIMS) on these test substrates.     

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.     

Copper(II), nickel(II), cobalt(II) and zinc(II) complexes of 2-[2-(6-methylbenzothiazolyl)azo]-5-dimethylaminobenzoic acid: synthesis,spectral, thermal and molecular modelling studies

Complexes of copper(II), nickel(II), cobalt(II), and zinc(II) with 2-[2-(6-methylbenzothiazolyl)azo]-5-dimethylaminobenzoic acid have been prepared and characterized by elemental analysis, vibrational spectra, magnetic susceptibility measurements, conductance measurements and e.p.r. spectra. Stability constants have been evaluated potentiometrically. Electronic spectra, magnetic susceptibility measurements and molecular modeling studies support a distorted square planar geometry around the metal ions. Vibrational spectra indicate the coordination of the azo group, nitrogen of benzothiazole, the carboxylate anion and the acetate ion on complexation with the metal ion. All complexes are found to be monomers. The stability of the complexes follow the order: copper(II) > nickel(II) > cobalt(II) > zinc(II).