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.     

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₄.     

Mathematical Modeling of Poly[styrene-co-(ethylene glycol dimethacrylate)] Sulfonation

Kinetics and Catalysis - The production of sulfonated resins is of great interest to be applied in different industrial processes such as esterification, etherification, biodiesel production and...     

Uranium-bearing francolites present in organic-rich limestones of NW Greece: a preliminary study using synchrotron radiation and fission track techniques

Synchrotron radiation techniques (μ-XRF and μ-XANES) were applied to the study of organic-rich phosphatized limestones of NW Greece (Epirus). The results revealed uranium accumulation in areas of the material containing, among others, carbonate apatite (francolite) and organic matter. The UL ₃-edge of μ-XANES spectra showed that uranium was present in tetravalent form. U-bearing francolite crystals were separated from the rock and characterized by Raman spectroscopy and microprobe. The analysis of the crystals also indicated the presence of sodium and sulfur. The uranium presence in the crystals was also visualized, after neutron irradiation and etching, by the observation of the fission tracks.