Explaining the <Literal>cumulative</Literal> propagator

The global cumulative constraint was proposed for modelling cumulative resources in scheduling problems for finite domain (FD) propagation. Since that time a great deal of research has investigated new stronger and faster filtering techniques for cumulative, but still most of these techniques only pay off in limited cases or are not scalable. Recently, the “lazy clause generation” hybrid solving approach has been devised which allows a finite domain propagation engine possible to take advantage of advanced SAT technology, by “lazily” creating a SAT model of an FD problem as computation progresses. This allows the solver to make use of SAT explanation and autonomous search capabilities. In this article we show how, once we use lazy clause generation, modelling the cumulative constraint by decomposition creates a highly competitive version of cumulative. Using decomposition into component parts automatically makes the propagator incremental and able to explain itself. We then show how, using the insights from the behaviour of the decomposition, we can create global cumulative constraints that explain their propagation. We compare these approaches to explaining the cumulative constraint on resource constrained project scheduling problems. All our methods are able to close a substantial number of open problems from the well-established PSPlib benchmark library of resource-constrained project scheduling problems.     

The Pichia pastoris dihydroxyacetone kinase is a PTS1-containing,but cytosolic,protein that is essential for growth on methanol

Dihydroxyacetone kinase (DAK) is essential for methanol assimilation in methylotrophic yeasts. We have cloned the DAK gene from Pichia pastoris by functional complementation of a mutant that was unable to grow on methanol. An open reading frame of 1824 bp was identified that encodes a 65·3 kDa protein with high homology to DAK from Saccharomyces cerevisiae. Although DAK from P. pastoris contained a C-terminal tripeptide, TKL, which we showed can act as a peroxisomal targeting signal when fused to the green fluorescent protein, the enzyme was primarily cytosolic. The TKL tripeptide was not required for the biochemical function of DAK because a deletion construct lacking the DNA encoding this tripeptide was able to complement the P. pastoris dakΔ mutant. Peroxisomes, which are essential for growth of P. pastoris on methanol, were present in the dakΔ mutant and the import of peroxisomal proteins was not disturbed. The dakΔ mutant grew at normal rates on glycerol and oleate media. However, unlike the wild-type cells, the dakΔ mutant was unable to grow on methanol as the sole carbon source but was able to grow on dihydroxyacetone at a much slower rate. The metabolic pathway explaining the reduced growth rate of the dakΔ mutant on dihydroxyacetone is discussed. The nucleotide sequence reported in this paper has been submitted to GenBank with Accession Number AF019198. © 1998 John Wiley & Sons, Ltd.     

Characterization and distribution of amylases during vegetative cell growth and sporulation of Clostridium perfringens

Clostridium perfringens produced eight extracellular and two intracellular amylolytic activities when examined by zymograms following polyacrylamide gel electrophoresis under native conditions. The major intracellular amylase was isolated from vegetative cells of C. perfringens. It possessed an estimated molecular mass of 112 kDa. Sulfhydryl and phenol functional groups were essential to its activity. The amylase was endo-acting on starch and also hydrolyzed pullulan. Polyclonal antisera against a purified extracellular amylase did not cross-react with intracellular amylase and the two amylases were biochemically different. The distribution of extracellular amylolytic activities of sporulating cells was different from that of vegetative cells, whereas the distribution of intracellular amylolytic activities remained identical. A significant increase of a particular amylase (A8) occurred in the extracellular fluid during sporulation compared with that during vegetative growth. Regulation of the excretion of amylase(s) may be sporulation and enterotoxingenicity related.     

Highly stable DNA triplexes formed with cationic phosphoramidate pyrimidine alpha-oligonucleotides

