From the 1 of 3 papers with an AI index.
1 citations
- Heriot-Watt UniversityGB2 papers
- Centre de Recherche en InformatiqueFR1 paper
- Centre de Recherche en Informatique, Signal et Automatique de LilleFR1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- École Centrale de LilleFR1 paper
- Maxwell Institute for Mathematical SciencesGB1 paper
- Universität InnsbruckAT1 paper
- Université de LilleFR1 paper
3 papers
cs.LO2026
Work-in-Progress: A Tactic for Pattern Matching in Autosubst
Mathews George, Kathrin Stark
The paper proposes a work‑in‑progress tactic that enables automatic pattern matching against assumptions in the Autosubst framework, addressing limitations with typing rules and re…
stat.ME2026
A Distributed Plug-and-Play MCMC Algorithm for High-Dimensional Inverse Problems
Maxime Bouton, Pierre-Antoine Thouvenin, Audrey Repetti +1
Markov Chain Monte Carlo (MCMC) algorithms are standard approaches to solve imaging inverse problems and quantify estimation uncertainties, a key requirement in absence of ground-t…
quant-ph2026★ 1 cited
Optimised spectral purity of unfiltered photons via pump and nonlinearity shaping
Tommaso Faleo, Christopher L. Morrison, Roméo Beignon +6
Photonic quantum technologies rely on the efficient generation and interference of indistinguishable photons. Exceptional achievements in this respect have been obtained by domain…