Contributions de Raffalli
Aller à la navigation
Aller à la recherche
3 décembre 2008
- 15:153 décembre 2008 à 15:15 diff hist −1 Lambda counting →Catalan numbers
- 15:153 décembre 2008 à 15:15 diff hist +1 Lambda counting →Catalan numbers
- 15:153 décembre 2008 à 15:15 diff hist +77 Lambda counting →Catalan numbers
- 15:143 décembre 2008 à 15:14 diff hist +145 Lambda counting →Catalan numbers
- 15:043 décembre 2008 à 15:04 diff hist +7 Lambda counting →Catalan numbers
- 15:043 décembre 2008 à 15:04 diff hist −162 Lambda counting →Catalan numbers
- 14:323 décembre 2008 à 14:32 diff hist +9 Lambda counting →Upper and lower bounds for <math>L_n</math>
1 décembre 2008
- 06:081 décembre 2008 à 06:08 diff hist +15 Enquête sur les comportements à risque des étudiants de l'université →Problématique
- 06:061 décembre 2008 à 06:06 diff hist 0 Enquête sur les comportements à risque des étudiants de l'université →Problématique
- 06:061 décembre 2008 à 06:06 diff hist +2 Enquête sur les comportements à risque des étudiants de l'université →Problématique
- 06:051 décembre 2008 à 06:05 diff hist +6 Enquête sur les comportements à risque des étudiants de l'université →Problématique
- 06:051 décembre 2008 à 06:05 diff hist +6 Enquête sur les comportements à risque des étudiants de l'université →Problématique
- 06:041 décembre 2008 à 06:04 diff hist −2 Enquête sur les comportements à risque des étudiants de l'université →Problématique
- 06:031 décembre 2008 à 06:03 diff hist +12 Enquête sur les comportements à risque des étudiants de l'université →Problématique
24 novembre 2008
- 13:3724 novembre 2008 à 13:37 diff hist +39 Accueil Aucun résumé des modifications
20 novembre 2008
- 11:0020 novembre 2008 à 11:00 diff hist +8 ANR PML →Task 2 - termination criterion
- 10:5920 novembre 2008 à 10:59 diff hist +301 ANR PML →Relevant publications by non participants to the project
- 10:5820 novembre 2008 à 10:58 diff hist +8 ANR PML →Task 2 - termination criterion
- 10:5620 novembre 2008 à 10:56 diff hist +184 ANR PML →Relevant publications by non participants to the project
- 10:5520 novembre 2008 à 10:55 diff hist +32 ANR PML →Task 2 - termination criterion
- 10:5220 novembre 2008 à 10:52 diff hist +274 ANR PML →Frederic Blanqui (INRIA, Rocquencourt and LIAMA Beijing until 09/2012)
- 10:4920 novembre 2008 à 10:49 diff hist +17 ANR PML →Task 2 - termination criterion
- 10:4720 novembre 2008 à 10:47 diff hist +152 ANR PML →Relevant publications by non participants to the project
- 10:4420 novembre 2008 à 10:44 diff hist +7 ANR PML →Task 2 - termination criterion
- 10:4320 novembre 2008 à 10:43 diff hist +22 ANR PML →Relevant publications by non participants to the project
- 10:4320 novembre 2008 à 10:43 diff hist +90 ANR PML →Relevant publications by non participants to the project
- 09:4220 novembre 2008 à 09:42 diff hist +13 ANR PML →Task 3 - compilation
- 09:4120 novembre 2008 à 09:41 diff hist +265 ANR PML →Human resources financed by the ANR (1 PhD student and 2 postdocs)
- 09:0420 novembre 2008 à 09:04 diff hist −99 ANR PML Aucun résumé des modifications
- 08:5720 novembre 2008 à 08:57 diff hist −4 ANR PML →Pierre Weis (INRIA, Rocquencourt)
- 08:5620 novembre 2008 à 08:56 diff hist +1 238 ANR PML →Pierre Weis (INRIA, Rocquencourt)
- 08:3820 novembre 2008 à 08:38 diff hist −23 ANR PML Aucun résumé des modifications
19 novembre 2008
- 23:5019 novembre 2008 à 23:50 diff hist +1 ANR PML Aucun résumé des modifications
- 23:5019 novembre 2008 à 23:50 diff hist +121 ANR PML Aucun résumé des modifications
- 23:4419 novembre 2008 à 23:44 diff hist +7 ANR PML →Human resources financed by the ANR (1 PhD student and 2 postdocs)
- 23:4319 novembre 2008 à 23:43 diff hist +93 ANR PML →Consortium organisation and description
- 23:4019 novembre 2008 à 23:40 diff hist +10 ANR PML →Data management, data sharing, intellectual property and results exploitation
- 23:3919 novembre 2008 à 23:39 diff hist +54 ANR PML →Detailed description of the work organised by tasks
- 23:2519 novembre 2008 à 23:25 diff hist +147 ANR PML →Project management
- 23:2019 novembre 2008 à 23:20 diff hist 0 ANR PML →Project management
- 23:2019 novembre 2008 à 23:20 diff hist +75 ANR PML →Specific aims of the proposal
- 23:1919 novembre 2008 à 23:19 diff hist −4 ANR PML →Scientific and technical description
- 23:1719 novembre 2008 à 23:17 diff hist +151 ANR PML →Relevant publications by non participants to the project
- 23:1619 novembre 2008 à 23:16 diff hist −13 ANR PML →Scientific and technical description
- 23:0919 novembre 2008 à 23:09 diff hist +125 ANR PML →Context and positioning of the proposal
- 21:1319 novembre 2008 à 21:13 diff hist +127 ANR PML →Pierre Weis (INRIA, Rocquencourt)
- 21:0419 novembre 2008 à 21:04 diff hist +230 ANR PML →Pierre Weis (INRIA, Rocquencourt)
- 21:0119 novembre 2008 à 21:01 diff hist +8 ANR PML →Task 4 - equational reasoning
- 21:0119 novembre 2008 à 21:01 diff hist +8 ANR PML →Task 1 - theoretical work, design of the language
- 21:0019 novembre 2008 à 21:00 diff hist +152 ANR PML →Frederic Blanqui (INRIA, Rocquencourt and LIAMA Beijing until 09/2012)