The role of ethanol oxidation during carboxydotrophic growth of clostridium autoethanogenum

The WoodLjungdahl pathway is an ancient metabolic route used by acetogenic carboxydotrophs to convert CO into acetate, and some cases ethanol. When produced, ethanol is generally seen as an end product of acetogenic metabolism, but here we show that it acts as an important intermediate and co-substrate during carboxydotrophic growth of Clostridium autoethanogenum. Depending on CO availability, C. autoethanogenum is able to rapidly switch between ethanol production and utilization, hereby optimizing its carboxydotrophic growth. The importance of the aldehyde ferredoxin:oxidoreductase (AOR) route for ethanol production in carboxydotrophic acetogens is known; however, the role of the bifunctional alcohol dehydrogenase AdhE (AldAdh) route in ethanol metabolism remains largely unclear. We show that the mutant strain C. autoethanogenum adhE1a, lacking the Ald subunit of the main bifunctional aldehyde/alcohol dehydrogenase (AdhE, CAETHG\_3747), has poor ethanol oxidation capabilities, with a negative impact on biomass yield. This indicates that the AdhAld route plays a major role in ethanol oxidation during carboxydotrophic growth, enabling subsequent energy conservation via substrate-level phosphorylation using acetate kinase. Subsequent chemostat experiments with C. autoethanogenum show that the wild type, in contrast to adhE1a, is more resilient to sudden changes in CO supply and utilizes ethanol as a temporary storage for reduction equivalents and energy during CO-abundant conditions, reserving these stored assets for more CO-limited conditions. This shows that the direction of the ethanol metabolism is very dynamic during carboxydotrophic acetogenesis and opens new insights in the central metabolism of C. autoethanogenum and similar acetogens.info:eu-repo/semantics/publishedVersio

Reducing Bit-Vector Polynomials to SAT using Gröbner Bases

We address the satisfiability of systems of polynomial equations over bit-vectors. Instead of conventional bit-blasting, we exploit word-level inference to translate these systems into non-linear pseudo-boolean constraints. We derive the pseudo-booleans by simulating bit assignments through the addition of (linear) polynomials and applying a strong form of propagation by computing Gröbner bases. By handling bit assignments symbolically, the number of Gröbner basis calculations, along with the number of assignments, is reduced. The final Gröbner basis yields expressions for the bit-vectors in terms of the symbolic bits, together with non-linear pseudo-boolean constraints on the symbolic variables, modulo a power of two. The pseudo-booleans can be solved by translation into classical linear pseudo-boolean constraints (without a modulo) or by encoding them as propositional formulae, for which a novel translation process is described

Clades of huge phages from across Earth's ecosystems.

Bacteriophages typically have small genomes1 and depend on their bacterial hosts for replication2. Here we sequenced DNA from diverse ecosystems and found hundreds of phage genomes with lengths of more than 200 kilobases (kb), including a genome of 735 kb, which is-to our knowledge-the largest phage genome to be described to date. Thirty-five genomes were manually curated to completion (circular and no gaps). Expanded genetic repertoires include diverse and previously undescribed CRISPR-Cas systems, transfer RNAs (tRNAs), tRNA synthetases, tRNA-modification enzymes, translation-initiation and elongation factors, and ribosomal proteins. The CRISPR-Cas systems of phages have the capacity to silence host transcription factors and translational genes, potentially as part of a larger interaction network that intercepts translation to redirect biosynthesis to phage-encoded functions. In addition, some phages may repurpose bacterial CRISPR-Cas systems to eliminate competing phages. We phylogenetically define the major clades of huge phages from human and other animal microbiomes, as well as from oceans, lakes, sediments, soils and the built environment. We conclude that the large gene inventories of huge phages reflect a conserved biological strategy, and that the phages are distributed across a broad bacterial host range and across Earth's ecosystems

Hydrogen-Based Metabolism as an Ancestral Trait in Lineages Sibling to the Cyanobacteria

© 2019, The Author(s). The evolution of aerobic respiration was likely linked to the origins of oxygenic Cyanobacteria. Close phylogenetic neighbors to Cyanobacteria, such as Margulisbacteria (RBX-1 and ZB3), Saganbacteria (WOR-1), Melainabacteria and Sericytochromatia, may constrain the metabolic platform in which aerobic respiration arose. Here, we analyze genomic sequences and predict that sediment-associated Margulisbacteria have a fermentation-based metabolism featuring a variety of hydrogenases, a streamlined nitrogenase, and electron bifurcating complexes involved in cycling of reducing equivalents. The genomes of ocean-associated Margulisbacteria encode an electron transport chain that may support aerobic growth. Some Saganbacteria genomes encode various hydrogenases, and others may be able to use O2 under certain conditions via a putative novel type of heme copper O2 reductase. Similarly, Melainabacteria have diverse energy metabolisms and are capable of fermentation and aerobic or anaerobic respiration. The ancestor of all these groups may have been an anaerobe in which fermentation and H2 metabolism were central metabolic features. The ability to use O2 as a terminal electron acceptor must have been subsequently acquired by these lineages

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

Can inorganic elements affect herpesvirus infections in European eels?

SHORT RESEARCH AND DISCUSSION ARTICLEIn combination, pollution and pathogens represent a serious threat to the health of European eels that has been increasingly recognized. Thus, the impact of contaminants, cadmium, lead,mercury, and selenium, on anguillid herpesvirus 1 infection inwild European eels has been evaluated. Despite the small sample size, results indicate that selenium and mercury concentrations may compromise the European eel immune system as herpesvirus infection was more prevalent in specimens with higher Hg and Se hepatic concentrations.Versión del editor2,65

Phenotype-dependent apoptosis signalling in mesothelioma cells after selenite exposure

<p>Abstract</p> <p>Background</p> <p>Selenite is a promising anticancer agent which has been shown to induce apoptosis in malignant mesothelioma cells in a phenotype-dependent manner, where cells of the chemoresistant sarcomatoid phenotype are more sensitive.</p> <p>Methods</p> <p>In this paper, we investigate the apoptosis signalling mechanisms in sarcomatoid and epithelioid mesothelioma cells after selenite treatment. Apoptosis was measured with the Annexin-PI assay. The mitochondrial membrane potential, the expression of Bax, Bcl-XL, and the activation of caspase-3 were assayed with flow cytometry and a cytokeratin 18 cleavage assay. Signalling through JNK, p38, p53, and cathepsins B, D, and E was investigated with chemical inhibitors. Furthermore, the expression, nuclear translocation and DNA-binding activity of p53 was investigated using ICC, EMSA and the monitoring of p21 expression as a downstream event. Levels of thioredoxin (Trx) were measured by ELISA.</p> <p>Results</p> <p>In both cell lines, 10 μM selenite caused apoptosis and a marked loss of mitochondrial membrane potential. Bax was up-regulated only in the sarcomatoid cell line, while the epithelioid cell line down-regulated Bcl-XL and showed greater caspase-3 activation. Nuclear translocation of p53 was seen in both cell lines, but very little p21 expression was induced. Chemical inhibition of p53 did not protect the cells from apoptosis. p53 lost its DNA binding ability after selenite treatment and was enriched in an inactive form. Levels of thioredoxin decreased after selenite treatment. Chemical inhibition of MAP kinases and cathepsins showed that p38 and cathepsin B had some mediatory effect while JNK had an anti-apoptotic role.</p> <p>Conclusion</p> <p>We delineate pathways of apoptosis signalling in response to selenite, showing differences between epithelioid and sarcomatoid mesothelioma cells. These differences may partly explain why sarcomatoid cells are more sensitive to selenite.</p