Articles Introduction à la Recherche

Voici des articles proposés par les différentes équipes pour préparer un oral pour l'UE Introduction à la Recherche :

• CSTB :
  • Blobotics
  • Genetic Programming (What's AI done for me lately?)
• MIV :
  • Connected Operators
  • Section 3 de Graphical Data Processing
• RÉSEAUX :
  • The Computer for the 21st Century
  • Inherently Safe Backup Routing with BGP
• ICPS :
  • Parallelization, Automatic
• IGG :
  • Article sur l'architecture d'un logiciel de géométrie dynamique à la Geogebra
  • John Harrison - A short survey of automated reasoning
  • Herman Geuvers - Proof assistant : history, ideas and future
  • Tomas Hales - Formal Proof
  • Chapitre 2 de la thèse de Julien Tierny - Reeb graph based 3D shape modeling and applications
• SDC :
  • Exploiting Semantics for Big Data Integration
  • Functional genomic hypothesis generation and experimentation by a robot scientist