Some Properties of DNA from Phage-Infected Bacteria

Replicating T5 or λ phage DNA has been labeled by adding tritiated thymidine for short periods to cultures of phage-infected Escherichia coli before isolation of intracellular DNA. Two procedures are described for separating T5 replicating DNA from DNA of intracellular phage particles. Both T5 and λ replicating DNA had the same bouyant density in cesium chloride as DNA from phage particles but sedimented faster when centrifuged in sucrose density gradients. The fast sedimentation did not appear to be caused by DNA protein or DNA-RNA complexes or by aggregation of DNA, but is probably due to DNA molecules of unusual structure. Experiments involving hydrodynamic shear and sucrose density gradient centrifugation at alkaline pH have suggested that with λ the replicating form of DNA is a linear molecule considerably longer than the DNA molecules of λ-phage particles. The constituent polynucleotide chains of λ but not T5 replicating DNA also appear to be longer than those of phage DNA

Enforcing Programming Guidelines with Region Types and Effects

We present in this paper a new type and effect system for Java which can be used to ensure adherence to guidelines for secure web programming. The system is based on the region and effect system by Beringer, Grabowski, and Hofmann. It improves upon it by being parametrized over an arbitrary guideline supplied in the form of a finite monoid or automaton and a type annotation or mockup code for external methods. Furthermore, we add a powerful type inference based on precise interprocedural analysis and provide an implementation in the Soot framework which has been tested on a number of benchmarks including large parts of the Stanford SecuriBench.Comment: long version of APLAS'17 pape

Mode of inhibition of HIV-1 Integrase by a C-terminal domain-specific monoclonal antibody*

BACKGROUND: To further our understanding of the structure and function of HIV-1 integrase (IN) we developed and characterized a library of monoclonal antibodies (mAbs) directed against this protein. One of these antibodies, mAb33, which is specific for the C-terminal domain, was found to inhibit HIV-1 IN processing activity in vitro; a corresponding Fv fragment was able to inhibit HIV-1 integration in vivo. Our subsequent studies, using heteronuclear nuclear magnetic resonance spectroscopy, identified six solvent accessible residues on the surface of the C-terminal domain that were immobilized upon binding of the antibody, which were proposed to comprise the epitope. Here we test this hypothesis by measuring the affinity of mAb33 to HIV-1 proteins that contain Ala substitutions in each of these positions. To gain additional insight into the mode of inhibition we also measured the DNA binding capacity and enzymatic activities of the Ala substituted proteins. RESULTS: We found that Ala substitution of any one of five of the putative epitope residues, F223, R224, Y226, I267, and I268, caused a decrease in the affinity of the mAb33 for HIV-1 IN, confirming the prediction from NMR data. Although IN derivatives with Ala substitutions in or near the mAb33 epitope exhibited decreased enzymatic activity, none of the epitope substitutions compromised DNA binding to full length HIV-1 IN, as measured by surface plasmon resonance spectroscopy. Two of these derivatives, IN (I276A) and IN (I267A/I268A), exhibited both increased DNA binding affinity and uncharacteristic dissociation kinetics; these proteins also exhibited non-specific nuclease activity. Results from these investigations are discussed in the context of current models for how the C-terminal domain interacts with substrate DNA. CONCLUSION: It is unlikely that inhibition of HIV-1 IN activity by mAb33 is caused by direct interaction with residues that are essential for substrate binding. Rather our findings are most consistent with a model whereby mAb33 binding distorts or constrains the structure of the C-terminal domain and/or blocks substrate binding indirectly. The DNA binding properties and non-specific nuclease activity of the I267A derivatives suggest that the C-terminal domain of IN normally plays an important role in aligning the viral DNA end for proper processing

Safer in the Clouds (Extended Abstract)

We outline the design of a framework for modelling cloud computing systems.The approach is based on a declarative programming model which takes the form of a lambda-calculus enriched with suitable mechanisms to express and enforce application-level security policies governing usages of resources available in the clouds. We will focus on the server side of cloud systems, by adopting a pro-active approach, where explicit security policies regulate server's behaviour.Comment: In Proceedings ICE 2010, arXiv:1010.530

Nuclear import of Avian Sarcoma Virus integrase is facilitated by host cell factors

