2451
Comment:
|
1870
|
Deletions are marked like this. | Additions are marked like this. |
Line 2: | Line 2: |
= Organisation EJC Rennes = | = EJC Rennes, séances Sage = |
Line 4: | Line 4: |
* Install party ? | Page de l'école jeunes chercheurs: [[http://ejcim2012.irisa.fr/index.html|EJCIM2012]]. |
Line 6: | Line 6: |
* cle usb live ? (en cours, Anne) | == Lundi : introduction à Sage == |
Line 8: | Line 8: |
* internet dans la salle de TP ? routeur wifi ? | Si vous débutez avec Sage, nous vous conseillons de faire les feuilles dans l'ordre. Sinon vous pouvez sauter la première feuille et piocher selon vos préférences. |
Line 10: | Line 10: |
* feuilles de travail ? combien ? qui les prépare ? | * [[attachment:introduction_a_sage.sws]]: une feuille d'introduction pour apprendre à taper des commandes. |
Line 12: | Line 12: |
Cours prevus dans lequel nous pouvons intervenir | * [[attachment:programming_in_sage.sws]]: utilisation des structures de données de Python (tuple, list, dictionnaires) et programmation (boucle, structures conditionelles, ...). |
Line 14: | Line 14: |
== Linguistique des séquences biologiques == | Vous pouvez aussi télécharger le support de la présentation [[attachment:presentation.pdf]]. |
Line 16: | Line 16: |
Intervenants: François Coste (Inria, IRISA, Rennes) et Jacques Nicolas (Inria, IRISA, Rennes) | == Mercredi : systèmes dynamiques discrets == |
Line 18: | Line 18: |
Jour du cours : lundi | Intervenants du cours : Valérie Berthé (CNRS, LIAFA, Paris), Jérémie Bourdon (Univ. Nantes, Lina, Nantes), Anne Siegel (CNRS, IRISA, Rennes) |
Line 20: | Line 20: |
suggestion: BioPython et R via Sage | Plan, propositions (Timo Jolivet) : |
Line 22: | Line 22: |
== Applications de systèmes dynamiques discrets == | * Tracé de courbes fractales en utilisant des substitutions ([[http://en.wikipedia.org/wiki/List_of_fractals_by_Hausdorff_dimension|exemples]]) * [[http://en.wikipedia.org/wiki/L-system|L-systèmes]] |
Line 24: | Line 25: |
Intervenants : Valérie Berthé (CNRS, LIAFA, Paris), Jérémie Bourdon (Univ. Nantes, Lina, Nantes), Anne Siegel (CNRS, IRISA, Rennes) | == Vendredi : calcul formel en modélisation géométrique et en robotique == |
Line 26: | Line 27: |
Jour du cours : mercredi Plan, propositions: * fonctions de base de sage pour la combinatoire des mots (iterer une substitution, calcul de complexite) * jouer sur l'equilibre et la complexite qui varient quand on modifie l'ordre des lettres dans une substitution sturmienne et qu'on la rend non sturmienne. * codage de segments de droites * fractions continues et substitutions sturmiennes * voiles de Klein * calculs de séries génératrices relativement simples pour illustrer les possibilités en calcul formel de Sage (moyenne et variance pour des scores de similarités entre séquences par calcul formel). Simulations en Sage pour obtenir des belles courbes et avoir une idée de la distribution. * Autour de L-systèmes. Pour tester Sage en tant que langage de programmation, ses possibilités graphiques. Dans un premier temps, juste le flocon de von Koch, éventuellement des arborescences puis il y a surement moyen d'aller jusqu'au dessin des fractales de Rauzy (éventuellement en cachant sous le tapis normalisation et projection). == Pertinence du calcul formel en modélisation géométrique et en robotique == Intervenants : Michel Coste (Univ. Rennes 1, IRMAR, Rennes), Guillaume Moroz (Inria, LORIA, Nancy), Laurent Busé (Inria, EPI Galaad, Sophia Antipolis) Jour du cours : vendredi |
Intervenants du cours : Michel Coste (Univ. Rennes 1, IRMAR, Rennes), Guillaume Moroz (Inria, LORIA, Nancy), Laurent Busé (Inria, EPI Galaad, Sophia Antipolis) |
EJC Rennes, séances Sage
Page de l'école jeunes chercheurs: EJCIM2012.
Lundi : introduction à Sage
Si vous débutez avec Sage, nous vous conseillons de faire les feuilles dans l'ordre. Sinon vous pouvez sauter la première feuille et piocher selon vos préférences.
introduction_a_sage.sws: une feuille d'introduction pour apprendre à taper des commandes.
programming_in_sage.sws: utilisation des structures de données de Python (tuple, list, dictionnaires) et programmation (boucle, structures conditionelles, ...).
Vous pouvez aussi télécharger le support de la présentation presentation.pdf.
Mercredi : systèmes dynamiques discrets
Intervenants du cours : Valérie Berthé (CNRS, LIAFA, Paris), Jérémie Bourdon (Univ. Nantes, Lina, Nantes), Anne Siegel (CNRS, IRISA, Rennes)
Plan, propositions (Timo Jolivet) :
Tracé de courbes fractales en utilisant des substitutions (exemples)
Vendredi : calcul formel en modélisation géométrique et en robotique
Intervenants du cours : Michel Coste (Univ. Rennes 1, IRMAR, Rennes), Guillaume Moroz (Inria, LORIA, Nancy), Laurent Busé (Inria, EPI Galaad, Sophia Antipolis)
Sage contient Singular et permet de faire du calcul avec les polynomes de plusieurs variables
Proposition (Guillaume Moroz):
- un système de polynômes modélisant un mécanisme robotique
- le calcul d'un mineur de sa matrice jacobienne
- l'élimination de variables
- l'affichage de la courbe/surface résultat
- indépendamment, un exemple de variété avec des points de rebroussement