Différences entre les versions de « Articles Introduction à la Recherche »
Aller à la navigation
Aller à la recherche
| (2 versions intermédiaires par le même utilisateur non affichées) | |||
| Ligne 12 : | Ligne 12 : | ||
** [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?)] | ||
| − | ** [https:// | + | ** [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] | ** [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/DeepLearningLecun2015.pdf Yann LeCun, Yoshua Bengio, Geoffrey Hinton, "Deep Learning"] | ||
| Ligne 19 : | Ligne 19 : | ||
** [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/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] | ** [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 : | * 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] | ||
| Ligne 29 : | Ligne 32 : | ||
* IGG : | * IGG : | ||
** Thème 1 : Spécification, Contraintes et Preuves en Géométrie | ** 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://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] | ||
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 :