page d'accueil   sommaire   disciplines  
Informatique générale
Liste des unités de recherche et des chercheurs ayant déclarés cette discipline (Cref 1162).


unités de recherche


Bioinformatique des génomes et des réseaux (anciennement Service de conformation des macromolécules biologique et de bioinformatique) [Genome and Network Bioinformatics (previously: Service of Conformation of Biological Macromolecules and Bioinformatics)] (BiGRe)
CoDE-WIT-Technologies de l'Information et Web [CoDE-WIT-Laboratory for Web and Information Technology] (CoDE-WIT)
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 Biologie moléculaire Biologie théorique Informatique administrative Informatique appliquée logiciel Informatique de gestion Informatique générale Informatique mathématique Statistique appliquée Systèmes d'information géographique

analyse de séquences bases de données spatiales bases de données temporelles bioinformatique business intelligence contrôle distribué découverte de motifs distribution de code donées mobiles interactions protéine-protéine languages de requêtes leucémie logique des descriptions modélisation conceptuelle ontologies owl (ontology web language) provenance qualité de données raisonnement régulation transcriptionnelle services web systèmes d'information géographique temps-réel traitement de requêtes vih virus