Annonce

annonce@lrde.epita.fr

564 discussions

[Séminaire des étudiants CSI] : mercredi 25 juin 2008

by Daniela Becker

Bonjour, Vous êtes tous cordialement invités à assister au séminaire qui aura lieu le mercredi 25 juin 2008 à 14 heures en Amphi 4 (KB). Veuillez noter qu'après les étudiants, Sébastien Hémon présentera entre 16h45 et 17h45 l'article "Equilibres de Nash approchés dans les jeux multi-joueurs" de Sébastien Hémon, Miklos Santha and Michel de Rougemont présenté à SAGT 08 en mai 2008. http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/2008-01-18-SAGT ----------------------------------------------------------------------- Le programme du séminaire : *Olena et Théorie des Jeux* http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/Seminar-2008-06-25 OLENA 14h00 : Ligne de partage des eaux topologique -- Alexandre Abraham 14h30 : Taxonomie des images de Milena -- Nicolas Ballas 15h00 : Transformation des courbes de niveau rapide -- Matthieu Garrigues 15h30 : Recalage d'image rapide -- Ugo Jardonnet THEORIE DES JEUX 16h15 : Etude et implémentation du Fictitious Play alterné -- Antoine Leblanc 16h45 : Equilibres de Nash approchés dans les jeux multi-joueurs -- Sebastien Hemon et al. ----------------------------------------------------------------------- Les Résumés des exposés : ************************** OLENA Ligne de partage des eaux topologique -- Alexandre Abraham Segmenter une image consiste à en extraire les régions d’intérêt, par exemple pour séparer des cellules cancéreuses en imagerie médicale. L’approche par transformation de la ligne de partage des eaux (LPE) ou Watershed Transform permet d’obtenir une telle segmentation. Il en existe de nombreuses définitions, ainsi que diverses implémentations, dont certaines sont à la fois performantes et produisent un résultat avec de bonnes propriétés, comme le Topological Watershed. Cet exposé présentera l’implémentation d’un algorithme calculant cette LPE au sein de Milena, la bibliothèque C++ générique de traitement d’images de la plate-forme Olena, développée au LRDE. Nous nous intéresserons tout d’abord aux formats d’images “classiques”, puis à la généralisation à des formats d’images plus inhabituels (images à support de graphe généraux, etc.). Taxonomie des images de Milena -- Nicolas Ballas Milena est la bibliothèque de traitement d’images générique de la plate-forme Olena. Cette bibliothèque a pour but d’être performante tout en restant simple. L’introduction dans Milena de nouveaux types d’images basés sur des graphes a mis en évidence des problèmes de modélisation qui sont un frein pour sa généricité. Par exemple, nous avons toujours considéré que "les images ont des points". Néanmoins, certains types d’images possèdent des sites qui ne sont pas des points (mais des arrêtes, faces, ou même des ensembles de points). Une autre supposition erronée était de considérer que les sites étaient toujours localisés par un vecteur (càd, (x,y) dans le plan 2D). Cette supposition est fausse lorsque l’on manipule des sites qui ne sont pas "Pointwise". Il etait donc nécessaire de modifier les types d’images utilisés dans Milena et les propriétées qui leur sont associées. Pendant ce séminaire, nous présenterons une nouvelle classification d’images permettant de résoudre ces problèmes. Transformation des courbes de niveau rapide -- Matthieu Garrigues La transformation rapide des courbes de niveaux (FLLT) construit une représentation d’une image indépendante du contraste. Cet algorithme construit un arbre suivant les inclusions des formes. Pour un filtre, être invariant suivant le contraste est un plus. Par exemple, en analyse de document, cette représentation a le précieux avantage d’extraire facilement et rapidement les caractères indépendamment du fait qu’ils soient plus clairs ou plus foncés que leur voisinage. Ce document présente l’introduction de l’algorithme dans notre bibliothèque de traitement d’images et montre les résultats de quelques filtres connectés que peut engendrer cette représentation. Recalage d'image rapide -- Ugo Jardonnet Le recalage d’images est une technique classique en traitement d’images. Soit A et B deux images représentant le même objet (par exemple une radiographie et une image à résonance magnétique (IRM)), on calcule une transformation deAtelle que le recalage de l’objet dans A soit aligné sur l’objet dans B. Typiquement, cette technique peut permettre la lecture simultanée de deux mesures A et B. Cet exposé discutera des procédés de recalage rapide utilisés dans Milena, la bibliothèque C++ générique de traitement d’images de la plate-forme Olena, développée au LRDE. Certaines améliorations seront présentées. THEORIE DES JEUX Etude et implémentation du Fictitious Play alterné -- Antoine Leblanc Le calcul d’un équilibre de Nash dans un jeu fini est un problème démontré PPAD-complet, ce qui signifie qu’il paraît impossible de trouver une méthode de calcul efficace ; la complexité en pire cas des algorithmes usuels est 2O(n) pour un jeu de taille n. La recherche en ce domaine s’oriente donc vers le calcul d’équilibres approchés, à savoir des situations vérifiant les conditions d’un équilibre de Nash à ! près. L’algorithme du Fictitious Play s’inscrit dans cette démarche de recherche. Son principe est simple : à chaque itération, chacun des joueurs “renforce” celle de ses stratégies pures qui est la plus efficace face à ses adversaires. Pour certains jeux, cet algorithme converge vers un équilibre de Nash, fournissant ainsi un algorithme d’approximation efficace. La convergence ne peut toutefois être prouvée que pour un nombre limité de cas. Pour cette raison, il est intéressant d’étudier d’autres algorithmes basés sur le Fictitious Play, afin de trouver d’autres cas de convergence. Nous allons étudier ici le Fictitious Play alterné, dans lequel seul le joueur le plus “éloigné” de son gain optimal renforce sa stratégie la plus efficace. Equilibres de Nash approchés dans les jeux multi-joueurs -- Sebastien Hemon et al. Les équilibres de Nash sont des positions-clés de tout jeu admettant une représentation finie : en effet, quel que soit le nombre de joueurs et de stratégies, une telle position existe toujours. Lorsqu’elle est atteinte, elle dissuade tout joueur de vouloir se détourner de sa stratégie actuelle, d’où la notion d’équilibre. De nombreux problèmes y font appel mais calculer de façon effective l’équilibre demeure un problème difficile. En effet, le meilleur algorithme connu pour, dans le cas général, calculer un équilibre est exponentiel en le nombre de stratégies. Nous présenterons ici la notion d’équilibres approchés, et donnerons des résultats concernant leur calcul. Nous montrerons qu’il ne saurait exister d’algorithmes pouvant calculer un équilibre, même approché, sans utiliser au moins, pour un joueur, un nombre logarithmique de stratégies. Nous montrerons comment calculer un équilibre approché en temps sub-exponentiel nO( ln n 2 ), ce qui demeure actuellement, pour le cas général, la meilleure complexité en pire cas. Enfin, nous présenterons une approche inductive de transfert d’approximation d’une position d’un jeu à deux joueurs en une approximation pour un jeu à r joueurs, ce qui confère des résultats novateurs dans le domaine. -- Daniela Becker

