Skip to Main content Skip to Navigation
  1. Search


...
hal-02530400v1  Videos
Karim Belabas, Fanny Bastien. Karim Belabas - S-units and compact representations in number fields
2020
...
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-02530402v1  Videos
Aurel Page, Fanny Bastien. Aurel Page - Construction of subfields and abelian overfields
2020
...
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=/⟩
...
medihal-01476320v2  Videos
Sébastien Forestier, Yoan Mollard, Damien Caselli, Pierre-Yves Oudeyer. Intrinsically Motivated Multi-Task Reinforcement Learning With Open-Source Explauto Library and Poppy Humanoid Robot
2017
...
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-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-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-01254425v1  Photos
Laurent Romary. Leonore Alt's diary - 17 July 1941
Photography. Berlin, Germany. 1941
...
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-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=/⟩
...
medihal-01198801v1  Videos
Patrice Frison. Creating a loop with AlgoTouch
2015
...
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-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-03201316v1  Videos
François Pellegrini. L’originalité des œuvres logicielles créées par composition de briques préexistantes
2021
...
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
...
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-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-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-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=/⟩
...
medihal-01963296v1  Videos
Lukas Rummelhard, Jean-Alix David, Jérôme Lussereau, Thomas Genevois, Christian Laugier. Application of the CMCDOT framework to autonomous car navigation
2018
...
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-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=/⟩
...
medihal-01148989v1  Videos
Marie-Ange Lèbre, Frédéric Le Mouël, Eric Ménard. Microscopic vehicular mobility trace of Europarc roundabout, Creteil, France
2015
...
medihal-01539961v1  Videos
Marie-Ange Lebre, Frédéric Le Mouël, Eric Ménard. V2V Autonomic Coordination - Europarc roundabout, Creteil, France - 5PM / 7PM - Extract
2017
...
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-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-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-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-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-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=/⟩
...
medihal-01326362v1  Videos
Bill Allombert, Fanny Bastien. Bill Allombert - "New GP features
2016
...
medihal-01346708v1  Videos
Karim Belabas, Fanny Bastien. Karim Belabas - L-functions
2016
...
medihal-01764082v1  Videos
Christian Jutten, Antoine Orlandi, Fanny Bastien. Christian Jutten - Petite visite guidée de la séparation de sources
2017
...
medihal-01346051v1  Videos
Thomas Prest, Fanny Bastien. Thomas Prest - Chiffrement basé sur l'identité à l'aide de réseaux NTRU
2014
...
medihal-01346167v1  Videos
Alain Couvreur, Fanny Bastien. Alain Couvreur - Comment domestiquer les codes de Goppa sauvages?
2014
...
medihal-01346724v1  Videos
Henri Cohen, Fanny Bastien. Henri Cohen- Modular forms
2016
...
medihal-01346242v1  Videos
Alain Passelègue, Michel Abdalla, Paterson Kenny, Fabrice Benhamouda, Fanny Bastien. Alain Passelègue - RKA Security for PRFs Beyond the Linear Barrier
2014
...
medihal-01320779v1  Videos
Nicolas Perrin, Robert Binder, Fanny Bastien. Nicolas Perrin - Quantum K-theory of some homogeneous spaces
2011
...
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-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-02071874v1  Software
Romain Veltz. PseudoArcLengthContinuation.jl
2019, ⟨swh:1:dir:9f85c8f51850028a9fbc03463c74de29a2d24c6c;origin=https://hal.archives-ouvertes.fr/hal-02071874;visit=swh:1:snp:96df3cd8f41a04650ca4e93b2610f839c02d2899;anchor=swh:1:rev:60df0a6859f42cad7170a8560c768ff239190d3a;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-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=/⟩
...
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-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-01727745v1  Software
Sascha Hunold, Raphaël Bleuse, Grégory Mounié. moldableILP
2017, ⟨swh:1:dir:42a13fc721c8716ff695d0d62fc851d641f3a12b;origin=https://hal.archives-ouvertes.fr/hal-01727745;visit=swh:1:snp:a76e73d9be951762359b31d143609a0ae8862c16;anchor=swh:1:rev:a27a59f6b14c9fb13a6f998d8316628dafc1f60c;path=/⟩
...
medihal-01346718v1  Videos
Paul Zimmermann, Fanny Bastien. Paul Zimmermann - CADO-NFS
2016
...
medihal-01346163v1  Videos
Gwezheneg Robert, Daniel Augot, Pierre Loidreau, Fanny Bastien. Gwezheneg Robert - Généralisation des codes de Gabidulin à la caractéristique nulle
2014
...
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
...
medihal-01318075v1  Videos
Bruno Lévy, Fanny Bastien, Jérémy Magnien. B. Lévy - A numerical algorithm for L2 semi-discrete optimal transport in 3D
2015
...
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=/⟩
...
medihal-01346601v1  Videos
Bill Allombert, Karim Belabas, Fanny Bastien. B. Allombert et Karim Belabas - Start of Atelier : setting up personnal computers
2016
...
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-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-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=/⟩
...
medihal-01242710v1  Videos
Marc Shapiro, Mahsa Najafzadeh. CISE Safety Tool
2015
...
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-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=/⟩
...
medihal-01535619v1  Photos
Morane Gruenpeter. Software Heritage Navigation in the archive
Illustration. Paris, France. 2017
...
medihal-01358880v1  Videos
Marco Pizzolato, Demian Wassermann, Timothé Boutelier, Rachid Deriche. Exploiting the Phase in Diffusion MRI for Microstructure Recovery: Towards Axonal Tortuosity via Asymmetric Diffusion Processes
2015
...
hal-03151484v1  Software
Axel Marmoret. 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-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
...
medihal-01952067v1  Videos
Marc Glisse, Thomas Bour, Pierre-Olivier Gaumin. Analyse topologique des données (DATASHAPE)
2017
...
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-03145162v1  Videos
Arnaud Langlois, Frédéric Alexandre. Au plus près du cerveau - Mnemosyne
2020