<p>Abstract</p> <p>Background</p> <p>Integration of retroviral DNA into the host cell genome is an obligatory step in the virus life cycle. In previous reports we identified a sequence (amino acids 201–236) in the linker region between the catalytic core and C-terminal domains of the avian sarcoma virus (ASV) integrase protein that functions as a transferable nuclear localization signal (NLS) in mammalian cells. The sequence is distinct from all known NLSs but, like many, contains basic residues that are essential for activity.</p> <p>Results</p> <p>Our present studies with digitonin-permeabilized HeLa cells show that nuclear import mediated by the NLS of ASV integrase is an active, saturable, and ATP-dependent process. As expected for transport through nuclear pore complexes, import is blocked by treatment of cells with wheat germ agglutinin. We also show that import of ASV integrase requires soluble cellular factors but does not depend on binding the classical adapter Importin-α. Results from competition studies indicate that ASV integrase relies on one or more of the soluble components that mediate transport of the linker histone H1.</p> <p>Conclusion</p> <p>These results are consistent with a role for ASV integrase and cytoplasmic cellular factors in the nuclear import of its viral DNA substrate, and lay the foundation for identification of host cell components that mediate this reaction.</p

Tisa: A Language Design and Modular Verification Technique for Temporal Policies in Web Services

Web services are distributed software components, that are decoupled from each other using interfaces with specified functional behaviors. However, such behavioral specifications are insufficient to demonstrate compliance with certain temporal non-functional policies. An example is demonstrating that a patient’s health-related query sent to a health care service is answered only by a doctor (and not by a secretary). Demonstrating compliance with such policies is important for satisfying governmental privacy regulations. It is often necessary to expose the internals of the web service implementation for demonstrating such compliance, which may compromise modularity. In this work, we provide a language design that enables such demonstrations, while hiding majority of the service’s source code. The key idea is to use greybox specifications to allow service providers to selectively hide and expose parts of their implementation. The overall problem of showing compliance is then reduced to two subproblems: whether the desired properties are satisfied by the service’s greybox specification, and whether this greybox specification is satisfied by the service’s implementation. We specify policies using LTL and solve the first problem by model checking. We solve the second problem by refinement techniques

Bayesian modeling of recombination events in bacterial populations

Background: We consider the discovery of recombinant segments jointly with their origins within multilocus DNA sequences from bacteria representing heterogeneous populations of fairly closely related species. The currently available methods for recombination detection capable of probabilistic characterization of uncertainty have a limited applicability in practice as the number of strains in a data set increases. Results: We introduce a Bayesian spatial structural model representing the continuum of origins over sites within the observed sequences, including a probabilistic characterization of uncertainty related to the origin of any particular site. To enable a statistically accurate and practically feasible approach to the analysis of large-scale data sets representing a single genus, we have developed a novel software tool (BRAT, Bayesian Recombination Tracker) implementing the model and the corresponding learning algorithm, which is capable of identifying the posterior optimal structure and to estimate the marginal posterior probabilities of putative origins over the sites. Conclusion: A multitude of challenging simulation scenarios and an analysis of real data from seven housekeeping genes of 120 strains of genus Burkholderia are used to illustrate the possibilities offered by our approach. The software is freely available for download at URL http://web.abo.fi/fak/ mnf//mate/jc/software/brat.html

Comparison of metal-dependent catalysis by HIV-1 and ASV integrase proteins using a new and rapid, moderate throughput assay for joining activity in solution

<p>Abstract</p> <p>Background</p> <p>HIV-1 integrase (IN) is an attractive target for the development of drugs to treat AIDS, and inhibitors of this viral enzyme are already in the clinic. Nevertheless, there is a continuing need to devise new approaches to block the activity of this viral protein because of the emergence of resistant strains. To facilitate the biochemical analysis of wild-type IN and its derivatives, and to measure the potency of prospective inhibitory compounds, a rapid, moderate throughput solution assay was developed for IN-catalyzed joining of viral and target DNAs, based on the detection of a fluorescent tag.</p> <p>Results</p> <p>A detailed, step-by-step description of the new joining assay is provided. The reactions are run in solution, the products captured on streptavidin beads, and activity is measured by release of a fluorescent tag. The procedure can be scaled up for the analysis of numerous samples, and is substantially more rapid and sensitive than the standard radioactive gel methods. The new assay is validated and its utility demonstrated via a detailed comparison of the Mg⁺⁺- and Mn⁺⁺-dependent activities of the IN proteins from human immunodeficiency virus type 1 (HIV-1) and the avian sarcoma virus (ASV). The results confirm that ASV IN is considerably more active than HIV-1 IN, but with both enzymes the initial rates of joining, and the product yields, are higher in the presence of Mn⁺⁺than Mg⁺⁺. Although the pH optima for these two enzymes are similar with Mn⁺⁺, they differ significantly in the presence of Mg⁺⁺, which is likely due to differences in the molecular environment of the binding region of this physiologically relevant divalent cation. This interpretation is strengthened by the observation that a compound that can inhibit HIV-1 IN in the presence of either metal cofactors is only effective against ASV in the presence of Mn⁺⁺.</p> <p>Conclusion</p> <p>A simplified, assay for measuring the joining activity of retroviral IN in solution is described, which offers several advantages over previous methods and the standard radioactive gel analyses. Based on comparisons of signal to background ratios, the assay is 10–30 times more sensitive than gel analysis, allows more rapid and accurate biochemical analyses of IN catalytic activity, and moderate throughput screening of inhibitory compounds. The assay is validated, and its utility demonstrated in a comparison of the metal-dependent activities of HIV-1 and ASV IN proteins.</p

