8 citations
- DEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatiqueFR9 papers
- Université Paris-SaclayFR4 papers
- Centre National de la Recherche ScientifiqueFR3 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR3 papers
- Mathématiques et Informatique pour la Complexité et les Systèmes3 papers
- CEA Paris-SaclayFR2 papers
- CentraleSupélecFR2 papers
- École PolytechniqueFR2 papers
- Arcetri Astrophysical ObservatoryIT1 paper
- Aristotle University of ThessalonikiGR1 paper
- Astronomical Observatory of RomeIT1 paper
- Cavendish HospitalGB1 paper
14 papers
About carrier's self-trapping and dynamical Rashba splitting in the two-dimensional hybrid perovskite (BA)(MA)PbI
W. Qi, S. Ponzoni, G. Huitric +13
Time- and Angle-Resolved Photoelectron Spectroscopy (tr-ARPES) is employed to monitor photoexcited electrons in the two-dimensional hybrid perovskite (BA)(MA)PbI…
Formalizing Representation Theorems for a Logical Framework with Rewriting
Thomas Traversié, Florian Rabe
Representation theorems for formal systems often take the form of an inductive translation that satisfies certain invariants, which are proved inductively. Theory morphisms and log…
PICOSEC-Micromegas Detector, an innovative solution for Lepton Time Tagging
A. Kallitsopoulou, R. Aleksan, Y. Angelis +49
The PICOSEC-Micromegas (PICOSEC-MM) detector is a novel gaseous detector designed for precise timing resolution in experimental measurements. It eliminates time jitter from charged…
Proofs for Free in the -Calculus Modulo Theory
Thomas Traversié
Parametricity allows the transfer of proofs between different implementations of the same data structure. The lambdaPi-calculus modulo theory is an extension of the lambda-calculus…
Kuroda's Translation for the -Calculus Modulo Theory and Dedukti
Thomas Traversié
Kuroda's translation embeds classical first-order logic into intuitionistic logic, through the insertion of double negations. Recently, Brown and Rizkallah extended this translatio…
Hidden Turbulence in van Gogh's \textbf{\textit{The Starry Night}}
Yinxiang Ma, Wanting Cheng, Shidi Huang +3
Turbulent skies have often inspired artists, particularly in the iconic swirls of Vincent van Gogh's \textbf{\textit{The Starry Night}}. For an extended period, debate has raged ov…