Double vector meson production in the International Linear Collider

In this paper we study double vector meson production in $\gamma \gamma$ interactions at high energies and, using the color dipole picture, estimate the main observables which can be probed at the International Linear Collider (ILC). The total $\gamma (Q_1^2) + \gamma (Q_2^2) \rightarrow V_1 + V_2$ cross-sections for $V_i = \rho$, $\phi$, $J/\psi$ and $\Upsilon$ are computed and the energy and virtuality dependencies are studied in detail. Our results demonstrate that the experimental analysis of this process is feasible at the ILC and it can be useful to constrain the QCD dynamics at high energies.Comment: 11 pages, 8 figure

Deductive Verification of Unmodified Linux Kernel Library Functions

This paper presents results from the development and evaluation of a deductive verification benchmark consisting of 26 unmodified Linux kernel library functions implementing conventional memory and string operations. The formal contract of the functions was extracted from their source code and was represented in the form of preconditions and postconditions. The correctness of 23 functions was completely proved using AstraVer toolset, although success for 11 functions was achieved using 2 new specification language constructs. Another 2 functions were proved after a minor modification of their source code, while the final one cannot be completely proved using the existing memory model. The benchmark can be used for the testing and evaluation of deductive verification tools and as a starting point for verifying other parts of the Linux kernel.Comment: 18 pages, 2 tables, 6 listings. Accepted to ISoLA 2018 conference. Evaluating Tools for Software Verification trac

Magnetic phases evolution in the LaMn1-xFexO3+y system

We have investigated the crystal structure and magnetic properties for polycrystalline samples of LaMn1-xFexO3+y, in the whole range x=0.0 to x=1.0, prepared by solid state reaction in air. All samples show the ORT-2 orthorhombic structure that suppresses the Jahn-Teller distortion, thus favoring a ferromagnetic (FM) superexchange (SE) interaction between Mn^{3+}-O-Mn^{3+}. For x=0.0 the oxygen excess (y ~ 0.09) produces vacancies in the La and Mn sites and generates a fraction around 18% of Mn^{4+} ions and 82% of the usual Mn^{3+} ions, with possible double exchange interaction between them. The Fe doping in this system is known to produce only stable Fe^{3+} ions. We find an evolution from a fairly strong FM phase with a Curie temperature T_{C} ~ 160 K, for x=0.0, to an antiferromagnetic (AFM) phase with T_{N} = 790 K, for x=1.0, accompanied by clear signatures of a cluster-glass behavior. For intermediate Fe contents a mixed-phase state occurs, with a gradual decrease (increase) of the FM (AFM) phase, accompanied by a systematic transition broadening for 0.2 < x < 0.7. A model based on the expected exchange interaction among the various magnetic-ion types, accounts very well for the saturation-magnetization dependence on Fe doping.Comment: 27 pages, 9 figure