Skip to Main content Skip to Navigation
  1. Search


...
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-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=/⟩
...
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-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-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-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-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-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-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-01831364v1  Software
Thibaut Girka. correlating_program
2018, ⟨swh:1:rev:c8fca417ee9eefe25683042192da67470147be07⟩
...
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-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-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-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-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-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-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=/⟩