Skip to Main content Skip to Navigation

hal-00658664v1  Journal articles
Gérard Ben ArousYueyun HuStefano OllaOfer Zeitouni. Einstein relation for biased random walk on Galton--Watson trees
Annales de l'Institut Henri Poincaré (B) Probabilités et Statistiques, Institute Henri Poincaré, 2013, 49 (3), pp.698-721. ⟨10.1214/12-AIHP486⟩
hal-01270346v1  Journal articles
Thierry GoudonJulien BarreDavid ChironNader Masmoudi. From Vlasov--Poisson and Vlasov--Poisson--Fokker--Planck systems to incompressible Euler Equations: the case with finite charge
Journal de l'École polytechnique — Mathématiques, École polytechnique, 2015, 2, pp.247-296
hal-01825708v3  Conference papers
Rémi ImbachMarc PougetChee Yap. Clustering Complex Zeros of Triangular System of Polynomials
CASC 2019 - 21st International Workshop on Computer Algebra in Scientific Computing, Aug 2019, Moscow, Russia
hal-00905851v1  Journal articles
Erwan FaouPierre GermainZaher Hani. The weakly nonlinear large-box limit of the 2D cubic nonlinear Schrödinger equation
Journal of the American Mathematical Society, American Mathematical Society, 2016, 29 (4), pp.915-982. ⟨10.1090/jams/845⟩
hal-00911590v1  Directions of work or proceedings
Jocelyne ErhelMartin GanderLaurence HalpernGéraldine PichotTaoufik Sassi et al.  Domain Decomposition Methods in Science and Engineering XXI
Jocelyne Erhel and Martin Gander and Laurence Halpern and Géraldine Pichot and Taoufik Sassi and Olof Widlund. Springer, pp.800, 2014
inria-00348715v1  Conference papers
Sylvain PionChee Yap. Constructive Root Bound for k-Ary Rational Input Numbers
19th Annual ACM Symposium on Computational Geometry (SCG), Jun 2003, San Diego, California, United States. pp.256-263
inria-00519591v1  Conference papers
Jihun YuChee YapZilin DuSylvain PionHervé Brönnimann. The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra
Third International Congress on Mathematical Software, Sep 2010, Kobe, Japan
inria-00344515v1  Conference papers
Lutz KettnerKurt MehlhornSylvain PionStefan SchirraChee Yap. Classroom Examples of Robustness Problems in Geometric Computations
European Symposium on Algorithms (ESA), Sep 2004, Bergen, Norway. pp.702-713
inria-00344355v1  Journal articles
Chen LiSylvain PionChee Yap. Recent progress in exact geometric computation
Journal of Logic and Algebraic Programming, Elsevier, 2005, Practical development of exact real number computation, 64 (1), pp.85-111. ⟨10.1016/j.jlap.2004.07.006⟩
inria-00528611v1  Conference papers
Julien BertranePatrick CousotRadhia CousotJérôme FeretLaurent Mauborgne et al.  Static Analysis and Verification of Aerospace Software by Abstract Interpretation
American Institute of Aeronautics and Astronautics - AIAA Infotech@Aerospace 2010, Apr 2010, Atlanta, United States
inria-00528632v1  Conference papers
Julien BertranePatrick CousotRadhia CousotJérôme FeretLaurent Mauborgne et al.  Static Analysis by Abstract Interpretation of Embedded Critical Software
the 3rd IEEE International workshop UML and Formal Methods, Nov 2010, Shangai, China
hal-02340366v1  Conference papers
Anastasia PodosinnikovaAmelia PerryAlexander WeinFrancis BachAlexandre d'Aspremont et al.  Overcomplete Independent Component Analysis via SDP
AISTATS 2019 - 22nd International Conference on Artificial Intelligence and Statistics, Apr 2019, Naha, Japan
inria-00344349v1  Journal articles
Sylvain PionChee Yap. Constructive root bound for k-ary rational input numbers
Theoretical Computer Science, Elsevier, 2006, 369 (1-3), pp.361-376. ⟨10.1016/j.tcs.2006.09.010⟩
lirmm-01620154v1  Conference papers
Djamel-Edine YagoubiReza AkbariniaFlorent MassegliaDennis Shasha. RadiusSketch: Massively Distributed Indexing of Time Series
DSAA: Data Science and Advanced Analytics, Oct 2017, Tokyo, Japan. pp.1-10
lirmm-01867804v1  Conference papers
Patrick ValduriezMarta MattosoReza AkbariniaHeraldo BorgesJosé Camata et al.  Scientific Data Analysis Using Data-Intensive Scalable Computing: the SciDISC Project
LADaS: Latin America Data Science Workshop, Aug 2018, Rio de Janeiro, Brazil
lirmm-01886760v1  Conference papers
Oleksandra LevchenkoDjamel-Edine YagoubiReza AkbariniaFlorent MassegliaBoyan Kolev et al.  Spark-parSketch: A Massively Distributed Indexing of Time Series Datasets
CIKM: Conference on Information and Knowledge Management, Oct 2018, Turin, Italy. pp.1951-1954, ⟨10.1145/3269206.3269226⟩
hal-00646816v1  Conference papers
Y-Lan BoureauNicolas Le RouxFrancis BachJean PonceYann Lecun. Ask the locals: multi-way local pooling for image recognition
ICCV'11 - The 13th International Conference on Computer Vision, Nov 2011, Barcelone, Spain
hal-01248674v1  Conference papers
Rahul G. KrishnanSimon Lacoste-JulienDavid Sontag. Barrier Frank-Wolfe for Marginal Inference
NIPS 2015 - Advances in Neural Information Processing Systems 28, Dec 2015, Montreal, Canada
hal-00930103v1  Conference papers
Patrick CousotRadhia Cousot. A galois connection calculus for abstract interpretation
POPL - 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - 2014, Suresh Jagannathan and Peter Sewell, Jan 2014, San Diego, United States. pp.3-4, ⟨10.1145/2535838.2537850⟩