Central μ+μ−\mu^{+}\mu^{-} production via photon-photon fusion in proton-proton collisions with proton dissociation

We present a formalism which uses fluxes of equivalent photons including transverse momenta of the intermediate photons. The formalism reminds the familiar $k_t$-factorization approach used, e.g., to study the two-photon production of $c\bar{c}$ or $b\bar{b}$ pairs. The results of the new method are compared with those obtained using the code LPAIR, and a good agreement is obtained. The inclusion of the photon transverse momenta is necessary in studies of correlation observables. We present distributions for the dimuon invariant mass, transverse momentum of the muon pair and relative azimuthal angle between muons separately for elastic-elastic, elastic-inelastic, inelastic-elastic and inelastic-inelastic mechanisms. For typical experimental cuts all mechanisms give similar contributions. The results are shown for different sets of cuts relevant for the LHC experiments. The cross sections in different regions of phase space depend on $F_2$ structure function in different regions of $x$ and $Q^2$. A comment on $F_2$ is made.Comment: 24 pages, 36 figures, 2 table

Community structure in industrial SAT instances

Modern SAT solvers have experienced a remarkable progress on solving industrial instances. It is believed that most of these successful techniques exploit the underlying structure of industrial instances. Recently, there have been some attempts to analyze the structure of industrial SAT instances in terms of complex networks, with the aim of explaining the success of SAT solving techniques, and possibly improving them. In this paper, we study the community structure, or modularity, of industrial SAT instances. In a graph with clear community structure, or high modularity, we can find a partition of its nodes into communities such that most edges connect variables of the same community. Representing SAT instances as graphs, we show that most application benchmarks are characterized by a high modularity. On the contrary, random SAT instances are closer to the classical Erdös-Rényi random graph model, where no structure can be observed. We also analyze how this structure evolves by the effects of the execution of a CDCL SAT solver, and observe that new clauses learned by the solver during the search contribute to destroy the original structure of the formula. Motivated by this observation, we finally present an application that exploits the community structure to detect relevant learned clauses, and we show that detecting these clauses results in an improvement on the performance of the SAT solver. Empirically, we observe that this improves the performance of several SAT solvers on industrial SAT formulas, especially on satisfiable instances.Peer ReviewedPostprint (published version

MLIF: A Metamodel to Represent and Exchange Multilingual Textual Information

International audienceThe fast evolution of language technology has produced pressing needs in standardization. The multiplicity of language resources representation levels and the specialization of these representations make difficult the interaction between linguistic resources and components manipulating these resources. In this paper, we describe the MultiLingual Information Framework (MLIF – ISO CD 24616). MLIF is a metamodel which allows the representation and the exchange of multilingual textual information. This generic metamodel is designed to provide a common platform for all the tools developed around the existing multilingual data exchange formats. This is a work in progress within ISO-TC37 in order to define a new ISO standard

Functional Role of P-Glycoprotein and Binding Protein Effect on the Placental Transfer of Lopinavir/Ritonavir in the Ex Vivo Human Perfusion Model

Aims. To study the influence of P-glycoprotein (P-glycoprotein, ABCB1, MDR1) function on placental transfer of lopinavir with ritonavir at different albumin concentrations. Methods. Cotyledons were perfused with lopinavir, ritonavir, and the internal control antipyrin, at various albumin concentrations (10, 30, 40 g/L). After the control phase of each experiment, the P-glycoprotein inhibitor ciclosporin A was added at middle perfusion (45 minutes). Fetal Transfer Rate (FTR) and Clearance Index (CLI) were compared between the 2 phases. Results. In the control phase, the clearance index of lopinavir decreased from 0.401 ± 0.058 to 0.007 ± 0.027, as albumin concentrations increased from 10 g/L to higher concentrations (30, 40 g/L). When adding ciclosporin A at physiological albumin concentrations, the clearance index of lopinavir increased significantly 10.3 fold (95% of CI difference [−0.156, −0.002], P = .046) and became positive for ritonavir. Conclusions. Even at high albumin concentrations, inhibition of placental P-glycoprotein increased placental transfer of lopinavir, suggesting that this efflux pump actively reduces placental transfer of the drug. This mechanism may play a role in fetal exposure to maternal antiretroviral therapy

An entropy-stable Smooth Particle Hydrodynamics algorithm for large strain thermo-elasticity

This paper presents a novel Smooth Particle Hydrodynamics computational framework for the simulation of large strain fast solid dynamics in thermo-elasticity. The formulation is based on the Total Lagrangian description of a system of first order conservation laws written in terms of the linear momentum, the triplet of deformation measures (also known as minors of the deformation gradient tensor) and the total energy of the system, extending thus the previous work carried out by some of the authors in the context of isothermal elasticity and elasto-plasticity (Lee et al., 2016; Lee et al., 2017; Lee et al., 2019). To ensure the stability (i.e. hyperbolicity) of the formulation from the continuum point of view, the internal energy density is expressed as a polyconvex combination of the triplet of deformation measures and the entropy density. Moreover, and to guarantee stability from the spatial discretisation point of view, consistently derived Riemann-based numerical dissipation is carefully introduced where local numerical entropy production is demonstrated via a novel technique in terms of the time rate of the so-called ballistic free energy of the system. For completeness, an alternative and equally competitive formulation (in the case of smooth solutions), expressed in terms of the entropy density, is also implemented and compared. A series of numerical examples is presented in order to assess the applicability and robustness of the proposed formulations, where the Smooth Particle Hydrodynamics scheme is benchmarked against an alternative in-house Finite Volume Vertex Centred implementation

Standards going concrete: from LMF to Morphalou

Application of the ISO standard LMF to the French CNRS lexicon Morphalou. LMF is the ISO standard for NLP lexicons (aka ISO-24613)

Nouvelles observations sur la stratigraphie des formations holocènes (récent) de la plaine de la Lys à Houplines (Nord)

Deux sondages mécaniques réalisés dans un vallon affluent de la Lys, près d’Houplines, permettent d’identifier une séquence organo-minérale d’époque gallo-romaine, traduisant une période de faible activité hydro-dynamique. Il apparaît également que l’incision des vallons dans les formations du Pléistocène supérieur est importante, supérieure à 7,70 m, de même que le remblaiement historique qui atteint 3,30 m sur le site d’étude.Two sections digged with a mechanical excavator were opened in a tributary valley of the Lys river, close to Houplines. They allowed to identify an organomineral sequence of Gallo-Roman period, corresponding to a period of low hydrodynamic activity. It appears also that the incision of the small valleys within late Pleistocene formations is higher than 7,70 m, whereas the historical fill reaches 3,30 m at the same site