Talk title
From LRDE
This is a property of type Text.
S
Une introduction à la preuve formelle de sécurité +
Computing with (nearly) unlimited resources +
Analyse hiérarchique d'images multimodales +
Boost.SIMD - Maximisez votre CPU directement depuis C++ +
Un avant-goût de Julia +
Transformation de la prospection commerciale grâce à la science des données +
Analyse du mouvement avec applications bio-médicales +
Des données spatio-temporelles aux dynamiques urbaines +
Analyse topologique de données pour la visualisation scientifique: où en est-on et où va-t-on? +
Extraction de biomarqueurs des troubles autistiques à partir de l'activité cérébrale (IRMf) par apprentissage de dictionnaire parcimonieux. +
Calcul parallèle pour problèmes inverses +
Apprentissage par Imitation Auto-Supervisée +
MAQAO: une suite d'outils pour l'analyse et l’optimisation des performances +
Frama-C, une plateforme collaborative et extensible pour l'analyse de code C +
Industrial Formal Verification – Cadence’s JasperGold Formal Verification Platform +
Vers l'apprentissage d'un sens commun visuel +
Partial but Precise Loop Summarization and Its Applications +
Hierarchical image representations: construction, evaluation and examples of use for image analysis +