Skip to Main content Skip to Navigation

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
lirmm-01620154v1  Conference papers
Djamel-Edine YagoubiReza AkbariniaFlorent MassegliaDennis Shasha. RadiusSketch: Massively Distributed Indexing of Time Series
IEEE International Conference on Data Science and Advanced Analytics (DSAA 2017), Oct 2017, Tokyo, Japan. pp.262-271, ⟨10.1109/DSAA.2017.49⟩
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
hal-00930096v1  Conference papers
Omer TrippMarco PistoiaPatrick CousotRadhia CousotSalvatore Guarnieri. Andromeda: Accurate and Scalable Security Analysis of Web Applications
FASE 2013 - International Conference Fundamental Approaches to Software Engineering, Vittorio Cortellessa and Dániel Varró, Mar 2013, Rome, Italy. pp.210-225, ⟨10.1007/978-3-642-37057-1_15⟩
inria-00444797v1  Conference papers
Marc ShapiroNishith Krishna. The three dimensions of data consistency
Journées Francophones sur la Cohérence des Données en Univers Réparti (CDUR), Nov 2005, Paris, France. pp.54--58
inria-00444799v1  Conference papers
Marc ShapiroKarthikeyan BhargavanNishith Krishna. A Constraint-based Formalism for Consistency in Replicated Systems
OPODIS 2004 - 8th International Conference on Principles of Distributed Systems, Dec 2004, Grenoble, France. pp.331--345, ⟨10.1007/11516798_24⟩
hal-02262591v1  Journal articles
Christophe PradalSarah Cohen-BoulakiaPatrick ValduriezDennis Shasha. VersionClimber: version upgrades without tears
Computing in Science and Engineering, Institute of Electrical and Electronics Engineers, 2019, 21 (5), pp.87-93. ⟨10.1109/MCSE.2019.2921898⟩
lirmm-01819290v1  Conference papers
Fabio PortoJoao RittmeyerEduardo OgasawaraAlberto Krone-MartinsPatrick Valduriez et al.  Point Pattern Search in Big Data
SSDBM: Scientific and Statistical Database Management, Jul 2018, Bozen-Bolzano, Italy. pp.#21, ⟨10.1145/3221269.3221294⟩
lirmm-01867833v1  Conference papers
Fábio PortoAmir KhatibiJoao RittmeyerEduardo OgasawaraPatrick Valduriez et al.  Constellation Queries over Big Data
SBBD: Simpósio Brasileiro de Banco de Dados, SBC, Aug 2018, Rio de Janeiro, Brazil. pp.85-96
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⟩
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-00537499v1  Documents associated with scientific events
Ken PerlinFabrice Neyret. Flow Noise
28th International Conference on Computer Graphics and Interactive Techniques (Technical Sketches and Applications), Aug 2001, Los Angeles, United States. SIGGRAPH, Technical Sketches and Applications, pp.187, 2001
hal-01345960v1  Conference papers
Dmitry OstrovskyZaid HarchaouiAnatoli JuditskyArkadi Nemirovski. Structure-Blind Signal Recovery
30th International Conference on Neural Information Processing Systems - NIPS'16, Dec 2016, Barcelona, Spain. pp.4824-4832
hal-01111613v1  Journal articles
Assaf NaorOded Regev. Krivine schemes are optimal
Proceedings of the American Mathematical Society, American Mathematical Society, 2012, 142 (12), pp.4315-4320
hal-01271552v1  Conference papers
Antoine MinéLaurent MauborgneXavier RivalJerome FeretPatrick Cousot et al.  Taking Static Analysis to the Next Level: Proving the Absence of Run-Time Errors and Data Races with Astrée
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, Toulouse, France
hal-00864284v1  Conference papers
Vadim LyubashevskyChris PeikertOded Regev. A toolkit for Ring-LWE cryptography
EUROCRYPT - 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques - 2013, May 2013, Athens, Greece. pp.35-54, ⟨10.1007/978-3-642-38348-9_3⟩
hal-00921792v1  Journal articles
Vadim LyubashevskyChris PeikertOded Regev. On Ideal Lattices and Learning with Errors over Rings
Journal of the ACM (JACM), Association for Computing Machinery, 2013, 60 (6), ⟨10.1145/2535925⟩
hal-01757669v2  Conference papers
Pauline LucCamille CouprieYann LecunJakob Verbeek. Predicting Future Instance Segmentation by Forecasting Convolutional Features
ECCV 2018 - European Conference on Computer Vision, Sep 2018, Munich, Germany. pp.593-608, ⟨10.1007/978-3-030-01240-3_36⟩
hal-01160728v2  Conference papers
Hongzhou LinJulien MairalZaid Harchaoui. A Universal Catalyst for First-Order Optimization
NIPS - Advances in Neural Information Processing Systems, Dec 2015, Montreal, Canada. pp. 3384-3392
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⟩
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⟩
inria-00547772v1  Conference papers
Ares LagaeSylvain LefebvreRob CookTony DeroseGeorge Drettakis et al.  State of the Art in Procedural Noise Functions
31st annual conference of the European Association for Computer Graphics - Eurographics 2010, May 2010, Norrköping, Sweden
hal-00920177v1  Journal articles
Ares LagaeSylvain LefebvreRob CookTony DeroseGeorge Drettakis et al.  A Survey of Procedural Noise Functions
Computer Graphics Forum, Wiley, 2010, 29 (8), pp.2579-2600. ⟨10.1111/j.1467-8659.2010.01827.x⟩