16 years, 9 months

[Séminaire CSI] : mercredi 18 juin 2008

by Daniela Becker

Bonjour, Vous êtes tous cordialement invités à assister au séminaire qui aura lieu le mercredi 18 juin 2008 à 14 heures en Amphi 1 (KB). ----------------------------------------------------------------------- Le programme : *Transformers & Vaucanson* http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/Seminar-2008-06-18 TRANSFORMERS 14h00 : SCOOL : Programmation générique et concepts -- Maxime Van Noppen 14h30 : Découpage de programme C++ avec Transformers -- Florian Quèze VAUCANSON 15h15 : Parser d’expressions rationnelles -- Vivien Delmon 15h45 : FSMXML et son utilisation dans Vaucanson -- Florian Lesaint 16h15 : Booster les itérateurs de Vaucanson -- Jimmy Ma ----------------------------------------------------------------------- Les Résumés des exposés : ************************** TRANSFORMERS SCOOL : Programmation générique et concepts -- Maxime Van Noppen SCOOL est un langage statique orienté objet qui a été créé afin de pouvoir utiliser toute la puissance du C++ statique de manière plus aisée grâce à une syntaxe plus expressive et agréable. Il n’a pas pour but d’être directement compilé mais d’être traduit en C++. Cette année le travail revêt une importance particulière. En effet, SCOOL est développé en étroite collaboration avec l’équipe de développement de la bibliothèque de traitement d’images MILENA de la plate-forme OLENA ; l’an passé a été pour elle le cadre de grands changements internes. Un des axes majeurs du développement de SCOOL va donc être de s’adapter aux nouveaux paradigmes et aux nouveaux besoins de la bibliothèque. Le second axe essentiel de travail est la poursuite du développement du langage. Cette année le travail va être concentré sur la programmation par concepts qui est une approche permettant de formaliser facilement des contraintes sur la programmation générique. Découpage de programme C++ avec Transformers -- Florian Quèze Transformers est un ensemble d’outils basés sur les technologies Stratego/XT permettant la manipulation de programmes C++. Le découpage de programmes est un domaine important de la transformation de programmes. Nous allons expliquer ce qu’est le découpage de programmes, donner un aperçu rapide de ses différents aspects et montrer comment Transformers pourrait être utilisé comme un outil permettant le découpage de programmes. VAUCANSON Parser d’expressions rationnelles -- Vivien Delmon La bibliothèque Vaucanson permet de manipuler des automates et des transducteurs. Le parser d’expression rationnelles doit donc lui aussi traiter ces différentes structures. Malheureusement l’ancien parser ne permettait pas de lire des expressions rationnelles décrivant des transducteurs ou même des automates à poids autres que des nombres. Le nouveau parser permet de lire des expressions rationnelles contenant des poids de toutes sortes et des alphabets définis sur des produits de monoïdes. Ces différentes améliorations permettent d’interpréter des expressions rationnelles complexes représentant entre autres des transducteurs. FSMXML et son utilisation dans Vaucanson -- Florian Lesaint Nous avions commencé l’année dernière à travailler sur une nouvelle proposition de format XML de description d’automates, devenu FSMXML. Nous présentons cette année une version aboutie de ce travail sous forme de rfc. FSMXML comprend notamment une gestion complète des expressions rationnelles généralisées, il permet de décrire n’importe quel type d’automate et sa gestion est facilitée. Nous avons repensé la structure du parseur XML de VAUCANSON pour s’affranchir d’une mauvaise gestion de dépendances et l’avons mise à jour conformément à la rfc. Booster les itérateurs de Vaucanson -- Jimmy Ma Vaucanson est une bibliothèque générique de manipulation d’automates. Le coeur de sa généricité réside dans le support de types d’automates variés mais aussi sa capacité à s’appuyer sur différentes structures de données. Actuellement, nous avons différentes manières de manipuler des transitions. Cependant, aucune d’entre elles n’est réellement indépendante de la structure de données utilisée. Afin de pallier cela, nous allons nous tourner vers le design pattern Iterator. Nous évaluerons l’impact de ce design pattern sur les performances et sur l’utilisation de la bibliothèque en termes d’écriture d’algorithmes. -- Daniela Becker

