Skip to Main content Skip to Navigation

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
hal-02062891v2  Journal articles
Simon FoucartRémi GribonvalLaurent JacquesHolger Rauhut. Jointly Low-Rank and Bisparse Recovery: Questions and Partial Answers
Analysis and Applications, World Scientific Publishing, 2020, 18 (01), pp.25--48. ⟨10.1142/S0219530519410094⟩
hal-01993462v1  Journal articles
Maria ChudnovskyIrene LoFrédéric MaffrayNicolas TrotignonKristina Vušković. Coloring square-free Berge graphs
Journal of Combinatorial Theory, Series B, Elsevier, 2019, 135, pp.96-128. ⟨10.1016/j.jctb.2018.07.010⟩
hal-01886968v1  Conference papers
Aurore AlcoleiPierre ClairambaultMartin HylandGlynn Winskel. The True Concurrency of Herbrand’s Theorem
27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Sep 2018, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.CSL.2018.5⟩
hal-01302713v3  Journal articles
Simon CastellanPierre ClairambaultSilvain RideauGlynn Winskel. Games and Strategies as Event Structures
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017, ⟨10.23638/LMCS-13(3:35)2017⟩
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-01175756v3  Journal articles
Emma BarmeJulien BensmailJakub PrzybyłoMariusz Woźniak. On a directed variation of the 1-2-3 and 1-2 Conjectures
Discrete Applied Mathematics, Elsevier, 2017, 217 (2), pp.123-131
hal-00867040v5  Journal articles
Claude-Pierre JeannerodPeter KornerupNicolas LouvetJean-Michel Muller. Error bounds on complex floating-point multiplication with an FMA
Mathematics of Computation, American Mathematical Society, 2017, 86 (304), pp. 881-898. ⟨10.1090/mcom/3123⟩
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-01312858v1  Conference papers
Mioara JoldeşJean-Michel MullerValentina PopescuWarwick Tucker. CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications
5th International Congress on Mathematical Software (ICMS), Jul 2016, Berlin, Germany
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
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-01196827v1  Book sections
Robert BasmadjianPascal BouvryGeorges da CostaLászló GyarmatiDzmitry Kliazovich et al.  Green Data Centers
Large-Scale Distributed Systems and Energy Efficiency, Wiley, pp.159-196, 2015, ⟨10.1002/9781118981122.ch6⟩
hal-01015138v1  Conference papers
Brice BoyerJean-Guillaume DumasPascal GiorgiClément PernetB. David Saunders. Elements of Design for Containers and Solutions in the LinBox Library
ICMS: International Congress on Mathematical Software, Aug 2014, Seoul, South Korea. pp.654-662, ⟨10.1007/978-3-662-44199-2_98⟩
hal-01147155v2  Reports
Guillaume AupyJulien HerrmannPaul HovlandYves Robert. Optimal Multistage Algorithm for Adjoint Computation
[Research Report] RR-8721, LIP - ENS Lyon; Argonne National Laboratory; INRIA; Vanderbilt University. 2014
inria-00569250v4  Journal articles
Philip A. KnightDaniel RuizBora Uçar. A Symmetry Preserving Algorithm for Matrix Scaling
SIAM Journal on Matrix Analysis and Applications, Society for Industrial and Applied Mathematics, 2014, 35 (3), pp.25. ⟨10.1137/110825753⟩
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
ensl-00331519v2  Journal articles
Peter KornerupVincent LefèvreNicolas LouvetJean-Michel Muller. On the computation of correctly-rounded sums
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2012, 61 (3), p. 289-298. ⟨10.1109/TC.2011.27⟩
hal-00573631v1  Conference papers
Bruno GrenetErich KaltofenPascal KoiranNatacha Portier. Symmetric Determinantal Representation of Weakly-Skew Circuits
Symposium on Theoretical Aspects of Computer Science (STACS2011), Mar 2011, Dortmund, Germany. pp.543-554, ⟨10.4230/LIPIcs.STACS.2011.543⟩
ensl-00548988v2  Journal articles
Peter KornerupJean-Michel MullerAdrien Panhaleux. Performing Arithmetic Operations on Round-to-Nearest Representations
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (2), pp.282-291. ⟨10.1109/TC.2010.134⟩