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?)
  • From Single Cell to Simple Creature Morphology and Metabolism
• 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 :
  • Thème 1 : preuve en géométrie, spécification, résolution de contraintes géométriques, formalisation d'opérations chirgurgicales
    • 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
  • Thème 2 : modélisation multirésolution, détection des collisions, interaction, simulation médicale et RA
    • Chapitre 2 de la thèse de Julien Tierny - Reeb graph based 3D shape modeling and applications
  • Thème 3 : textures, numérisation, maillages dynamiques
    • [ Mykhalchuk, V., Cordier, F., & Seo, H. (2013). Landmark transfer with minimal graph. Computers and Graphics (Pergamon), 37(5), 539–552.]
    • [ Luo, G., Cordier, F., & Seo, H. (n.d.). Spatio-temporal Segmentation for the Similarity Measurement of Deforming Meshes.]
• SDC :
  • Exploiting Semantics for Big Data Integration
  • Functional genomic hypothesis generation and experimentation by a robot scientist