Absent expansion of AXIN2+ hepatocytes and altered physiology in Axin2CreERT2 mice challenges the role of pericentral hepatocytes in homeostatic liver regeneration

Background &amp; Aims: Mouse models of lineage tracing have helped to describe the important subpopulations of hepatocytes responsible for liver regeneration. However, conflicting results have been obtained from different models. Herein, we aimed to reconcile these conflicting reports by repeating a key lineage-tracing study from pericentral hepatocytes and characterising this Axin2CreERT2 model in detail. Methods: We performed detailed characterisation of the labelled population in the Axin2CreERT2 model. We lineage traced this cell population, quantifying the labelled population over 1 year and performed in-depth phenotypic comparisons, including transcriptomics, metabolomics and analysis of proteins through immunohistochemistry, of Axin2CreERT2 mice to WT counterparts. Results: We found that after careful definition of a baseline population, there are marked differences in labelling between male and female mice. Upon induced lineage tracing there was no expansion of the labelled hepatocyte population in Axin2CreERT2 mice. We found substantial evidence of disrupted homeostasis in Axin2CreERT2 mice. Offspring are born with sub-Mendelian ratios and adult mice have perturbations of hepatic Wnt/β-catenin signalling and related metabolomic disturbance. Conclusions: We find no evidence of predominant expansion of the pericentral hepatocyte population during liver homeostatic regeneration. Our data highlight the importance of detailed preclinical model characterisation and the pitfalls which may occur when comparing across sexes and backgrounds of mice and the effects of genetic insertion into native loci. Impact and implications: Understanding the source of cells which regenerate the liver is crucial to harness their potential to regrow injured livers. Herein, we show that cells which were previously thought to repopulate the liver play only a limited role in physiological regeneration. Our data helps to reconcile differing conclusions drawn from results from a number of prior studies and highlights methodological challenges which are relevant to preclinical models more generally

Intasome architecture and chromatin density modulate retroviral integration into nucleosome

BACKGROUND: Retroviral integration depends on the interaction between intasomes, host chromatin and cellular targeting cofactors as LEDGF/p75 or BET proteins. Previous studies indicated that the retroviral integrase, by itself, may play a role in the local integration site selection within nucleosomal target DNA. We focused our study on this local association by analyzing the intrinsic properties of various retroviral intasomes to functionally accommodate different chromatin structures in the lack of other cofactors. RESULTS: Using in vitro conditions allowing the efficient catalysis of full site integration without these cofactors, we show that distinct retroviral integrases are not equally affected by chromatin compactness. Indeed, while PFV and MLV integration reactions are favored into dense and stable nucleosomes, HIV-1 and ASV concerted integration reactions are preferred into poorly dense chromatin regions of our nucleosomal acceptor templates. Predicted nucleosome occupancy around integration sites identified in infected cells suggests the presence of a nucleosome at the MLV and HIV-1 integration sites surrounded by differently dense chromatin. Further analyses of the relationships between the in vitro integration site selectivity and the structure of the inserted DNA indicate that structural constraints within intasomes could account for their ability to accommodate nucleosomal DNA and could dictate their capability to bind nucleosomes functionally in these specific chromatin contexts. CONCLUSIONS: Thus, both intasome architecture and compactness of the chromatin surrounding the targeted nucleosome appear important determinants of the retroviral integration site selectivity. This supports a mechanism involving a global targeting of the intasomes toward suitable chromatin regions followed by a local integration site selection modulated by the intrinsic structural constraints of the intasomes governing the target DNA bending and dictating their sensitivity toward suitable specific nucleosomal structures and density