From the 3 of 46 papers with an AI index.
21 citations
- Centre National de la Recherche ScientifiqueFR15 papers
- École Normale Supérieure - PSLFR5 papers
- Laboratoire d'Informatique, de Robotique et de Microélectronique de MontpellierFR4 papers
- Sorbonne UniversitéFR4 papers
- Université Côte d'AzurFR4 papers
- Département d'InformatiqueFR3 papers
- École Normale Supérieure de LyonFR3 papers
- Institut Polytechnique de BordeauxFR3 papers
- Université de BordeauxFR3 papers
- Université Paris Sciences et LettresFR3 papers
- Centre Inria de l'Université de LilleFR2 papers
- École Polytechnique Fédérale de LausanneCH2 papers
46 papers
On Weak Bisimilarities in CCSK
Baptiste Vallée, Ivan Lanese
In the context of CCSK, a reversible extension of CCS, we study different notions of bisimilarity (strong/weak, forward-only/reversible) and highlight their differences and commona…
A Hybrid Neural-Microfacet BRDF Model for Real-Time Rendering
Louis De Oliveira, Anastasia Karpova, Georges Nader +4
Over the past decade, microfacet-based BRDF models have formed the foundation of real-time rendering pipelines. Despite their widespread use, they often fail to reproduce subtle ap…
dfence: Fine-Grained Speculation Barriers for Efficient and Effective Hardware-Software Protection in the Spectre Era (Extended Version)
Davide Davoli, Marton Bognar, Lesly-Ann Daniel +3
Speculative execution attacks such as Spectre-PHT and Spectre-STL remain a critical security concern in modern processors. While software-based mitigations like Speculative Load Ha…
Immediate 3D Gaussian Splat Reconstruction of Unordered Input with Global Consistency
Andreas Meuleman, Linus Franke, Boris Zhestiankin +2
The paper presents a method for instantly reconstructing 3D scenes from unordered image collections using 3D Gaussian splatting, achieving global consistency through fast matching,…
Bidirectional Interpolation for the Lambda-Calculus: Revisiting and Formalising Craig-ÄubriÄ Interpolation
Meven Lennon Bertrand, Alexis Saurin
The paper presents a new proof of the proof‑relevant Craig interpolation theorem for the simply‑typed lambda calculus using bidirectional typing techniques, and provides a formalis…
Photonic Learning in Ultrafast Laser-Induced Complexity
Fayad Ali Banna, Eduardo Brandao, Anthony Nakhoul +3
The paper investigates how ultrafast laser pulses create nanoscale surface patterns that act as a structural memory, enabling the material to adapt its morphology and optical respo…