page d'accueil   sommaire   disciplines  

Informatique mathématique
Liste des unités de recherche et des chercheurs ayant déclarés cette discipline (Cref 1160).


unités de recherche


Algèbre et Combinatoire [Discrete Mathematics]
Image: synthèse et analyse [Image processing group of the Laboratories of Image, Signal processing and Acoustics] (LISA-image)
Méthodes formelles et vérification [Verification and formal methods] (Verif)
Service ingénierie de l'informatique et de la décision [Department of Computer and Decision Engineering] (CoDE)
Web and information technologies [CoDE-WIT-Laboratory for Web and Information Technology] (CoDE-WIT)



chercheurs





disciplines et mots clés associés


Analyse de systèmes informatiques Géométrie Informatique appliquée logiciel Informatique générale Informatique mathématique Techniques d'imagerie et traitement d'images Théorie de la décision et des jeux Théorie des graphes Théorie des groupes

algorithme analyse du trafic autoroutier consommation de resources détection d'événement donées mobiles espace de connaissance evaluation des connaissances evolution logicielle génération de code géométrie d'incidence languages de requêtes logiciel logique des descriptions magma ontologies owl (ontology web language) provenance qualité de données raisonnement robustesse séquence vidéo services web synthèse de logiciel systèmes embarqués systèmes informatiques interactifs théorie des jeux traitement de requêtes verification assistée par ordinateur vérification de logiciels verification logicielle