Does pre-enrichment of anodes with acetate to select for <em>Geobacter</em> spp. enhance performance of microbial fuel cells when switched to more complex substrates?

Copyright \ua9 2023 Christgen, Spurr, Milner, Izadi, McCann, Yu, Curtis, Scott and Head. Many factors affect the performance of microbial fuel cells (MFCs). Considerable attention has been given to the impact of cell configuration and materials on MFC performance. Much less work has been done on the impact of the anode microbiota, particularly in the context of using complex substrates as fuel. One strategy to improve MFC performance on complex substrates such as wastewater, is to pre-enrich the anode with known, efficient electrogens, such as Geobacter spp. The implication of this strategy is that the electrogens are the limiting factor in MFCs fed complex substrates and the organisms feeding the electrogens through hydrolysis and fermentation are not limiting. We conducted a systematic test of this strategy and the assumptions associated with it. Microbial fuel cells were enriched using three different substrates (acetate, synthetic wastewater and real domestic wastewater) and three different inocula (Activated Sludge, Tyne River sediment, effluent from an MFC). Reactors were either enriched on complex substrates from the start or were initially fed acetate to enrich for Geobacter spp. before switching to synthetic or real wastewater. Pre-enrichment on acetate increased the relative abundance of Geobacter spp. in MFCs that were switched to complex substrates compared to MFCs that had been fed the complex substrates from the beginning of the experiment (wastewater-fed MFCs - 21.9 \ub1 1.7% Geobacter spp.; acetate-enriched MFCs, fed wastewater - 34.9 \ub1 6.7% Geobacter spp.; Synthetic wastewater fed MFCs – 42.5 \ub1 3.7% Geobacter spp.; acetate-enriched synthetic wastewater-fed MFCs - 47.3 \ub1 3.9% Geobacter spp.). However, acetate pre-enrichment did not translate into significant improvements in cell voltage, maximum current density, maximum power density or substrate removal efficiency. Nevertheless, coulombic efficiency (CE) was higher in MFCs pre-enriched on acetate when complex substrates were fed following acetate enrichment (wastewater-fed MFCs – CE = 22.0 \ub1 6.2%; acetate-enriched MFCs, fed wastewater – CE =58.5 \ub1 3.5%; Synthetic wastewater fed MFCs – CE = 22.0 \ub1 3.2%; acetate-enriched synthetic wastewater-fed MFCs – 28.7 \ub1 4.2%.) The relative abundance of Geobacter ssp. and CE represents the average of the nine replicate reactors inoculated with three different inocula for each substrate. Efforts to improve the performance of anodic microbial communities in MFCs utilizing complex organic substrates should therefore focus on enhancing the activity of organisms driving hydrolysis and fermentation rather the terminal-oxidizing electrogens

Compositional reasoning for shared-variable concurrent programs

Scalable and automatic formal verification for concurrent systems is always demanding. In this paper, we propose a verification framework to support automated compositional reasoning for concurrent programs with shared variables. Our framework models concurrent programs as succinct automata and supports the verification of multiple important properties. Safety verification and simulations of succinct automata are parallel compositional, and safety properties of succinct automata are preserved under refinements. We generate succinct automata from infinite state concurrent programs in an automated manner. Furthermore, we propose the first automated approach to checking rely-guarantee based simulations between infinite state concurrent programs. We have prototyped our algorithms and applied our tool to the verification of multiple refinements

Equivalence of switching linear systems by bisimulation

A general notion of hybrid bisimulation is proposed for the class of switching linear systems. Connections between the notions of bisimulation-based equivalence, state-space equivalence, algebraic and input–output equivalence are investigated. An algebraic characterization of hybrid bisimulation and an algorithmic procedure converging in a finite number of steps to the maximal hybrid bisimulation are derived. Hybrid state space reduction is performed by hybrid bisimulation between the hybrid system and itself. By specializing the results obtained on bisimulation, also characterizations of simulation and abstraction are derived. Connections between observability, bisimulation-based reduction and simulation-based abstraction are studied.\ud \u

