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.     

Liquid-liquid phase equilibria of aqueous two-phase systems containing salts and polyethylene glycol

Liquid-liquid phase equilibria of the ternary systems: (a) polyethylene glycol - ammonium sulfate- water and (b) polyethylene glycol - sodium carbonate -water have been determined experimentally at 15°, 25°, 35° and 45°C and for two different molecular weights of the polymer (Avg. M.W. 1000 and 2000). Details of the glass cell and of the equilibration and analytical procedures used are described. Equilibrium data along with phase diagrams are presented. Finally the effect of temperature and of the molecular weight of the polymer are also discussed.     

Representation of Cubic Lattices by Symmetric Implication Algebras

In this paper a cubic lattice L(S) is endowed with a symmetric implication structure and it is proved that L(S) \ {0} is a power of the three-element simple symmetric implication algebra. The Metropolis–Rota’s symmetries are obtained as partial terms in the language of symmetric implication algebras.     

Development of a so-called hour method for analysis of plutonium in soil samples

A short overview of HPLC column packings is presented. The properties of chromatographic carriers and the possibilities to combine the solid matrices with organic polymeric stationary phases are elucidated in detail. The latest achievements and anticipated future developments in the area are outlined.     

Thermal stability of poly(mono-n-alkylitaconates) and mono-n-alkylitaconate-co-vinylpyrrolidone copolymers I

Poly(monoitaconates) containing octyl, decyl and dodecyl groups and random monoalkylitaconate-co-vinylpyrrolidone copolymers were studied by thermogravimetric analysis. Copolymers of mono-n-octylitaconate (MOI), mono-n-decylitaconate (MDI), and mono-n-dodecylitaconate (MDoI), respectively, with N-vinyl-2-pyrrolidone (VP) of different compositions were studied by dynamic thermogravimetric analysis. The thermal stability of the copolymers depends on the structure of the monoitaconate comonomer and on the composition of the copolymer The kinetic analysis of the degradation data shows that the thermal decomposition of these copolymers can be described by several kinetic orders depending on the copolymer and on the composition. The relative thermal stability of the copolymers increases as the VP content increases and as the length of the side chain of the itaconate increases, following the same trend as the flexibility of the copolymers in solution.     

Wellposedness for the Navier–Stokes flow in the exterior of a rotating obstacle

In this paper we study the Navier–Stokes boundary‐initial value problem in the exterior of a rotating obstacle, in two and three spatial dimensions. We prove the local in time existence and uniqueness of strong solutions. Moreover, we show that the solutions are global in time, in two spatial dimensions. Copyright © 2005 John Wiley & Sons, Ltd.     

Catalyzed oxidation of alcohols and aldehydes with iodosylbenzene

RuCl₂(PPh₃)₃ catalyzes oxidation of alcohols to carbonyi compounds by iodosylbenzene and that of aldehydes to carboxylic acids. Catalyzed oxidation of primary alcohols with phenyliodosodiacetate affords aldehydes.