The ability of cationic phosphoramidate pyrimidine alpha-oligonucleotides (ONs) to form triplexes with DNA duplexes was investigated by UV melting experiments, circular dichroism spectroscopy and gel mobility shift experiments. Replacement of the phosphodiester linkages in alpha-ONs with positively charged phosphoramidate linkages results in more efficient triplex formation, the triplex stability increasing with the number of positive charges. At a neutral pH and in the absence of magnesium ions, it was found that a fully cationic phosphoramidate alpha-TFO (triplex-forming oligonucleotide) forms a highly stable triplex that melts at a higher temperature than the duplex target. No hysteresis between the annealing and melting curves was noticed; this indicates fast association. Moreover, the recognition of a DNA duplex with a cationic alpha-TFO through Hoogsteen base pairing is highly sequence-specific. To the best of our knowledge, this is the first report of stable triplexes in the pyrimidine motif formed by cationic alpha-oligonucleotides and duplex targets.     

Real-Time Electrochemical PCR with a DNA Intercalating Redox Probe

The proof-of-principle of a nonoptical real-time PCR method based on the electrochemical monitoring of a DNA intercalating redox probe that becomes considerably less easily electrochemically detectable once intercalated to the amplified double-stranded DNA is demonstrated. This has been made possible thanks to the finding of a redox intercalator that (i) strongly and specifically binds to the amplified double-stranded DNA, (ii) does not significantly inhibit PCR, (iii) is chemically stable under PCR cycling, and (iv) is sensitively detected by square wave voltammetry during PCR cycling. Among the different DNA intercalating redox probes that we have investigated, namely, methylene blue, Os[(bpy)(2)phen](2+), Os[(bpy)(2)DPPZ](2+), Os[(4,4'-dimethyl-bpy)(2)DPPZ](2+) and Os[(4,4'-diamino-bpy)(2)DPPZ](2+) (with bpy = 2,2'-bipyridine, phen = phenanthroline, and DPPZ = dipyrido[3,2-a:2',3'-c]phenazine), the one and only compound with which it has been possible to demonstrate the proof-of-concept is the Os[(bpy)(2)DPPZ](2+). In terms of analytical performances, the methodology described here compares well with optical-based real-time PCRs, offering finally the same advantages than the popular and routinely used SYBR Green-based real-time fluorescent PCR, but with the additional incomes of being potentially much cheaper and easier to integrate in a hand-held miniaturized device.     

Temperature coefficient of the high-frequency guided acoustic mode in a photonic crystal fiber

High-frequency guided acoustic Brillouin modes have recently been observed in small-core silica photonic crystal fibers. In this paper, we investigate the temperature dependence of the optical sideband frequency generated by one of these guided acoustic waves. The experimental results show a temperature coefficient of 100 kHz/°C at an acoustic resonance frequency of 1.15 GHz and are in very good agreement with the theoretical predictions. This coefficient demonstrates a temperature sensitivity 10 times larger than that previously reported in conventional single-mode fibers, which is promising in view of potential applications to optical fiber sensors.     

Orbito-palpebral prosthesis retained by intraosseous implants]

The use of intraosseous implants, whose tolerance is continually improving, constitutes an important progress in the field of prosthetic rehabilitation. In particular, titanium implants largely resolve the problem of retention of craniofacial prostheses. Our experience, based on that of Swedish authors concerning the extra-oral use of intraosseous implants, was sufficiently convincing to adopt this effective technique in our patients candidates for prosthetic rehabilitation. The case of a patient rehabilitated by means of an orbito-palpebral prosthesis is presented after a brief biomechanical review and presentation of the technique. Our results, although preliminary, are very encouraging in terms of the technical aspects as well as patient comfort. A further study could reinforce our decision.     

A multi-instrumented polymer exchange membrane fuel cell: Observation of the in-plane non-homogeneities

A multi-instrumented single polymer exchange membrane fuel cell is tested. It allows measuring local current densities and the temperature field along the gas channels. It is built from transparent PMMA so that an additional observable is the location where liquid water appears in the channels. Some local and transient observations are presented. A result is that the temperature field is strongly correlated with the current density distribution and it is confirmed that both depend strongly on water management. Some local aging effects and the observation of internal currents in open circuit conditions are reported.