Différences entre les versions de « Articles Introduction à la Recherche »
Aller à la navigation
Aller à la recherche
(Page créée avec « Voici des articles proposés par les différentes équipes pour préparer un oral de 10mn en binôme le 11 mai (sous forme de page HTML qui pourra être mise en ligne si j... ») |
|||
| (16 versions intermédiaires par le même utilisateur non affichées) | |||
| Ligne 1 : | Ligne 1 : | ||
| − | Voici des articles proposés par les différentes équipes pour préparer un oral | + | Voici des articles proposés par les différentes équipes pour préparer un oral pour l'UE Introduction à la Recherche. |
| − | * CSTB: | + | |
| + | 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 : | ||
** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/AdamatzkyNS.pdf Blobotics] | ** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/AdamatzkyNS.pdf Blobotics] | ||
** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/GPHumanCompetitiveResults2003.pdf Genetic Programming (What's AI done for me lately?)] | ** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/GPHumanCompetitiveResults2003.pdf Genetic Programming (What's AI done for me lately?)] | ||
| − | * MIV: | + | ** [https://www.researchgate.net/publication/228669874_From_Single_Cell_to_Simple_Creature_Morphology_and_Metabolism From Single Cell to Simple Creature Morphology and Metabolism] |
| + | ** [https://www.nature.com/articles/ncomms13929 Julien Delile, Matthieu Herrmann, Nadine Peyriéras & René Doursat, A cell-based computational model of early embryogenesis coupling mechanical behaviour and gene regulation] | ||
| + | ** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/DeepLearningLecun2015.pdf Yann LeCun, Yoshua Bengio, Geoffrey Hinton, "Deep Learning"] | ||
| + | ** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/LogicOfExplanationHempelOppenheim.pdf Hempel and Oppenheim, "Studies in the Logic of Explanation"] | ||
| + | * MLMS : | ||
| + | ** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/Spatio-temporal_segmentation_for_the_similarity_measurement.pdf Spatio-Temporal Segmentation for similarity measurement] | ||
| + | ** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/Landmark_Transfer_with_Minimal_Graph.pdf Landmark Transfer with Minimal Graph] | ||
| + | ** [https://aerospaceamerica.aiaa.org/departments/honoring-a-legacy-algorithm/ Honoring a legacy algorithm] | ||
| + | ** [https://www.popsci.com/story/health/sounds-beats-focus-creativity-science/ Binaural beats] | ||
| + | ** [https://www.americanscientist.org/article/calculating-the-weather Weather Forecast] | ||
| + | * MIV : | ||
** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/aSalembier09.pdf Connected Operators] | ** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/aSalembier09.pdf Connected Operators] | ||
** Section 3 de [http://dpt-info.u-strasbg.fr/~collet/cours/ir/Duda_TecRep_1967.pdf Graphical Data Processing] | ** Section 3 de [http://dpt-info.u-strasbg.fr/~collet/cours/ir/Duda_TecRep_1967.pdf Graphical Data Processing] | ||
| − | * | + | * RÉSEAUX : |
** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/weiser-sciam91-ubicomp.pdf The Computer for the 21st Century] | ** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/weiser-sciam91-ubicomp.pdf The Computer for the 21st Century] | ||
** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/infocom01.pdf Inherently Safe Backup Routing with BGP] | ** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/infocom01.pdf Inherently Safe Backup Routing with BGP] | ||
| + | * ICPS : | ||
| + | ** [http://dpt-info.u-strasbg.fr/~collet/cours/ir/Automatic_Parallelization-David_Padua.pdf Parallelization, Automatic] | ||
| + | * IGG : | ||
| + | ** Thème 1 : Spécification, Contraintes et Preuves en Géométrie | ||
| + | *** [https://cacm.acm.org/magazines/2014/4/173219-formally-verified-mathematics/fulltext Formally Verified Mathematics] | ||
| + | *** [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] | ||
| + | *** [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.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] | ||
| + | ***[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 : | ||
| + | ** [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] | ||
Version actuelle datée du 12 mai 2022 à 09:21
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 :
- 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
- 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
- Thème 3 : Apparence et Mouvement
- Thème 1 : Spécification, Contraintes et Preuves en Géométrie
- SDC :