Différences entre les versions de « Articles Introduction à la Recherche »
Aller à la navigation
Aller à la recherche
| Ligne 13 : | Ligne 13 : | ||
* IGG : | * IGG : | ||
** Thème 1 : preuve en géométrie, spécification, résolution de contraintes géométriques, formalisation d'opérations chirgurgicales | ** Thème 1 : preuve en géométrie, spécification, résolution de contraintes géométriques, formalisation d'opérations chirgurgicales | ||
| − | ** [http://dpt-info.u-strasbg.fr/~mathis/Tmp/arinyo_dynamic_architecture.pdf Article sur l'architecture d'un logiciel de géométrie dynamique à la Geogebra] | + | *** [http://dpt-info.u-strasbg.fr/~mathis/Tmp/arinyo_dynamic_architecture.pdf Article sur l'architecture d'un logiciel de géométrie dynamique à la Geogebra] |
| − | ** [http://www.cl.cam.ac.uk/~jrh13/papers/ab.pdf John Harrison - A short survey of automated reasoning] | + | *** [http://www.cl.cam.ac.uk/~jrh13/papers/ab.pdf John Harrison - A short survey of automated reasoning] |
| − | ** [https://samidavies.files.wordpress.com/2016/07/paper.pdf Herman Geuvers - Proof assistant : history, ideas and future] | + | *** [https://samidavies.files.wordpress.com/2016/07/paper.pdf Herman Geuvers - Proof assistant : history, ideas and future] |
| − | ** [http://www.mat.uc.cl/~cmartine/documents/FP.pdf Tomas Hales - Formal Proof] | + | *** [http://www.mat.uc.cl/~cmartine/documents/FP.pdf Tomas Hales - Formal Proof] |
** Thème 2 : modélisation multirésolution, détection des collisions, interaction, simulation médicale et RA | ** Thème 2 : modélisation multirésolution, détection des collisions, interaction, simulation médicale et RA | ||
*** [http://www-pequan.lip6.fr/~tierny/stuff/papers/tierny_phd_thesis08.pdf Chapitre 2 de la thèse de Julien Tierny - Reeb graph based 3D shape modeling and applications] | *** [http://www-pequan.lip6.fr/~tierny/stuff/papers/tierny_phd_thesis08.pdf Chapitre 2 de la thèse de Julien Tierny - Reeb graph based 3D shape modeling and applications] | ||
Version du 13 février 2017 à 16:40
Voici des articles proposés par les différentes équipes pour préparer un oral pour l'UE Introduction à la Recherche :
- CSTB :
- MIV :
- Connected Operators
- Section 3 de Graphical Data Processing
- RÉSEAUX :
- ICPS :
- IGG :
- Thème 1 : preuve en géométrie, spécification, résolution de contraintes géométriques, formalisation d'opérations chirgurgicales
- Thème 2 : modélisation multirésolution, détection des collisions, interaction, simulation médicale et RA
- 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 :