An Efficient Nominal Unification Algorithm

Nominal Unification is an extension of first-order unification where terms can contain binders and unification is performed modulo α equivalence. Here we prove that the existence of nominal unifiers can be decided in quadratic time. First, we linearly-reduce nominal unification problems to a sequence of freshness and equalities between atoms, modulo a permutation, using ideas as Paterson and Wegman for first-order unification. Second, we prove that solvability of these reduced problems may be checked in quadràtic time. Finally, we point out how using ideas of Brown and Tarjan for unbalanced merging, we could solve these reduced problems more efficiently

Bacterial and viral superantigens: roles in autoimmunity?

Superantigens are bacterial, viral, or retroviral proteins which can activate specifically a large proportion of T cells. In contrast with classical peptide antigen recognition, superantigens do not require processing to small peptides but act as complete or partially processed proteins. They can bind to major histocompatibility complex class II molecules and stimulate T cells expressing particular T cell receptor V beta chains. The other polymorphic parts of the T cell receptor, which are crucial for classical antigen recognition, are not important for this interaction. When this strategy is used a large proportion of the host immune system can be activated shortly after infection. The activated cells have a wide variety of antigen specificities. The ability to stimulate polyclonal B (IgG) as well as T cell responses raises possibilities of a role for superantigens in the induction of autoimmune diseases. Superantigens have been a great tool in the hands of immunologists in unravelling some of the basic mechanisms of tolerance and immunity.

Validation of a clinical algorithm to identify low-risk patients with pulmonary embolism.

Summary Background: We previously derived a clinical prognostic algorithm to identify patients with pulmonary embolism (PE) who are at low-risk of short-term mortality who could be safely discharged early or treated entirely in an outpatient setting. Objectives: To externally validate the clinical prognostic algorithm in an independent patient sample. Methods: We validated the algorithm in 983 consecutive patients prospectively diagnosed with PE at an emergency department of a university hospital. Patients with none of the algorithm's 10 prognostic variables (age >/= 70 years, cancer, heart failure, chronic lung disease, chronic renal disease, cerebrovascular disease, pulse >/= 110/min., systolic blood pressure < 100 mm Hg, oxygen saturation < 90%, and altered mental status) at baseline were defined as low-risk. We compared 30-day overall mortality among low-risk patients based on the algorithm between the validation and the original derivation sample. We also assessed the rate of PE-related and bleeding-related mortality among low-risk patients. Results: Overall, the algorithm classified 16.3% of patients with PE as low-risk. Mortality at 30 days was 1.9% among low-risk patients and did not differ between the validation and the original derivation sample. Among low-risk patients, only 0.6% died from definite or possible PE, and 0% died from bleeding. Conclusions: This study validates an easy-to-use, clinical prognostic algorithm for PE that accurately identifies patients with PE who are at low-risk of short-term mortality. Low-risk patients based on our algorithm are potential candidates for less costly outpatient treatment.

Application of real-time PCR for total airborne bacterial assessment : comparison with epifluorescence microscopy and culture-dependent methods

Traditional culture-dependent methods to quantify and identify airborne microorganisms are limited by factors such as short-duration sampling times and inability to count nonculturableor non-viable bacteria. Consequently, the quantitative assessment of bioaerosols is often underestimated. Use of the real-time quantitative polymerase chain reaction (Q-PCR) to quantify bacteria in environmental samples presents an alternative method, which should overcome this problem. The aim of this study was to evaluate the performance of a real-time Q-PCR assay as a simple and reliable way to quantify the airborne bacterial load within poultry houses and sewage treatment plants, in comparison with epifluorescencemicroscopy and culture-dependent methods. The estimates of bacterial load that we obtained from real-time PCR and epifluorescence methods, are comparable, however, our analysis of sewage treatment plants indicate these methods give values 270-290 fold greater than those obtained by the ''impaction on nutrient agar'' method. The culture-dependent method of air impaction on nutrient agar was also inadequate in poultry houses, as was the impinger-culture method, which gave a bacterial load estimate 32-fold lower than obtained by Q-PCR. Real-time quantitative PCR thus proves to be a reliable, discerning, and simple method that could be used to estimate airborne bacterial load in a broad variety of other environments expected to carry high numbers of airborne bacteria. [Authors]

Bacterial subfamily of LuxR regulators that respond to plant compounds.

