- Annonce

Journée "Logiciels libres et enseignement supérieur" 2 février 2012
by Daniela Becker 25 Jan '12

25 Jan '12

L'IRILL organise une journée de conférences et de discussions sur l'enseignement de technologies des logiciels libres dans l'enseignement supérieur. Le LRDE participera à cet événement qui aura lieu le jeudi 2 février 2012 dans les locaux de l'IRILL à l'antenne parisienne de l'INRIA, 23, avenue d'Italie, 75013 Paris. Pour en savoir plus : http://www.irill.org/events/lsoc-logiciels-libres-et-enseignement-superieur -- Daniela Becker Responsable administrative du LRDE

1 0

Patcher 4.0 is released
by Didier Verna 17 Jan '12

17 Jan '12

Hello, I'm happy to announce the release of Patcher 4.0. This is a major release introducing many new changes and enhancements. Patcher is a tool designed to automate and ease the maintenance of archive-based projects. It provides assistance in building, reporting and committing patches, as well as in handling the corresponding ChangeLog entries, for example by creating skeletons. Patcher is the official tool for XEmacs development. New in this release: ** NEW FEATURES - Support floating projects and temporary relocation allowing to use the same project descriptor for various directories. - Support for automatic detection of submodules via the :submodule-detection-function project option and the patcher-detect-submodules function. Currently supported RCS submodules are Mercurial and Git via the functions 'patcher-[hg|git]-detect-submodules. - Support ephemeral ChangeLogs thanks to a new :change-logs-status project option. Ephemeral ChangeLogs are not stored in ChangeLog files, but exist only temporarily for mail or log message insertion (See ChangeLogs Status in the documentation). - ChangeLog minor mode providing easy navigation through the mail/ChangeLog buffers cycle via C-c C-p n, C-c C-p p, C-c C-p N, C-c C-p P and C-c C-p m (See ChangeLogs Navigation in the documentation). - Support for switching to mail buffer and inserting ChangeLogs at once via C-c C-p l from ChangeLog buffers. - patcher-mail-insert-change-logs gets a prefix argument allowing to temporarily change the ChangeLogs appearance. It also supports inserting ChangeLogs even when the project is set not to. - Additional binding for patcher-logmsg-commit: C-c C-p c - Commit command buffer is now editable Commit is done via C-c C-p c or C-c C-c (patcher-cmtcmd-commit). - Fontification of commit command and log message buffers with comment syntax and initial informative help. See new Patcher faces. - Support for commit or log message canceling via C-c C-z. - Support for project abortion via C-c C-p k or C-c C-k in all relevant buffers, including ChangeLogs. - Support Subject: header modification in mail adaptation routines via a new project option :subject-rewrite-format. - Support project-wide dynamic subject modification via C-c C-p S in both mail and log message buffers. - Implement :kill-source-files-after-sending project option - Support for source file saving - Support for CVS diff's broken exit code policy via a new project option: :ignore-diff-status. * FIXES AND IMPROVEMENTS - Improved support for temporary subprojects making them behave like permanent ones (with a specific subdirectory and set of files). - Much better error handling including exit code checking for external processes. - Improved support for overlapping Patcher instances through buffer and file referencing for both ChangeLog and source files. - Documentation rewrite and sections organization cleanup - More checks for project consistency including missing or spurious ChangeLog entries, source diffs, undiffable and uncommittable projects etc. - Improved project rediffing including support for partially generated ChangeLog skeletons, and interactive prompting for skeleton un/re-generation. * BACKWARD INCOMPATIBLE CHANGES - Mercurial themes renamed from 'mercurial to 'hg in order to remain consistent with the other RCS theme names. - ChangeLogs insertion in mail buffers rebound to C-c C-p l - Compressed ChangeLogs insertion in logmsg buffers rebound to C-c C-p L - Removed directory-sep-char hacks until the need for it raises again. Probably better implemented via project options anyway. - Diff commands can no longer be changed from patcher-mail-[adapt] but instead, the prefix argument allows for temporary subproject specification. - patcher-*-subproject entry points removed since they are no longer needed (see above). - Removed :kill-source-file-after-diffing option - :kill-source-files-after-sending renamed to :kill-sources-after-sending - patcher-mail-check-change-logs-insertion is now a project option named :check-change-logs-insertion. - patcher-mail-check-commit-action is now a project option named :check-commit. - :change-logs-diff-command option now understands nil instead of 'diff - The 'packed ChangeLogs appearance has been renamed to 'pack -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22

1 0

