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
  • Julien Delile, Matthieu Herrmann, Nadine Peyriéras & René Doursat, A cell-based computational model of early embryogenesis coupling mechanical behaviour and gene regulation
• 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 : Spécification, Contraintes et Preuves en Géométrie
    • 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
    • Tim Felgentreff, Alan Borning and Robert Hirschfeld, Babelsberg: Specifying and Solving Constraints on Object Behavior
    • Alex Pothen and Chin-Ju Fan, Computing the Block Triangular Form of a Sparse Matrix
    • François Schonek and Dieter Roller, Rule-oriented method for parameterized computer-aided design -Anne Verroust
  • Thème 2 : Modélisation Géométrique, Simulation et Interaction
    • Chapitre 2 de la thèse de Julien Tierny - Reeb graph based 3D shape modeling and applications
    • Semi-Regular Triangle Remeshing: A Comprehensive Study
  • Thème 3 : Apparence et Mouvement
    • Simplification of Meshes with Digitized Radiance
    • State of the Art in Example-based Texture Synthesis
    • Survey of Color Mapping and its Applications
    • Dynamic 2D/3D Registration, Sofien Bouaziz, Andrea Tagliasacchi, Eurographics Tutorial (Proc. of EG'14)
• SDC :
  • Exploiting Semantics for Big Data Integration
  • Functional genomic hypothesis generation and experimentation by a robot scientist