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


...
medihal-01254425v1  Photos
Laurent Romary. Leonore Alt's diary - 17 July 1941
Photography. Berlin, Germany. 1941
...
hal-02090402v1  Software
François Delebecque, Claude Gomez, Maurice Goursat, Ramine Nikoukhah, Serge Steer et al.  Scilab 1.1
1994, ⟨swh:1:dir:1ba0b67b5d0c8f10961d878d91ae9d6e499d746a;origin=https://hal.archives-ouvertes.fr/hal-02090402;visit=swh:1:snp:7ddfbf3d09b30b76993b8cf01f28cdc28204e7bc;anchor=swh:1:rev:e985380d7598a12a5c6a80807b65ec1840c7f22b;path=/⟩
...
hal-01863457v1  Software
Bruno Blanchet, Xavier Leroy, Damien Doligez, François Rouaix, Jérôme Vouillon et al.  CamlDim
1998, ⟨swh:1:dir:f82b87d50c6b60741d85de0a83ec0982112bdee0;origin=https://hal.archives-ouvertes.fr/hal-01863457;visit=swh:1:snp:4d172a103aed92c68e0fd3b3be8c4a6e058d670d;anchor=swh:1:rev:c812045b6b43f7bfeca7954a47baf2dcbb8c6d8d;path=/⟩
...
hal-01867778v1  Software
Xavier Leroy, Damien Doligez, Jérôme Vouillon, Alain Deutsch, Bruno Blanchet. OCamlStack 1.05.1
2001, ⟨swh:1:dir:53c27f53e2115f847f855b9a400169d218363185;origin=https://hal.archives-ouvertes.fr/hal-01867778;visit=swh:1:snp:66f78f3d525323f8a6a0b9b4c9162be9a06d6481;anchor=swh:1:rev:7eec094cb90a3972ac86bea5789f3441003a3f2c;path=/⟩
...
hal-02487579v1  Software
Roberto Di Cosmo, Pierre Weis, François Clément, Zheng Li. OcamlP3l release 2.03
2007, ⟨swh:1:dir:85642a2e0333bbd6340c0a84ae6bad48cba11940;origin=https://hal.archives-ouvertes.fr/hal-02487579;visit=swh:1:snp:18b778c20ee37588bfa16bb8d00d8046bcbb462c;anchor=swh:1:rev:b34a952aad1b143e60e302df55a4f986ab904c42;path=/⟩
...
hal-02963154v1  Software
Valentin Emiya, Amir Adler, Maria Jafari. Audio Inpainting Toolbox
2012, ⟨swh:1:dir:5a3b0b6734992b1f22b3807d90d8e4f23a8a1134;origin=https://hal.archives-ouvertes.fr/hal-02963154;visit=swh:1:snp:763ff6e890564bc78b23a67d1ea66d25b166c85c;anchor=swh:1:rev:82ecc00368b9e69f694b72ea76b47f7c4a4873fc;path=/⟩
...
hal-02960741v2  Software
Nancy Bertin, Gilles Chardon, Laurent Daudet, Rémi Gribonval, Francois Ollivier et al.  NACHOS (Nearfield ACoustic HOlography with Sparse regularization)
2012, ⟨swh:1:dir:5c3040f7ab69b2aaba19a24f8ce818bcfec7b737;origin=https://hal.archives-ouvertes.fr/hal-02960741;visit=swh:1:snp:e4216751918d533c1b70937e69cd25c10d2ec369;anchor=swh:1:rev:a402d485d58ae710ace7c0c1477caf73137c2d28;path=/⟩
...
hal-02960705v1  Software
Cagdas Bilen, Gilles Puy. CBC4CS (Convex Blind Calibration for Compressive Sensing) Toolbox
2013, ⟨swh:1:dir:eddac332b1d60e77d6041a358d6f996a182eee22;origin=https://hal.archives-ouvertes.fr/hal-02960705;visit=swh:1:snp:ad8935e3745a8959fd3aa6b47a9b35efcce1965c;anchor=swh:1:rev:6f777f00b71ace9c14b5eadbaac74262e069f9ee;path=/⟩
...
hal-02179513v1  Software
Jean-Valère Cossu, Nicolas Dugué, Vincent Labatut. Twitter Influence - Characterization of Twitter Profiles, with an application to offline influence detection
2014, ⟨swh:1:dir:1343d720d6c3e19fa6124fd30fe23a0fa737e8e0;origin=https://hal.archives-ouvertes.fr/hal-02179513;visit=swh:1:snp:d08ff83162d7e6cf24502c4114e02e50d66bf1b0;anchor=swh:1:rev:cd96f9629ed1cfcf2bf57250db477194d8497e75;path=/⟩
...
hal-03024051v2  Software
Srđan Kitić. A-SPADE demo
2015, ⟨swh:1:dir:85323c6f758a43ddb82a43545439266dd9ce1dc4;origin=https://hal.archives-ouvertes.fr/hal-03024051;visit=swh:1:snp:492cb679f2a083f73c02d5a4bba32424c819287d;anchor=swh:1:rev:cf306ec551c699c00dbfd2d9b16dc50d7420215d;path=/⟩
...
medihal-01100828v1  Photos
Guillaume Cerutti. Mesh Optimization
Computer graphics. France. 2015
...
hal-02955901v1  Software
Srđan Kitić, Nancy Bertin, Laurent Albera, Rémi Gribonval. PHYSALIS (Physics-Driven Cosparse Analysis)
2015, ⟨swh:1:dir:f4f0c309fe07b42c62b84edf682bba0bfecff4d0;origin=https://hal.archives-ouvertes.fr/hal-02955901;visit=swh:1:snp:8a5796701fdd762ae1c77d3d8fb5583afe625d53;anchor=swh:1:rev:9d1304a95456ed7b1ce59613fc810f5463b35273;path=/⟩
...
hal-02960713v1  Software
Gilles Puy, Nicolas Tremblay, Rémi Gribonval, Pierre Vandergheynst. GraphSamplingBox
2016, ⟨swh:1:dir:e27b8849b4845e050049b1ceae73520a54a7c9f5;origin=https://hal.archives-ouvertes.fr/hal-02960713;visit=swh:1:snp:834da05eaba8d5fd214a05d722acc017d17826dd;anchor=swh:1:rev:3dc10882e6c8e08939d75c364a99a5b4270992e3;path=/⟩
...
hal-02960679v1  Software
Nicolas Tremblay, Gilles Puy, Rémi Gribonval, Pierre Vandergheynst. Compressive Spectral Clustering Toolbox
2016, ⟨swh:1:dir:8bfdf74037ae1c51335995891c6226e0f85e46e2;origin=https://hal.archives-ouvertes.fr/hal-02960679;visit=swh:1:snp:bc4a2ddf84dd0cc13d74e1970a1471c2574ed6aa;anchor=swh:1:rev:4a9d637ba507a2b93365250428e6e3f021f194d0;path=/⟩
...
hal-02963528v1  Software
Ewen Camberlein, Romain Lebarbenchon. voiceHome-2 corpus - localization and speech enhancement baseline - code
2017, ⟨swh:1:dir:b36fb4814949d6a99a593785df39e81036dae275;origin=https://hal.archives-ouvertes.fr/hal-02963528;visit=swh:1:snp:0c7a3b26a2c39d6a7be4c58872b6a727a77c9236;anchor=swh:1:rev:282551cd4868b7b38f2c72e9b0ac84a22e7b8411;path=/⟩
...
hal-03578782v1  Software
Francoise Sailhan, Valerie Issarny, Yifan Du, Otto Tavares Nascimento. CalibrateNoiseTogether
2017, ⟨swh:1:dir:b313f041eb4fef7c2ebeeb01eeaf83bc20088bee;origin=https://hal.archives-ouvertes.fr/hal-03578782;visit=swh:1:snp:39f80d505414e89c6eb19d44eb460055c18c2dcd;anchor=swh:1:rel:b74cf4d57d03e2e36206721714949e5106711235;path=/⟩
...
medihal-01535619v1  Photos
Morane Gruenpeter. Software Heritage Navigation in the archive
Illustration. Paris, France. 2017
...
hal-01730321v2  Software
Simon Archipoff, Cédric Augonnet, Olivier Aumage, Guillaume Beauchamp, Bérenger Bramas et al.  StarPU
2017, ⟨swh:1:dir:b6e19d99449a78805e7a55a341fbaba2bc431973;origin=https://hal.archives-ouvertes.fr/hal-02443512;visit=swh:1:snp:c21d3dfbd96e4fb502c534e59644dba14c542100;anchor=swh:1:rev:31be198773f103324593d26369f135fbde5b97f8;path=/⟩
...
hal-02960718v1  Software
Nicolas Keriven. SketchMLbox -- A MATLAB toolbox for large-scale mixture learning
2018, ⟨swh:1:dir:a76f6aeb81ce73e178b8b822029d2c721ba24117;origin=https://hal.archives-ouvertes.fr/hal-02960718;visit=swh:1:snp:55fd14b490c1aef81d2582d91d911a71d0a159cf;anchor=swh:1:rev:d8de5cbab0e40297dd0d03d5c93895c568a30a99;path=/⟩
...
hal-01767263v1  Software
Yves Bertot. Formal study in Coq of pi computations using arithmetic-geometric means
2018, ⟨swh:1:dir:47d41cb06472ccf913aba4be5b08aeb725a8888d;origin=https://hal.archives-ouvertes.fr/hal-01767263;visit=swh:1:snp:cd55c2657ac70c9b15ae4384b6af1ae6ce8df512;anchor=swh:1:rev:b1e197c030e66d588987087a193fc3a88d8bd5ed;path=/⟩
...
hal-01831364v1  Software
Thibaut Girka. correlating_program
2018, ⟨swh:1:rev:c8fca417ee9eefe25683042192da67470147be07⟩
...
hal-01831369v2  Software
Thibaut Girka, Yann Régis-Gianas. Correlating Oracles
2018, ⟨swh:1:dir:2c01e745c6d89e0eeb9a6ec9590f7ef0750b7002;origin=https://hal.archives-ouvertes.fr/hal-01831369;visit=swh:1:snp:42f0897956e700a23f5b8aafce43360b8699c0f1;anchor=swh:1:rev:698771f9ca7ce7605fdcabf27b5851f322ea692c;path=/⟩
...
hal-03375509v1  Software
Erven Rohou. Software - ANR Continuum D2.3 - Illustration of system reconfiguration due to varying conditions: same-island, and migration
2018, ⟨swh:1:dir:ad6b75ab60ccb22c063e81cff8ec403086d4396e;origin=https://hal.archives-ouvertes.fr/hal-03375509;visit=swh:1:snp:8595e9bbbbc060c6373859bde55a56352bc6d42a;anchor=swh:1:rev:6063801811e8f607e9c715f186de95043b4594a8;path=/⟩
...
hal-01897572v1  Software
Yann Regis-Gianas, Nicolas Jeannerod, Ralf Treinen. Morbig
2018, ⟨swh:1:dir:eb7770ebd7341d08d8dc17f5257ed17852a015a8;origin=https://hal.archives-ouvertes.fr/hal-01897572;visit=swh:1:snp:e3b0b9991945262e7cc28768373af4560caf7afa;anchor=swh:1:rev:ad0c16675d221938530269610308cd5a2c142687;path=/⟩
...
hal-02159005v2  Software
Lionel Eyraud-Dubois, Louis-Claude Canon. Experimental code and data for the paper "Scheduling on Two Types of Resources: a Survey
2019, ⟨swh:1:dir:fe5a230ec88d49ecd9790d2199f23b5c5b72abbe;origin=https://hal.archives-ouvertes.fr/hal-02159005;visit=swh:1:snp:6c6bd2ef190e40d7026749369725dd954c1c75d6;anchor=swh:1:rev:b2af27e129fad7558d725e6b60da7aaea5b0c86f;path=/⟩
...
hal-03024116v2  Software
Clément Gaultier, Srđan Kitić, Ewen Camberlein, Rémi Gribonval, Nancy Bertin. SPADE Toolbox
2019, ⟨swh:1:dir:670f1ff15abcb3d510841e83acfc1ef9318a5326;origin=https://hal.archives-ouvertes.fr/hal-03024116;visit=swh:1:snp:e8da0f3d1e1bd541affa397491da967147b690d0;anchor=swh:1:rev:1747d2d1bf483a8938562b068438a55a12ae01fc;path=/⟩
...
hal-02129219v1  Software
Cassio Dantas, Rémi Gribonval. Stable Screening - Python code
2019, ⟨swh:1:dir:3ccb3fde105b05aee192367fb5e07e192e3b6774;origin=https://hal.archives-ouvertes.fr/hal-02129219;visit=swh:1:snp:ea9fb83bf7c0e828cd33fef85302fb6d009efa55;anchor=swh:1:rev:22942d09cf38300eddca99dc83cd4868b2f9187f;path=/⟩
...
hal-02128878v1  Software
The Fflas-Ffpack Group. FFLAS-FFPACK
2019, ⟨swh:1:dir:6c36b055a48b4415ec5d864f6943f0d3082bd44b;origin=https://hal.archives-ouvertes.fr/hal-02128878;visit=swh:1:snp:508f4adf76ec4ad481e2fbc5fdb312a13a7a0b4b;anchor=swh:1:rev:4201397494d9af8b687117e8ff4d85a8944f5c5a;path=/⟩
...
hal-02130801v1  Software
The Linbox Group. LinBox
2019, ⟨swh:1:dir:393b611a1424f032e83569bf6762502371cfcf65;origin=https://hal.archives-ouvertes.fr/hal-02130801;visit=swh:1:snp:19c29b988fe02623c70c7dc8bc97c42481eb691b;anchor=swh:1:rev:e8e18328952266b7875c692963b11963b1496107;path=/⟩
...
hal-02130729v1  Software
The Givaro Group. Givaro
2019, ⟨swh:1:dir:df65912bd1e5ea4b96b935de95f6638eb6d9472d;origin=https://hal.archives-ouvertes.fr/hal-02130729;visit=swh:1:snp:da818bf8900aa772999896546db83b8e9cbe9f6f;anchor=swh:1:rev:5a63bd17a83030740eb27a980fe14a7a37f47efe;path=/⟩
...
hal-02155786v1  Software
Pierre Pradic. A sound and complete axiomatization of the equational theory of Mealy machines.
2019, ⟨swh:1:dir:d26d7ad1514340934a5b546032e21ad2fcc87441;origin=https://hal.archives-ouvertes.fr/hal-02155786;visit=swh:1:snp:88a3a6cafdfd6d842ba0c086187015a1605f0cf0;anchor=swh:1:rev:dacff8b9c3574cd3fcb023c485209c72abd8efef;path=/⟩
...
hal-02309043v1  Software
Matthieu Kowalski, Emmanuel Vincent, Rémi Gribonval. Underdetermined Reverberant Source Separation
2019, ⟨swh:1:dir:ec4ae097465d9ea51589537ea94b2ea50e8d134d;origin=https://hal.archives-ouvertes.fr/hal-02309043;visit=swh:1:snp:e35494fd4cb57af0b22131ab8c4a4d8bd5cffcc6;anchor=swh:1:rev:2d23c3e68b755b720ecca8ddd5e1f8fe99909be2;path=/⟩
...
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=/⟩
...
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-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-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-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-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-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-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-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-03345464v1  Software
Jens Gustedt. Code examples for the book Modern C
2021
...
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-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-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-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-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-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-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-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-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-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-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=/⟩
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/