16 years, 9 months

L'air de rien 14

by Daniela Becker

Bonjour, nous avons le plaisir de vous présenter le n°14 du bulletin du LRDE. C'est un numéro spécial consacré aux quatre sessions du séminaire CSI en juin et juillet 2008 avec les résumés de toutes les présentations. Les étudiants des promos 2009 et 2010 y présenteront leur travail. Dates de séminaire à retenir : les 18 et 25 juin, puis les 2 et 9 juillet 2008. Vous pouvez télécharger le bulletin en couleur à la page suivante : http://publis.lrde.epita.fr/200805-l-air-de-rien-14 -- Daniela Becker

16 years, 10 months

[ELW'08] Breaking News: 2 keynote speakers

by Didier Verna

Dear colleagues, I'm very happy to announce that the 5th European Lisp Workshop, co-located with ECOOP in Paphos, Cyprus, on July 7th 2008 will feature two keynote presentations: - "Lisp for the 21st Century", by Mark Tarver See http://www.lambdassociates.org - "A Detailed Look at the Lisp Nature of Clojure", by Rich Hickey See http://clojure.sourceforge.net Mark Tarver's coming would not have been possible without the help of our sponsors: LispWorks Ltd, Franz Inc and the Association of Lisp Users. Please pay them a visit as well! http://www.lispworks.com/ http://www.franz.com/ http://www.alu.org/ And remember to register to ECOOP before June 1st, the early registration deadline... Hope to see you in Paphos! -- 5th European Lisp Workshop at ECOOP 2008, July 7: http://elw.bknr.net/2008/ Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (0)1 44 08 01 85 94276 Le Kremlin-Bicêtre, France Fax.+33 (0)1 53 14 59 22 didier(a)xemacs.org

16 years, 10 months

Publication: MPOOL 2008: Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2)