Pseudomonas fluorescens are rhizobacteria known for their biocontrol properties. Several antimicrobial functions are crucial for this process, and the experiments described here investigate the modulation of their expression during the plant-bacterium interaction. The role of a LuxR family regulator in interkingdom signaling has been investigated using genome-scale transcriptome analysis, gene promoter studies in vivo and in vitro, biocontrol assays, and response to plant compounds. PsoR, a LuxR solo or orphan regulator of P. fluorescens, was identified. PsoR is solubilized and activates a lux-box-containing promoter only in the presence of macerated plants, suggesting the presence of a plant molecule(s) that most likely binds to PsoR. Gene expression profiles revealed that genes involved in the inhibition of plant pathogens were affected by PsoR, including a chitinase gene, iron metabolism genes, and biosynthetic genes of antifungal compounds. 2,4-Diacetylphloroglucinol production is PsoR dependent both in vitro and in vivo. psoR mutants were significantly reduced for their ability to protect wheat plants from root rot, and damping-off caused by Pythium ultimum infection. PsoR most likely senses a molecule(s) in the plant and modulates expression of genes that have a role in biocontrol. PsoR and related proteins form a subfamily of LuxR family regulators in plant-associated bacteria.

Proliferation is a prerequisite for bacterial superantigen-induced T cell apoptosis in vivo.

Staphylococcal enterotoxin B (SEB) is a bacterial superantigen that binds to major histocompatibility complex class II molecules and selectively interacts with T cells that bear certain T cell receptor (TCR) V beta domains. Administration of SEB in adult mice results in initial proliferation of V beta 8+ T cells followed by a state of unresponsiveness resulting from a combination of clonal deletion and clonal anergy in the SEB-reactive population. At this time, it is unclear what relationship exists between the T cells that have proliferated and those that have been deleted or have become anergic. Here we show that only a fraction of the potentially reactive V beta 8+ T cells proliferate in response to SEB in vivo, and that all the cells that have proliferated eventually undergo apoptosis. Virtually no apoptosis can be detected in the nonproliferating V beta 8+ T cells. These data demonstrate a causal relationship between proliferation and apoptosis in response to SEB in vivo, and they further indicate that T cells bearing the same TCR V beta segment can respond differently to the same superantigen. The implications of this differential responsiveness in terms of activation and tolerance are discussed.

Autoinduction of 2,4-diacetylphloroglucinol biosynthesis in the biocontrol agent Pseudomonas fluorescens CHA0 and repression by the bacterial metabolites salicylate and pyoluteorin.

The antimicrobial metabolite 2,4-diacetylphloroglucinol (2,4-DAPG) contributes to the capacity of Pseudomonas fluorescens strain CHA0 to control plant diseases caused by soilborne pathogens. A 2, 4-DAPG-negative Tn5 insertion mutant of strain CHA0 was isolated, and the nucleotide sequence of the 4-kb genomic DNA region adjacent to the Tn5 insertion site was determined. Four open reading frames were identified, two of which were homologous to phlA, the first gene of the 2,4-DAPG biosynthetic operon, and to the phlF gene encoding a pathway-specific transcriptional repressor. The Tn5 insertion was located in an open reading frame, tentatively named phlH, which is not related to known phl genes. In wild-type CHA0, 2, 4-DAPG production paralleled expression of a phlA'-'lacZ translational fusion, reaching a maximum in the late exponential growth phase. Thereafter, the compound appeared to be degraded to monoacetylphloroglucinol by the bacterium. 2,4-DAPG was identified as the active compound in extracts from culture supernatants of strain CHA0 specifically inducing phlA'-'lacZ expression about sixfold during exponential growth. Induction by exogenous 2,4-DAPG was most conspicuous in a phlA mutant, which was unable to produce 2, 4-DAPG. In a phlF mutant, 2,4-DAPG production was enhanced severalfold and phlA'-'lacZ was expressed at a level corresponding to that in the wild type with 2,4-DAPG added. The phlF mutant was insensitive to 2,4-DAPG addition. A transcriptional phlA-lacZ fusion was used to demonstrate that the repressor PhlF acts at the level of transcription. Expression of phlA'-'lacZ and 2,4-DAPG synthesis in strain CHA0 was strongly repressed by the bacterial extracellular metabolites salicylate and pyoluteorin as well as by fusaric acid, a toxin produced by the pythopathogenic fungus Fusarium. In the phlF mutant, these compounds did not affect phlA'-'lacZ expression and 2, 4-DAPG production. PhlF-mediated induction by 2,4-DAPG and repression by salicylate of phlA'-'lacZ expression was confirmed by using Escherichia coli as a heterologous host. In conclusion, our results show that autoinduction of 2,4-DAPG biosynthesis can be countered by certain bacterial (and fungal) metabolites. This mechanism, which depends on phlF function, may help P. fluorescens to produce homeostatically balanced amounts of extracellular metabolites.

A fast Bayesian reconstruction algorithm for emission tomography with entropy prior converging to feasible images