Prader–Willi syndrome and autism spectrum disorders: an evolving story

Prader–Willi syndrome (PWS) is well-known for its genetic and phenotypic complexities. Caused by a lack of paternally derived imprinted material on chromosome 15q11–q13, individuals with PWS have mild to moderate intellectual disabilities, repetitive and compulsive behaviors, skin picking, tantrums, irritability, hyperphagia, and increased risks of obesity. Many individuals also have co-occurring autism spectrum disorders (ASDs), psychosis, and mood disorders. Although the PWS 15q11–q13 region confers risks for autism, relatively few studies have assessed autism symptoms in PWS or directly compared social, behavioral, and cognitive functioning across groups with autism or PWS. This article identifies areas of phenotypic overlap and difference between PWS and ASD in core autism symptoms and in such comorbidities as psychiatric disorders, and dysregulated sleep and eating. Though future studies are needed, PWS provides a promising alternative lens into specific symptoms and comorbidities of autism

Evaluating the successful implementation of evidence into practice using the PARiHS framework : theoretical and practical challenges

Background The PARiHS framework (Promoting Action on Research Implementation in Health Services) has proved to be a useful practical and conceptual heuristic for many researchers and practitioners in framing their research or knowledge translation endeavours. However, as a conceptual framework it still remains untested and therefore its contribution to the overall development and testing of theory in the field of implementation science is largely unquantified. Discussion This being the case, the paper provides an integrated summary of our conceptual and theoretical thinking so far and introduces a typology (derived from social policy analysis) used to distinguish between the terms conceptual framework, theory and model – important definitional and conceptual issues in trying to refine theoretical and methodological approaches to knowledge translation. Secondly, the paper describes the next phase of our work, in particular concentrating on the conceptual thinking and mapping that has led to the generation of the hypothesis that the PARiHS framework is best utilised as a two-stage process: as a preliminary (diagnostic and evaluative) measure of the elements and sub-elements of evidence (E) and context (C), and then using the aggregated data from these measures to determine the most appropriate facilitation method. The exact nature of the intervention is thus determined by the specific actors in the specific context at a specific time and place. In the process of refining this next phase of our work, we have had to consider the wider issues around the use of theories to inform and shape our research activity; the ongoing challenges of developing robust and sensitive measures; facilitation as an intervention for getting research into practice; and finally to note how the current debates around evidence into practice are adopting wider notions that fit innovations more generally. Summary The paper concludes by suggesting that the future direction of the work on the PARiHS framework is to develop a two-stage diagnostic and evaluative approach, where the intervention is shaped and moulded by the information gathered about the specific situation and from participating stakeholders. In order to expedite the generation of new evidence and testing of emerging theories, we suggest the formation of an international research implementation science collaborative that can systematically collect and analyse experiences of using and testing the PARiHS framework and similar conceptual and theoretical approaches. We also recommend further refinement of the definitions around conceptual framework, theory, and model, suggesting a wider discussion that embraces multiple epistemological and ontological perspectives

Anatomy of the ankle ligaments: a pictorial essay

Understanding the anatomy of the ankle ligaments is important for correct diagnosis and treatment. Ankle ligament injury is the most frequent cause of acute ankle pain. Chronic ankle pain often finds its cause in laxity of one of the ankle ligaments. In this pictorial essay, the ligaments around the ankle are grouped, depending on their anatomic orientation, and each of the ankle ligaments is discussed in detail

Centile charts for birthweight for gestational age for Scottish singleton births

<p>Abstract</p> <p>Background</p> <p>Centile charts of birthweight for gestational age are used to identify low birthweight babies. The charts currently used in Scotland are based on data from the 1970s and require updating given changes in birthweight and in the measurement of gestational age since then.</p> <p>Methods</p> <p>Routinely collected data of 100,133 singleton births occurring in Scotland from 1998–2003 were used to construct new centile charts using the LMS method.</p> <p>Results</p> <p>Centile charts for birthweight for sex and parity groupings were constructed for singleton birth and compared to existing charts used in Scottish hospitals.</p> <p>Conclusion</p> <p>Mean birthweight has been shown to have increased over recent decades. The differences shown between the new and currently used centiles confirm the need for more up-to-date centiles for birthweight for gestational age.</p

