HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
  1. Search


...
hal-03667186v1  Software
Quoc-Tung Le, Rémi Gribonval, Elisa Riccietti. Code for reproducible research - "Spurious Valleys, NP-hardness, and Tractability of Sparse Matrix Factorization With Fixed Support
2022, ⟨swh:1:dir:0815e7933349cee2fdef8c7b24ee5c1a29115480;origin=https://hal.archives-ouvertes.fr/hal-03667186;visit=swh:1:snp:0360b8b8bc1de00c2520b7608470a50cd0491851;anchor=swh:1:rel:d2138dc681b43f7a31f9d6a2df9f46b04ed4ee8d;path=/⟩
...
hal-03643569v1  Software
Olivier Beaumont, Philippe Duchon, Julien Langou, Lionel Eyraud-Dubois, Mathieu Verite. Experimental code and results for the paper "Symmetric Block-Cyclic Distribution: Fewer Communications leads to Faster Dense Cholesky Factorization
2022, ⟨swh:1:dir:c698f3a7e2a1f7c634a8b7eb72c478ebaf28de4c;origin=https://hal.archives-ouvertes.fr/hal-03643569;visit=swh:1:snp:7496c8dd24d10fddde1ed6d60904f47389c711de;anchor=swh:1:rel:3c1b484d6411fe9d80f4801dd9d6b9fadfd6c799;path=/⟩
...
hal-03656775v1  Videos
Emmanuelle Saillard. 1 minute avec...Emmanuelle Saillard
2022
...
hal-03620052v1  Software
Léon Zheng, Elisa Riccietti, Rémi Gribonval. Code for reproducible research - Efficient Identification of Butterfly Sparse Matrix Factorizations
2022, ⟨swh:1:dir:ed569ed027c484a53ca2d3d32aa6a05c79b50dbd;origin=https://hal.archives-ouvertes.fr/hal-03620052;visit=swh:1:snp:0706d7527a325d7ac8f46744c182056af46b4756;anchor=swh:1:rel:3884bd8154b9879c5743dfd2279d55102b60358c;path=/⟩
...
hal-03576498v1  Software
Sibylle Marcotte, Amélie Barbe, Rémi Gribonval, Titouan Vayer, Marc Sebban et al.  Code for reproducible research - Fast Multiscale Diffusion on Graphs
2022
...
hal-03572265v1  Software
Quoc-Tung Le, Rémi Gribonval. Code for the paper "Structured Support Exploration For Multilayer Sparse Matrix Factorization
2022, ⟨swh:1:dir:6794fd3f41d50a4e51e6e7f11ee721efafda9806;origin=https://hal.archives-ouvertes.fr/hal-03572265;visit=swh:1:snp:e5760cb4d925b5f3529486ffde997d8e3e9ea07e;anchor=swh:1:rel:a190fb7ab69d170eede1666e9e3edec33c56224b;path=/⟩
...
hal-03552956v1  Software
Léon Zheng, Quoc-Tung Le, Elisa Riccietti, Rémi Gribonval. Code for reproducible research - Fast learning of fast transforms, with guarantees
2022, ⟨swh:1:dir:42d42bf905c9f3bbcd6cf5e1e0cda6be2d0d63de;origin=https://hal.archives-ouvertes.fr/hal-03552956;visit=swh:1:snp:6a2256426a0f3a7491086fbf2da554d7589d1e18;anchor=swh:1:rel:f477382c82ada89647864605ea44b12383c04167;path=/⟩
...
hal-03473197v1  Software
Alexandre Moine, Arthur Charguéraud, François Pottier. Specification and Verification of a Transient Stack (Artifact)
2021, ⟨swh:1:dir:80952d7602e8e9614979f1b1f50fdad8a4c369f1;origin=https://hal.archives-ouvertes.fr/hal-03473197;visit=swh:1:snp:781fc4f58efbdfa6ea16006272793bf7c610d760;anchor=swh:1:rel:3df60f40567bfdf2b365cac2fe61c6bb38d94503;path=/⟩
...
hal-03464411v1  Software
Alexandre Mouton, Thomas Rey. KINEBEC - Numerical simulation of Boltzmann-Norheim equation
2021, ⟨swh:1:dir:7fe30a7f2000e428017805003dee352f95b877ba;origin=https://hal.archives-ouvertes.fr/hal-03464411;visit=swh:1:snp:25f26c730a7673ba183f92abd767d501716332ff;anchor=swh:1:rel:97d086f20d7c60fdd7fddbb656101e22d990311a;path=/⟩
...
hal-03445821v1  Software
Sébastien Briais, Sid Touati. A C-library for Register Saturation Computation
2021, ⟨swh:1:dir:353f14fe73608aeb968e1b7d961293c4292bcc91;origin=https://hal.archives-ouvertes.fr/hal-03445821;visit=swh:1:snp:f19987035256ae2536dabfadf31f38afa689e5d7;anchor=swh:1:rel:20809d0c43faec53646297b5271a12e9beec8f24;path=/⟩
...
hal-03445891v1  Software
Sid Touati. Dilworth Decomposition in C++ using the LEDA Graph library
2021, ⟨swh:1:dir:96814a40df85e15f23dec922f30ed0ce5c3f6336;origin=https://hal.archives-ouvertes.fr/hal-03445891;visit=swh:1:snp:a39dbdfa45e4a236e06b22efb7f9495b7b621416;anchor=swh:1:rel:945df584d6c66ea6973544f084124038c4d0a51f;path=/⟩
...
hal-03445736v1  Software
Sid Touati. DDG : A C++ High Level Data Dependence Graph Library
2021, ⟨swh:1:dir:4f3c8565cd0458811546f15c8cdbd45d7b7d5e99;origin=https://hal.archives-ouvertes.fr/hal-03445736;visit=swh:1:snp:02f0329065aa0998f15261721418c6af35ffbf8e;anchor=swh:1:rel:44f40b0bdf1f3004777f705b5beaf0d5b1f8ac43;path=/⟩
...
hal-03445937v1  Software
Sid Touati. A C++ implementation of a O(n log n) algorithm computing a maximal stable set of an interval graph
2021, ⟨swh:1:dir:95986a410683154bc0c9d55a2331839b74993c3d;origin=https://hal.archives-ouvertes.fr/hal-03445937;visit=swh:1:snp:63bdc74d56c678b7fa433ed87f0a4654050d02a3;anchor=swh:1:rel:9906213d31fdd2ce4d04d281a9b47747038836f1;path=/⟩
...
hal-03445804v1  Software
Sébastien Briais, Sid Touati. A C-library for Register Pressure Reduction in Data Dependence Graphs.
2021, ⟨swh:1:dir:0b9ea5cf3f444bf0920d99d5df58af2b6b484133;origin=https://hal.archives-ouvertes.fr/hal-03445804;visit=swh:1:snp:dc58dc9c3866979847adb3ee5202b8e14ac7b9cd;anchor=swh:1:rel:b0827bb530d7e2258121543e63e06de4b2c640c0;path=/⟩
...
hal-03445991v1  Software
Marouane Belaoucha, Christophe Alias, Denis Barthou, Sid Touati. FADAlib: an open source C++ library for fuzzy array dataflow analysis
2021, ⟨swh:1:dir:fc7481ee438316b9ce5b273ca894114bf658d3d9;origin=https://hal.archives-ouvertes.fr/hal-03445991;visit=swh:1:snp:518f2d28a2d2a1ad15ee2f630b40be3e24a0f8b1;anchor=swh:1:rel:488f5aa5aaa21fc92f24f0f7c9b571e56f1325ec;path=/⟩
...
hal-03413044v1  Software
Vera Wesselkamp, Imane Fouad, Arnaud Legout, Nataliia Bielova. Ernie Extension
2021, ⟨swh:1:dir:6cf9d69e8467428628b93fd5e91b2c5f1684e7e7;origin=https://hal.archives-ouvertes.fr/hal-03413044;visit=swh:1:snp:69b5f385b8f53f754ddbc6174b9d6cefc869e8fa;anchor=swh:1:rev:55f6308a857dd97100e4b06a5d6647d5330eadaf;path=/⟩
...
hal-03406224v1  Software
Axel Marmoret, Jérémy Cohen, Frédéric Bimbot. MusicAE: Encoding songs with Autoencoders to reveal structure
2021, ⟨swh:1:dir:a5df9cf7e88b8893dc205465dbd7ba6595869d0a;origin=https://hal.archives-ouvertes.fr/hal-03406224;visit=swh:1:snp:18fb7d99d56d01720cd104405c78dfe757c06308;anchor=swh:1:rev:fb43c7c06c6483761726c753df0905510487458b;path=/⟩
...
hal-03371897v1  Software
Gaetan Bisson, Romain Cosset, Damien Robert. AVIsogenies
2021, ⟨swh:1:dir:05aed8deac96bfb9c122157e4db1d310423c7258;origin=https://hal.archives-ouvertes.fr/hal-03371897;visit=swh:1:snp:57482093ffd15cdb106b284e34b3f7f0813562aa;anchor=swh:1:rev:1f0f6ec99b2c46d1bdf2e1d68aa330d3249f0b1b;path=/⟩
...
hal-03370296v1  Software
Ulysse Herbach. Harissa: tools for mechanistic gene network inference from single-cell data
2021, ⟨swh:1:dir:a12e221925f0884f70a234c9a02a25545521d099;origin=https://hal.archives-ouvertes.fr/hal-03370296;visit=swh:1:snp:7a981f6f1cd0d276b920f232bbc5d612e245f1d8;anchor=swh:1:rev:29a70ab8d8eadf78863a8b8bd55941b6f840158f;path=/⟩
...
hal-03345464v1  Software
Jens Gustedt. Code examples for the book Modern C
2021
...
hal-03517921v1  Software
Laurence Beaude, Simon Lemaire. ParaSkel++: a C++ platform for the high-performance, arbitrary-order, 2/3D numerical approximation of PDEs on general polytopal meshes using skeletal Galerkin methods
2021, ⟨swh:1:dir:0a4653df78215d7e1bd9d4c06ed0bc385a528e7d;origin=https://hal.archives-ouvertes.fr/hal-03517921;visit=swh:1:snp:0356a82b427922614cc22d3f6406faf698a3c533;anchor=swh:1:rel:d73172889b56b396fcc6b67a620ed588c0f666e4;path=/⟩
...
hal-03201316v1  Videos
François Pellegrini. L’originalité des œuvres logicielles créées par composition de briques préexistantes
2021
...
hal-03151484v1  Software
Axel Marmoret, Jérémy Cohen, Frédéric Bimbot. MusicOnPolytopes
2021, ⟨swh:1:dir:8b248e8de9b9f36dc56ce7d300831511ab75c411;origin=https://hal.archives-ouvertes.fr/hal-03151484;visit=swh:1:snp:37434c31fd90851c1f5e2931f76433599d2b50cf;anchor=swh:1:rev:4a1cd279fac42cad9781de97dce1b2c61bf362fe;path=/⟩
...
hal-03116143v1  Software
Matteo Frigo, Mauro Zucchelli, Rachid Deriche, Samuel Deslauriers-Gauthier. TALON: Tractograms As Linear Operators in Neuroimaging
2021, ⟨swh:1:dir:f25157ad1b13cb20ac3457d4f6756b49ac63d079;origin=https://hal.archives-ouvertes.fr/hal-03116143;visit=swh:1:snp:465d89956196578717f4cb5155e456c279aa6a22;anchor=swh:1:rev:10247a14640a280b9140a27ce003d382d70cccac;path=/⟩
...
hal-03563184v1  Videos
Peter Sturm. Perspective rendering from catadioptric images
2021
...
hal-03565020v1  Videos
Peter Sturm. General epipolar rectification
2021
...
hal-03564960v1  Videos
Peter Sturm. Imaging with an ellipse-shaped mirror
2021
...
hal-03564997v1  Videos
Peter Sturm. Epipolar geometry of catadioptric cameras
2021
...
hal-03564990v1  Videos
Peter Sturm. Epipolar geometry of perspective cameras and epipolar rectification
2021
...
hal-03565001v1  Videos
Peter Sturm. Epipolar geometry of a special case of non-central catadioptric cameras
2021
...
hal-03564938v1  Videos
Peter Sturm. Panoramic rendering from catadioptric images
2021
...
hal-03564950v1  Videos
Peter Sturm. Imaging with reflective elements
2021
...
hal-03565016v1  Videos
Peter Sturm. Epipolar geometry for non-central catadioptric cameras
2021
...
hal-03564979v1  Videos
Peter Sturm. Scale ambiguity in structure from motion
2021
...
hal-02963802v1  Software
Sunit Sivasankaran, Irina Illina, Emmanuel Vincent. voiceHome-2 corpus - automatic speech recognition baseline - scripts
2020, ⟨swh:1:dir:e61ed9084af0d3e8542cd4ab3a990d24314a6724;origin=https://hal.archives-ouvertes.fr/hal-02963802;visit=swh:1:snp:b958e3aa64f6b1663929789c8cf28d019f55f57d;anchor=swh:1:rev:6b9bf3964385d0c16d262796d9e4a3a30a52dafd;path=/⟩
...
hal-02961482v1  Software
Aurel Page. abelianbnf
2020, ⟨swh:1:dir:2028b86e77e21a66f522a8d0e2bcf6c341f6a4b4;origin=https://hal.archives-ouvertes.fr/hal-02961482;visit=swh:1:snp:fcf14abf20c8f027f2e290c472ea9ca7710b4dee;anchor=swh:1:rev:9235b295296670186eeace394da3cbd1abb1f53b;path=/⟩
...
hal-02915453v1  Software
Axel Marmoret, Jérémy Cohen, Nancy Bertin, Frédéric Bimbot. MusicNTD
2020, ⟨swh:1:dir:f6dc646c35c2f8f5ae5d8f6c0f37ed24fe4444da;origin=https://hal.archives-ouvertes.fr/hal-02915453;visit=swh:1:snp:fd7a937b4d29ee53880659f530863df693c22f30;anchor=swh:1:rev:3c97ce0a8ec7515ea36b40912f885286938099a9;path=/⟩
...
hal-02915456v1  Software
Axel Marmoret, Jérémy Cohen. nn_fac: Nonnegative Factorization techniques toolbox
2020, ⟨swh:1:dir:ec2a2153951a7f79b7d980ea0d9c7601e5755de9;origin=https://hal.archives-ouvertes.fr/hal-02915456;visit=swh:1:snp:6e4be34b95db089bc5e4455abb4037d0b633b9fe;anchor=swh:1:rev:88782798ee67126597c52fb12312a462e9f6439b;path=/⟩
...
hal-02908763v1  Software
Hadrien Renaud. Fut on Flow
2020, ⟨swh:1:dir:409184eb3c27c62e3ff996e1b1a7baf41c5b3153;origin=https://hal.archives-ouvertes.fr/hal-02908763;visit=swh:1:snp:9a972df7a9a7d45584256fc0722e03a27d211154;anchor=swh:1:rev:fc074c0539a309fefc4d51c77f5816bc054a5fd6;path=/⟩
...
hal-02906179v1  Software
Bérenger Bramas. Farm-SVE: A scalar C++ implementation of the ARM® Scalable Vector Extension (SVE)
2020, ⟨swh:1:dir:1d1509453950e3569b5f55a6dece1da5eeab9572;origin=https://hal.archives-ouvertes.fr/hal-02906179;visit=swh:1:snp:3506821b2a12082a9bcb490b05b446053c9a940d;anchor=swh:1:rev:7f55f2b6c15d89f826730cf89f500d340d4aefa8;path=/⟩
...
hal-03146301v1  Software
Cristian Vargas Montero, Hamid Rahkooy. Testing Unconditional Binomiality in Reversible Chemical Reaction Networks using Linear Algebra and Graph Theoretical approaches
2020, ⟨swh:1:dir:6f354b75626021ec820d2f30f8ce41de4e40b6e1;origin=https://hal.archives-ouvertes.fr/hal-03146301;visit=swh:1:snp:2606e63e5a998754f4df2c4a683bd556c2ec9b02;anchor=swh:1:rev:331bf66efe08227f4732afbb28843db025c90a92;path=/⟩
...
hal-02902346v1  Software
Romain Veltz. BifurcationKit.jl
2020, ⟨swh:1:dir:257669cd4bf202bc8393a4efa22bfe5f6f517b03;origin=https://hal.archives-ouvertes.fr/hal-02902346;visit=swh:1:snp:73c1c5e9525b1b9b09b8a79ca056057fcb26b8a9;anchor=swh:1:rev:31bea805201b64435aa28e4d036e156ab189c3d5;path=/⟩
...
hal-02137040v2  Software
Alexandre Mouton, Caterina Calgaro, Emmanuel Creusé. NS2DDV - Navier-Stokes 2D à Densité Variable
2020, ⟨swh:1:dir:ea24497c97c446b847eb1e6b144fc0528b22798f;origin=https://hal.archives-ouvertes.fr/hal-02137040;visit=swh:1:snp:6d9b0a7121ef7aee4569095d3304fd3c77f27314;anchor=swh:1:rev:04a7cf3445bc390bc8dfaf93341a1f8f2008072c;path=/⟩
...
hal-02530400v1  Videos
Karim Belabas, Fanny Bastien. Karim Belabas - S-units and compact representations in number fields
2020
...
hal-02530402v1  Videos
Aurel Page, Fanny Bastien. Aurel Page - Construction of subfields and abelian overfields
2020
...
hal-02524550v1  Videos
Bill Allombert, Fanny Bastien. Bill Allombert - New GP features
2020
...
hal-02514157v1  Videos
Bill Allombert, Fanny Bastien. Bill Allombert - Start of Atelier (setting up personal computers)
2020
...
hal-03569077v2  Software
Nathalie Azevedo Carvalho, Sylvain Contassot-Vivier, Laure Buhry, Dominique Martinez. SiReNe
2020, ⟨swh:1:dir:878020672fc98ba91b7082883a42be1baf53f9e8;origin=https://hal.archives-ouvertes.fr/hal-03569077;visit=swh:1:snp:5d68cb8cf3a2666ea64b5836f5c7c0e2ad26c227;anchor=swh:1:rel:617ff1429aaba606b7b4c8ce887124a56b2ed8f9;path=/⟩
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/