The development and tests of an iterative reconstruction algorithm for emission tomography based on Bayesian statistical concepts are described. The algorithm uses the entropy of the generated image as a prior distribution, can be accelerated by the choice of an exponent, and converges uniformly to feasible images by the choice of one adjustable parameter. A feasible image has been defined as one that is consistent with the initial data (i.e. it is an image that, if truly a source of radiation in a patient, could have generated the initial data by the Poisson process that governs radioactive disintegration). The fundamental ideas of Bayesian reconstruction are discussed, along with the use of an entropy prior with an adjustable contrast parameter, the use of likelihood with data increment parameters as conditional probability, and the development of the new fast maximum a posteriori with entropy (FMAPE) Algorithm by the successive substitution method. It is shown that in the maximum likelihood estimator (MLE) and FMAPE algorithms, the only correct choice of initial image for the iterative procedure in the absence of a priori knowledge about the image configuration is a uniform field.

Native homing endonucleases can target conserved genes in humans and in animal models.

In recent years, both homing endonucleases (HEases) and zinc-finger nucleases (ZFNs) have been engineered and selected for the targeting of desired human loci for gene therapy. However, enzyme engineering is lengthy and expensive and the off-target effect of the manufactured endonucleases is difficult to predict. Moreover, enzymes selected to cleave a human DNA locus may not cleave the homologous locus in the genome of animal models because of sequence divergence, thus hampering attempts to assess the in vivo efficacy and safety of any engineered enzyme prior to its application in human trials. Here, we show that naturally occurring HEases can be found, that cleave desirable human targets. Some of these enzymes are also shown to cleave the homologous sequence in the genome of animal models. In addition, the distribution of off-target effects may be more predictable for native HEases. Based on our experimental observations, we present the HomeBase algorithm, database and web server that allow a high-throughput computational search and assignment of HEases for the targeting of specific loci in the human and other genomes. We validate experimentally the predicted target specificity of candidate fungal, bacterial and archaeal HEases using cell free, yeast and archaeal assays.

Examining chemical compound biodegradation at low concentrations through bacterial cell proliferation.

We show proof of principle for assessing compound biodegradation at 1-2 mg C per L by measuring microbial community growth over time with direct cell counting by flow cytometry. The concept is based on the assumption that the microbial community will increase in cell number through incorporation of carbon from the added test compound into new cells in the absence of (as much as possible) other assimilable carbon. We show on pure cultures of the bacterium Pseudomonas azelaica that specific population growth can be measured with as low as 0.1 mg 2-hydroxybiphenyl per L, whereas in mixed community 1 mg 2-hydroxybiphenyl per L still supported growth. Growth was also detected with a set of fragrance compounds dosed at 1-2 mg C per L into diluted activated sludge and freshwater lake communities at starting densities of 10(4) cells per ml. Yield approximations from the observed community growth was to some extent in agreement with standard OECD biodegradation test results for all, except one of the examined compounds.

Bacterial contamination of platelet concentrates: pathogen detection and inactivation methods

Whereas the reduction of transfusion related viral transmission has been a priority during the last decade, bacterial infection transmitted by transfusion still remains associated to a high morbidity and mortality, and constitutes the most frequent infectious risk of transfusion. This problem especially concerns platelet concentrates because of their favorable bacterial growth conditions. This review gives an overview of platelet transfusion-related bacterial contamination as well as on the different strategies to reduce this problem by using either bacterial detection or inactivation methods.

Mechanism, regulation, and ecological role of bacterial cyanide biosynthesis.

A few bacterial species are known to produce and excrete hydrogen cyanide (HCN), a potent inhibitor of cytochrome c oxidase and several other metalloenzymes. In the producer strains, HCN does not appear to have a role in primary metabolism and is generally considered a secondary metabolite. HCN synthase of proteobacteria (especially fluorescent pseudomonads) is a membrane-bound flavoenzyme that oxidizes glycine, producing HCN and CO2. The hcnABC structural genes of Pseudomonas fluorescens and P. aeruginosa have sequence similarities with genes encoding various amino acid dehydrogenases/oxidases, in particular with nopaline oxidase of Agrobacterium tumefaciens. Induction of the hcn genes of P. fluorescens by oxygen limitation requires the FNR-like transcriptional regulator ANR, an ANR recognition sequence in the -40 region of the hcn promoter, and nonlimiting amounts of iron. In addition, expression of the hcn genes depends on a regulatory cascade initiated by the GacS/GacA (global control) two-component system. This regulation, which is typical of secondary metabolism, manifests itself during the transition from exponential to stationary growth phase. Cyanide produced by P. fluorescens strain CHA0 has an ecological role in that this metabolite accounts for part of the biocontrol capacity of strain CHA0, which suppresses fungal diseases on plant roots. Cyanide can also be a ligand of hydrogenases in some anaerobic bacteria that have not been described as cyanogenic. However, in this case, as well as in other situations, the physiological function of cyanide is unknown.