|
Size: 2274
Comment:
|
Size: 2510
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| ## page was renamed from combinat/EjcGdrIm2012EJC | |
| Line 2: | Line 3: |
Page de l'école jeunes chercheurs: [[http://ejcim2012.irisa.fr/index.html|EJCIM2012]]. |
|
| Line 5: | Line 8: |
| * cle usb live ? | * cle usb live ? (en cours, Anne) * internet dans la salle de TP ? routeur wifi ? * combien de séances ? quel programme ? quel format ? * feuilles de travail ? combien ? qui les prépare ? |
| Line 9: | Line 18: |
| == Linguistique des séquences biologiques == | == Introduction à Sage == |
| Line 11: | Line 20: |
| Intervenants: François Coste (Inria, IRISA, Rennes) et Jacques Nicolas (Inria, IRISA, Rennes) | * [[attachment:introduction_a_sage.sws]] |
| Line 13: | Line 22: |
| Jour du cours : lundi suggestion: BioPython et R via Sage |
* [[attachment:programming_in_sage.sws]] |
Organisation EJC Rennes
Page de l'école jeunes chercheurs: EJCIM2012.
- Install party ?
- cle usb live ? (en cours, Anne)
- internet dans la salle de TP ? routeur wifi ?
- combien de séances ? quel programme ? quel format ?
- feuilles de travail ? combien ? qui les prépare ?
Cours prevus dans lequel nous pouvons intervenir
Introduction à Sage
Applications de systèmes dynamiques discrets
Intervenants : Valérie Berthé (CNRS, LIAFA, Paris), Jérémie Bourdon (Univ. Nantes, Lina, Nantes), Anne Siegel (CNRS, IRISA, Rennes)
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
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