Neutrinos of astrophysical origin could be detected through the electromagnetic radiation of the particle showers induced in the atmosphere by their interaction in the Earth. This applies in particular for tau neutrinos of energies $E>10^{16}$eV following Earth-skimming trajectories. The $\sim1^{\circ}$ beaming of the radio emission in the forward ...
International audience
We study a cyclic proof system C over regular expression types, inspired by linear logic and non-wellfounded proof theory. Proofs in C denote total computable functions; we analyse the relative strength of C and Gödel's system T, showing that contraction plays a crucial role. In the general case, we show that the two systems capture the same functi...
En 1179, le concile de Latran III consacrait la procédure canonique de la licentia docendi. Cette autorisation ecclésiastique devait être délivrée gratuitement à toute personne qui en faisait la demande. En contrepartie, nul ne pouvait enseigner publiquement sans l’accord explicite d’une autorité ecclésiastique. Si la postérité de cette procédure e...
Published in Technological Forecasting and Social Change
In recent decades, several countries have faced political tensions due to citizens’ perceptions that their elections are fraudulent; some electors have even chosen not to vote because they believe that the results may be falsified. Thus, electoral fraud is a major issue. E-governance and e-voting are now being used in many countries, some of which ...
International audience
International audience
Rapid variations of pressure, temperature and illumination at the day-night terminator have the potential to cause asymmetries in the abundance distribution of the atmosphere constituents along the line of sight (LOS) of a solar occultation experiment. Ozone, in particular, displays steep density gradients across the terminator of Mars due to photo...
International audience
International audience
