Reverse transcription of retroviral genomes is primed by a tRNA annealed to an 18-nucleotide primer binding site. Here, we present a primer complementation system to study molecular interaction of the replication machinery with the primer and primer binding site in vivo. Introduction of eight base substitutions into the primer binding site of a murine leukemia virus-based vector allowed efficie...

The basis for developing a new dental alloy with high Au content is appropriate chemical composition and manufacturing technology. The demands which have to be met when developing a new dental alloy are linked with fulfilling the necessary requirements for making the alloy suitable for use in metal-ceramic restorations. Due to the stress generated by masticatory forces, alloys for dental restor...

This report presents a translation from UML class diagrams [OMG15, Rum16] to Alloy modules [Jac06] and a translation from Alloy instances back to UML object diagrams. An overview of the translation was first presented in [MRR11a] and applied in [MRR11b] to semantic differencing of class diagrams. It supports an extended list of CD language features, including, e.g., directed associations, compo...

The present work demonstrates that friction stir welding (FSW) is a feasible route for joining 6061 aluminium (Al) alloy to AISI 1018 steel. The weld has a good weld quality and is free of cracks and porosity. The tensile failure happened at the boundary between the nugget and thermomechanically affected zone of the base Al alloy, indicating that the weld has a higher joining strength. Despite ...

We report quantitative measurements of the impact of alloy disorder on the ν = 5/2 fractional quantum Hall state. Alloy disorder is controlled by the aluminum content x in the Al(x)Ga(1-x)As channel of a quantum well. We find that the ν = 5/2 state is suppressed with alloy scattering. To our surprise, in samples with alloy disorder the ν = 5/2 state appears at significantly reduced mobilities w...

Ageing of 75% cold rolled Al-6Mg alloy with ternary 0.4 wt% scandium and quaternary zirconium and titanium has been carried out. Alloy samples are naturally, isochronally and isothermally aged for different time and temperatures. Hardness values of the differently processed alloys have been measured to understand the ageing behavior of Al-6Mg alloy with scandium and quaternary zirconium and tit...

The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state, suggesting a transition-system semantics. Because Alloy does not intrinsically provide a notion of state, however, this interpretation is only implicit in the relational-algebra semantics underlying the Alloy Analyzer. In this ...

In this paper we propose to combine two software verification approaches, theorem proving and model checking. We focus on the B-method and a theorem proving tool associated with it, and the Alloy specification notation and its model checker “Alloy Constraint Analyser”. We consider how software development in B can be assisted using Alloy and how Alloy can be used for verifying refinement of abs...

Metal nanoparticles (NPs) are of great interest due to their special optical, [ 1–3 ] electronic, [ 4–8 ] and catalytic [ 9,10 ] properties. [ 11 ] Among metal NPs, Au NPs have been investigated most extensively because of their facile preparation, resistance to oxidation, and surface plasmon resonance (SPR) band that can absorb and scatter visible light. [ 3 ] Core/ shell and alloy bimetallic ...

The material flow and microstructural evolution in the friction stir welds of a 6061-Al alloy to itself and of a 6061-Al alloy to 2024-Al alloy plates of 12.7 mm in thickness were studied under different welding conditions. The results showed that plastic deformation, flow, and mechanical mixing of the material exhibit distinct asymmetry characteristics at both sides of the same and dissimilar ...