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 [Computer Algebra] (CSO)
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]
Laboratoire de l'Image Synthèse et Analyse [Laboratory of Image Synthesis and Analysis] (LISA)
Logique mathématique [Mathematical logic] (LOGMATH)
Méthodes formelles et vérification [Verification and formal methods] (Verif)
Probabilités et informatique [Probability and Computer Science] (PCS)
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 analyse probabiliste d'algorithmes analyse probabiliste du schéma de compression de Lempel-Ziv 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