Différences entre les versions de « Articles Introduction à la Recherche »
Aller à la navigation
Aller à la recherche
Ligne 12 : | Ligne 12 : | ||
** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/Automatic_Parallelization-David_Padua.pdf Parallelization, Automatic] | ** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/Automatic_Parallelization-David_Padua.pdf Parallelization, Automatic] | ||
* IGG : | * IGG : | ||
+ | ** 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] | ||
− | ** [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] | + | ** 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] | ||
+ | ** 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 : | * SDC : | ||
** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/knoblock15-aimagazine.pdf Exploiting Semantics for Big Data Integration] | ** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/knoblock15-aimagazine.pdf Exploiting Semantics for Big Data Integration] | ||
** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/nature02236.pdf Functional genomic hypothesis generation and experimentation by a robot scientist] | ** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/nature02236.pdf Functional genomic hypothesis generation and experimentation by a robot scientist] |
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
- 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
- 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 :