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.     

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.     

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.     

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.     

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.     

Enzyme association with lipidic Langmuir-Blodgett films: interests and applications in nanobioscience

This review presents the recent advances in the achievement of organized proteo-lipidic nanostructures based on Langmuir-Blodgett technology and their potential applications in the nanobioscience area. By using the self-assembled properties of amphiphilic biomolecules at the air-water interface, the Langmuir-Blodgett (LB) technique offers the possibility to prepare ultrathin layers suitable for biomolecule immobilization at the molecular level. This review will provide a general overview of the enzyme association with preformed Langmuir-Blodgett films in connection with their potential applications in biosensing device developments, and then introduce the design of a new functionalised biomimetic nanostructure with oriented recognition site. The potential applications of such an organized proteo-lipidic nanostructure for biocatalysis investigations of an immobilised enzyme in a biomimetic situation and for the development of bioelectronic devices are finally discussed.     

Addition of carbon nucleophiles to cyclic N-acyliminium and oxocarbenium ions under solvent-free conditions

The InCl₃-catalyzed addition of carbon nucleophiles to cyclic N-acyliminium and oxocarbenium ions under solvent-free conditions at room temperature is described. The corresponding α-substituted heterocycles were obtained in moderate to excellent yields.     

Ru-catalyzed oxidation of substituted acetylenes to α-keto esters and α-keto amides with iodosylbenzene

Oxidation of alkynyl ethers and -amines with iodosylbenzene in presence of Ru-catalysts affords α-keto esters and α-keto amides in 44–85% yield. These conversions can also be effected with RuO₄.     

Aggregation of [Cu(II)4] building blocks into [Cu(II)8] clusters or a [Cu(II)4]infinity chain through subtle chemical control

Coordination complexes of the ligand H3L [1,3-bis(3-oxo-3-phenylpropionyl)-2-hydroxy-5-methylbenzene] with Cu(II) are reported. Clusters showing various nuclearities or modes of supramolecular organization have been prepared by slightly changing the reaction conditions and have been crystallographically characterized. The reaction of H3L with one equivalent of Cu(OAc)2 in DMF yields the dinuclear complex [Cu2(HL)2(dmf)2] (1). Reaction in MeOH of H3L with an increased amount of metal, in the form of Cu(NO3)2, and excess strong base (nBu4NOH) affords the cluster [Cu8(L)2(OMe)8(NO3)2] (2). Complex 2 is a dimer of two linear [Cu4] arrays bridged by methoxide ligands, where the polynucleating ligand is fully deprotonated. The [Cu4]2 clusters are linked to each other by NO3- bridges to form one-dimensional coordination polymers. The link between [Cu8] units and their relative spatial positioning can be modified by changing the anion of the Cu(II) salt, as demonstrated by the synthesis of the cluster polymers [Cu8(L)2(OMe)8Cl2] (3) and [Cu8(L)(OMe)7.86Br2.14] (4), where only NO3- has been replaced by Cl- or Br-, respectively. Similarly, when ClO4- is used, compound [Cu8(L)2(OMe)8(ClO4)2(MeOH)4] (5) can be isolated. It contains independent [Cu8] units. A slight change in the stoichiometry of the reaction leading to 2 affords the related complex catena-[Cu4(L)(OMe)3(NO3)2(H2O)0.36] (6). This polymer contains essentially the same [Cu4] moiety as 2, albeit organized in a completely different arrangement. Each [Cu4] unit in 6 is linked by OMe- ligands to two such equivalent groups to form an infinite chain. Magnetic susceptibility measurements reveal weak antiferromagnetic exchange between Cu(II) centers in 1 (J = -0.73 cm(-1)) and strong antiferromagnetic coupling within [Cu4] chains in 2, 5, and 6 (most negative J values of -113.8 and -177.3 cm(-1) for 2 and 6, respectively).