Latest submissions

Article in a review
12/01/2024
Electrostatic potential measurement of floating conductive objects: Some theoretical considerations and experimental results
Pedro Llovera-Segovia, Philippe Molinié, Vicente Fuster-Roig, Alfredo Quijano-López
Pre-submission / Working document
11/28/2024
Letting the tiger out of its cage: bosonic coding without concatenation
Yijia Xu, Yixu Wang, Christophe Vuillot, Victor V. Albert
Pre-submission / Working document
11/28/2024
Fault-Tolerant Constant-Depth Clifford Gates on Toric Codes
Alexandre Guernut, Christophe Vuillot
Communication on a congress
11/28/2024
Article in a review
11/28/2024
FEM modeling of magnetoelectric composites using line elements for thin film structure
Tianwen Huang, Hakeim Talleb, Aurélie Gensbittel, Loïc Becerra, Yunlin Zheng, Massimiliano Marangolo, Zhuoxiang Ren
Article in a review
11/27/2024
Correct and Complete Type Checking and Certified Erasure for Coq, in Coq
Matthieu Sozeau, Yannick Forster, Meven Lennon-Bertrand, Jakob Botsch Nielsen, Nicolas Tabareau, Théo Winterhalter
Report
11/26/2024
HOL-CyberPhi: A Process-algebraic Framework for Cyber-Physical Systems
Paolo Crisafulli, Adrien Durier, Benjamin Puyobro, Burkhart Wolff
Pre-submission / Working document
11/25/2024
Out-of-Anatolia: cultural and genetic interactions during the Neolithic expansion in the Aegean
Dilek Koptekin, Ayça Aydoğan, Cansu Karamurat, N. Ezgi Altınışık, Kıvılcım Başak Vural, D. Deniz Kazancı, Ayça Küçükakdağ Doğu, Damla Kaptan, Hasan Can Gemici, Eren Yüncü, Gülsün Umurtak, Refik Duru, Erkan Fidan, Özlem Çevik, Burçin Erdoğu, Taner Korkut, Christopher Knüsel, Scott Haddow, Clark Spencer Larsen, Rana Özbal, Fokke Gerritsen, Eylem Özdoğan, Uygar Ozan Usanmaz, Yasin Cemre Derici, Mine Uçmazoğlu, Flora Jay, Mehmet Özdoğan, Anders Götherström, Yılmaz Selim Erdal, Anna-Sapfo Malaspinas, Çiğdem Atakuman, Füsun Özer, Mehmet Somel
Pre-submission / Working document
11/25/2024
Latent generative modeling of long genetic sequences with GANs
Antoine Szatkownik, Cyril Furtlehner, Guillaume Charpiat, Burak Yelmen, Flora Jay

Pages