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


Calcul symbolique sur ordinateur [Differential Geometry and Algebra]
CoDE-WIT-Technologies de l'Information et Web [CoDE-WIT-Laboratory for Web and Information Technology] (CoDE-WIT)
Géométrie, Combinatoire et Théorie des Groupes [Discrete Mathematics]
Laboratories of Image, Signal processing and Acoustics [Image processing group of the Laboratories of Image, Signal processing and Acoustics] (LISA-image)
Logique mathématique [Mathematical logic] (LOGMATH)
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)



chercheurs





disciplines et mots clés associés


Analyse de systèmes informatiques Equations différentielles et aux dérivées partielles Géométrie Géométrie combinatoire et convexité Informatique appliquée logiciel Informatique générale Informatique mathématique Logique mathématique Physique théorique et mathématique Techniques d'imagerie et traitement d'images Théorie de la décision et des jeux Théorie des ensembles et catégories Théorie des graphes Théorie des groupes

algorithme analyse du trafic autoroutier calcul formel consommation de resources détection d'événement donées mobiles ensembles non-bien-fondés ensembles paradoxaux ensembles partiels equations différentielles 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 modèles de termes modèles topologiques ontologies owl (ontology web language) provenance qualité de données raisonnement ramifiabilité robustesse séquence vidéo services web synthèse de logiciel système nf de quine systèmes embarqués systèmes informatiques interactifs théorie des jeux théorie positive des ensembles traitement de requêtes verification assistée par ordinateur vérification de logiciels verification logicielle