DivIVA controls progeny morphology and diverse ParA proteins regulate cell division or gliding motility in Bdellovibrio bacteriovorus

The predatory bacterium B. bacteriovorus grows and divides inside the periplasm of Gram-negative bacteria, forming a structure known as a bdelloplast. Cell division of predators inside the dead prey cell is not by binary fission but instead by synchronous division of a single elongated filamentous cell into odd or even numbers of progeny cells. Bdellovibrio replication and cell division processes are dependent on the finite level of nutrients available from inside the prey bacterium. The filamentous growth and division process of the predator maximizes the number of progeny produced by the finite nutrients in a way that binary fission could not. To learn more about such an unusual growth profile, we studied the role of DivIVA in the growing Bdellovibrio cell. This protein is well known for its link to polar cell growth and spore formation in Gram-positive bacteria, but little is known about its function in a predatory growth context. We show that DivIVA is expressed in the growing B. bacteriovorus cell and controls cell morphology during filamentous cell division, but not the number of progeny produced. Bacterial Two Hybrid (BTH) analysis shows DivIVA may interact with proteins that respond to metabolic indicators of amino-acid biosynthesis or changes in redox state. Such changes may be relevant signals to the predator, indicating the consumption of prey nutrients within the sealed bdelloplast environment. ParA, a chromosome segregation protein, also contributes to bacterial septation in many species. The B. bacteriovorus genome contains three ParA homologs; we identify a canonical ParAB pair required for predatory cell division and show a BTH interaction between a gene product encoded from the same operon as DivIVA with the canonical ParA. The remaining ParA proteins are both expressed in Bdellovibrio but are not required for predator cell division. Instead, one of these ParA proteins coordinates gliding motility, changing the frequency at which the cells reverse direction. Our work will prime further studies into how one bacterium can co-ordinate its cell division with the destruction of another bacterium that it dwells within

A theorem proving framework for the formal verification of Web Services Composition

We present a rigorous framework for the composition of Web Services within a higher order logic theorem prover. Our approach is based on the proofs-as-processes paradigm that enables inference rules of Classical Linear Logic (CLL) to be translated into pi-calculus processes. In this setting, composition is achieved by representing available web services as CLL sentences, proving the requested composite service as a conjecture, and then extracting the constructed pi-calculus term from the proof. Our framework, implemented in HOL Light, not only uses an expressive logic that allows us to incorporate multiple Web Services properties in the composition process, but also provides guarantees of soundness and correctness for the composition.Comment: In Proceedings WWV 2011, arXiv:1108.208

The present and future of QCD

This White Paper presents an overview of the current status and future perspective of QCD research, based on the community inputs and scientific conclusions from the 2022 Hot and Cold QCD Town Meeting. We present the progress made in the last decade toward a deep understanding of both the fundamental structure of the sub-atomic matter of nucleon and nucleus in cold QCD, and the hot QCD matter in heavy ion collisions. We identify key questions of QCD research and plausible paths to obtaining answers to those questions in the near future, hence defining priorities of our research over the coming decades

The present and future of QCD

This White Paper presents an overview of the current status and future perspective of QCD research, based on the community inputs and scientific conclusions from the 2022 Hot and Cold QCD Town Meeting. We present the progress made in the last decade toward a deep understanding of both the fundamental structure of the sub-atomic matter of nucleon and nucleus in cold QCD, and the hot QCD matter in heavy ion collisions. We identify key questions of QCD research and plausible paths to obtaining answers to those questions in the near future, hence defining priorities of our research over the coming decades

Whole-genome sequencing reveals host factors underlying critical COVID-19

Critical COVID-19 is caused by immune-mediated inflammatory lung injury. Host genetic variation influences the development of illness requiring critical care1 or hospitalization2,3,4 after infection with SARS-CoV-2. The GenOMICC (Genetics of Mortality in Critical Care) study enables the comparison of genomes from individuals who are critically ill with those of population controls to find underlying disease mechanisms. Here we use whole-genome sequencing in 7,491 critically ill individuals compared with 48,400 controls to discover and replicate 23 independent variants that significantly predispose to critical COVID-19. We identify 16 new independent associations, including variants within genes that are involved in interferon signalling (IL10RB and PLSCR1), leucocyte differentiation (BCL11A) and blood-type antigen secretor status (FUT2). Using transcriptome-wide association and colocalization to infer the effect of gene expression on disease severity, we find evidence that implicates multiple genes—including reduced expression of a membrane flippase (ATP11A), and increased expression of a mucin (MUC1)—in critical disease. Mendelian randomization provides evidence in support of causal roles for myeloid cell adhesion molecules (SELE, ICAM5 and CD209) and the coagulation factor F8, all of which are potentially druggable targets. Our results are broadly consistent with a multi-component model of COVID-19 pathophysiology, in which at least two distinct mechanisms can predispose to life-threatening disease: failure to control viral replication; or an enhanced tendency towards pulmonary inflammation and intravascular coagulation. We show that comparison between cases of critical illness and population controls is highly efficient for the detection of therapeutically relevant mechanisms of disease