Recherche

Responsable d'équipe : Pierre Ramet L’équipe Satanas a pour objectif de contribuer à la réalisation efficace de simulations frontières issues de
Simon Labarthe (CR INRAe) Modeling the gut microbiota from metagenomic data.
Responsable d'équipe : Romain Bourqui (adj. Patricia Thébault) L’équipe Bench To Knowledge and Beyond (BKB) mène des recherches théoriques et
La chaire Mobilité et Transports Intelligents organise la journée « (Cyber) sécurité et sureté des mobilités connectées » - mardi 10 mai à 11h
C’est au cours de la conférence NCA (IEEE International Symposium on Network Computing and Applications), que Kadir Korkmaz (doctorant au département
L’ANSSI (Agence nationale de la sécurité des systèmes d'information) vient de certifier un troisième outil sécurisé de type Dropbox. Parsec, la
Aurélie Bugeau est lauréate de l’IUF au titre de la chaire Innovation. Pour rappel : l'IUF a pour mission de favoriser le développement de la
Les assistants de preuve sont particulièrement utiles dans la vérification de composants matériels ou logiciels, et ce pour des propriétés

https://ratio.labri.fr/#meetings Title: Algorithms for consistent query answering under primary key constraints Abstract: Databases often have