ACCU 2012 session on language extensibility
by Didier Verna 03 Jan '12

03 Jan '12

Hello, and happy new year to all ! I'm pleased to announce that I will hold a 90 minutes session at the next ACCU conference in Oxford, April 2012. The session's topic is given below: Impact of Extensibility on Domain Specific Language Design and Implementation Domain-specific languages (DSLs) are usually very different from the general purpose language (GPL) in which the embedding application is written. The need for designing a DSL as a completely new language often comes from the lack of extensibility of the chosen GPL. By imposing a rigid syntax, a set of predefined operators and data structures, the traditional GPL approach leaves no choice but to implement a DSL as a different language, with its own lexical and syntactic parser, semantic analyzer and possibly its own brand new interpreter or even compiler. Some GPLs, however, are extensible or customizable enough to let one implement a DSL merely as either a subset or an extension of the original language. While the end-user does not see a difference with the traditional approach, the gain for the developer is substantial. Since the DSL is now just another entry point for the same original GPL, there is essentially only one application written in only one language to maintain. Moreover, no specific language infrastructure (parser, interpreter, compiler etc.) is required for the DSL anymore, since it is simply expressed in terms of the original GPL. The purpose of this presentation is to illustrate the most important factors that make a language truly extensible, and to show how extensibility impacts the process of DSL design and implementation. -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bicêtre, France Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22

1 0

Le Rapport d'activité du LRDE disponible
by Daniela Becker 07 Dec '11

07 Dec '11

Bonjour, Nous avons le plaisir de vous annoncer que le Rapport d'activité du LRDE est désormais disponible sur notre site. Il retrace l'histoire et les activités du LRDE depuis sa création en 1998 jusqu'en 2010. Vous pouvez le télécharger ici : http://www.lrde.epita.fr/dload/rapport_activite/ra2010.pdf -- Daniela Becker Responsable administrative du LRDE

1 0

Spot 0.8 has been released
by Alexandre Duret-Lutz 28 Nov '11

28 Nov '11

We are pleased to announce the release of Spot 0.8. Spot is a model-checking library developed collaboratively by LRDE and LIP6. It provides algorithms and data structures to implement the automata-theoretic approach to LTL model checking. Although this version contains a few new features, this should really be regarded as a maintenance release to fix a series of bugs that have been reported over the last few months. You can find the new release here: http://spot.lip6.fr/dl/spot-0.8.tar.gz New in spot 0.8 (2011-11-28): * Major new features: - Spot can read DiVinE models. See iface/dve2/README for details. - The genltl tool can now output 20 different LTL formula families. It also replaces the LTLcounter Perl scripts. - There is a printer and parser for Kripke structures in text format. * Major interface changes: - The destructor of all states is now private. Any code that looks like "delete some_state;" will cause an compile error and should be updated to "some_state->destroy();". This new syntax is supported since version 0.7. - The experimental Nips interface has been removed. * Minor changes: - The dotty_reachable() function has a new option "assume_sba" that can be used for rendering automata with state-based acceptance. In that case, acceptance states are displayed with a double circle. ltl2tgba (both command line and on-line) Use it to display degeneralized automata. - The dotty_reachable() function will also display transition annotations (as returned by the tgba::transitition_annotation()). This can be useful when displaying (small) state spaces. - Identifiers used to name atomic proposition can contain dots. E.g.: X.Y is now an atomic proposition, while it was understood as X&Y in previous versions. - The Doxygen documentation is no longer built as a PDF file. * Internal improvements: - The on-line ltl2tgba CGI script uses a cache to produce faster answers. - Better memory management for the states of explicit automata. Thanks to the aforementioned ->destroy() change, we can avoid cloning explicit states. - tgba_product has learned how to be faster when one of the operands is a Kripke structure (15% speedup). - The reduction rule for "a M b" has been improved: it can be reduced to "a & b" if "a" is a pure eventuallity. - More useless acceptance conditions are removed by SCC simplifications. * Bug fixes: - Safra complementation has been fixed in cases where more than one acceptance conditions where needed to convert the deterministic Streett automaton as a TGBA. - The degeneralization is now idempotent. Previously, degeneralizing an already degeneralized automaton could add some states. - The degeneralization now has a deterministic behavior. Previously it was possible to obtain different output depending on the memory layout. - Spot now outputs neverclaims with fully parenthesized guards. I.e., instead of (!x && y) -> goto S1 it now outputs ((!(x)) && (y)) -> goto S1 This prevents problems when the model defines `x' as #define x flag==0 because !x then evaluated to (!flag)==0 instead of !(flag==0). -- Alexandre Duret-Lutz

