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
Arithmétique informatique collection
Homepage
Browse by collection
Browse by collection
Fulltext
Notice
Annex
Institution
Thematic
PRES
University
Grande école
Laboratory
Colloquium
Other
Institution
(28 collections)
AFRIQ
- HAL-Francophonie, Afrique et océan indien
6
ARTS-ET-METIERS-SCIENCES-ET-TECHNOLOGIES
- Arts et Métiers Sciences et Technologies
1
CEA
- CEA - Commissariat à l'énergie atomique
3
CIRAD
- CIRAD - Centre de coopération internationale en recherche agronomique pour le développement
9
CNRS
- CNRS - Centre national de la recherche scientifique
572
DRT
- Direction de la recherche technologique
1
ESIEE-PARIS
- ESIEE Paris
11
FNCLCC
- UNICANCER
1
GALILE
- Institut Galilée Université Paris 13
2
GDMM
- Géométrie Discrète et Morphologie Mathématique
1
INC-CNRS
- Institut de Chimie du CNRS
4
INRAE
- Institut National de Recherche en Agriculture, Alimentation et Environnement
42
INRA
- INRA - Institut national de la recherche agronomique
32
INRIA
- INRIA - Institut National de Recherche en Informatique et en Automatique
46
INSA-GROUPE
- Groupe INSA
22
INSERM
- INSERM - Institut national de la santé et de la recherche médicale
1
INSMI
- CNRS-INSMI - INstitut des Sciences Mathématiques et de leurs Interactions
38
INSTITUT-TELECOM
- Institut Télécom
12
INSU
- INSU - Institut National des Sciences de l'Univers
1
IRD
- IRD - Institut de recherche pour le développement
6
IRSTEA
- IRSTEA - Institut national de recherche en sciences et technologies pour l'environnement et l'agriculture (<b>anciennement Cemagref</b>)
9
LETI
- Laboratoire d'Electronique et des Technologies de l'Information
1
METEO
- Météo France
1
MSL-THESE
- Modelisation Systemes Langages
1
MSL
- Modelisation Systemes Langages
1
SORBONNE-UNIVERSITE
- Sorbonne Université
3
STRAUSS
- Centre Paul Strauss
1
UNIV-PARIS
- Université de Paris
5
Thematic
(13 collections)
AGROPOLIS
- Agropolis
18
B3ESTE
- Biologie, Ecologie, Evolution, Environnement, Sciences de la Terre et de l'Eau
4
BS
- Biologie-Santé
3
CHIMIE
- Chimie
2
EDUC
- EDUCATION
3
IRISA-D7
- GESTION DES DONNÉES ET DE LA CONNAISSANCE
4
LARA
- LARA
49
MIPS
- Mathématiques, Informatique, Physique et Systèmes
572
OMNIPHILO
- OMNIPHILO : Archive ouverte dédiée à la Philosophie
1
TDS-MACS
- Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes
70
TEL
- Technology Enhanced Learning - Environnements Informatiques pour l’Apprentissage Humain
2
UP-SANTE
- Université de Paris - Faculté de Santé
1
UP-SCIENCES
- Université de Paris - Faculté des Sciences
1
PRES
(5 collections)
COMUE-NORMANDIE
- Normandie Université
19
PARISTECH
- ParisTech
25
UGA
- HAL Grenoble Alpes
5
UNAM
- l'unam - université nantes angers le mans
2
USPC
- Université Sorbonne Paris Cité
6
University
(39 collections)
PSL
- Université Paris sciences et lettres
2
SU-MEDECINE
- Faculté de Médecine de Sorbonne Université
1
SU-SCIENCES
- Faculté des Sciences de Sorbonne Université
2
UNICAEN
- Université de Caen Normandie
19
UNICE
- Université Nice Sophia Antipolis
3
UNIV-AG
- Université des Antilles
3
UNIV-AMU
- Aix Marseille Université
2
UNIV-ARTOIS
- Université d'Artois
12
UNIV-AVIGNON
- Université d'Avignon
3
UNIV-BORDEAUX
- Université de Bordeaux
3
UNIV-BOURGOGNE
- Université de Bourgogne
1
UNIV-BREST
- Université de Bretagne occidentale - Brest (UBO)
1
UNIV-COTEDAZUR
- Université Côte d'Azur
3
UNIV-DAUPHINE
- Université Paris Dauphine - Paris IX
1
UNIV-LILLE3
- Université de Lille Sciences humaines et sociales
1
UNIV-LORRAINE
- Université de Lorraine
1
UNIV-LYON1
- Université Claude Bernard - Lyon I
20
UNIV-MLV
- Université de Marne la Vallée
3
UNIV-MONTP3
- Université Paul Valéry - Montpellier III
22
UNIV-MONTPELLIER
- Université de Montpellier
572
UNIV-NANTES
- Université de Nantes
23
UNIV-ORLEANS
- Université d'Orléans
1
UNIV-PARIS13
- Université Paris-Nord - Paris XIII
2
UNIV-PARIS5
- Université Paris Descartes (Paris 5)
1
UNIV-PARIS7
- Université Denis Diderot - Paris VII
5
UNIV-PARIS8
- Université Paris VIII Vincennes-Saint Denis
1
UNIV-PERP
- Université de Perpignan Via Domitia
4
UNIV-RENNES1
- Université de Rennes 1
4
UNIV-RENNES
- Université de Rennes
4
UNIV-REUNION
- Université de la Réunion
2
UNIV-SAVOIE
- Université Savoie Mont Blanc
2
UNIV-ST-ETIENNE
- Université Jean Monnet - Saint-Etienne
5
UNIV-TLN
- Université de Toulon
1
UNIV-TLSE2
- Université Toulouse 2
17
UNIV-TLSE3
- Université Paul Sabatier - Toulouse III
17
UPEC-UPEM
- UPEC-UPEM
14
UPMC
- Université Pierre et Marie Curie
2
UT1-CAPITOLE
- Université Toulouse 1 Capitole
17
UTT
- UTT
1
Grande école
(18 collections)
AGROPARISTECH
- AgroParisTech
5
EC-LYON
- Ecole Centrale de Lyon
5
EC-NANTES
- Ecole Centrale de Nantes
2
EMSE
- Ecole Nationale Supérieure des Mines de Saint-Etienne
3
ENIB
- Ecole Nationale d'Ingénieurs de Brest
1
ENPC
- Ecole des Ponts ParisTech
20
ENS-LYON
- École Normale Supérieure de Lyon
15
ENSICAEN
- École Nationale Supérieure d’Ingénieurs de Caen
18
ENSTA-BRETAGNE
- ENSTA Bretagne
1
ENSTA
- ENSTA ParisTech
1
EPHE
- Ecole Pratique des Hautes Etudes
1
IMT-ATLANTIQUE
- IMT-ATLANTIQUE
22
INSA-LYON
- Institut National des Sciences Appliquées de Lyon
5
INSA-RENNES
- Institut National des Sciences Appliquées de Rennes
3
INSA-TOULOUSE
- Institut National des Sciences Appliquées de Toulouse
13
MINES-ALBI
- Ecole nationale supérieure des Mines d'Albi-Carmaux
2
SUPELEC
- SUPELEC
1
X
- Ecole Polytechnique
1
Laboratory
(92 collections)
ALGCO
- Algorithmes, Graphes et Combinatoire
1
AMAP
- Botanique et bio-informatique de l'architecture des plantes et des végétations
4
BIOENVIS
- Fédération de Recherche BioEnviS, BioEnvironnement et Santé (Université de Lyon)
1
CDA-PR
- Centre du Droit des Affaires
2
CEA-GRE
- CEA Grenoble
1
CEM2
- Centre d'électronique et de micro-optoélectronique de Montpellier
11
CGI
- Centre Génie Industriel
2
CMP-ENSMSE
- CMPGC - Centre Microélectronique de Provence – Site Georges Charpak
2
COCONUT
- Agents, Apprentissage, Contraintes
342
CORDELIERS
- Centre de recherche des Cordeliers
1
CRISTAL
- Centre de Recherche en Informatique, Signal et Automatique de Lille (CRISTAL)
1
DALI
- Digits, architectures et logiciels informatiques
1
DEMAR
- DEambulation et Mouvement ARtificiel
1
DEXTER
- Conception et commande de robots pour la manipulation
2
ECO
- Exact Computing
2
ENSTA-BRETAGNE-STIC
- Département STIC
1
EPSYLON
- Dynamique des capacités humaines et des conduites de santé
1
ESCAPE
- Systèmes complexes, automates et pavages
2
ESPACE-DEV
- Espace pour le Développement
2
FADO
- Fuzziness, Alignments, Data & Ontologies
4
G-EAU
- Publications de l'UMR G-EAU (Gestion de l'Eau, Acteurs, Usages)
1
GREYC
- Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen (GREYC)
18
GUYANE
- Université de Guyane
2
HORSEQUIPE
- Hors-équipe
1
I2M
- Institut de Mathématiques de Marseille
1
I3M_UMR5149
- Institut de Mathématiques et de Modélisation de Montpellier
5
I3S
- Laboratoire d'Informatique, Signaux et Systèmes de Sophia-Antipolis
1
IBC
- Institut de Biologie Computationnelle
1
ICARLIRMM
- ICAR: Image & Interaction
11
ICG
- Institut Charles Gerhardt - Institut de Chimie Moléculaire et des Matériaux de Montpellier
2
ICJ
- Institut Camille Jordan
3
IES
- Institut d'Electronique et des Systèmes
24
IMAG-MONTPELLIER
- Institut Montpelliérain Alexander Grothendieck
5
IMAGINE
- IMAGINE
13
IMATH
- Institut de mathématiques de Toulon
1
IMB
- Institut de Mathématiques de Bordeaux
1
IMJ
- Institut de Mathématiques de Jussieu
1
INFO
- Département informatique
22
INL
- Institut des nanotechnologies de Lyon
2
IRISA
- Irisa
4
IRIT-IA
- Intelligence Artificielle
3
IRIT
- IRIT - Institut de Recherche en Informatique de Toulouse
4
ITAP
- Unité Mixte de Recherche Information Technologies - Analyse environnementale - Procédés agricoles
10
LAAS
- Laboratoire d'analyse et d'architecture des systèmes
13
LAB-STICC
- Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
1
LABRI-MABIOVIS
- Modèles et algorithmes pour la bioinformatique et la visualisation d'informations
1
LABRI
- Laboratoire Bordelais de Recherche en Informatique
3
LAMA
- Laboratoire de mathématiques de l'Université de Savoie
2
LAMSADE-DAUPHINE
- LAMSADE (Laboratoire d'Analyse et de Modélisation des Systèmes pour l'Aide à la Décision)
1
LATP
- Laboratoire d'Analyse, Topologie, Probabilités
1
LE2I
- Laboratoire Electronique, Informatique et Image
1
LIAFA
- Laboratoire d'Informatique Algorithmique, Fondements et Applications
2
LIASD
- Laboratoire d'Informatique Avancée de Saint-Denis
1
LIA
- Laboratoire Informatique d'Avignon
3
LIGM
- Laboratoire d'informatique Gaspard-Monge
15
LIMSI
- Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur
1
LIM
- Laboratoire d'Informatique et de Mathématiques
2
LINA-OPTI
- LINA-OPTI
1
LINA-TASC
- LINA - TASC
18
LINA
- Laboratoire d'Informatique de Nantes Atlantique
20
LIPN
- Laboratoire d'Informatique de Paris-Nord
2
LIP
- Laboratoire de l'Informatique du Parallélisme
14
LIRDEF
- Laboratoire Interdisciplinaire de Recherche en Didactique, Éducation et Formation
3
LIRMM
- Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
572
LIRMM_MIC
- MIC
2
LISN
- Laboratoire Interdisciplinaire des Sciences du Numérique
1
LJK
- Laboratoire Jean Kuntzmann
1
LMGC
- Laboratoire de Mécanique et Génie Civil
2
LMGP
- LMGP - Laboratoire des matériaux et du génie physique
2
LORIA
- Laboratoire Lorrain de Recherche en Informatique et ses Applications
1
LS2N-OGRE
- LS2N - équipe OGRE ( Optimisation Globale et Résolution Ensembliste )
1
LS2N
- Laboratoire des Sciences du Numérique de Nantes
2
LTCI
- Laboratoire Traitement et Communication de l'Information
3
MAB
- Méthodes et Algorithmes pour la Bioinformatique
3
MAORE
- Méthodes Algorithmes pour l'Ordonnancement et les Réseaux
3
MAREL
- Models And Reuse Engineering, Languages
6
MIA-PARIS
- MIA-Paris
2
MIC
- Département Microélectronique
2
MISTEA
- Mathématiques, Informatique et Statistique pour l'Environnement et l'Agronomie
12
MONTPELLIER-SUPAGRO
- MONTPELLIER-SUPAGRO
16
OPENDATA
- OPENDATA
3
SAS-ENSMSE
- CMPGC / SAS : Systèmes et Architectures Sécurisées
2
SETE
- Station d'écologie théorique et expérimentale
1
SMILE
- Système Multi-agent, Interaction, Langage, Evolution
21
SYSMIC
- SysMic
2
TEXTE
- Exploration et Exploitation de Données Textuelles
1
UDL
- UDL
20
UMI-209
- Unité de modélisation mathématique et informatique des systèmes complexes
1
UMMISCO
- Unité de Modélisation Mathématique et Informatique de Systèmes COmplexes
1
UNIV-PARIS-LUMIERES
- Université Paris Lumières
1
X-CREA
- Centre de Recherche en Epistémologie Appliquée (CREA)
1
ZENITH
- Scientific Data Management
9
Colloquium
(5 collections)
BDA
- BDA <br>Gestion de Données – Principes, Technologies et Applications
2
CAP2012
- CAp 2012 - Conférence Francophone sur l'Apprentissage Automatique
1
JFPC05
- JFPC 2005 - Premières Journées Francophones de Programmation par Contraintes
2
JFPC06
- JFPC 2006 - Deuxièmes Journées Francophones de Programmation par Contraintes
1
JFPC08
- JFPC 2008 - Quatrièmes Journées Francophones de Programmation par Contraintes
2
Other
(20 collections)
ARITH
- Arithmétique informatique
572
CRISTAL-RMOD
- CRISTAL-RMOD
1
FST-REUNION
- UFR Sciences et technologies - Université de La Réunion
2
GREYC-CODAG
- GREYC codag
11
GREYC-MAD
- GREYC mad
6
GS-MATHEMATIQUES
- Graduate School Mathématiques
1
IRIT-ADRIA
- Argumentation, Décision, Raisonnement, Incertitude et Apprentissage
3
LAAS-DECISION-ET-OPTIMISATION
- LAAS-Décision et Optimisation
8
LAAS-ROC
- Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes
12
LIGM_A3SI
- Algorithms, architectures, image analysis and computer graphics
14
LJK_MAD_CASYS
- CASYS
1
LJK_MAD
- Département Modèles et Algorithmes Déterministes
1
ROSAS
- Recherche Opérationnelle, Statistiques Appliquées, Simulation
1
SMS
- Structuration des Mondes Sociaux (SMS)
4
STAR
- STAR - Dépôt national des thèses électroniques
2
SU-TI
- Sorbonne Université - Texte Intégral
2
TELEARN
- TELEARN
1
TICE
- Bibliothèque TICE
5
UR1-DROIT
- Faculté de droit - unités de recherche
2
UR1-UFR-ISTIC
- UFR ISTIC Informatique et électronique
4