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.     

Mayberry-Murasugi's formula for links in homology 3-spheres

We prove the Mayberry-Murasugi formula for links in homology 3-spheres, which was proved before only for links in the 3-sphere. Our proof uses Franz-Reidemeister torsions.

     

Synthesis and thermal crosslinking of oxazolidine‐functionalized polyurethanes

A new oxazolidine derivative was obtained from phenol, 2‐amino‐2‐methylpropane‐1,3‐diol and paraformaldehyde. The reaction of this novel oxazolidine diol with phenylisocyanate lead to a urethane model compound which can be polymerized thermally by oxazolidine ring opening to give a Mannich bridge structure. Linear segmented polyurethanes were prepared by reaction of different ratios of oxazolidine diol and commercial polyethylenglycol (M_w ～ 400) with 4,4′‐methylenbis (cyclohexylisocyanate) (HMDI, 90% isomers mixture). The polyurethanes were thermally characterized and crosslinked by oxazolidine ring opening to obtain materials which showed improved thermal stability. © 2007 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 45: 4965–4973, 2007     

Rheological and diffusion properties of a dextran-con A polymer in the presence of Insulin and Magnesium

Previous work carried out in our laboratories has focused on the formation and investigation of a dextran and concanavalin A (con A) based gel, which has the ability to alter its conformational structure in the presence and absence of free and terminal glucoses such that a gel–sol phase transition occurs. Here we report the diffusion and rheological investigations in to the effects of the addition of insulin and varyingconcentrations of magnesium chloride hexahydrate (Mg₂Cl₂6H₂O) at 20 and 37 °C. Rheological examination of glucose-sensitive (dextran-con A) gels were conducted using a cone and plate viscometer used in continual rotation and oscillatory modes. The results are interpreted in terms of the structure of the gel network and suggest rheological assessment provides an effective method of assessing the properties of gel systems. The subsequent testing of such formulations in in-vitro diffusion experiments revealed a reduction in the rate of diffusivity in the insulin marker, poly R-478 dye. The performance of this self-regulating drug delivery system has been examined and the addition of insulin and magnesium chloride may alter the way in which the gel operates as a drug delivery device and in the delivery of insulin. This may have implications for other ligands.     

High order linear initial-value problems and Schauder bases

In this paper we approximate the solution of a linear initial-value problem, making use of a Schauder basis for certain Banach space associated with such a differential problem. In addition, we apply that results in order to calculate numerically the response from a structure modelled by a three degree-of-freedom mass–damper–spring system.     

On the permanence of the null character of Maxwell fields

A critical review of known results about the permanence conditions for the null character of the solutions to the (vacuum) Maxwell equations, is presented. Concomitants of the electromagnetic field and the metric tensor are constructed, which give the principal directions of the field in covariant form. The known permanence conditions are generalized in order to includeall the (local) null fields; the above concomitants allow these conditions to be explicitly formulated in terms of the electromagnetic field.Supported in part by Conselleria de Cultura, Educació i Ciència de la Generalitat Valenciana.     

Vapor-particle partitioning of hydrocarbons in Western Mediterranean urban and marine atmospheres

An analytical procedure is described for a comprehensive determination of the composition of hydrocarbons in the atmosphere, based on: (a) aerosol filtration and subsequent adsorption of the vapor phase onto active charcoal and polyurethane foam; (b) GPC and HPLC fractionation of the extracts, and (c) analysis of the fractions by GC-MS under EI and NICI modes. Special emphasis is placed onn-alkanes, PAHs and their oxygenated derivatives.The characterization of samples collected in a coastal urban area (Barcelona city), and far away over the Western Mediterranean, at sea level and at 1100 m of altitude, revealed significant changes in the aerosol composition, mainly attributed to initial vapor-particle partitioning processes, influenced by ambient temperature variations, and to others taking place during long-range atmospheric transport, related with the different compound photoreactivities and with an unexplained source-decoupling phenomenon.     

Substituted m-phenylene bridges as strong ferromagnetic couplers for Cu(II)-bridge-Cu(II) magnetic interactions: new perspectives

Based on a combined theoretical-experimental study, we propose that substituted m-phenylene ligands (m-N-Phi-N) can act as tuneable strong ferromagnetic couplers connecting Cu(II) ions; a new complex presenting that bridge with J close to +15 cm(-1) has been suggested and synthesized.