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-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-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
...
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=/⟩