Institut de Recherche sur les Lois Fondamentales de l'Univers

Misquoted No More: Securely Extracting F* Programs with IO

Shallow embeddings that use monads to represent effects are popular in proof-oriented languages because they are convenient for formal verification. Once shallowly embedded programs are verified, they are often extracted to mainstream languages like OCaml or C and linked into lar...

Neutron elastic scattering at $$\varvec{30.8}$$ MeV on $$\varvec{^{\text {nat}}\textrm{Ce}}$$

Abstract Elastic scattering of fast neutrons at an incident energy of 30.8 MeV on a natural cerium target was measured during an experiment conducted at the Neutrons For Science facility at GANIL-SPIRAL2. This is the first measurement on cerium using incident neutron energy above...

The impact of prescriptions in phenomenological extractions of transverse momentum dependent distributions

Abstract We investigate the impact of phenomenological prescriptions in the Collins–Soper–Sterman (CSS) approach for global extractions of Transverse Momentum Distributions (TMDs). We show that fits to low-energy Drell–Yan data with different choices of $$b_*$$ <mml:math xmlns:mm...