Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-00658664v1 Journal articles Gérard Ben Arous, Yueyun Hu, Stefano Olla, Ofer 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 Goudon, Julien Barre, David Chiron, Nader 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-01121534v1 Preprints, Working Papers, ... Julien Barre, David Chiron, Thierry Goudon, Nader Masmoudi. From Vlasov–Poisson and Vlasov–Poisson–Fokker–Planck Systems to Incompressible Euler Equations: the case with finite charge 2015
	hal-01825708v3 Conference papers Rémi Imbach, Marc Pouget, Chee 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-01114791v1 Journal articles Céline Caldini-Queiros, Bruno Després, Lise-Marie Imbert-Gérard, Maryna Kachanovska. A numerical study of the solution of x-mode equations around the hybrid resonance ESAIM: Proceedings and Surveys, EDP Sciences, 2016, 53, pp.1-21
	hal-00905851v1 Journal articles Erwan Faou, Pierre Germain, Zaher 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 Erhel, Martin Gander, Laurence Halpern, Géraldine Pichot, Taoufik 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-00526818v1 Journal articles Stefan Manegold, Ioana Manolescu, Loredana Afanasiev, J. L. Feng, Gang Gou et al. Repeatability and workability evaluation of SIGMOD 2009 SIGMOD record, ACM, 2009, 38 (3), pp.40-43
	inria-00348715v1 Conference papers Sylvain Pion, Chee 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-00344310v1 Journal articles Lutz Kettner, Kurt Mehlhorn, Sylvain Pion, Stefan Schirra, Chee Yap. Classroom examples of robustness problems in geometric computations Computational Geometry, Elsevier, 2008, 40 (1), pp.61-78. ⟨10.1016/j.comgeo.2007.06.003⟩
	inria-00519591v1 Conference papers Jihun Yu, Chee Yap, Zilin Du, Sylvain Pion, Hervé 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 Kettner, Kurt Mehlhorn, Sylvain Pion, Stefan Schirra, Chee 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 Li, Sylvain Pion, Chee 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 Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent 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 Bertrane, Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent 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 Podosinnikova, Amelia Perry, Alexander Wein, Francis Bach, Alexandre 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 Pion, Chee 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⟩
	hal-01373769v1 Conference papers Maximilien Servajean, Alexis Joly, Dennis Shasha, Julien Champ, Esther Pacitti. ThePlantGame: Actively Training Human Annotators for Domain-specific Crowdsourcing MM: Conference on Multimedia, Oct 2016, Amsterdam, Netherlands. pp.720-721, ⟨10.1145/2964284.2973820⟩
	lirmm-01620154v1 Conference papers Djamel-Edine Yagoubi, Reza Akbarinia, Florent Masseglia, Dennis Shasha. RadiusSketch: Massively Distributed Indexing of Time Series DSAA: Data Science and Advanced Analytics, Oct 2017, Tokyo, Japan. pp.1-10
	hal-01954367v1 Journal articles David Dereudre, Adrien Hardy, Thomas Leblé, Mylène Maïda. DLR equations and rigidity for the Sine-beta process Communications on Pure and Applied Mathematics, Wiley, 2020, ⟨10.1002/cpa.21963⟩
	lirmm-01867804v1 Conference papers Patrick Valduriez, Marta Mattoso, Reza Akbarinia, Heraldo Borges, José 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
	hal-01183588v1 Preprints, Working Papers, ... Danila Potapov, Matthijs Douze, Jerome Revaud, Zaid Harchaoui, Cordelia Schmid. Beat-Event Detection in Action Movie Franchises 2015
	hal-01420712v1 Preprints, Working Papers, ... Guillaume Carlier, Alfred Galichon, Victor Chernozhukov. Vector quantile regression beyond correct specification 2016
	lirmm-01886760v1 Conference papers Oleksandra Levchenko, Djamel-Edine Yagoubi, Reza Akbarinia, Florent Masseglia, Boyan 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-02095640v1 Software Oleksandra Levchenko, Djamel-Edine Yagoubi, Reza Akbarinia, Florent Masseglia, Boyan Kolev et al. Imitates 2019
	lirmm-01886794v1 Journal articles Djamel-Edine Yagoubi, Reza Akbarinia, Boyan Kolev, Oleksandra Levchenko, Florent Masseglia et al. ParCorr: efficient parallel methods to identify similar time series pairs across sliding windows Data Mining and Knowledge Discovery, Springer, 2018, 32 (5), pp.1481-1507. ⟨10.1007/s10618-018-0580-z⟩
	hal-00646816v1 Conference papers Y-Lan Boureau, Nicolas Le Roux, Francis Bach, Jean Ponce, Yann 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. Krishnan, Simon Lacoste-Julien, David Sontag. Barrier Frank-Wolfe for Marginal Inference NIPS 2015 - Advances in Neural Information Processing Systems 28, Dec 2015, Montreal, Canada
	hal-02878388v1 Journal articles Rémi Imbach, Marc Pouget, Chee Yap. Clustering Complex Zeros of Triangular Systems of Polynomials Mathematics in Computer Science, Springer, 2020, ⟨10.1007/s11786-020-00482-0⟩
	hal-00930103v1 Conference papers Patrick Cousot, Radhia 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⟩
	1 2 3 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize