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.     

Stored energy release behaviour of disordered carbon

The use of graphite as a moderator in a low temperature thermal nuclear reactor is restricted due to accumulation of energy caused by displacement of atoms by neutrons and high energetic particles. Thermal transients may lead to a release of stored energy that may raise the temperature of the fuel clad above the design limit. Disordered carbon is thought to be an alternative choice for this purpose. Two types of disordered carbon composites, namely, CB (made up of 15 wt. % carbon black dispersed in carbonized phenolic resin) and PAN (made up of 20 vol. % chopped polyacrylonitrile carbon fibre dispersed in carbonized phenolic resin matrix) have been irradiated with 145 MeV Ne⁶⁺ ions at three fluence levels of 1.0×10¹³, 5.0×10¹³ and 1.5×10¹⁴ Ne⁶⁺/cm², respectively. The XRD patterns revealed that both the samples remained disordered even after irradiation. The maximum release of stored energy for CB was 212 J/g and that of PAN was 906 J/g. For CB, the release of stored energy was a first order reaction with activation energy of 2.79 eV and a frequency factor of 3.72×10²⁸ per second. 13% of the defects got annealed by heating up to 700 °C. PAN showed a third-order release rate with activation energy of 1.69 eV and a frequency factor of 1.77×10¹⁴ per second. 56% of the total defects got annealed by heating it up to 700 °C. CB seems to be the better choice than PAN as it showed less energy release with a slower rate. PACS 61.80.Jh; 61.80.-x; 61.43Er; 61.43.-j; 68.43.Vx     

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.     

Application of directed metallation in synthesis. Part 3: Studies in the synthesis of (±)-semivioxanthin and its analogues

The synthesis of several analogues of (±)-semivioxanthin including five thiophene analogues, using directed metalation are reported. The strategy consisted of the synthesis of functionalized naphthalene or benzo[b]thiophene as building blocks followed by annelation of the pyrone.     

Synthesis and characterization of some novel cyanonitrosyl complexes of chromium(I) with Mannich bases,aromatic aldehyde oximes and syn-phenyl-2-pyridylketoxime

Some new low-spin hexacoordinated cyanonitrosyl complexes of Cr¹ of the type [Cr(NO)(CN)₂(L)₂(H₂)], where L is an aromatic aldehyde oxime or Mannich base, have been prepared by the interaction or K₃[Cr(NO)(CN)₅]· H₂O with L in aqueous AcOH, and characterized by a range of physico-chemical techniques, I.r. data suggest that all the oxime derivatives and Mannich bases act as monodentate ligands by coordinating through the aromatic nitrogen. TMC 2564     

Working group report: Neutrino and astroparticle physics

This is the report of neutrino and astroparticle physics working group at WHEPP-7. Discussions and work on CP violation in long baseline neutrino experiments, ultra high energy neutrinos, supernova neutrinos and water Cerenkov detectors are discussed.     

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.