1 0

Soutenance de thèse de Roland Levillain
by Daniela Becker 14 Nov '11

14 Nov '11

Bonjour à tous, Roland Levillain a le plaisir de vous inviter à sa soutenance de thèse intitulée « Vers une architecture logicielle pour le traitement d'images générique » (``Towards a Software Architecture for Generic Image Processing''). Celle-ci aura lieu le 15 novembre 2011 à 14h00 dans l'amphithéâtre 110 de l'ESIEE Paris, située au 2, boulevard Blaise Pascal, Cité Descartes, à Noisy-le-Grand (93). Vous trouverez un plan d'accès à l'école à l'adresse suivante : http://www.esiee-paris.fr/acces/ La soutenance sera suivie d'un pot. Composition du jury de thèse ---------------------------- Rapporteurs : * Jacques-Olivier Lachaud (Université de Savoie) * David Coeurjolly (CNRS-LIRIS) * Ullrich Köthe (Université de Heidelberg) Examinateurs : * Étienne Decencière (École des Mines de Paris) * Gilles Roussel (Université Paris-Est Marne-la-Vallée) * Karl Tombre (Inria Nancy - Grand Est) Directeurs de thèse : * Laurent Najman (ESIEE Paris - Université Paris-Est Marne-la-Vallée) * Thierry Géraud (EPITA) Résumé de la thèse ------------------ Dans le cadre du génie logiciel en traitement d'images (TDI), nous nous intéressons à la notion de réutilisabilité des algorithmes. Dans de nombreux outils logiciels, l'implémentation d'un algorithme est souvent dépendante du type des données traitées. Au sens le plus général, les formes que peuvent prendre les images numériques discrètes sont nombreuses (image 2D classiques, volumes 3D, graphes non réguliers, complexes cellulaires, etc.) conduisant à une explosion combinatoire du nombre théorique d'implémentations. La programmation générique (PG) est un cadre adapté au développement d'outils logiciels réutilisables. Nous présentons un paradigme de programmation basé sur la PG conçu pour la création de logiciels scientifiques tels ceux dédiés au TDI. Cette approche concilie réutilisabilité, puissance d'expression, extensibilité et performance. Nous proposons ensuite une architecture logicielle pour le TDI basée sur ce paradigme de programmation, s'appuyant sur une bibliothèque générique de TDI. Les fondations de ce cadre définissent des concepts fondamentaux du TDI, qui permettent l'écriture d'algorithmes réutilisables sur de nombreux types d'images. Nous présentons enfin une stratégie pour construire des outils haut niveau au dessus de cette bibliothèque tels que des ponts vers des langages dynamiques ou des interfaces graphiques. Ce mécanisme est conçu pour préserver la généricité et la performance des outils logiciels sous-jacents, tout en permettant un usage plus simple et plus flexible de ceux-ci. Amicalement, Roland Levillain -- Roland Levillain - LRDE/EPITA - A3SI/ESIEE/LIGM/Université Paris-Est Laboratoire de Recherche et Développement de l'EPITA (LRDE) 14-16, rue Voltaire - 94276 Le Kremlin-Bicêtre Cedex Tél. : 01 53 14 59 45 - Fax : 01 53 14 59 22 - www.lrde.epita.fr -- Daniela Becker Responsable administrative du LRDE

1 0

[Seminaire-LRDE] Séminaire Performance et Généricité du LRDE le Mercredi 16 novembre 2011
by Jonathan Fabrizio 07 Nov '11

07 Nov '11

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 Mercredi 16 novembre 2011 (14h-16h). Au programme: * 14h: Interactive 2D and 3D Segmentation with ilastik -- Ullrich Köthe http://www.ilastik.org The ilastik system developed by our group uses machine learning and simple interaction techniques to empower users without special image processing expertise to segment and analyze their 2- and 3-dimensional image data on their own. It offers a number of easy-to-use workflows for various common analysis tasks. The talk will present two of these workflows (“interactive classification” and “region carving”), going from an online demonstration of the high-level user experience down to the algorithmic and software design details. Special emphasis will be put on aspects of genericity and parallelization which facilitate convenient adaptation of basic building blocks to different contexts without loss of performance. Examples from challenging biological applications will illustrate our system's capabilities. -- Ullrich Köthe is a senior researcher in the Multidimensional Image Processing Group at the Interdisciplinary Centre for Scientific Computing of the University of Heidelberg, Germany, where he heads advanced research on image and data analysis for industry and the life sciences. Formerly, he was with the Cognitive Systems Group at the University of Hamburg (1999-2007) and with the Fraunhofer-Institute for Computer Graphics in Rostock (1992-1999). -- Ullrich Köthe's main field of research is the development of user-friendly image analysis methods. He is interested in all techniques that facilitate genericity and re-usability, from machine learning and probabilistic modeling to generic programming and empirical performance evaluation. Dr. Köthe is the originator and maintainer of the open-source image analysis library VIGRA and co-developer of the interactive ilastik toolkit, which have been designed to put these ideas into practice. Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/. L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette information le plus largement possible. _______________________________________________ Seminaire mailing list Seminaire(a)lrde.epita.fr https://www.lrde.epita.fr/mailman/listinfo/seminaire

