Skip to Main content Skip to Navigation

hal-01872303v1  Conference papers
Ali MarandiTorsten BraunKavé SalamatianNikolaos Thomos. A Comparative Analysis of Bloom Filter-based Routing Protocols for Information-Centric Networks
IEEE Symposium on Computer Communications (ISCC'18)., Jun 2018, Natal, Brazil
hal-01159687v1  Conference papers
Max RietmannDaniel PeterOlaf SchenkBora UçarMarcus J. Grote. Load-Balanced Local Time Stepping for Large-Scale Wave Propagation
29th IEEE International Parallel & Distributed Processing Symposium, May 2015, Hyderabad, India. pp.925--935
hal-01337810v1  Conference papers
Sophie BurrillStephen MelczerMarni Mishna. A Baxter class of a different kind, and other bijective results using tableau sequences ending with a row shape
27th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2015), Jul 2015, Daejeon, South Korea. pp.369-380
inria-00367584v2  Conference papers
Peter KornerupVincent LefèvreNicolas LouvetJean-Michel Muller. On the Computation of Correctly-Rounded Sums
19th IEEE Symposium on Computer Arithmetic - Arith'19, Jun 2009, Portland, Oregon, United States
hal-00650392v1  Conference papers
Mark Van HoeijJürgen KlünersAndrew Novocin. Generating subfields
Proceedings of ISSAC 2011, 2011, United States. pp.345-352
hal-00788787v1  Conference papers
Eric HeienDerrick KondoDavid P. Anderson. Correlated Resource Models of Internet End Hosts
The 31st IEEE International Conference on Distributed Computing Systems (ICDCS'11), 2011, Minneapolis, United States. pp.278-287, ⟨10.1109/ICDCS.2011.13⟩
hal-00752990v1  Conference papers
Edmond BoyerAlexander M. BronsteinMichael M. BronsteinBenjamin BustosTal Darom et al.  SHREC 2011: robust feature detection and description benchmark
3DOR2011 - Eurographics Workshop on 3D Object Retrieval, ACM Siggraph, Apr 2011, Llandudno, United Kingdom. pp.71-78, ⟨10.2312/3DOR/3DOR11/071-078⟩
hal-00654691v1  Conference papers
Sangho YiEmmanuel JeannotDerrick KondoDavid P. Anderson. Towards Real-Time, Volunteer Distributed Computing
11th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing (CCGrid 2011), May 2011, Newport Beach, CA, United States
hal-00771479v1  Conference papers
Guillaume JamesJesus CuevasPanayotis Kevrekidis. Breathers and surface modes in oscillator chains with Hertzian interactions
NOLTA 2012 - 2012 International Symposium on Nonlinear Theory and its Applications, Oct 2012, Palma de Majorca, Spain. pp.470-473
hal-00690807v1  Conference papers
Yanik NgokoDenis Trystram. Combining SAT solvers on discrete resources
HPCS '09 : International Conference on High Performance Computing & Simulation, Jun 2009, Leipzig, Germany. pp.153-160, ⟨10.1109/HPCSIM.2009.5194889⟩
hal-01068308v1  Conference papers
Erich L. KaltofenClément Pernet. Sparse Polynomial Interpolation Codes and their decoding beyond half the minimal distance
ISSAC - 39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. pp. 272-279, ⟨10.1145/2608628.2608660⟩
hal-00546901v1  Conference papers
Damien StehléMark Watkins. On the Extremality of an 80-Dimensional Lattice
ANTS-IX, Jul 2010, France. pp.340--356
hal-01816703v1  Conference papers
Maria Laura Delle MonacheSamuel HammondBenedetto Piccoli. Riemann solver for a macroscopic double-lane roundabout model
CTS 2018 - 15th IFAC Symposium on Control in Transportation Systems, Jun 2018, Savona, Italy. pp.55-60, ⟨10.1016/j.ifacol.2018.07.010⟩
hal-02910997v3  Conference papers
Filip PawłowskiRob BisselingBora UçarAlbert-Jan Yzelman. Combinatorial Tiling for Sparse Neural Networks
2020 IEEE High Performance Extreme Computing (virtual conference), Sep 2020, Waltham, MA, United States
ensl-00653460v2  Conference papers
Nicolas BrisebarreMioara JoldeşÉrik Martin-DorelMicaela MayeroJean-Michel Muller et al.  Rigorous Polynomial Approximation using Taylor Models in Coq
Fourth NASA Formal Methods Symposium, NASA, Apr 2012, Norfolk, Virginia, United States. pp.15
hal-01266041v3  Conference papers
Jean-Guillaume DumasErich KaltofenEmmanuel ThoméGilles Villard. Linear Time Interactive Certificates for the Minimal Polynomial and the Determinant of a Sparse Matrix
ISSAC’2016, Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation, Jul 2016, Waterloo, Canada. pp.199-206, ⟨10.1145/2930889.2930908⟩
hal-01657873v1  Conference papers
Jean-Guillaume DumasErich KaltofenGilles VillardLihong Zhi. Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits
ISSAC 2017 - 42nd International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.125-132, ⟨10.1145/3087604.3087640⟩
inria-00506065v1  Conference papers
Kazuhisa MatsuzonoJonathan DetchartMathieu CuncheVincent RocaHitoshi Asaeda. Performance Analysis of a High-Performance Real-Time Application with Several AL-FEC Schemes
LCN 2010, the 35th IEEE Conference on Local Computer Networks (LCN), IEEE, Oct 2010, Denver, Colorado, United States
hal-01457979v2  Conference papers
Vincent NeigerThi Xuan Vu. Computing Canonical Bases of Modules of Univariate Relations
ISSAC '17 - 42nd International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.8
hal-00679207v1  Conference papers
Corentin BriatAlexandre Seuret. Robust stability of impulsive systems: A functional-based approach
ADHS 2012 - 4th IFAC conference on Analysis and Design of Hybrid Systems, Jun 2012, Eindhoven, Netherlands. pp.6, ⟨10.3182/20120606-3-NL-3011.00064⟩
hal-01394409v1  Conference papers
Yoann AnselmettiVincent BerryCedric ChauveAnnie ChateauEric Tannier et al.  Comment la reconstruction de génomes ancestraux peut aider à l'assemblage de génomes actuels
Journées Ouvertes Biologie Informatique Mathématiques, 2016, Lyon, France
hal-00922194v1  Conference papers
Zvika BrakerskiAdeline Roux-LangloisChris PeikertOded RegevDamien Stehlé. Classical Hardness of Learning with Errors
Proceedings of STOC, 2013, United States. pp.575-584
hal-00748788v1  Conference papers
Vicente AcuñaEtienne BirmeléLudovic CottretPierluigi CrescenziFabien Jourdan et al.  Telling Stories
ICALP 2011 satellite workshop: Graph Algorithms and Applications (GA), 2011, Zurich, Switzerland. ⟨10.1016/j.tcs.2012.07.023⟩
inria-00590165v1  Conference papers
Cristian SminchisescuAlexandru C Telea. Human Pose Estimation from Silhouettes. A Consistent Approach Using Distance Level Sets
10th International Conference on Computer Graphics,Visualization and Computer Vision (WSCG '02), Feb 2002, Pilsen, Czech Republic
inria-00590158v1  Conference papers
Cristian SminchisescuAlexandru C Telea. A Framework for Generic State Estimation in Computer Vision Applications
2nd International Workshop ICVS 2001, Jul 2001, Vancouver, Canada. pp.21--34, ⟨10.1007/3-540-48222-9_2⟩
inria-00590119v1  Conference papers
Anders HeydenFredrik KahlLong Quan. Minimal Projective Reconstruction with Missing Data
IEEE Conference on Computer Vision and Pattern Recognition (CVPR '99), May 1999, Fort Collins, United States. pp.210--216, ⟨10.1109/CVPR.1999.784631⟩