Publications
Home > Spotlight > Publications
A real moment-HSOS hierarchy for complex polynomial optimization with real coefficients
Computational Optimization and Applications, 2024, 90, ⟨10.1007/s10589-024-00617-0⟩

Wang Jie, Magron Victor

Weighted families of contact maps to characterize conformational ensembles of (highly-)flexible proteins
Bioinformatics, 2024, 40 (11), pp.btae627. ⟨10.1093/bioinformatics/btae627⟩

González-Delgado Javier, Bernadó Pau, Neuvial Pierre, Cortés Juan

Imaging device to measure the reflective and transmissive part of isotropic BSSRDF
Optics Express, 2024, 32 (22), pp.39267-39292. ⟨10.1364/OE.538429⟩

Gerardin Morgane, Paulin Mathias, Pacanowski Romain

Modelling and proving the monotonicity of processor pipelines in Coq
22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, Oct 2024, Raleigh, United States. pp.12-21, ⟨10.1109/MEMOCODE63347.2024.00007⟩

Gruin Alban, Bonenfant Armelle, Carle Thomas, Rochange Christine

On the Complexity of Proving Polyhedral Reductions
Fundamenta Informaticae, 2024, 192 (3-4), pp.363-394. ⟨10.3233/FI-242197⟩

Amat Nicolas, Dal Zilio Silvano, Le Botlan Didier

Symmetry reduction and recovery of trajectories of optimal control problems via measure relaxations
ESAIM: Control, Optimisation and Calculus of Variations, 2024, 30, pp.63. ⟨10.1051/cocv/2024053⟩

Augier Nicolas, Henrion Didier, Korda Milan, Magron Victor

Variational properties of space-periodic standing waves of nonlinear Schrödinger equations with general nonlinearities
ESAIM: Control, Optimisation and Calculus of Variations, 2024, 30 (79), pp.1--31. ⟨10.1051/cocv/2024065⟩

Kfoury Perla, Le Coz Stefan

The local limit theorem for complex valued sequences: the parabolic case
Comptes Rendus. Mathématique, 2024, 362, pp.1801-1818. ⟨10.5802/crmath.685⟩

Coulombel Jean-François, Faye Grégory

Examples of harmonic foliated currents and singular Levi-flats on the projective plane
Advances in Mathematics, 2024, 452, pp.109792. ⟨10.1016/j.aim.2024.109792⟩

Alkateeb Mohamad, Rebelo Julio

Learning Hybrid Interpretable Models: Theory, Taxonomy, and Methods
Transactions on Machine Learning Research Journal, 2024

Ferry Julien, Laberge Gabriel, Aïvodji Ulrich