1 0

Soutenance de thèse de Charles Deledalle
by Charles Deledalle 27 Oct '11

27 Oct '11

Bonjour à tous, J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée "Débruitage d'images au-delà du bruit additif gaussien - Estimateurs à patchs et leur application à l'imagerie SAR" qui se déroulera le mardi 15 novembre à 10H30 en salle B312 à Télécom ParisTech, 46 rue Barrault, 75013 Paris. Cette thèse sera soutenue devant le jury composé de : Rapporteurs: * Jose Bioucas Dias (Instituto de Telecomunicações) * Jean-Michel Morel (ENS Cachan) * Philippe Réfrégier (Ecole centrale de Marseille) Examinateurs: * Laure Blanc-Féraud (CNRS -- Sophia Antipolis) * Jean-François Giovannelli (Univiversité Bordeaux 1) * Andreas Reigber (German Aerospace Center, DLR) Directeurs de thèse: * Loïc Denis (Télécom Saint-Etienne) * Florence Tupin (Télécom ParisTech) La soutenance sera suivie par un pot, auquel vous êtes également chaleureusement invités. Cordialement, Charles Deledalle ========================== Résumé de la thèse: Le bruit dans les images limite souvent l'interprétation visuelle ou automatique de la scène. Le chatoiement ou "speckle" en imagerie radar à synthèse d'ouverture (RSO) et le bruit de grenaille ou "shot noise" en imagerie à faible luminosité sont deux exemples de fortes corruptions qui nécessitent l'utilisation de techniques de débruitage. Les vignettes ou "patchs" sont de petites imagettes qui capturent à la fois les textures et les structures locales. Bien qu'étant assez rudimentaires (comparées à des descripteurs de plus haut niveau), elles ont mené à de puissantes approches de traitement d'images tirant parti de la redondance naturelle des images. Les méthodes à patchs représentent l'état-de-l'art des méthodes de débruitage. La technique classique de débruitage à patchs, les moyennes non-locales (NL), est conçue pour les images corrompues par du bruit additif gaussien (c-à-d., pour des fluctuations symétriques, indépendantes du signal et sans valeurs extrêmes). Les moyennes NL ne peuvent pas être appliquées directement sur des images corrompues par un bruit non-gaussien surtout pour des distributions asymétriques, dépendantes du signal et à queues lourdes telles que le bruit de chatoiement et le bruit de grenaille. Le but de cette thèse est de combler le fossé entre les méthodes de débruitage à patchs, restreintes au bruit gaussien, et les techniques dédiées aux images RSO. Après avoir examiné les techniques de débruitage d'image pour le bruit gaussien puis non-gaussien, nous proposons une extension des moyennes NL qui s'adapte à la distribution d'un bruit donné. Au-delà du problème du débruitage d'image, nous étudions le problème de la comparaison de patchs sous conditions non-gaussiennes. La plupart des tâches de vision par ordinateur requièrent de mettre en correspondance des parties d'images. Nous introduisons un critère de similarité fondé sur le rapport de vraisemblance généralisé et nous illustrons son efficacité sur différentes applications dont la détection, la vision stéréoscopique et le suivi de mouvement. Ce critère est au coeur de l'estimateur à patchs proposé. Un schéma itératif est élaboré pour faire face aux fortes corruptions de bruit et nous développons une méthode non-supervisée pour le réglage des paramètres. Notre approche mène à des résultats de débruitage état-de-l'art en imagerie RSO pour les images d'amplitude, ainsi que les données interférométriques ou polarimétriques. La technique proposée est appliquée avec succès sur l'un des derniers capteurs aérien RSO: F-SAR de l'agence aérospatiale allemande (DLR). Les images avec de forts contrastes souffrent d'un artéfact de débruitage de type "halo de bruit" dû à l'absence de patchs similaires dans les environs de certaines structures. Ce bruit résiduel peut être réduit en considérant des patchs avec des formes d'échelle et d'orientation variées. La sélection locale des formes pertinentes permet d'améliorer la qualité du débruitage, surtout à proximité des contours. Abstract: Noise in images often limits visual and automatic interpretation of the scene. Speckle in synthetic aperture radar (SAR) imagery and shot noise in photon-limited imagery are two examples of strong corruptions that require the use of denoising techniques. Patches are small image parts that capture both textures and local structures. Though being crude low-level features (compared to higher level descriptors), they have led to very powerful image processing approaches by exploiting the natural redundancy of images. Patch-based methods achieve state-of-the-art denoising performance. The classical patch-based denoising technique non-local (NL) means is designed for images corrupted by an additive Gaussian noise (i.e., fluctuations being symmetrical, signal-independent without outliers). NL means cannot be applied directly on images corrupted by a non-Gaussian process especially with non-symmetrical distribution, signal-dependence and heavy-tail such as speckle and shot noise. The goal of this thesis is to bridge the gap between patch-based denoising methods restricted to Gaussian noise and techniques dedicated to SAR despeckling. After reviewing image denoising techniques for Gaussian noise and for non-Gaussian noise, we propose an extension of the NL means that adapts to a given noise distribution. Besides the problem of image denoising, we study the problem of patch comparison under non-Gaussian conditions. Many tasks in computer vision require matching image parts. We introduce a similarity criterion grounded on the generalized likelihood ratio test and illustrate its effectiveness on different applications including detection, stereo-vision and motion-tracking. This criterion is at the heart of the proposed patch-based estimator. An iterative scheme is proposed to deal with strong noise corruptions and we develop an unsupervised method for parameter setting. Our approach leads to state-of-the-art denoising results in SAR imagery for amplitude images, as well as interferometric or polarimetric data. The proposed technique is applied successfully to one of the latest aerial SAR sensor: F-SAR from the German Aerospace Center (DLR). Images with strong contrasts suffer from denoising artefacts known as noise halo due to the absence of similar patches in the vicinity of some structures. This residual noise can be reduced by considering patches with shapes of various scales and orientations. Local selection of relevant shapes leads to an improved denoising quality, especially close to edges. -- Charles Deledalle http://perso.telecom-paristech.fr/~deledall/

