3d  Algorithmique combinatoire  Analyse automatique  Analyse spatiale  Approche générique d'uniformisation de l'information  Cadre d'évaluatin de systèmes de RIG  Cartes graphiques  Cartographie marine  Cohérence  Cohérence de données  Combinaison de résultats  Combinaison par contraintes  Comportement  Concepts formels  Congo, Bassin du  Construction d’ontologies à partir de ressources structurées  Données spatio-Temporelles  Enrichissement d'ontologie de domaine  Entités nommées  Exploration de données  Expressions spatiales dans le texte  Extraction d’information  Extractions terminologiques  Fonds duocumentaire  Forêt  Forêts  Gpu  Géomatique  Géométrie combinatoire  Imagerie tridimensionnelle  Indexation automatique  Information géographique  Informations géographiques et temporelles  Intelligence  Intelligence artificielle  Interaction homme-ordinateur  Lambda-calcul  Langages de programmation -- Sémantique  Lexique compositionnel  Liaison sémantique  Manipulation de données  Markov, Processus de  Modèle Numérique de Terrains  Modèle de Markov  Modèles entité-association  Modèles mathématiques  Modélisation des données  Motifs fréquents  Motifs séquentiels  Motifs émergents  Métadonnée  Métriques de chaînes.  Noms géographiques  Objet géographique  Ontologie  Ontologies  Out-of-Core  Patrons syntaxico-sémantiques  Programmation dynamique  Prédiction  Recherche d'Information Géographique  Recherche de l'information  Recherche documentaire automatisée  Reconstruction automatique d’itinéraire  Relations n-aires  Rig  Routage maritime  Récits de voyage  Sciences de l'information géographique  Synthèse d’Image  Systèmes d'information  Systèmes d'information géographique  Systèmes de gestion de bases de données  Systèmes homme-machine  Systèmes informatiques -- Évaluation  Sémantique formelle  Temporalité des éventualités  Terminologie  Territoire  Topographie  Toponyme  Traitement Automatique du Langage Naturel  Traitement automatique du langage  Traitement automatique du langage naturel  Trajectoires  Trajectoires singulières  Treillis de concepts  Visualisation  Visualisation interactive  Vocabulaire contrôlé  Web sémantique  Λ-calcul simplement typé  

Mauro Gaio a rédigé la thèse suivante :


Mauro Gaio a dirigé les 10 thèses suivantes :

Informatique
Soutenue le 03-12-2015
Thèse soutenue


Mauro Gaio a été rapporteur des 3 thèses suivantes :


Mauro Gaio a été membre de jury de la thèse suivante :