9,161 research outputs found
Boost the Impact of Continuous Formal Verification in Industry
Software model checking has experienced significant progress in the last two
decades, however, one of its major bottlenecks for practical applications
remains its scalability and adaptability. Here, we describe an approach to
integrate software model checking techniques into the DevOps culture by
exploiting practices such as continuous integration and regression tests. In
particular, our proposed approach looks at the modifications to the software
system since its last verification, and submits them to a continuous formal
verification process, guided by a set of regression test cases. Our vision is
to focus on the developer in order to integrate formal verification techniques
into the developer workflow by using their main software development
methodologies and tools.Comment: 7 page
The classical double copy for Taub-NUT spacetime
The double copy is a much-studied relationship between gauge theory and
gravity amplitudes. Recently, this was generalised to an infinite family of
classical solutions to Einstein's equations, namely stationary Kerr-Schild
geometries. In this paper, we extend this to the Taub-NUT solution in gravity,
which has a double Kerr-Schild form. The single copy of this solution is a
dyon, whose electric and magnetic charges are related to the mass and NUT
charge in the gravity theory. Finally, we find hints that the classical double
copy extends to curved background geometries.Comment: 13 pages, no figures. Minor edits to match journal versio
Synthesis and properties of Co-doped titanate nanotubes and their optical sensitization with methylene blue
Here we report on a novel chemical route to synthesize homogenous cobalt
doped titanate nanotubes (CoTNT), using an amorphous Co-doped precursor. The
influence of the synthesis temperature, autoclave dwell time and metal doping
on the structural and microstructural as well as on the optical properties of
the synthesized titanate nanotubes is studied and discussed. The optical band
gaps of the CoTNT samples are red shifted in comparison with the values
determined for the undoped samples, such red shifts bringing the absorption
edge of the CoTNT samples into the visible region. CoTNT materials also
demonstrate particular high adsorption ability for methylene blue, the amount
of the adsorbed dye being higher than the one predictable for a monolayer
formation. This suggests the possibility of intercalation of the dye molecule
between the TiO6 layers of the TNT structure. It is also shown that the
methylene blue sensitized Co-doped nanostructures are highly stable under UV
radiation and present a strong and broad absorption in the visible region.Comment: 31 pages, 3 tables, 7 figure
The Quantum Algebraic Structure of the Twisted XXZ Chain
We consider the Quantum Inverse Scattering Method with a new R-matrix
depending on two parameters and . We find that the underlying algebraic
structure is the two-parameter deformed algebra enlarged by
introducing an element belonging to the centre. The corresponding Hamiltonian
describes the spin-1/2 XXZ model with twisted periodic boundary conditions.Comment: LateX file, 9 pages, Minor changes (including authors` names in the
hep-th heading
- …