DNA structural deformations in the interaction of the controller protein C.AhdI with its operator sequence

Controller proteins such as C.AhdI regulate the expression of bacterial restriction–modification genes, and ensure that methylation of the host DNA precedes restriction by delaying transcription of the endonuclease. The operator DNA sequence to which C.AhdI binds consists of two adjacent binding sites, OL and OR. Binding of C.AhdI to OL and to OL + OR has been investigated by circular permutation DNA-bending assays and by circular dichroism (CD) spectroscopy. CD indicates considerable distortion to the DNA when bound by C.AhdI. Binding to one or two sites to form dimeric and tetrameric complexes increases the CD signal at 278 nm by 40 and 80% respectively, showing identical local distortion at both sites. In contrast, DNA-bending assays gave similar bend angles for both dimeric and tetrameric complexes (47 and 38°, respectively). The relative orientation of C.AhdI dimers in the tetrameric complex and the structural role of the conserved Py-A-T sequences found at the centre of C-protein-binding sites are discussed

DNA structural deformations in the interaction of the controller protein C.AhdI with its operator sequence

Controller proteins such as C.AhdI regulate the expression of bacterial restriction–modification genes, and ensure that methylation of the host DNA precedes restriction by delaying transcription of the endonuclease. The operator DNA sequence to which C.AhdI binds consists of two adjacent binding sites, OL and OR. Binding of C.AhdI to OL and to OL + OR has been investigated by circular permutation DNA-bending assays and by circular dichroism (CD) spectroscopy. CD indicates considerable distortion to the DNA when bound by C.AhdI. Binding to one or two sites to form dimeric and tetrameric complexes increases the CD signal at 278 nm by 40 and 80% respectively, showing identical local distortion at both sites. In contrast, DNA-bending assays gave similar bend angles for both dimeric and tetrameric complexes (47 and 38°, respectively). The relative orientation of C.AhdI dimers in the tetrameric complex and the structural role of the conserved Py-A-T sequences found at the centre of C-protein-binding sites are discussed

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

Platelet and Neutrophil Responses to Gram Positive Pathogens in Patients with Bacteremic Infection

BACKGROUND: Many Gram-positive pathogens aggregate and activate platelets in vitro and this has been proposed to contribute to virulence. Platelets can also form complexes with neutrophils but little is however known about platelet and platelet-neutrophil responses in bacterial infection. METHODOLOGY/PRINCIPAL FINDINGS: We added isolates of Gram-positive bacteria from 38 patients with a bacteremic infection to blood drawn from the same patient. Aggregometry and flow cytometry were used to assess platelet aggregation and to quantify activation of platelets, neutrophils, and platelet-neutrophils complexes (PNCs) induced by the bacteria. Fifteen healthy persons served as controls. Most isolates of Staphylococcus aureus, beta hemolytic streptococci, and Enterococcus faecalis induced aggregation of platelets from their respective hosts, whereas pneumococci failed to do so. S. aureus isolates induced platelet aggregation more rapidly in patients than in controls, whereas platelet activation by S. aureus was lower in patients than in controls. PNCs were more abundant in baseline samples from patients than in healthy controls and most bacterial isolates induced additional PNC formation and neutrophil activation. CONCLUSION/SIGNIFICANCE: We have demonstrated for the first time that bacteria isolated from patients with Gram-positive bacteremia can induce platelet activation and aggregation, PNC formation, and neutrophil activation in the same infected host. This underlines the significance of these interactions during infection, which could be a target for future therapies in sepsis

A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference

The need for rigorous process composition is encountered in many situations pertaining to the development and analysis of complex systems. We discuss the use of Classical Linear Logic (CLL) for correct-by-construction resource-based process composition, with guaranteed deadlock freedom, systematic resource accounting, and concurrent execution. We introduce algorithms to automate the necessary inference steps for binary compositions of processes in parallel, conditionally, and in sequence. We combine decision procedures and heuristics to achieve intuitive and practically useful compositions in an applied setting.Comment: Post-proceedings paper presented at the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018), Frankfurt am Main, Germany, 4-6 September 2018 (arXiv:1808.03326). arXiv admin note: substantial text overlap with arXiv:1803.0261

Detection and Characterization of Wolbachia Infections in Natural Populations of Aphids: Is the Hidden Diversity Fully Unraveled?

Aphids are a serious threat to agriculture, despite being a rather small group of insects. The about 4,000 species worldwide engage in highly interesting and complex relationships with their microbial fauna. One of the key symbionts in arthropods is Wolbachia, an α-Proteobacterium implicated in many important biological processes and believed to be a potential tool for biological control. Aphids were thought not to harbour Wolbachia; however, current data suggest that its presence in aphids has been missed, probably due to the low titre of the infection and/or to the high divergence of the Wolbachia strains of aphids. The goal of the present study is to map the Wolbachia infection status of natural aphids populations, along with the characterization of the detected Wolbachia strains. Out of 425 samples from Spain, Portugal, Greece, Israel and Iran, 37 were found to be infected. Our results, based mainly on 16S rRNA gene sequencing, indicate the presence of two new Wolbachia supergroups prevailing in aphids, along with some strains belonging either to supergroup B or to supergroup A

Global patient outcomes after elective surgery: prospective cohort study in 27 low-, middle- and high-income countries.

BACKGROUND: As global initiatives increase patient access to surgical treatments, there remains a need to understand the adverse effects of surgery and define appropriate levels of perioperative care. METHODS: We designed a prospective international 7-day cohort study of outcomes following elective adult inpatient surgery in 27 countries. The primary outcome was in-hospital complications. Secondary outcomes were death following a complication (failure to rescue) and death in hospital. Process measures were admission to critical care immediately after surgery or to treat a complication and duration of hospital stay. A single definition of critical care was used for all countries. RESULTS: A total of 474 hospitals in 19 high-, 7 middle- and 1 low-income country were included in the primary analysis. Data included 44 814 patients with a median hospital stay of 4 (range 2-7) days. A total of 7508 patients (16.8%) developed one or more postoperative complication and 207 died (0.5%). The overall mortality among patients who developed complications was 2.8%. Mortality following complications ranged from 2.4% for pulmonary embolism to 43.9% for cardiac arrest. A total of 4360 (9.7%) patients were admitted to a critical care unit as routine immediately after surgery, of whom 2198 (50.4%) developed a complication, with 105 (2.4%) deaths. A total of 1233 patients (16.4%) were admitted to a critical care unit to treat complications, with 119 (9.7%) deaths. Despite lower baseline risk, outcomes were similar in low- and middle-income compared with high-income countries. CONCLUSIONS: Poor patient outcomes are common after inpatient surgery. Global initiatives to increase access to surgical treatments should also address the need for safe perioperative care. STUDY REGISTRATION: ISRCTN5181700

Highlights of the DNA cutters:a short history of the restriction enzymes

In the early 1950’s, ‘host-controlled variation in bacterial viruses’ was reported as a non-hereditary phenomenon: one cycle of viral growth on certain bacterial hosts affected the ability of progeny virus to grow on other hosts by either restricting or enlarging their host range. Unlike mutation, this change was reversible, and one cycle of growth in the previous host returned the virus to its original form. These simple observations heralded the discovery of the endonuclease and methyltransferase activities of what are now termed Type I, II, III and IV DNA restriction-modification systems. The Type II restriction enzymes (e.g. EcoRI) gave rise to recombinant DNA technology that has transformed molecular biology and medicine. This review traces the discovery of restriction enzymes and their continuing impact on molecular biology and medicine