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.

Pouvez-vous vous regrouper en binôme ou trinôme pour constituer le nombre d'équipes désiré, et préparer sur l'article que vous choisissez une présentation au format PDF hébergée sur le net (seafile, googledrive, ...) et en mettre le lien dans le google sheet fourni.

Concernant la présentation, n'oubliez pas une première page de titre, avec au moins vos noms et le titre de l'article choisi

Ensuite, n'oubliez pas que vous n'avez que 7mn (c'est pas long). N'oubliez pas de mettre dans une dernière page les références bibiographiques que vous aurez consulté sur le net et qui vous auront mieux aidé à comprendre l'article.

Bonnes présentations à tous !

• 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
  • Yann LeCun, Yoshua Bengio, Geoffrey Hinton, "Deep Learning"
  • Hempel and Oppenheim, "Studies in the Logic of Explanation"
• MLMS :
  • Spatio-Temporal Segmentation for similarity measurement
  • Landmark Transfer with Minimal Graph
  • Honoring a legacy algorithm
  • Binaural beats
  • Weather Forecast
• 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
    • Formally Verified Mathematics
    • 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