by Roland Levillain

We are happy to announce that the following paper has been accepted for publication at the 6th International Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL 2008) that will take place at Paphos, Cyprus, on July 7, 2008: Thierry Géraud and Roland Levillain Semantics-Driven Genericity: A Sequel to the Static C++ Object-Oriented Programming Paradigm (SCOOP 2) http://publis.lrde.epita.fr/200806-ITICSE Classical (unbounded) genericity in C++03 defines the interactions between generic data types and algorithms in terms of concepts. Concepts define the requirements over a type (or a parameter) by expressing constraints on its methods and dependent types (typedefs). The upcoming C++0x standard will promote concepts from abstract entities (not directly enforced by the tools) to language constructs, enabling compilers and tools to perform additional checks on generic constructs as well as enabling new features (e.g., concept-based overloading). Most modern languages support this notion of signature on generic types. However, generic types built on other types and relying on concepts to both ensure type conformance and drive code specialization, restrain the interface and the implementation of the newly created type: specific methods and associated types not mentioned in the concept will not be part of the new type. The paradigm of concept-based genericity lacks the required semantics to transform types while retaining or adapting their intrinsic capabilities. We present a new form of semantically-enriched genericity allowing static generic type transformations through a simple form of type introspection based on type metadata called properties. This approach relies on a new Static C++ Object-Oriented Programming (SCOOP) paradigm, and is adapted to the creation of generic and efficient libraries, especially in the field of scientific computing. Our proposal uses a metaprogramming facility built into a C++ library called Static, and doesn't require any language extension nor additional processing (preprocessor, transformation tool).

16 years, 10 months

Séminaire Performance et Généricité du LRDE le 28 Mai 2008

by Didier Verna

