Publications
Accueil > Actions marquantes > Publications
Numerical Simulations on Nonlinear Quantum Graphs with the GraFiDi Library
SMAI Journal of Computational Mathematics, 2022, 8, pp.1-47

Besse Christophe, Duboscq Romain, Le Coz Stefan

Property Directed Reachability for Generalized Petri Nets
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022, Apr 2022, Munich, Germany. ⟨10.1007/978-3-030-99524-9_28⟩

Amat Nicolas, Dal Zilio Silvano, Hujsa Thomas

The Christoffel-Darboux Kernel for Data Analysis
Cambridge University Press. Cambridge University Press, 2022, Cambridge Monographs on Applied and Computational Mathematics, 9781108937078

Lasserre Jean-Bernard, Pauwels Edouard, Putinar Mihai

Carleman estimates for the wave equation in heterogeneous media with non-convex interface
Journal of Differential Equations, 2022, 311, pp.1-28. ⟨10.1016/j.jde.2021.12.001⟩

Baudouin Lucie, Godoy Pamela, Mercado Alberto

FlexVF: Adaptive network device services in a virtualized environment
Future Generation Computer Systems, 2022, 127, pp.14-22. ⟨10.1016/j.future.2021.08.011⟩

Ekane Brice, Dinh Ngoc Tu, Teabe Boris, Hagimont Daniel, de Palma Noel

Parallel best-first search algorithms for planning problems on multi-core processors
Journal of Supercomputing, 2022, 78 (3), p. 3122-3151. ⟨10.1007/s11227-021-03986-z⟩

El Baz Didier, Fakih Bilal, Sanchez Nigenda Romeo, Boyer Vincent

Algebraic approximation and the decomposition theorem for Kähler Calabi-Yau varieties
Inventiones Mathematicae, 2022, ⟨10.1007/s00222-022-01096-y⟩

Bakker Benjamin, Guenancia Henri, Lehn Christian

Second-order step-size tuning of SGD for non-convex optimization
Neural Processing Letters, 2022, pp.1--26. ⟨10.1007/s11063-021-10705-5⟩

Castera Camille, Févotte Cédric, Bolte Jérôme, Pauwels Edouard

Large time behaviour for the motion of a solid in a viscous incompressible fluid
Mathematische Annalen, 2022, ⟨10.1007/s00208-021-02351-y⟩

Ervedoza Sylvain, Maity Debayan, Tucsnak Marius

The Morozov's principle applied to data assimilation problems
ESAIM: Mathematical Modelling and Numerical Analysis, 2022, ⟨10.1051/m2an/2022061⟩

Bourgeois Laurent, Dardé Jérémi