Skip to Main content
Skip to Navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
Home
Browse
By authors
By structure
By year
Domain list
By document type
Browse last submissions
Search
Services
HalTools
Search
Les Filtres
Filters
Document type ×
Deposit type ×
All ×
76 results
save search
Document types
Minimize
Software
(39)
Videos
(30)
Notes de synthèse
(4)
Photos
(3)
Conference papers
(28279)
Journal articles
(16475)
Reports
(11872)
Theses
(4881)
Preprints, Working Papers, ...
(3245)
Book sections
(1281)
Poster communications
(961)
Habilitation à diriger des recherches
(564)
Other publications
(469)
Documents associated with scientific events
(361)
Master thesis
(355)
Directions of work or proceedings
(159)
Lectures
(84)
Books
(80)
Patents
(5)
Other reports
(1)
Author
Minimize
Michel Abdalla
(2)
Amir Adler
(1)
Bill Allombert
(4)
Simon Archipoff
(2)
Cédric Augonnet
(2)
Daniel Augot
(1)
Olivier Aumage
(2)
Fanny Bastien
(18)
Guillaume Beauchamp
(1)
Karim Belabas
(3)
Nancy Bertin
(4)
Cagdas Bilen
(1)
Frédéric Bimbot
(1)
Bruno Blanchet
(2)
Bérenger Bramas
(3)
Alfredo Buttari
(2)
Caterina Calgaro
(1)
Ewen Camberlein
(2)
Louis-Claude Canon
(1)
Adrien Cassagne
(2)
Jean-Philippe Chancelier
(1)
Jérôme Clet-Ortega
(2)
Martin Clochard
(1)
Henri Cohen
(1)
Jérémy Cohen
(2)
Nicolas Collin
(2)
Jean-Valère Cossu
(1)
Ludovic Courtès
(1)
Alain Couvreur
(1)
Laurent Daudet
(1)
François Delebecque
(1)
Rachid Deriche
(2)
Alain Deutsch
(1)
Damien Doligez
(2)
Marie Doumic
(2)
Lionel Eyraud-Dubois
(2)
Nathalie Furmento
(2)
Thibaut Girka
(2)
Maurice Goursat
(1)
Rémi Gribonval
(7)
Gilles Guette
(1)
David Gómez
(1)
Sylvain Henry
(2)
Andra Hugo
(2)
Maria Jafari
(1)
Mehdi Juhoor
(2)
Alexis Juven
(1)
Maël Keryell-Even
(1)
Srđan Kitić
(3)
Arnaud Langlois
(1)
Marie-Ange Lebre
(1)
Erwan Leria
(1)
Xavier Leroy
(2)
Benoît Lizé
(2)
Antoine Lucas
(1)
Leandro Nesi Lucas
(1)
Jérôme Lussereau
(1)
Marie-Ange Lèbre
(1)
Jérémy Magnien
(1)
Mariem Makni
(1)
Axel Marmoret
(2)
Brice Mortier
(1)
Alexandre Mouton
(1)
Frédéric Le Mouël
(2)
Eric Ménard
(2)
Mahsa Najafzadeh
(1)
Stojce Nakov
(2)
Antoine Orlandi
(1)
Joris Pablo
(1)
Aurel Page
(2)
Damien Pasqualinotto
(2)
Antoine Peillot
(1)
Gilles Puy
(3)
Nguyen Quôc-Dinh
(1)
Hadrien Renaud
(1)
Cyril Roelandt
(2)
François Rouaix
(1)
Anthony Roy
(1)
Lukas Rummelhard
(1)
Chiheb Sakka
(1)
Corentin Salingue
(2)
Lucas Mello Schnorr
(1)
Marc Sergent
(2)
Anthony Simonet
(2)
Luka Stanisic
(2)
Ludovic Stordeur
(1)
Bérangère Subervie
(1)
François Tessier
(2)
Samuel Thibault
(2)
Nicolas Tremblay
(2)
Bruno Tuffin
(1)
Pierre Vandergheynst
(2)
Romain Veltz
(2)
Damien Vergnaud
(1)
Brice Videau
(1)
Leo Villeveygoux
(1)
Emmanuel Vincent
(2)
Jérôme Vouillon
(2)
Pierre-André Wacrenier
(2)
Pierre Weis
(2)
Subject field
Minimize
Computer Science [cs]
(52)
Mathematics [math]
(27)
Humanities and Social Sciences
(3)
Physics [physics]
(1)
Engineering Sciences [physics]
(1)
Statistics [stat]
(1)
Laboratory
Minimize
Institut Fourier
(18)
Institut de Recherche en Informatique et Systèmes Aléatoires
(18)
Inria Rennes – Bretagne Atlantique
(17)
Inria Bordeaux - Sud-Ouest
(15)
Inria Paris-Rocquencourt
(11)
Institut de Mathématiques de Bordeaux
(11)
Inria Sophia Antipolis - Méditerranée
(8)
Inria Grenoble - Rhône-Alpes
(7)
Inria Nancy - Grand Est
(5)
Laboratoire Bordelais de Recherche en Informatique
(5)
Laboratoire Lorrain de Recherche en Informatique et ses Applications
(5)
Laboratoire de l'Informatique du Parallélisme
(5)
Département d'informatique de l'École normale supérieure
(4)
Inria Saclay - Ile de France
(4)
Inria de Paris
(4)
CITI Centre of Innovation in Telecommunications and Integration of services
(3)
Inria Siège
(3)
Institut de Recherche en Informatique Fondamentale
(3)
Laboratoire Jean Kuntzmann
(3)
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
(3)
Airbus Group Innovations [Suresnes]
(2)
Inria Lille - Nord Europe
(2)
Institut de recherche en informatique de Toulouse
(2)
LTS2 - EPFL
(2)
Laboratoire Jacques-Louis Lions
(2)
Laboratoire d'Informatique de Grenoble
(2)
Laboratoire d'informatique de l'École polytechnique [Palaiseau]
(2)
Laboratoire d'informatique de l'école normale supérieure
(2)
Mitsubishi Electric R&D Centre Europe [France]
(2)
ALTAIR Development France
(1)
Amélioration génétique et adaptation des plantes méditerranéennes et tropicales
(1)
Capgemini [Toulouse]
(1)
Centre d'Enseignement et de Recherche en Mathématiques et Calcul Scientifique
(1)
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
(1)
Centre for Digital Music
(1)
Department of Computer and Information Sciences [Newark]
(1)
Department of Mathematics [Raleigh]
(1)
EADS Innovation Works [Toulouse]
(1)
Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux
(1)
Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
(1)
Grenoble Alpes Recherche-Infrastructure de CAlcul intensif et de Données
(1)
Grenoble Images Parole Signal Automatique
(1)
IHU-LIRYC
(1)
IRILL
(1)
Information Security Group, Royal Holloway
(1)
Institut Jean Le Rond d'Alembert
(1)
Institut Rhône-Alpin des systèmes complexes
(1)
Institut d'Electronique et de Télécommunications de Rennes
(1)
Institut d'Électronique et des Technologies du numéRique
(1)
Institut de Recherche Mathématique de Rennes
(1)
Institut des Maladies Neurodégénératives [Bordeaux]
(1)
Institut Élie Cartan de Lorraine
(1)
Laboratoire Informatique d'Avignon
(1)
Laboratoire Ondes et Acoustique
(1)
Laboratoire Paul Painlevé - UMR 8524
(1)
Laboratoire Traitement du Signal et de l'Image
(1)
Laboratoire d'Informatique de Paris 6
(1)
Laboratoire de Génie Informatique
(1)
Laboratoire de Recherche en Informatique
(1)
Laboratoire des Sciences du Numérique de Nantes
(1)
Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie
(1)
Laboratoire des signaux et systèmes
(1)
Preuves, Programmes et Systèmes
(1)
SUPELEC-Campus Rennes
(1)
Symbolic Computation Group
(1)
THALES COMMUNICATIONS & SECURITY
(1)
VERIMAG
(1)
Valeo Electric Systems
(1)
Language
Minimize
Unknown or Invalid Language
(41)
English
(23)
French
(12)
Type of deposit
Minimize
Fulltext
(76)
Notice
(33)
Year
Minimize
2021
(1)
2020
(16)
2019
(11)
2018
(7)
2017
(9)
2016
(8)
2015
(8)
2014
(7)
2013
(1)
2012
(2)
2011
(1)
2007
(1)
2001
(1)
1998
(1)
1994
(1)
1941
(1)
Search
Help
Advanced Search…
Simple search…
Default search field (multi-criteria)
Default search field (multi-criteria)
Default search field (multi-criteria) + PDF full text
Titles
Subtitle
Work title
hal_serie_t
Abstract
Full text of PDF document
Keywords
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author: function
Author: idHal (integer)
Author: Identifier
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Add
Successfully saved
My saved searches / my alerts
An error occurred while saving
1
2
3
Suivant
Dernière
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
×
Merci d'indiquer la raison de votre demande
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
RTF
Advanced export...
Syndicated feeds
RSS
ATOM
hal-02530400
v1
Videos
Karim Belabas
,
Fanny Bastien
.
Karim Belabas - S-units and compact representations in number fields
2020
hal-01847480
v1
Notes de synthèse
Lilian Besson
.
A Note on the Ei Function and a Useful Sum-Inequality
2018
hal-02963802
v1
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-01476320
v2
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-02047458
v1
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-01358880
v1
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-02137040
v2
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=/⟩
medihal-01952067
v1
Videos
Marc Glisse
,
Thomas Bour
,
Pierre-Olivier Gaumin
.
Analyse topologique des données (DATASHAPE)
2017
medihal-01345992
v1
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-01346242
v1
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-01346051
v1
Videos
Thomas Prest
,
Fanny Bastien
.
Thomas Prest - Chiffrement basé sur l'identité à l'aide de réseaux NTRU
2014
hal-02530402
v1
Videos
Aurel Page
,
Fanny Bastien
.
Aurel Page - Construction of subfields and abelian overfields
2020
hal-02915456
v1
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-01198801
v1
Videos
Patrice Frison
.
Creating a loop with AlgoTouch
2015
hal-02963154
v1
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-02129219
v1
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=/⟩
medihal-01320779
v1
Videos
Nicolas Perrin
,
Robert Binder
,
Fanny Bastien
.
Nicolas Perrin - Quantum K-theory of some homogeneous spaces
2011
hal-03145162
v1
Videos
Arnaud Langlois
,
Frédéric Alexandre
.
Au plus près du cerveau - Mnemosyne
2020
medihal-01326362
v1
Videos
Bill Allombert
,
Fanny Bastien
.
Bill Allombert - "New GP features
2016
medihal-01346724
v1
Videos
Henri Cohen
,
Fanny Bastien
.
Henri Cohen- Modular forms
2016
medihal-01346708
v1
Videos
Karim Belabas
,
Fanny Bastien
.
Karim Belabas - L-functions
2016
medihal-01346601
v1
Videos
Bill Allombert
,
Karim Belabas
,
Fanny Bastien
.
B. Allombert et Karim Belabas - Start of Atelier : setting up personnal computers
2016
medihal-01346718
v1
Videos
Paul Zimmermann
,
Fanny Bastien
.
Paul Zimmermann - CADO-NFS
2016
hal-01727745
v1
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=/⟩
hal-02868506
v1
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-03024051
v2
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-03024116
v2
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-02908763
v1
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-02155786
v1
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-01831364
v1
Software
Thibaut Girka
.
correlating_program
2018,
⟨swh:1:rev:c8fca417ee9eefe25683042192da67470147be07⟩
1
2
3
Suivant
Dernière
Sort
Relevance
Author A→Z
Author Z→A
Title A→Z
Title Z→A
Date de publication croissante
Date de publication décroissante
Date de dépôt croissante
Date de dépôt décroissante
Number
30 results per page
50 results per page
100 results per page
Tools
o
Export
XML-TEI
BibTeX
EndNote
CSV
PDF
RTF
Advanced export...
Syndicated feeds
RSS
ATOM
Label
Save
Cancel
Compulsory field(s) not filled in.