Différences entre les versions de « Articles Introduction à la Recherche »
Aller à la navigation
Aller à la recherche
Ligne 13 : | Ligne 13 : | ||
** [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 : | + | ** Thème 1 : Spécification, Contraintes et Preuves en Géométrie |
*** [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 : | + | *** [http://www.jot.fm/issues/issue_2014_09/article1.pdf Tim Felgentreff, Alan Borning and Robert Hirschfeld, Babelsberg: Specifying and Solving Constraints on Object Behavior] |
+ | *** [https://pdfs.semanticscholar.org/6eda/a726a61c0c059cc1ab553abd02539fd81573.pdf Alex Pothen and Chin-Ju Fan, Computing the Block Triangular Form of a Sparse Matrix] | ||
+ | *** [https://hal-ens.archives-ouvertes.fr/hal-01224895/document 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 | ||
*** [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] | ||
− | ** Thème 3 : | + | ***[https://hal-unice.archives-ouvertes.fr/hal-01058839 Semi-Regular Triangle Remeshing: A Comprehensive Study] |
− | *** [ | + | ** Thème 3 : Apparence et Mouvement |
− | *** [ | + | ***[https://icube-publis.unistra.fr/2-VSKL15 Simplification of Meshes with Digitized Radiance] |
+ | ***[http://www-sop.inria.fr/reves/Basilic/2009/WLKT09/ State of the Art in Example-based Texture Synthesis] | ||
+ | ***[https://www.semanticscholar.org/paper/A-Survey-of-Color-Mapping-and-its-Applications-Faridul-Pouli/b7a6fe351cf30ba67affecd2e35a739bb0a1e993A Survey of Color Mapping and its Applications] | ||
+ | ***[http://sofienbouaziz.com/pdf/Registration_EG14.pdf Dynamic 2D/3D Registration, Sofien Bouaziz, Andrea Tagliasacchi, Eurographics Tutorial (Proc. of EG'14)] | ||
* 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 27 avril 2017 à 14:29
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 : 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
- Thème 3 : Apparence et Mouvement
- Thème 1 : Spécification, Contraintes et Preuves en Géométrie
- SDC :