1 0

[Seminaire-LRDE] Séminaire Performance et Généricité du LRDE le Mercredi 26 octobre 2011
by Jonathan Fabrizio 24 Oct '11

24 Oct '11

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 Mercredi 26 octobre 2011 (14h-15h30). Au programme: * 14h: Pourquoi Javascript est-il aussi rapide/lent ? -- Nicolas Pierron http://www.mozilla-europe.org/fr/ Cette présentation montre comment Javascript, un langage dynamique, interprété et non-typé, fait pour être aussi rapide et quels sont les avancées qu'il reste encore à faire pour obtenir des performances identiques au langage C. Pour illustrer cette présentation, on s’intéressera à l’évolution du navigateur Mozilla Firefox et aux différentes approches pour résoudre ce problème. -- Diplômé de la promotion CSI 2008 de l'EPITA, Nicolas Pierron travaille actuellement à Mozilla Paris sur le nouveau moteur Javascript IonMonkey. Pour plus de renseignements, consultez http://seminaire.lrde.epita.fr/. L'entrée du séminaire est libre. Merci de bien vouloir diffuser cette information le plus largement possible. _______________________________________________ Seminaire mailing list Seminaire(a)lrde.epita.fr https://www.lrde.epita.fr/mailman/listinfo/seminaire

1 0

L'air de rien 23
by Daniela Becker 19 Oct '11

19 Oct '11

Bonjour, nous avons le plaisir de vous présenter le n°23 du bulletin du LRDE. Nous y parlons des deux nouveaux membres du LRDE : un doctorant et un post-doc se joignent à notre équipe. Vous lirez un bilan des travaux effectués dans le cadre du projet SCRIBO. L'un des étudiants CSI propose une présentation sur Javascript le mardi 25 octobre. Vous trouverez également les dernières publications du LRDE dans ce numéro. Et une autre date à retenir : le mardi 15 novembre aura lieu la soutenance de thèse de Roland Levillain. Vous pouvez télécharger le bulletin en couleur à la page suivante : http://publis.lrde.epita.fr/201110-l-air-de-rien-23 -- Daniela Becker Responsable administrative du LRDE

1 0