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.     

Determination of impurities in uranium oxide by inductively coupled plasma mass spectrometry (ICPMS) by the matrix matching method

An analytical procedure was developed to determine the concentration of some elements regarded as trace impurities in nuclear fuel using inductively coupled plasma mass spectrometry (ICPMS) associated to the matrix matching method. The assessment of this approach was carried out using a set of certified reference materials produced by the New Brunswick Laboratory (NBL). Eighteen out of the twenty-four elements in the reference materials could be easily determined. It was found that the mean values for reproducibility and accuracy were 5.0% and 15.0%. The remaining six elements provided mean values of 11.0% and 37.0%, respectively. They could not be adequately determined due to the effects of analyte signal suppression and spectral interference.     

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.     

Production of recombinant bleaching enzymes from thermophilic microorganisms in fungal hosts

Cost-effective production of enzymes for industrial processes makes the appropriate selection of the host-vector expression system critical. We have developed two systems for the bulk production of bleaching enzymes from thermophiles. Kluyveromyces lactis has been developed as a secretion host employing expression vectors based on the 2μ-like plasmid pKD1 of Kluyveromyces drosophilarium. Our second system involves the filamentous fungus Trichoderma reesei. Fusion and nonfusion vectors have been constructed using the strong cellobiohydrolase 1 (cbh1) promoter. The KEX2 protease cleavage site and a 6 × HIS-tag have been incorporated to facilitate both cleavage and purification of the mature foreign proteins.     

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.     

A precision measurement of the average lifetime ofB hadrons

The average lifetime ofB hadrons was measured using data collected with the DELPHI detector at the LEP collider during 1991 and 1992. The measurement was performed using two different anayses. The first method was an improvement on a previous technique, which used charged particle impact parameter distributions. This analysis measured an average lifetime forB hadrons of

Evaluation of recombinant green fluorescent protein, under various culture conditions and purification with HiTrap hydrophobic interaction chromatography resins

To determine the influence of various culture conditions, transformed cells of Escherichia coli expressing recombinant green fluorescent protein (GFPuv) were grown in nine cultures with four variable conditions (storage of inoculated broth at 4°C prior to incubation, agitation speed, isopropyl-β-d-thiogalactopyranoside [IPTG] concentration, and induction time). The pelleted cells were resuspended in extraction buffer and subjected to the three-phase partitioning (TPP) extraction method. To determine the most appropriate purification resin, protein extracts were eluted through one of four types of HiTrap hydrophobic interaction chromatography (HIC) columns prepacked with methyl, butyl, octyl, or phenyl resins and analyzed further on a 12% sodium dodecylsulfatepolyacrylamidegel. With Coomassie staining, a single band between 27 (standard GFPuv) and 29 kDa (molecular weight standard) was visualized for every HIC column sample. TPP extraction with HIC elution provided about 90% of the GFPuv recovered and eight-fold GFPuv enrichment related to the specific mass. Rotary speed and IPTG concentration showed, respectively, greater negative and positive influences on GFPuv expression at the beginning of the logarithmic phase for the set culture conditions (37°C, 24-h incubation).