Clustered Gene Expression Changes Flank Targeted Gene Loci in Knockout Mice

Gene expression profiling using microarrays is a powerful technology widely used to study regulatory networks. Profiling of mRNA levels in mutant organisms has the potential to identify genes regulated by the mutated protein.Using tissues from multiple lines of knockout mice we have examined genome-wide changes in gene expression. We report that a significant proportion of changed genes were found near the targeted gene.The apparent clustering of these genes was explained by the presence of flanking DNA from the parental ES cell. We provide recommendations for the analysis and reporting of microarray data from knockout mice

Asthma families show transmission disequilibrium of gene variants in the vitamin D metabolism and signalling pathway

The vitamin D prophylaxis of rickets in pregnant women and newborns may play a role in early allergic sensitization. We now asked if an already diseased population may have inherited genetic variants in the vitamin D turnover or signalling pathway. Serum levels of calcidiol (25-OH-D(3)) and calcitriol (1,25-(OH)(2)-D(3)) were retrospectively assessed in 872 partipants of the German Asthma Family Study. 96 DNA single base variants in 13 different genes were genotyped with MALDI-TOF and a bead array system. At least one positive SNP with a TDT of p < 0.05 for asthma or total IgE and calcidiol or calcitriol was seen in IL10, GC, IL12B, CYP2R1, IL4R, and CYP24A1. Consistent strong genotypic association could not be observed. Haplotype association were found only for CYP24A1, the main calcidiol degrading enzyme, where a frequent 5-point-haplotype was associated with asthma (p = 0,00063), total IgE (p = 0,0014), calcidiol (p = 0,0043) and calcitriol (p = 0,0046). Genetic analysis of biological pathways seem to be a promising approach where this may be a first entry point into effects of a polygenic inherited vitamin D sensitivity that may affect also other metabolic, immunological and cancerous diseases

Ras GTPase-like protein MglA, a controller of bacterial social-motility in Myxobacteria, has evolved to control bacterial predation by Bdellovibrio

Bdellovibrio bacteriovorus invade Gram-negative bacteria in a predatory process requiring Type IV pili (T4P) at a single invasive pole, and also glide on surfaces to locate prey. Ras-like G-protein MglA, working with MglB and RomR in the deltaproteobacterium Myxococcus xanthus, regulates adventurous gliding and T4P-mediated social motility at both M. xanthus cell poles. Our bioinformatic analyses suggested that the GTPase activating protein (GAP)-encoding gene mglB was lost in Bdellovibrio, but critical residues for MglABd GTP-binding are conserved. Deletion of mglABd abolished prey-invasion, but not gliding, and reduced T4P formation. MglABd interacted with a previously uncharacterised tetratricopeptide repeat (TPR) domain protein Bd2492, which we show localises at the single invasive pole and is required for predation. Bd2492 and RomR also interacted with cyclic-di-GMP-binding receptor CdgA, required for rapid prey-invasion. Bd2492, RomRBd and CdgA localize to the invasive pole and may facilitate MglA-docking. Bd2492 was encoded from an operon encoding a TamAB-like secretion system. The TamA protein and RomR were found, by gene deletion tests, to be essential for viability in both predatory and non-predatory modes. Control proteins, which regulate bipolar T4P-mediated social motility in swarming groups of deltaproteobacteria, have adapted in evolution to regulate the anti-social process of unipolar prey-invasion in the “lone-hunter” Bdellovibrio. Thus GTP-binding proteins and cyclic-di-GMP inputs combine at a regulatory hub, turning on prey-invasion and allowing invasion and killing of bacterial pathogens and consequent predatory growth of Bdellovibrio