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

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 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

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 $q$ and $t$. We find that the underlying algebraic structure is the two-parameter deformed algebra $SU_{q,t}(2)$ 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

Avaliação do crescimento de mudas de Eucalyptus benthamii após o uso de Bacsol®.

Em função do crescente plantio de Eucalyptus benthamii em regiões frias, existe grande demanda por mudas, contudo esta espécie apresenta dificuldades no seu desenvolvimento. Para contornar este tipo de problema, alguns produtos biotecnológicos têm sido usados para estimular o crescimento de mudas. Assim, o objetivo deste trabalho foi avaliar o uso do produto biotecnológico Bacsol® para aumentar o crescimento de mudas de E. benthamii. Este produto é um formulado constituído em sua maioria por esporos bacterianos, que atua como agente estimulador do crescimento de plantas, permitindo que cresçam em menor tempo e com uma melhor qualidade. Para este experimento utilizou-se um delineamento de blocos ao acaso, contendo cinco tratamentos e cada tratamento com 240 mudas, sendo uma testemunha e as doses crescentes do produto (0,5 g; 1 g; 1,5 g; 2 g/muda), em três blocos. Os resultados mostraram que houve aumento significativo da altura das mudas de acordo com o aumento da dosagem do produto (p < 0,001).Resumo expandido