Chers collègues, la prochaine session du séminaire Performance et Généricité du LRDE (Laboratoire de Recherche et Développement de l'EPITA) aura lieu le 28 Mai 2008. Au programme: * 14h: Le language BSML Frédéric Gava, LACL, Université de Paris Est, Créteil * 15h15: Programmation parallèle certifiée Frédéric Loulergue, LIFO, Université d'Orléans L'entrée du séminaire est libre. Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/. Merci de bien vouloir diffuser cette information le plus largement possible. Prochaine séance: mercredi 24 Septembre 2008 avec Gaétan Hains et Joël Falcou. -- Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (0)1 44 08 01 85 94276 Le Kremlin-Bicêtre, France Fax.+33 (0)1 53 14 59 22 didier(a)xemacs.org

16 years, 10 months

Séminaire Performance et Généricité du LRDE le 30 Avril 2008

by Didier Verna

Chers collègues, la prochaine session du séminaire Performance et Généricité du LRDE (Laboratoire de Recherche et Développement de l'EPITA) aura lieu le 30 Avril 2008. Au programme: * 14h: High-Level Abstractions and Optimization Anya Helene Bagge, Institutt for Informatikk, Universitetet i Bergen, Norway * 15h15: Mouldable Programming Magne Haveraaen, Institutt for Informatikk, Universitetet i Bergen, Norway L'entrée du séminaire est libre. Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/. Merci de bien vouloir diffuser cette information le plus largement possible. Prochaines séances: Mercredi 28 Mai 2008, 14h, amphi 4 * Frédéric Gava, LACL, Université de Paris Est, Créteil * Frédéric Loulergue, LIFO, Université d'Orléans Mercredi 30 Septembre 2008, 14h * Gaétan Hains, LACL, Université de Paris Est, Créteil * Joël Falcou, IEF, Université de Paris-Sud, Orsay -- 5th European Lisp Workshop at ECOOP 2008, July 7: http://elw.bknr.net/2008/ Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (0)1 44 08 01 85 94276 Le Kremlin-Bicêtre, France Fax.+33 (0)1 53 14 59 22 didier(a)xemacs.org

16 years, 11 months

Reminder: [CFP] 5th European Lisp Workshop, July 7 2008, Cyprus

by Didier Verna

+------------------------------------------------------------+ | CALL FOR PAPERS | | 5th European Lisp Workshop | | July 7, Paphos, Cyprus - co-located with ECOOP 2008 | +------------------------------------------------------------+ Important Dates: **************** Submission deadline (papers & breakout groups): May 04, 2008 Notification of acceptance: May 19, 2008 ECOOP early registration deadline: June 01, 2008 5th European Lisp Workshop: July 07, 2008 For more information visit http://elw.bknr.net/2008/ Contact: Didier Verna, didier(a)lrde.epita.fr Organizers ********** Didier Verna, EPITA Research and Development Laboratory, Paris Christophe Rhodes, Goldsmiths College, University of London Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel Hans Hübner, Software Developer, Berlin Overview ******** "...Please don't assume Lisp is only useful for Animation and Graphics, AI, Bioinformatics, B2B and E-Commerce, Data Mining, EDA/Semiconductor applications, Expert Systems, Finance, Intelligent Agents, Knowledge Management, Mechanical CAD, Modeling and Simulation, Natural Language, Optimization, Research, Risk Analysis, Scheduling, Telecom, and Web Authoring just because these are the only things they happened to list." -- Kent Pitman Lisp is one of the oldest computer languages still in use today. In the decades of its existence, Lisp has been a fruitful basis for language design experiments as well as the preferred implementation language for applications in diverse fields. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch. Common Lisp, with the Common Lisp Object System (CLOS), was the first object-oriented programming language to receive an ANSI standard and retains the most complete and advanced object system of any programming language, while influencing many other object-oriented programming languages that followed. It is clear that Lisp is gaining momentum: there is a steadily growing interest in Lisp itself, with numerous user groups in existence worldwide, and in Lisp's metaprogramming notions which are being transferred to other languages, as for example in Aspect-Oriented Programming, support for Domain-Specific Languages, and so on. This workshop will address the near-future role of Lisp-based languages in research, industry and education. We solicit papers and suggestions for breakout groups that discuss the opportunities Lisp provides to capture and enhance the possibilities in software engineering. We want to promote lively discussion between researchers proposing new approaches and practitioners reporting on their experience with the strengths and limitations of current Lisp technologies. The workshop will have two components: there will be formally-presented talks, and breakout groups discussing or working on particular topics. Additionally, there will be opportunities for short, informal talks and demonstrations on experience reports, underappreciated results, software under development, or other topics of interest. Papers ****** Formal presentations in the workshop should take between 20 minutes and half an hour; additional time will be given for questions and answers. We encourage that papers be published on the website, to provide all participants with background information in advance. Suggested Topics: - New language features or abstractions - Experience reports or case studies - Protocol Metaprogramming and Libraries - Educational approaches - Software Evolution - Development Aids - Persistent Systems - Dynamic Optimization - Implementation techniques - Innovative Applications - Hardware Support for Lisp systems - Macro-, reflective-, meta- and/or rule-based development approaches - Aspect-Oriented, Domain-Oriented and Generative Programming Breakout Groups *************** The workshop will provide for the opportunity to meet face to face and work on focused topics. We will organize these breakout groups and provide for rooms and infrastructure. Suggested Topics for Breakout Groups: - Lisp Infrastructure Development and Distribution - Language Features (e.g. Predicate Dispatching) - Environments for creating web applications - Brainstorming sessions for new or existing open source projects - Persistence Systems - Compiler technology - Lisp on bare metal / Lisp hardware / Lisp operating systems - Compare and enhance curricula for computer science education Submission Guidelines ********************* Potential attendees are encouraged to submit: - a long paper (10 pages) presenting scientific and/or empirical results about Lisp-based uses or new approaches for software engineering purposes, - a short essay (5 pages) defending a position about where research, practice or education based on Lisp should be heading in the near future, - a proposal for a breakout group (1-2 pages) describing the theme, an agenda and/or expected results. Submissions should be mailed as PDF to Didier Verna (didier(a)lrde.epita.fr) before the submission deadline. -- Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (0)1 44 08 01 85 94276 Le Kremlin-Bicêtre, France Fax.+33 (0)1 53 14 59 22 didier(a)xemacs.org

16 years, 11 months

Accepted paper at ELS 2008

by Didier Verna

It is my pleasure to inform you that my paper entitled "Binary Methods: the CLOS Perspective" has just been accepted to the first European Lisp Symposium (Bordeaux, May 22-23 2008). Abstract follows. Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise regarding the relationship between types and classes in the context of inheritance, or the need for privileged access to the internal representation of objects. Most of these problems occur in the context of statically typed languages that lack multi-methods (polymorphism on multiple arguments). The purpose of this paper is twofold: first, we show why some of these problems are either non-issues in Common Lisp, or trivially solved. Then, we demonstrate how the Common Lisp Object System (CLOS) allows us not only to implement binary methods in a straightforward way, but also to support the concept directly, and even enforce it at different levels (usage or implementation). -- 5th European Lisp Workshop at ECOOP 2008, July 7: http://elw.bknr.net/2008/ Didier Verna, didier(a)lrde.epita.fr, http://www.lrde.epita.fr/~didier EPITA / LRDE, 14-16 rue Voltaire Tel.+33 (0)1 44 08 01 85 94276 Le Kremlin-Bicêtre, France Fax.+33 (0)1 53 14 59 22 didier(a)xemacs.org

16 years, 12 months

L'air de rien 13

by Daniela Becker

Bonjour, nous avons le plaisir de vous présenter le n°13 du bulletin du LRDE. Ce numéro présente les dernières actualités du LRDE, comme la future participation au projet SCRIBO dans le cadre du Groupe Thématique Logiciel Libre du pôle de compétitivité System@tic Paris-Région. SCRIBO s'inscrit dans le domaine du traitement d'images. Vous lirez également dans ce numéro d'où viennent les appellations "bit" et "octet" et combien de valeurs différentes peut coder un octet. Si vous avez l'âme d'un joueur vous serez intéressé par la manière d'atteindre un équilibre de Nash dans les jeux à plusieurs joueurs. Sont présentés également plusieurs articles scientifiques qui ont été acceptés à des conférences internationales. Par ailleurs, un membre du labo a démarré une thèse en janvier 2008. Et c'est nouveau, vous pouvez désormais réagir en écrivant un courrier à la rédaction. Vous pouvez télécharger le bulletin en couleur à la page suivante : http://publis.lrde.epita.fr/200803-l-air-de-rien-13 -- Daniela Becker

17 years

← Newer
1
...
45
46
47
48
49
50
51
...
57
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Annonce