Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Max Dauchet
Max Dauchet
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Directed Thesis:
Approche algorithmique pour la prédiction de la structure secondaire des ARN
Contributions à l'analyse de la complexité de problèmes de résolution de contraintes
Contribution à l'algorithmique anytime : contrôle et conception
Modèles formels de l'apprentissage et catégorisation : contribution à une étude comparée
Apprentissage PAC par exemples simples : plate-forme d'apprentissage de langages réguliers
Complexité de Kolmogorov et analyse de flots de données
Un algorithme rapide pour une compression modulaire optimale : application à l'analyse de séquences génétiques
Algorithmes de compression et applications à l'analyse de séquences génétiques
Représentation de connaissances et complexité de Kolmogorov : le cas du dessin au trait
Deux aspects de la réécriture : un laboratoire pour les automates VALERIAN : un système de sémonstration automatique des théorèmes
Contrôles et preuves dans les systèmes clos : automates à piles d'arbres et calcul de formes normales
Reconnaissabilité et fragments décidables en réécriture : automates à piles et calculs de formes normales
Contribution à l'étude de la programmation logique par les graphes orientés pondérés
Les graphes orientés pondérés : un outil pour l'étude de la terminaison et de la complexité dans les systèmes de réécritures et en programmation logique
Rationalité et reconnaissabilité dans les graphes