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.     

Computation of triple differential cross-sections with the inclusion of exchange effects in atomic K-shell ionization by relativistic electrons for symmetric geometry

The triple differential cross-section for K-shell ionization of silver and copper atoms by relativistic electrons have been computed in the coplanar symmetric geometry with the inclusion of exchange effects following the multiple scattering theory of Das and Seal [1] multiplied by suitable spinors. Present computed results are marginally improved in some cases from the previous computed results [2]. Present results are compared with measured values [3] and with previous computation results [2]. Some other theoretical computational results are also presented here for comparison.      

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.     

Fluorine incorporation in silica glass by the MCVD process: Study of fluorine incorporation zone,evaluation of optical properties and structure of the glass

A theoretical approach was made to find out a complete fluorine incorporation zone on a ternary diagram which serves as a useful graphical representation to select the flows of the supplied reagents for incorporation of the suitable amount of fluorine into cladding glass of optical fiber preform made by the MCVD process using CCl₂F₂ as a source of fluorine under oxygen abundance, oxygen deficiency and intermediate oxygen state conditions. The possible mechanism for incorporation of fluorine into cladding glass of optical fiber is also evaluated on the basis of the thermodynamical data. The fluorine incorporation mechanism in silica glass by the MCVD process is found to be dependent on the CCl₂F₂/SiCl₄ ratio in the input gas mixture. Fluorine doping is found to be effective for removing the strained Si–O–Si bonds, which govern the optical transparency in deep ultra-violet (DUV) and vacuum ultra-violet (VUV) regions. The maximum refractive index depression of ?0.5 × 10^?3 is obtained with incorporation of fluorine into silica cladding glass by the MCVD process using CCl₂F₂ as a dopant precursor with suitable flow of SiCl₄ vapor along with O₂ through backward deposition pass. The structure of fluorine doped silica glass preform samples containing 1.70–1.79 mol% fluorine incorporated by the MCVD process based on the analyses of ¹⁹F MAS spectra done by high-resolution ¹⁹F NMR spectroscopy reveal the presence of two distinct types of fluorine environments. The majority of the fluorine environments are formed in SiO_1.5F polyhedral and less abundant species is observed to be highly unusual, yielding a fivefold coordinated silicon of the type SiO₂F polyhedral which become increased with increasing the fluorine content.     

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.