Skip to Main content Skip to Navigation

hal-03372733v1  Book sections
Stéphane CotinMichel DuprezVanessa LlerasAlexei LozinskiKillian Vuillemot. φ-FEM: an efficient simulation tool using simple meshes for problems in structure mechanics and heat transfer
Partition of Unity Methods (Wiley Series in Computational Mechanics) 1st Edition, Wiley, 2022, 978-0470667088
hal-00931028v1  Journal articles
Lars GrüneHasnaa Zidani. Zubov's equation for state-constrained perturbed nonlinear systems
Mathematical Control and Related Fields, AIMS, 2015, 5 (1), pp.55-71. ⟨10.3934/mcrf.2015.5.55⟩
hal-03341912v1  Conference papers
Amélie HéliouMatthieu MartinThibaud RahierPanayotis Mertikopoulos. Zeroth-order non-convex learning via hierarchical dual averaging
ICML 2021 - 38th International Conference on Machine Learning, Jul 2021, Vienna, Austria. pp.1-34
hal-01428997v1  Conference papers
Stéphane Gaubert. Zero-sum games, non-archimedean convexity and sinuous central paths
2016 Conference on Applied Mathematics, Aug 2016, Hong Kong, China
hal-01428994v1  Conference papers
Stéphane Gaubert. Zero-sum games, non-archimedean convexity and sinuous central paths
Workshop: Advances in Convex Analysis and Optimization, Jul 2016, Erice, Italy
hal-03290860v2  Conference papers
Nicolas CharpenayMaël Le TreustAline Roumy. Zero-error source coding when side information may be present
IZS 2022 - International Zurich Seminar on Information and Communication, Mar 2022, Zurich, Switzerland. pp.1-5
hal-03211710v3  Conference papers
Ludovic SacchelliJean-Baptiste CaillauThierry CombotJean-Baptiste Pomet. Zermelo-Markov-Dubins with two trailers
LHMNC 2021 - 7th IFAC Workshop on Lagrangian and Hamiltonian Methods for Nonlinear Control, Oct 2021, Berlin, Germany. pp.249-245, ⟨10.1016/j.ifacol.2021.11.086⟩
hal-00462453v1  Journal articles
communications in stochastic analysis, 2010, 4 (3), pp.00-00
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-03197423v6  Preprints, Working Papers, ...
Pierre Lescanne. Zaionc paradox revisited
hal-01258718v1  Conference papers
Francesco de Comite. Yvon-Villarceau Circle Equivalents on Dupin Cyclides
Bridges 2015: Mathematics, Music, Art, Architecture, Culture , Jul 2015, Baltimore, United States
inria-00092425v1  Journal articles
Massimiliano GubinelliAntoine LejaySamy Tindel. Young integrals and SPDEs
Potential Analysis, Springer Verlag, 2006, 25 (4), pp.307-326
hal-00519072v2  Journal articles
Ivan Nourdin. Yet another proof of the Nualart-Peccati criterion
Electronic Communications in Probability, Institute of Mathematical Statistics (IMS), 2011, 16, pp.467-481. ⟨10.1214/ECP.v16-1642⟩