Skip to Main content Skip to Navigation


...
hal-00642074v1  Journal articles
Thomas HartPatricia CorbyMilos HauskrechtOk Hee RyuRichard Pelikan et al.  Identification of microbial and proteomic biomarkers in early childhood caries
International Journal of Dentistry, Hindawi Publishing Corporation, 2011, 2011, pp.196721. ⟨10.1155/2011/196721⟩
hal-01887793v1  Journal articles
Denis EngemannFederico RaimondoJean-Rémi KingBenjamin RohautGilles Louppe et al.  Robust EEG-based cross-site and cross-protocol classification of states of consciousness
Brain - A Journal of Neurology , Oxford University Press (OUP), 2018, 141 (11), pp.3179-3192. ⟨10.1093/brain/awy251⟩
...
hal-00939175v1  Conference papers
Abdelberi ChaabaneYuan DingRatan DeyMohamed Ali KaafarKeith Ross. A Closer Look at Third-Party OSN Applications: Are They Leaking Your Personal Information?
PAM 2014 - 15th International Conference on Passive and Active Measurement, Mar 2014, Los Angeles, United States
...
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
hal-01095009v1  Conference papers
Clark BarrettLeonardo de MouraPascal Fontaine. Proofs in satisfiability modulo theories
APPA (All about Proofs, Proofs for All), Jul 2014, Vienna, Austria
hal-01931277v1  Conference papers
Timothée BernardLucas Champollion. Negative events in compositional semantics
Semantics and Linguistic Theory (SALT 28), May 2018, Cambridge (MA), United States. pp.512-532
...
hal-01027582v1  Journal articles
Jeremy BoyRonald A. RensinkEnrico BertiniJean-Daniel Fekete. A Principled Way of Assessing Visualization Literacy
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2014, 20 (12), pp.10. ⟨10.1109/TVCG.2014.2346984⟩
...
hal-01939157v2  Journal articles
Elif Köksal ErsözMathieu DesrochesAntoni GuillamonJohn RinzelJoel Tabak. Canard-induced complex oscillations in an excitatory network
Journal of Mathematical Biology, Springer Verlag (Germany), 2020, 80 (7), pp.2075-2107. ⟨10.1007/s00285-020-01490-1⟩
...
hal-03043703v1  Conference papers
Amélie HéliouPanayotis MertikopoulosZhengyuan Zhou. Gradient-free Online Learning in Games with Delayed Rewards
ICML '20: The 37th International Conference on Machine Learning, 2020, Vienna, Austria
...
hal-03043711v1  Conference papers
Tianyi LinZhengyuan ZhouPanayotis MertikopoulosMichael Jordan. Finite-time last-iterate convergence for multi-agent learning in games
ICML '20: The 37th International Conference on Machine Learning, 2020, Vienna, Austria
hal-01248678v1  Conference papers
Carson ErinJames W. DemmelLaura GrigoriKnight NickKoanantakool Penporn et al.  Write-Avoiding Algorithms
Proceedings of IEEE International Parallel & Distributed Processing Symposium, IPDPS 2016, 2016, Chicago, United States
...
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