Skip to Main content Skip to Navigation

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-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-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-00519072v1  Journal articles
Ivan Nourdin. Yet another proof of the Nualart-Peccati criterion
Electronic Communications in Probability, Institute of Mathematical Statistics (IMS), 2011
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⟩
inria-00107460v3  Journal articles
Antoine Lejay. Yet another introduction to rough paths
Séminaire de Probabilités, Springer-Verlag, 2009, Séminaire de Probabilités XLII / Lecture Notes in Mathematics, 1979, pp.1-101. ⟨10.1007/978-3-642-01763-6_1⟩
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-00780437v1  Journal articles
Alin BostanPhilippe Dumas. Wronskians and linear independence
American Mathematical Monthly, Mathematical Association of America, 2010, 117 (8), pp.722-727. ⟨10.4169/000298910X515785⟩
hal-01147913v1  Journal articles
Arnaud EmilienUlysse VimontMarie-Paule CaniPierre PoulinBedrich Benes. WorldBrush: Interactive Example-based Synthesis of Procedural Virtual Worlds
ACM Transactions on Graphics, Association for Computing Machinery, 2015, Proceedings of SIGGRAPH, 34 (4), pp.11. ⟨10.1145/2766975⟩
hal-01064378v2  Journal articles
Bartlomiej BlaszczyszynMohamed Kadhem KarrayHolger Paul Keeler. Wireless networks appear Poissonian due to strong shadowing
IEEE Transactions on Wireless Communications, Institute of Electrical and Electronics Engineers, 2015, 14 (8), pp.4379 - 4390. ⟨10.1109/TWC.2015.2420099⟩
hal-00644924v1  Conference papers
Claire ChauvinFrédéric BernardinMireille BossyAntoine Rousseau. Wind Simulation Refinement: some New Challenges for Particle Methods
ECMI 2008 - The European Consortium For Mathematics In Industry, Jun 2008, London, United Kingdom. pp.765-770, ⟨10.1007/978-3-642-12110-4⟩
hal-00644373v1  Journal articles
Xavier AntoineKarim RamdaniBertrand Thierry. Wide Frequency Band Numerical Approaches for Multiple Scattering Problems by Disks
Journal of Algorithms and Computational Technology, SAGE and Multi-science, 2012, 6 (2), pp.241-260. ⟨10.1260/1748-3018.6.2.241⟩
hal-01618357v1  Documents associated with scientific events
Luís AlmeidaRebecca Chisholm †Jean ClairambaultTommaso LorenziAlexander Lorz et al.  Why is evolution important in cancer and what mathematics should be used to treat cancer? focus on drug resistance
Conference Biomat 2017 - 17th International Symposium on Mathematical and Computational Biology, Oct 2017, Moscou, Russia
hal-01945593v1  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-00747833v1  Conference papers
Mathieu CuncheMohamed Ali KaafarTerence ChenRoksana BoreliAnirban Mahanti. Why are they hiding ? Study of an Anonymous File Sharing System
ESTEL-SEC - Security and Privacy Special Track of IEEE-AESS Conference in Europe about Space and Satellite Communications - 2012, Oct 2012, Rome, Italy