Polystyrene cryostat facilitates testing tensile specimens under liquid nitrogen

Lightweight cryostat made of expanded polystyrene reduces eccentricity in a tensile system being tested under liquid nitrogen. The cryostat is attached directly to the tensile system by a special seal, reducing misalignment effects due to cryostat weight, and facilitates viewing and loading of the specimens

Test system accurately determines tensile properties of irradiated metals at cryogenic temperatures

Modified testing system determines tensile properties of irradiated brittle-type metals at cryogenic temperatures. The system includes a lightweight cryostat, split-screw grips, a universal joint, and a special temperature control system

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

The PER model of abstract non-interference

Abstract. In this paper, we study the relationship between two models of secure information flow: the PER model (which uses equivalence relations) and the abstract non-interference model (which uses upper closure operators). We embed the lattice of equivalence relations into the lattice of closures, re-interpreting abstract non-interference over the lattice of equivalence relations. For narrow abstract non-interference, we show non-interference it is strictly less general. The relational presentation of abstract non-interference leads to a simplified construction of the most concrete harmless attacker. Moreover, the PER model of abstract noninterference allows us to derive unconstrained attacker models, which do not necessarily either observe all public information or ignore all private information. Finally, we show how abstract domain completeness can be used for enforcing the PER model of abstract non-interference

Plasma-sprayed thermal barrier coatings: numerical study on damage localization and evolution

Thermal barrier coatings (TBCs) are advanced material systems used to enhance performance and in-service life of components operated at high temperatures in gas turbines and other power-generation devices. Because of complexity, numerical methods became important tools both for design of these coatings and for in-service life estimations and optimization. In this contribution, two main features that affect the TBCs’ performance, namely the roughness of the bond coat and the microstructure of the ceramic top coat, are discussed based on Finite Element Method (FEM) and Finite Element Microstructure MEshfree (FEMME) simulations that were used to calculate stresses and assess damage within the coating. Roughness data obtained from plasma-sprayed CoNiCrAlY + YSZ coated samples are supplemented to discuss assumptions and results of employed numerical models

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

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

Propionibacterium acnes CAMP Factor and Host Acid Sphingomyelinase Contribute to Bacterial Virulence: Potential Targets for Inflammatory Acne Treatment

) permits the bacteria to spread and become in contact with various skin and immune cells.-induced inflammation. CAMP factor may hijack host ASMase to amplify bacterial virulence to degrade and invade host cells. This work has identified both CAMP factor and ASMase as potential molecular targets for the development of drugs and vaccines against acne vulgaris

A CI-Independent Form of Replicative Inhibition: Turn Off of Early Replication of Bacteriophage Lambda

Several earlier studies have described an unusual exclusion phenotype exhibited by cells with plasmids carrying a portion of the replication region of phage lambda. Cells exhibiting this inhibition phenotype (IP) prevent the plating of homo-immune and hybrid hetero-immune lambdoid phages. We have attempted to define aspects of IP, and show that it is directed to repλ phages. IP was observed in cells with plasmids containing a λ DNA fragment including oop, encoding a short OOP micro RNA, and part of the lambda origin of replication, oriλ, defined by iteron sequences ITN1-4 and an adjacent high AT-rich sequence. Transcription of the intact oop sequence from its promoter, pO is required for IP, as are iterons ITN3–4, but not the high AT-rich portion of oriλ. The results suggest that IP silencing is directed to theta mode replication initiation from an infecting repλ genome, or an induced repλ prophage. Phage mutations suppressing IP, i.e., Sip, map within, or adjacent to cro or in O, or both. Our results for plasmid based IP suggest the hypothesis that there is a natural mechanism for silencing early theta-mode replication initiation, i.e. the buildup of λ genomes with oop+ oriλ+ sequence

Unexpected Inheritance: Multiple Integrations of Ancient Bornavirus and Ebolavirus/Marburgvirus Sequences in Vertebrate Genomes

Vertebrate genomes contain numerous copies of retroviral sequences, acquired over the course of evolution. Until recently they were thought to be the only type of RNA viruses to be so represented, because integration of a DNA copy of their genome is required for their replication. In this study, an extensive sequence comparison was conducted in which 5,666 viral genes from all known non-retroviral families with single-stranded RNA genomes were matched against the germline genomes of 48 vertebrate species, to determine if such viruses could also contribute to the vertebrate genetic heritage. In 19 of the tested vertebrate species, we discovered as many as 80 high-confidence examples of genomic DNA sequences that appear to be derived, as long ago as 40 million years, from ancestral members of 4 currently circulating virus families with single strand RNA genomes. Surprisingly, almost all of the sequences are related to only two families in the Order Mononegavirales: the Bornaviruses and the Filoviruses, which cause lethal neurological disease and hemorrhagic fevers, respectively. Based on signature landmarks some, and perhaps all, of the endogenous virus-like DNA sequences appear to be LINE element-facilitated integrations derived from viral mRNAs. The integrations represent genes that encode viral nucleocapsid, RNA-dependent-RNA-polymerase, matrix and, possibly, glycoproteins. Integrations are generally limited to one or very few copies of a related viral gene per species, suggesting that once the initial germline integration was obtained (or selected), later integrations failed or provided little advantage to the host. The conservation of relatively long open reading frames for several of the endogenous sequences, the virus-like protein regions represented, and a potential correlation between their presence and a species' resistance to the diseases caused by these pathogens, are consistent with the notion that their products provide some important biological advantage to the species. In addition, the viruses could also benefit, as some resistant species (e.g. bats) may serve as natural reservoirs for their persistence and transmission. Given the stringent limitations imposed in this informatics search, the examples described here should be considered a low estimate of the number of such integration events that have persisted over evolutionary time scales. Clearly, the sources of genetic information in vertebrate genomes are much more diverse than previously suspected