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.     

Design of a Very Small Residual Dispersion Fiber System for DWDM Operation Over the Entire C - & L- Bands of EDFA

We have given design of a very small residual dispersion fiber system consisting of a small dispersion fiber(SDF) with flat modal field and a corresponding dual core coaxial dispersion compensating fiber (DCF).     

Modal properties of circular and noncircular optical waveguides

We give a review and a comparison of recent methods of analyzing circular and noncircular optical waveguides. Comparison among competing methodologies is made as follows: Galerkin's method is used with Laguerre-Gauss basis functions in circular geometry to examine the modal solution in a step index fiber, and comparison with the exact solution is made. A W-fiber, which has no exact solution, is then examined. Rectangular geometry is considered, and discussion centers on the use of Galerkin's method using trigonometric basis functions and Hermite-Gauss basis functions. Re difficulty arising from the use of basis functions that do not decay exponentially for large argument (trigonometric functions) is illustrated. Finally, a square step index waveguide is used to illustrate a comparison between a variational method that uses the Gaussian approximation as the starting point, and Galerkin's method using Hermite-Gauss basis functions. We conclude that the variational method does well in predicting the propagation constant β but does not do well in predicting the modal field.     

Optical waveguide analysis using modified Airy functions

We review a little-used but powerful method of solving the scalar wave equation. It uses a modification of the well-known Airy functions, which are easily calculated on desktop computers. The techniques are reminiscent of the WKBJ methodology, but the solution, although approximate, is much more useful than the traditional WKBJ solution and can be used with almost as much ease. Re method is extremely powerful but, to our knowledge, is not used in the optics community. It is useful in analyzing integrated optical waveguide components.