Skip to Main content Skip to Navigation

inria-00315920v1  Conference papers
Richard BonichonDavid DelahayeDamien Doligez. Zenon: an Extensible Automated Theorem Prover Producing Checkable Proofs
LPAR 2007 - 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Oct 2007, Yerevan, Armenia. pp.151-165, ⟨10.1007/978-3-540-75560-9_13⟩
hal-00909784v1  Conference papers
David DelahayeDamien DoligezFrédéric GilbertPierre HalmagrandOlivier Hermant. Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo
LPAR - Logic for Programming Artificial Intelligence and Reasoning - 2013, Dec 2013, Stellenbosch, South Africa. pp.274-290, ⟨10.1007/978-3-642-45221-5_20⟩
hal-02425985v1  Conference papers
Shuhang ChenAdithya M. DevrajFan LuAna BušićSean P. Meyn. Zap Q-Learning With Nonlinear Function Approximation
NeurIPS 2020: Thirty-fourth Conference on Neural Information Processing Systems, Dec 2020, Vancouver / Virtual, Canada
hal-03094388v1  Conference papers
Shuhang ChenAdithya DevrajAna BušićSean Meyn. Zap Q-Learning for Optimal Stopping
ACC 2020 - American Control Conference, Jul 2020, Denver / Virtual, United States. pp.3920-3925, ⟨10.23919/ACC45564.2020.9147481⟩
hal-02429733v1  Conference papers
Adithya DevrajAna BušićSean Meyn. Zap Q-Learning - A User's Guide
ICC 2019 - Fifth Indian Control Conference, Jan 2019, New Delhi, India. pp.10-15, ⟨10.1109/INDIANCC.2019.8715554⟩
hal-00450235v2  Journal articles
Sébastien BubeckRémi MunosGilles StoltzCsaba Szepesvari. X-Armed Bandits
Journal of Machine Learning Research, Microtome Publishing, 2011, 12, pp.1655-1695
hal-01256368v1  Journal articles
Justyna Signerska-RynkowskaJonathan TouboulAlexandre VidalJonathan Rubin. Wild oscillations in a nonlinear neuron model with resets: (II) Mixed-mode oscillations
Discrete and Continuous Dynamical Systems - Series B, American Institute of Mathematical Sciences, 2017, 22, pp.4003-4039
hal-01416002v1  Journal articles
Jonathan RubinJustyna Signerska-RynkowskaJonathan TouboulAlexandre Vidal. Wild oscillations in a nonlinear neuron model with resets: (I) Bursting, spike adding and chaos
Discrete and Continuous Dynamical Systems - Series B, American Institute of Mathematical Sciences, 2017, 22, pp.3967-4002. ⟨10.3934/dcdsb.2017204⟩
hal-01618357v2  Book sections
Luís AlmeidaRebecca ChisholmJean ClairambaultTommaso LorenziAlexander Lorz et al.  Why Is Evolution Important in Cancer and What Mathematics Should Be Used to Treat Cancer? Focus on Drug Resistance
Trends in Biomathematics: Modeling, Optimization and Computational Problems: Selected works from the BIOMAT Consortium Lectures, Moscow 2017, Springer International Publishing, pp.107-120, 2018
hal-01634630v1  Conference papers
Simon ApersAlain SarletteFrancesco Ticozzi. When Does Memory Speed-up Mixing?
IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia
hal-00122454v1  Journal articles
Eric CancèsIsabelle CattoYousra GatiClaude Le Bris. Well-posedness of a multiscale model for concentrated suspensions
Multiscale Modeling and Simulation: A SIAM Interdisciplinary Journal, Society for Industrial and Applied Mathematics, 2005, 4 issue 4, pp.1041-1058
hal-00789315v1  Journal articles
Boris AndreianovFrédéric LagoutièreNicolas SeguinTakéo Takahashi. Well-posedness for a one-dimensional fluid-particle interaction model
SIAM Journal on Mathematical Analysis, Society for Industrial and Applied Mathematics, 2014, 46 (2)
hal-01395585v1  Journal articles
Rémi AzouitAlain SarlettePierre Rouchon. Well-posedness and convergence of the Lindblad master equation for a quantum harmonic oscillator with multi-photon drive and damping
ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, 2016, Special Issue in honor of Jean-Michel Coron for his 60th birthday, 22 (4), pp.1353-1369. ⟨10.1051/cocv/2016050⟩
hal-00907541v1  Journal articles
Alexandre d'AspremontNoureddine El Karoui. Weak Recovery Conditions from Graph Partitioning Bounds and Order Statistics
Mathematics of Operations Research, INFORMS, 2013, 38 (2),
hal-01125844v1  Conference papers
Malika CharradYves LechevallierMohamed Ben AhmedGilbert Saporta. WCUM pour l'analyse d'un site web
10e conférence internationale sur l'Extraction et la Gestion des Connaissances EGC'2010, Jan 2010, Hammamet, Tunisie. pp.45-52
inria-00578654v1  Conference papers
Jacques Lévy VéhelAnne Manoury. Wavelet packet based digital watermarking
International Conference on Pattern Recognition (ICPR), Sep 2000, Barcelona, Spain. pp.413 - 416, ⟨10.1109/ICPR.2000.903572⟩
hal-01645092v1  Book sections
Irène WaldspurgerHabib AmmariStéphane MallatHan Wang. Wavelet methods for shape perception in electro-sensing
Habib Ammari; Yves Capdeboscq; Hyeonbae Kang; Imbo Sim. Imaging, Multi-scale and High Contrast Partial Differential Equations, 2016, 978-1-4704-1923-3
hal-01370287v1  Journal articles
Antonin Guilloux. Volume of representations and birationality of peripheral holonomy
Experimental Mathematics, Taylor & Francis, 2017