| Collaborations |
- S. Soloviev and M. Spivakovsky - Formal calculation
- Déjean & Mothe - Data mining and information research
- A.Ruiz-Gazen & A.Berro (IRIT), Revealing projections
| S. Soloviev and M. Spivakovsky - Formal calculation |
Internal
Co-direction de these: DR. S. Soloviev (IRIT) et M. Spivakovsky (IMT)
Antoine El Khoury
"Méthodes de vérification de la commutativité de diagrammes dans
les catégories symétriques monoidales fermées libres et non-libres.'' (soutenue 09.12.2010)
- A. EL Khoury, S. Soloviev, L. Méhats, M. Spivakovsky. On varieties of closed categories and dependency of diagrams of canonical maps. -Proofs, Categories and Computations. Essays in Honor of Grigori Mints. Solomon Feferman, Wilfried Sieg (Eds.), College Publications, p. 70-85, 2010.
- A. EL Khoury, S. Soloviev, L. Méhats, M. Spivakovsky. Categorical Semantics and Non-Free Categories. European Summer School in Language and Informatics (ESSLI- 09)-Workshop Structure and Deduction (SD-09), Bordeaux, 20/07/09-31/07/09, Lutz Srassburger (Eds).
- A. EL Khoury, S. Soloviev, L. Méhats, M. Spivakovsky. On Categories of Semimodules over Semirings and Varieties of ClosedCategories. Polynomial Computer Algebra, St. Petersbourg, 08/04/09-12/04/09, Nicolai Vassiliev (Eds.), Euler International Math. Institute, St.-Petersburg Division of Steklov Math. Institute,Russian Academy of Sciences, p. 89-95, avril 2009.
Chef du Projet : Sergei SOLOVIEV, professeur à l’IRIT, Institut de Recherche en Informatique de Toulouse (UMR 5505).
Participants :
- Louis Féraud, professeur à l’IRIT.
- Mark Spivakovsky, DR CNRS.
- Laboratoire Emile Picard, Institut deMathématiques de Toulouse (UMR 5580).
- Ralph Matthes, CR1 CNRS à l'IRIT (depuis 2008).
- Lionel Marie-Magdeleine, doctorant de S. Soloviev.
- Antoine El-Khoury, doctorant (sous codirection de S. Soloviev et M.Spivakovsky).
- Maxime Rebout, doctorant1 (sous codirection de L. Féraud et S. Soloviev).
- Ralph Matthes, Sergei Soloviev (invited eds.). Isomorphism of types and invertibility of lambda terms. Dans / In : Mathematical Structures in Computer Science, Cambridge University Press, Vol. 18, aot / august 2008. (Preface: R. Matthes, S. Soloviev)
- Sergei Soloviev, Roberto Di Cosmo (invited eds.). Isomorphism of Types. Dans / In : Mathematical Structures in Computer Science, Cambridge University Press, Vol. 15 N. 5, octobre / october 2005.(Foreword: S. Soloviev.)
- Participants :
- Anne Ruiz-Gazen (IMT)
- Alain Berro (IRIT)
En connexion avec ce projet le workshop international CAM-CAD (Workshop on Computer Algebra Methods and Commutativity of Algebraic Diagrams) etait organisé en Octobre 2009.
Le numéro special de "Mathematical Structures in Computer Science'' est en preparation.
Remarque : Avant (en 2005) etait soutenue la these de Laurent Méhats (sous la direction de Sergei Soloviev): "Théorie de la preuve des catégories monoidales symétriques fermées: cohérence et equivalences de dérivations", la these de Antoine El Khoury est une continuation deces recherches.
External
Activité éditoriale en collaboration avec "Mathematical Structures in Computer Science'' - un revue international publiée par Cambridge University Press (editor in chef G. Longo).
Deux numéros spéciaux ont ete publiés :
En plus le numéro concernant diagrammes catégoriques est en préparation.
| Data mining and information research, Sébastien Déjean (IMT), Josiane Mothe (IRIT) |
Résumé :
| Revealing projections, A.Ruiz-Gazen (IMT), A.Berro (IRIT) |
Les méthodes de projections révélatrices exploratoires sont bien connues depuis les années 1970 mais ne sont pas présentes dans les grands logiciels statistiques. Pourtant, ces méthodes permettent de détecter de façon non supervisée des structures comme des groupes ou des observations atypiques et cela même en grande dimension.
Le projet d'Alain Berro (MCF, IRIT) et Anne Ruiz-Gazen (Pr, TSE et IMT) dans ce domaine consiste à revisiter ce tye de méthodes en utilisant une nouvelle stratégie de recherche et des algorithmes récents inspirés par la biologie (de type algorithme génétique ou algorithme d'optimisation par essaim particulaire). Ce projet a donné lieu à une thèse de doctorat qui va être soutenue en juin 2011 et à des publications et conférences internationales. Parmi les résultats de la thèse, citons le développement d'une interface très ergonomique en Java appelée EPP-Lab qui permet la mise en oeuvre et l'analyse des résultats des méthodes de projections révélatrices par le statisticien. Nos objectifs dans un futur proche sont d'analyser la performance des méthodes en grande dimension mais aussi de proposer des outils statistiques pour résumer l'ensemble des projections unidimensionnelles obtenues par le biais de l'interface EPP-Lab.
En effet, la nouvelle stratégie adoptée consiste à effectuer plusieurs lancements du même algortithme de façon à récupérer le plus rapidement possible un maximum de projections associées à des optima locaux des indices de projection. Nous obtenons ainsi des centaines voire des milliers de projections que nous cherchons à résumer par des outils statistiques. Parmi les possibilités pour résumer cette information, nous souhaitons nous intéresser à des moyennes de projecteurs basées sur des distances entre espaces vectoriels. Anne Ruiz-Gazen travaille actuellement en collaboration avec Hannu Oja (Pr, Finlande) sur ce point dans un contexte plus général et nous souhaitons appliquer ce type de méthode au problème qui nous intéresse pour proposer aux utilisateurs un outil performant d'analyse exploratoire multivariée.