From the 4 of 77 papers with an AI index.
43 citations
- Centre National de la Recherche ScientifiqueFR11 papers
- Institute of AstronomyRU11 papers
- Université Paris-SaclayFR10 papers
- Université Paris CitéFR9 papers
- Queen Mary University of LondonGB8 papers
- California Institute of TechnologyUS7 papers
- Eötvös Loránd UniversityHU7 papers
- Goddard Space Flight CenterUS7 papers
- Massachusetts Institute of TechnologyUS7 papers
- Newcastle UniversityGB7 papers
- Sorbonne UniversitéFR7 papers
- Université de RennesFR7 papers
77 papers
A human-checkable proof of the 112-vertex counterexample to the Petersen coloring conjecture
Jorik Jooken
The Petersen coloring conjecture of Jaeger asserts that every bridgeless cubic graph admits a Petersen coloring. Recently, Putman presented an explicit counterexample on vert…
LazyHMC: Hamiltonian Monte Carlo Simulation for Lazy, Infinite Dimensional Probabilistic Programs
Maria-Nicoleta Crăciun, C. -H. Luke Ong, Tom Schrijvers +1
Hamiltonian Monte Carlo (HMC) is a successful generic inference method in probabilistic programming, but in its ordinary formulation it needs gradients and finite-dimensional param…
Spectrally dispersed non-redundant aperture-masking interferometry in the thermal infrared with LBTI/ALES
T. A. Stuber, J. M. Stone, J. W. Isbell +5
Non-redundant aperture-masking interferometry maximizes the angular resolution of a telescope by turning it into an interferometric array using pupil plane masks. If the interferen…
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…
Leveraging Beam Search Information for Confidence Estimation in E2E ASR
Yichen Jia, Hugo Van hamme
To estimate confidence for end-to-end Automatic Speech Recognition (ASR) systems, recent research has proposed Confidence Estimation Modules that incorporate features from the back…
Multiplicity of Massive Stars at Low Metallicity: Early Results from the BLOeM Campaign
T. Shenar, J. Bodensteiner, M. Abdul-Masih +73
The BLOeM campaign presents the first large‑scale spectroscopic survey of 929 massive stars in the Small Magellanic Cloud, revealing a high intrinsic binary fraction (>70%) among m…