Skip to Main content Skip to Navigation
  1. Search


...
medihal-01326362v1  Videos
Bill Allombert, Fanny Bastien. Bill Allombert - "New GP features
2016
...
medihal-01346601v1  Videos
Bill Allombert, Karim Belabas, Fanny Bastien. B. Allombert et Karim Belabas - Start of Atelier : setting up personnal computers
2016
...
hal-02514157v1  Videos
Bill Allombert, Fanny Bastien. Bill Allombert - Start of Atelier (setting up personal computers)
2020
...
hal-02524550v1  Videos
Bill Allombert, Fanny Bastien. Bill Allombert - New GP features
2020
...
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-02530400v1  Videos
Karim Belabas, Fanny Bastien. Karim Belabas - S-units and compact representations in number fields
2020
...
medihal-01346708v1  Videos
Karim Belabas, Fanny Bastien. Karim Belabas - L-functions
2016
...
medihal-01345992v1  Videos
Sonia Belaïd, Sylvain Ruhault, Michel Abdalla, David Pointcheval, Damien Vergnaud et al.  Sonia Belaïd - Schémas symétriques prouvés sûrs contre les attaques par canaux auxiliaires
2014
...
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-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-01847480v1  Notes de synthèse
Lilian Besson. A Note on the Ei Function and a Useful Sum-Inequality
2018
...
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-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-03169377v1  Notes de synthèse
Santiago Bragagnolo, Nicolas Anquetil, Stéphane Ducasse, Abderrahmane Seriai, Mustapha Derras. Appendix To Software Migration: A Theoretical Framework A Grounded Theory approach on Systematic Literature Review
2021
...
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-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=/⟩
...
medihal-01100828v1  Photos
Guillaume Cerutti. Mesh Optimization
Computer graphics. France. 2015
...
hal-02047458v1  Notes de synthèse
Martin Clochard. Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels (Documents de soutenance)
2019
...
medihal-01346724v1  Videos
Henri Cohen, Fanny Bastien. Henri Cohen- Modular forms
2016
...
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=/⟩
...
medihal-01346167v1  Videos
Alain Couvreur, Fanny Bastien. Alain Couvreur - Comment domestiquer les codes de Goppa sauvages?
2014
...
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-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-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-02868506v1  Videos
Anaïd Donabédian, Gwénolé Lecorvé, Peter Stockinger, Pierre-Jean Vigny, Unité Tice-Dsirn et al.  Synthèse vocale de l'Arménien
2019
...
medihal-01407826v1  Videos
Marie Doumic. Simulation of the growth-fragmentation equation in a periodic case - Non-dissipative numerical scheme
2016
...
medihal-01510970v1  Videos
Marie Doumic. Simulation of the critical fragmentation equation with binary fission
2017
...
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-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-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=/⟩