Différences entre les versions de « Articles Introduction à la Recherche »
| Ligne 14 : | Ligne 14 : | ||
** [https://pdfs.semanticscholar.org/5fda/1b2e0981959aa2fdc88a86d2ed89cedda660.pdf From Single Cell to Simple Creature Morphology and Metabolism] | ** [https://pdfs.semanticscholar.org/5fda/1b2e0981959aa2fdc88a86d2ed89cedda660.pdf 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/LogicOfExplanationHempelOppenheim.pdf Hempel and Oppenheim, "Studies in the Logic of Explanation"] | ||
| + | |||
* 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] | ||
Version du 27 avril 2021 à 09:48
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"
- 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 :