Ambroise Baril (Orpailleur) soutiendra sa thèse intitulée "Complexité fine et paramétrée des problèmes de coloriage de graphe" le 24 juin à 10h en salle A008. Résumé L'objectif de la thèse est d'étudier la complexité fine et paramétrée du problème de H-coloration, ainsi que la classe plus générale des problèmes CSP(Gamma), en utilisant des méthodes d'algèbre […]
Voir les détails »Le prochain colloquium aura lieu le lundi 24 juin à 13h30 dans l'amphithéâtre. Nous aurons le plaisir d'accueillir Kristin Yvonne Rozier, chercheuse au département d'ingénierie spatiale et d'informatique d'Iowa State University. La présentation est intitulée "Rockets, Route-Analyzers, Rotorcraft, and Robonaut2: Intelligent, On-board Runtime Reasoning" et sera en anglais. Résumé : Runtime Verification (RV) has become […]
Voir les détails »Esteban Marquer (Orpailleur) will defend his thesis, entitled "Reasoning over Data: Analogy-based and Transfer Learning to improve Machine Learning", on Monday, June 24 at 2 p.m., in room B013. Abstract Recent years have seen a renewed interest in the potential of analogy detection and analogical inference, with successful applications in Machine Learning (ML) to the […]
Voir les détails »