Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

Seminar/2014-02-05 + (Le Web a subi en quelques années une évolu … Le Web a subi en quelques années une évolution radicale, passant d'uneplateforme de données à une plateforme d'applications. Mais la plupart desoutils de programmation n'ont pas été conçus pour cette nouvelle vision duWeb.Le projet Ocsigen a pour but d'inventer de nouvelles techniques deprogrammation adaptées aux besoins des sites Web modernes et desapplications Web distribuées. Il permet de programmer les parties client etserveur dans le même langage, et même, comme une seule et mêmeapplication. La puissance expressive du langage OCaml permet d'introduireune abstraction des technologies sous-jacentes dans le but de simplifier laprogrammation d'interactions Web complexes. Le système de types très avancédu langage permet d'améliorer la fiabilité des programmes et le respect desstandards. Cela permet aussi de réduire beaucoup le temps dedéveloppement.Cet exposé donnera un aperçu global du projet et montrera comment écrire unexemple d'application simple.nt écrire un exemple d'application simple.)
Seminar/2014-03-12 + (Le Web a subi en quelques années une évolu … Le Web a subi en quelques années une évolution radicale, passant d'uneplateforme de données à une plateforme d'applications. Mais la plupart desoutils de programmation n'ont pas été conçus pour cette nouvelle vision duWeb.Le projet Ocsigen a pour but d'inventer de nouvelles techniques deprogrammation adaptées aux besoins des sites Web modernes et desapplications Web distribuées. Il permet de programmer les parties client etserveur dans le même langage, et même, comme une seule et mêmeapplication. La puissance expressive du langage OCaml permet d'introduireune abstraction des technologies sous-jacentes dans le but de simplifier laprogrammation d'interactions Web complexes. Le système de types très avancédu langage permet d'améliorer la fiabilité des programmes et le respect desstandards. Cela permet aussi de réduire beaucoup le temps dedéveloppement.Cet exposé donnera un aperçu global du projet et montrera comment écrire unexemple d'application simple.nt écrire un exemple d'application simple.)
Seminar/2016-02-17 + (Le cloud computing donne accès à des resso … Le cloud computing donne accès à des ressources de stockage et decalcul quasiment illimitées, pour un coût toujours plus bas. Devantl’explosion de la quantité des données générées et le besoin de réagirtoujours plus vite, il n’a jamais été aussi facile d’accéder auxtechnologies de traitement massif.Nous illustrerons de nombreux cas d’usage du cloud : Hadoop,dataware-house de plusieurs Po, traitement temps réel de millionsd’événements par seconde, IOT, Machine Learning…En particulier, l’utilisation d’algorithmes massivement parallèlesprend toute son importance et permet de tirer pleinement parti del’élasticité du cloud, par exemple: Monte-Carlo dans le domainefinancier, modélisation de protéines en 3D pour du screening, analysegénomique, analyse de logs…ening, analyse génomique, analyse de logs…)
Seminar/2013-05-22 + (Le compilateur GCC est extensible via des … Le compilateur GCC est extensible via des greffons (plugins) depuisplusieurs années. Mais c'est un logiciel libre complexe (de 10MLOC) etencore en évolution, dont on décrira grossièrement l'architecture. Écriredes greffons en C est fastidieux.Le language d'extension MELT (domain specific language) permet d'étendremoins péniblement le compilateur GCC. Il offre une syntaxe régulière etsimple, inspirée de LISP. MELT est traduit en du code C (ou C++) adapté auxinternes de GCC et son implémentation (en logiciel libre) estauto-amorcée. Il offre des traits permettant des styles de programmation dehaut niveau (styles fonctionnel, objet, réflexif).On décrira un peu l'implémentation de MELT, sa syntaxe et ses traitscaractéristiques, et les exemples d'extensions.téristiques, et les exemples d'extensions.)
Seminar/2008-11-05 + (Dans un intergiciel schizophrène, une repr … Dans un intergiciel schizophrène, une représentation intermédiairedes interactions entre composants applicatifs est construite etmanipulée. Cette représentation est neutre vis-à-vis du choix d'unepersonnalité application (interface entre les composants etl'intergiciel) et d'une personnalité protocolaire (interface entreintergiciels distants). Elle rend possible le découplage entre cesdeux aspects.Cette représentation doit préserver la structure des données associéesaux interactions. Cependant, sa construction in extenso s'avère coûteusedans le cas de données composites complexes. Cette conversion peut êtreéconomisée en remplaçant la réplication complète de la structure par ladéfinition d'un emballage « fantôme » autour de celle-ci (et de chacunde ses composants) : il suffit que cet emballage fournisse les accesseurspermettant de parcourir la structure et de construire un message lareprésentant.Après avoir présenté un exemple concret de représentation neutredes données structurées, nous montrons comment cette optimisationpeut être mise en oeuvre pour réaliser de manière efficace lafonction de représentation dans un intergiciel schirophrène. Nousconcluons cette discussion par une évaluation du gain de performanceainsi obtenu.ation du gain de performance ainsi obtenu.)
Seminar/2012-07-04 + ((Morphological Filtering in Shape Spaces: … (Morphological Filtering in Shape Spaces: Applications using Tree-Based ImageRepresentations)Connected operators are filtering tools that act by merging elementaryregions of an image. A popular strategy is based on tree-based imagerepresentations: for example, one can compute a shape-based attribute oneach node of the tree and keep only the nodes for which the attribute issufficiently strong. This operation can be seen as a thresholding of thetree, seen as a graph whose nodes are weighted by the attribute. Rather thanbeing satisfied with a mere thresholding, we propose to expand on this idea,and to apply connected filters on this latest graph. Consequently, thefiltering is done not in the image space, but in the space of shapes builtfrom the image. Such a processing is a generalization of the existingtree-based connected operators. Indeed, the framework includes classicalexisting connected operators by attributes. It also allows us to propose aclass of novel connected operators from the leveling family, based on shapeattributes. Finally, we also propose a novel class of self-dual connectedoperators that we call morphological shapings.ators that we call morphological shapings.)
Seminar/2009-12-02 + (Le processeur CELL BE développé par le con … Le processeur CELL BE développé par le consortium IBM, Sony et Toshibaa eu un impact important dans le monde du calcul scientifique maisaussi dans le monde du jeu. Il est le processeur de base de lapremière machine à avoir atteint 1 Pflops et aussi celui de la PlayStation 3 de Sony. Pour arriver à ce niveau de performance, il intègre9 coeurs hétérogènes interconnectés par un bus. Le coeur principal(PPE) appartient à la famille des PowerPC. Les 8 autres coeurs (SPE)sont spécialisés pour le calcul. Après une présentation détaillée del'architecture du processeur, nous développerons son mode de laprogrammation : lancement de threads de calcul sur les SPE, échange dedonnées, programmation SIMD.E, échange de données, programmation SIMD.)
Seminar/2013-10-09 + (Le réductionnisme est une technique réalis … Le réductionnisme est une technique réaliste de conception et implantationde vrais langages de programmation, et conduit à des solutions plus facilesà étendre, expérimenter et analyser. Je vais décrire la conception etl'implantation de GNU epsilon, un langage de programmation extensible, basésur un langage-noyau minimaliste impératif du premier ordre, équipé demécanismes d'abstraction forts et avec des possibilités de réflexion etauto-modification. Le langage peut être étendu à des niveaux très hauts: enutilisant des macros à la Lisp et des transformations de code à coderéécrivant les expressions étendues en expressions-noyau, on arrive àajouter les clôtures et les continuations de première classe au dessus dunoyau.Les programmes qui ne s'auto-modifient pas peuvent être analysésformellement, grâce à la simplicité de la sémantique. Je vais parlerrapidement d'une analyse statique dont j'ai prouvé une propriété de«soundness» par rapport à la sémantique dynamique. Le langage se prête à uneimplantation efficace: je vais montrer un prototype de compilateur natifparticulièrement simple.compilateur natif particulièrement simple.)
Seminar/2010-06-02 + (Le traitement d'images est par nature un p … Le traitement d'images est par nature un procédé discret, au coursduquel un signal continu est décomposé en un ensemble de pixels, ou devoxels pour des images tri-dimensionnelles. Au niveau géométrique, cettenature discrète pose peu de problèmes, car la plupart des opérationsgéométriques sont indépendantes de la grille sous-jacente ; au niveautopologique, le problème est tout autre. Deux des notions fondamentalesde la topologie, le voisinage et la connexité, sont radicalementdifférentes entre un espace continu et un espace discret : il est entreautres impossible de subdiviser un voisinage discret de façon infiniecomme c'est le cas dans un espace euclidien.Bien que certaines bibliothèques de traitement d'images contiennent desalgorithmes topologiques, notamment de squelettisation, le type devoisinage utilisé par ces algorithmes est généralement fixé par le code,ce qui empêche une adaptation facile à un autre type de connexité ou àun espace de dimension différente.Ce séminaire présente une méthode générique pour intégrer les notionsdiscrètes de voisinage et de connexité à une bibliothèque de traitementd'images programmée en C++. Je montrerai également comment obtenir defaçon simple un algorithme de squelettisation homotopique en utilisantces notions.tion homotopique en utilisant ces notions.)
Seminar/2015-10-14 + (Le traitement géométrique 3D temps-réel a … Le traitement géométrique 3D temps-réel a progressivement atteint un niveaude performance rendant un grand nombre de primitives inspirées du traitementdu signal compatible avec les applications interactives. Cela a souvent étérendu possible grâce à la co-conception des opérateurs, des structures dedonnées et du support matériel d’exécution. Parmi les principales classesd'opérateurs géométriques, le filtrage et le sur-échantillonnage (parraffinement) ont été exprimés sous des contraintes temps-réel avecsuccès. Cependant, l'opérateur de sous-échantillonnage - la simplificationadaptative - demeure un cas problématique pour les données nontriviales.Dans ce contexte, nous proposons un nouvel algorithme de simplificationgéométrique rapide basé sur un nouveau concept : les intégrales deMorton. En sommant les quadriques d'erreurs associées aux échantillonsgéométriques selon leur ordre de Morton, notre approche permet d'extraire demanière concurrente les nœuds correspondants à une coupe adaptative dans lahiérarchie implicite ainsi définie, et d'optimiser la position des sommetsdu maillage simplifié en parallèle. Cette méthode est inspirée des imagesintégrales et exploite les avancées récentes en construction et parcourshaute performance de hiérarchies spatiales.L'implémentation GPU de notre approche peut simplifier des maillagescomposés de plusieurs millions d'éléments à un taux de rafraîchissementinteractif, tout en fournissant une géométrie simplifiée de qualitésupérieure aux méthodes uniformes et en préservant notamment les structuresgéométriques saillantes. Notre algorithme est compatible avec les maillagesindexés, les soupes polygonales et les nuages de points, et peut prendre encompte des attributs de surfaces (normal ou couleur par exemple) et desmétriques d'erreurs alternatives.) et des métriques d'erreurs alternatives.)
Seminar/2010-04-28 + (La plupart des frameworks de traitement d' … La plupart des frameworks de traitement d'images ne sont pas assezgénériques pour garantir une réutilisabilité effective des structuresde données et des algorithmes, tout en préservant performances etfacilité d'utilisation, et en restant proche de la théorie. Danscette présentation, nous proposons un cadre logiciel pour letraitement d'images centré sur le paradigme de programmationgénérique, cherchant à répondre tant aux besoins pratiques quethéoriques des scientifiques et des développeurs : la mise au point deméthodes rapides et réutilisables, un niveau de généricité progressif,la possibilité de traiter des ensembles de données volumineux, unegestion de la mémoire automatique et efficace, la vérificationstatique des types, l'orthogonalité des structures de données et desalgorithmes, etc. Cette approche permet aux utilisateurs de concevoiret d'implémenter de nouvelles méthodes délivrées des contrainteshabituellement imposées pas les outils logiciels, de pratiquer desexpériences inter-domaines, de généraliser certains résultats et detransformer facilement des prototypes en de vraies applications. des prototypes en de vraies applications.)
Seminar/2017-03-08 + (Les algorithmes itératifs utilisés lors de … Les algorithmes itératifs utilisés lors de la résolution de problèmes inverses portant sur des gros volumes de données requièrentune accélération significative pour être utilisés en pratique. Sur des exemples d'applications en tomographie X eten déconvolution de signaux 1D (enregistrement sur plusieurs années de données spectrales de Mars) ou 2D (flux vidéo d'une webcam),nous présenterons notre recherche de solutions permettant la parallélisation des calculs la plus efficace possiblesur les processeurs de type "many cores" que sont les GPUs. Nous exposerons ainsi la triple adéquation entrel'architecture des processeurs GPUs (CUDA de Nvidia), la (re)formulation des algorithmes et la (re)structurationdes données que nous avons mises en oeuvre sur différents types d'opérateurs utilisés dans les algorithmesitératifs (projecteur, rétroprojecteur, convolution nD). Par ailleurs, nous montrerons l'attention particulièrequi doit être apportée au goulot d'étranglement lié au temps de transfert entre le PC et les cartes GPUs.Enfin, nous présenterons le découpage des données que nous avons effectué afin de bénéficier pleinementd'un serveur multi-GPUs et apporterons quelques éléments de réponse sur l'utilisation des GPUs couplés à Matlabet des bibliothèques déjà existantes (CUBLAS, NVPP...).thèques déjà existantes (CUBLAS, NVPP...).)
Seminar/2014-02-12 + (Les automates acycliques sont utilisés dan … Les automates acycliques sont utilisés dans tous les logiciels de traitementde la langue naturelle essentiellement pour la représentation des lexiques,des dictionnaires et des interprétations morpho-syntaxiques des textes.Nous présenterons des résultats sur les stratégies de construction, demanipulation et de stockage de ces automates. En particulier un algorithmede construction dynamique.r un algorithme de construction dynamique.)
Seminar/2008-09-14 + (Les besoins croissants en puissance de cal … Les besoins croissants en puissance de calcul exprimés par de nombreuxdomaines scientifiques exercent une pression très forte sur lesarchitectures émergentes, les rendant toujours plus performantes maistoujours plus complexes à maîtriser. Dans ce cadre, le développementd'outils tirant parti des spécificités de ces architectures (quadri-et bientôt octo-coeurs, processeurs Cell ou GPU par exemple) devientune gageure car allier expressivité et efficacité est une tâcheardue. Les travaux exposés ici montrent comment l'utilisation de laprogrammation générative, et en particulier de la méta-programmationtemplate, permet de répondre au problème de performances etd'abstractions.Nous montrerons comment ces techniques ont permis de développer Quaff,un outil de placement automatique d'applications data-flow sur descibles variées comme les clusters, les multi-coeurs ou le processeurCell.s, les multi-coeurs ou le processeur Cell.)
Seminar/2016-03-23 + (Les extensions multimédia (SSE, AVX, NEON) … Les extensions multimédia (SSE, AVX, NEON) sont une composante majeure desprocesseurs d'aujourd'hui qui restent plus que sous-utilisées. Lesprincipales raisons de cette sous-utilisation sont la relative obscurité desjeux d'instructions, leur variété entre et même au sein des différentesfamilles de puces et surtout, une méconnaissance de la disponibilité des cesunités de calculs.Boost.SIMD est une bibliothèque permettant d'exploiter ces extensions demanière efficace et expressive, facilitant l'utilisation, la diffusion et laportabilité de tels codes, ouvrant la porte à des accélérations de l'ordrede 4 à 10 sur un simple cœur.Cet exposé présentera les fonctionnalités de Boost.SIMD, les challengesposés par son implémentation, comment le C++ moderne répond à plusieurs deces problèmes et les éléments bloquants qu'il reste à résoudre.éléments bloquants qu'il reste à résoudre.)
Seminar/2017-12-13 + (Les réseaux de neurones convolutifs connai … Les réseaux de neurones convolutifs connaissent depuis quelques annéesun franc succès dans de nombreuses applications de reconnaissancevisuelle. Nous reviendrons sur les premiers travaux en la matière ensegmentation sémantique (étiquetage de chaque pixel des images par unecatégorie sémantique). Nous explorerons ensuite une pisted'amélioration visant à réduire la quantité de données labeliséesutilisée, à base d'entraînement de réseaux adversaires.Dans un second temps, nous nous intéresserons au problème de laprédiction d'images suivantes dans les vidéos: s'il nous paraitsimple d'anticiper ce qu'il va se passer dans un futur très proche,c'est un problème difficile à modéliser mathématiquement étant donnéesles multiples sources d'incertitude. Nous présenterons nos travaux deprédiction dans le domaine des images naturelles, puis dans l'espaceplus haut niveau des segmentations sémantiques, nous permettant deprédire plus loin dans le futur.ettant de prédire plus loin dans le futur.)
Seminar/2009-04-22 + (SmartEiffel, également connu sous le nom d … SmartEiffel, également connu sous le nom de GNU Eiffel, est à la foisun langage et un ensemble d'outils de compilations, de documentation etde validation.Le langage SmartEiffel vise à favoriser la mise en pratique desprincipales exigences liées au développement d'un gros logiciel parune grande équipe. En plus d'exigences en terme de qualité, desécurité et de documentation, la définition de SmartEiffel estégalement soucieuse de l'efficacité du programme à l'exécution. Ainsi,le modèle des objets qui est à la base du langage intègre égalementles types les plus élémentaires sans surcoût potentiel à l'exécution.Pour sa part, le mécanisme de programmation par contrats qui estessentiel en matière de documentation est également un bon moyen derechercher les meilleures performances à l'exécution.Durant cet exposé, la visite guidée du langage présentera le modèled'objets, la programmation par contrats, la double forme d'héritagemultiple ainsi que le mécanisme des agents.ultiple ainsi que le mécanisme des agents.)
Seminar/2015-02-18 + (L’accroissement exponentiel de la complexi … L’accroissement exponentiel de la complexité technique des logiciels métiersa du mal à être compensée par les progrès du génie logiciel : les coûts etles délais augmentent jusqu’à ce que l’intérêt de l’informatique soitfondamentalement remis en cause dans certains cas, arguments rationnels etlégitimes à l’appui. Cette anomalie épistémologique s’explique pourtant pardes erreurs technologiques récurrentes dans l’histoire, des pièges et desculs-de-sac ralentissant le progrès scientifique. Parmi ces freins : ladette technique, l’utilisation de trop de technologies, trop élitistes pourêtre correctement utilisées en général, et le niveau maximal decompréhension et d’analyse de chaque humain, qui est fortement variable maistoujours plafonné.La technologie Faveod sert à éviter ces freins par la formalisationstructurée et factorisée des besoins métiers, applicatifs et techniques dansun modèle générique et exhaustif. L’analyse continue des évolutionscollaboratives de ce modèle permet la production totalement automatisée etinstantanée de sa traduction technique : l’application cible en cohérence eten qualité. La gestion de la complexité des facteurs influant sur la qualitélogicielle étant déléguée à la technologie, il devient possible d’augmenterson niveau par accumulation linéaire sans dépendre des facteurs humainslimitants.s dépendre des facteurs humains limitants.)
Seminar/2016-11-23 + (L’analyse du mouvement, ou l’analyse d’une … L’analyse du mouvement, ou l’analyse d’une séquence d’images, estl’extension naturelle de l’analyse d’images à l’analyse de séries temporelles d’images.De nombreuses méthodes d’analyse de mouvement ont été développées dans lecontexe de vision par ordinateur, comprenant le suivi de caractéristiques, le flotoptique, l’analyse de points-clefs, le recalage d’image, etc.Dans cet exposé, nous présenterons les outils que nous avonsdéveloppés pour l'analyse de mouvement adaptés à l’analyse de séquencesbiomédicales, et en particulier pour les cellules ciliées. Ces cellules,couvertes de cils qui battent, sont présentes chez l’homme dans les zonesnécessitant des mouvements de fluide. Dans les poumons et les voiesrespiratoires supérieures par exemple, les cils sont responsables de l’épurationmuco-ciliaire, qui permet d’évacuer des poumons la poussière et autresimpuretés inhalées. Les altérations de l’épuration muco-ciliaire peuventêtre liées à des maladies génétiques ou acquises. Ces maladies, touchant les cils,sont potentiellement handicapantes. Elles peuvent cependant êtrecaractérisées par l’analyse du mouvement des cils sous un microscope, avecune résolution temporelle importante. Nous avons développé plusieurs outilset techniques pour réaliser ces analyses de manière automatique et avecune haute précision.e automatique et avec une haute précision.)
Seminar/2017-06-14 + (MAQAO (Modular Assembly Quality Analyzer a … MAQAO (Modular Assembly Quality Analyzer and Optimizer) est une suite d'outils d'analyse et d'optimisation des performancesà destination d'applications binaires. Le but principal de MAQAO est d'analyser des codes binaires puis de proposer auxdéveloppeurs d'applications des rapports synthétiques les aidant à comprendre et optimiser les performances de leur application.MAQAO combine des analyses statiques (évaluation de la qualité du code) et dynamiques (profiling) basées sur la capacitéà reconstruire des structures aussi bien bas niveau (basic blocks, instructions, etc.) que haut niveau (fonctions et boucles). Un autre aspect important de MAQAO est son extensibilité. En effet les utilisateurs peuvent écrire leur propre plugingrâce à un langage de script simple intégré (Lua).un langage de script simple intégré (Lua).)
Seminar/2009-10-21 + (Malgré la grande variété des types de donn … Malgré la grande variété des types de données que l'on rencontre dansle domaine du traitement d'images (1D,2D,3D, scalaires, couleurs,multi-spectrales, séquences, etc...), nous sommes souvent amenés àappliquer des algorithmes très classiques, ou des variations de cesalgorithmes, pour le pré-traitement, l'analyse ou la visualisation deces données images. Par conséquent, les logiciels et les bibliothèquesque nous utilisons dans notre recherche quotidienne, devraientégalement être génériques, afin de s'adapter le mieux possible auxdonnées à traiter. Dans ce séminaire, je présenterai quelques outilsdéveloppés dans cette optique (au laboratoire GREYC, équipe IMAGE),qui possèdent différents niveaux d'utilisations. Je commencerai toutd'abord par présenter CImg, une bibliothèque C++ "template" (doncgénérique par nature), qui a pour but de faciliter l'implémentationd'algorithmes de traitements d'images personnalisés. Puis,j'introduirais G'MIC, un langage de script reprenant la plupart deséléments de CImg, qui est dédié au traitement et à l'analyse d'images"de tous les jours". J'essaierai de montrer comment ces différentsoutils indépendants sont organisés et comment ils cherchent à aider lechercheur ou le programmeur en traitement d'images, autant d'un pointde vue programmation pure que d'un point de vue plus haut niveau.re que d'un point de vue plus haut niveau.)
Seminar/2015-03-11 + (Motivé par de nombreuses applications, all … Motivé par de nombreuses applications, allant de la cryptographie aucalcul mathématique, le calcul formel s'est fortement développé cesdernières années tant au niveau des algorithmes que des implantationsefficaces. L'efficacité des calculs repose sur celle de bibliothèquesdédiées, pour certaines opérations de base, comme l'algèbre linéairedans un corps fini ou avec des entiers multi-précision. Devant lamultiplicité des domaines de calcul et des variantes algorithmiquesdisponibles, la conception de ces bibliothèques doit concilier uneforte généricité avec l'efficacité.Nous allons présenter comment cette problématique est abordée dans lesbibliothèques d'algèbre linéaire exacte FFLAS-FFPACK (2) et LinBox(3). Après une présentation générale de ces projets, nous focaliseronsla présentation sur trois aspects représentatifs:- l'exploitation des diverses arithmétiques de base (entière,flottante, booléenne), de routines numériques optimisées et leurintégration au sein d'algorithmes génériques haut niveau ;- l'approche boîte-noire de la bibliothèque LinBox, proposant unmodèle algorithmique spécifique, particulièrement performant pour lesmatrices creuses ou structurées ;- La parallélisation de code dans FFLAS-FFPACK, basée sur un langagespécifique (DSL) permettant d'utiliser de façon interchangeabledifférents langages et moteurs exécutifs, et de tirer parti duparallélisme de tâche avec dépendance par flot de données.tâche avec dépendance par flot de données.)
Seminar/2008-04-30 + (Mouldable programming is about looking at … Mouldable programming is about looking at programs as mouldablefragments of code, not as the static, brittle syntax software oftenturns out to be. Some simple examples follow. The notation for callinga method "push" which adds an element "E" to a stack "S" can be OO orstatic method style, it can modify "S" or return the new stacketc. Can we simplify usage to just one form, and mould it to theactual call? A function which breaks down for some input can signalthis using return flags, special return values, or exceptions, to namesome common ways. Can we abstract over this, and mould to the relevanterror handling technique? Often we need to do run-time checking ofarguments, e.g., array indexing bounds, forcing us to introduce lotsof code to deal with the unwanted cases. Can we use mouldable ideas tosimplify the code? In the presentation, we will elaborate on suchexamples, discussing how we can free us from awkward syntacticconstraints.ree us from awkward syntactic constraints.)
Seminar/2019-04-10 + (Neural networks have been producing impres … Neural networks have been producing impressive results in computer vision these last years, in image classification orsegmentation in particular. To be transferred to remote sensing, this tool needs adaptation to its specifics: largeimages, many small objects per image, keeping high-resolution output, unreliable ground truth (usuallymis-registered). We will review the work done in our group for remote sensing semantic segmentation, explaining theevolution of our neural net architecture design to face these challenges, and finally training a network to registerbinary cadaster maps to RGB images while detecting new buildings if any, in a multi-scale approach. We will show inparticular that it is possible to train on noisy datasets, and to make predictions at an accuracy much better than thevariance of the original noise. To explain this phenomenon, we build theoretical tools to express input similarity fromthe neural network point of view, and use them to quantify data redundancy and associated expected denoising effects.If time permits, we might also present work on hurricane track forecast from reanalysis data (2-3D coverage of theEarth's surface with temperature/pressure/etc. fields) using deep learning.pressure/etc. fields) using deep learning.)

(Neural networks have been producing impressive results in computer visio)

Seminar/2014-05-14 + (Nife est un langage de programmation ``For … Nife est un langage de programmation ``Forth-like'': basé sur les principes dulangage Forth, défini par Charles H. Moore dans les années 1960, il n'enreprend pas la totalité des fonctionnalités. Son ambition est d'offriraux non-informaticiens qui ont besoin de faire des mesures, de contrôler desappareils distants, de surveiller des processus industriels, de manipulerdes grandes collections de données, de faire des calculs, des filtrages, desstatistiques, de pouvoir le réaliser facilement, dans un environnement Linuxà faible coût.Simple, n'importe qui peut comprendre le fonctionnement de ce langage enquelques minutes, et le maîtriser totalement en quelques heures - unesemaine tout au plus. Il peut aussi être utilisé plus modestement comme unesuper calculatrice, pour faire ses comptes ou des calculs d'inversion dematrice. Le public concerné est donc très large.Une extension de Nife pour les systèmes embarqués lui permet de pouvoir êtredirectement chargé sur de petites ou moyennes unités de calcul. Pour cela,on lui associe un noyau ``bootable'' et il devient Knife : Kernelable Nife.Dans ce cas, il devient un outil puissant pour coder dans des environnementsoù la mémoire est denrée rare, et où le côté ``langage dynamique'' vapermettre de résoudre des problèmes là où d'autres langages vont échouer.èmes là où d'autres langages vont échouer.)
Seminar/2009-09-30 + (Nous décrirons brièvement l'état de l'art … Nous décrirons brièvement l'état de l'art de l'utilisation des processeurs graphiques grand public (GPU) pour accélérer le traitement d'image, et nous en discuterons les limites. Puis, nous décrirons GpuCV, une bibliothèque logicielle libre et multi-plateforme pour accélérer par GPU les opérateurs de traitement d'image et de vision artificielle. GpuCV a été conçue pour être compatible avec la bibliothèque OpenCV et permettre d'intégrer facilement des opérateurs accélérés sur GPU dans des applications développées sur CPU. L'environnement GpuCV gère de façon transparente les caractéristiques du matériel, la synchronisation des données, l'activation à bas niveau des procédures GLSL ou CUDA, l'étalonnage et l'aiguillage vers la mise en oeuvre la plus performante et finalement offre un ensemble d'opérateurs de traiement accélérés par GPU.opérateurs de traiement accélérés par GPU.)
Seminar/2017-05-03 + (Nous proposons une approche auto-supervisé … Nous proposons une approche auto-supervisée pour l’apprentissage dereprésentations à partir de vidéos non supervisées, enregistrées à demultiples points de vue. Cette approche est particulièrement pertinente enrobotique pour l’apprentissage par l’imitation, qui nécessite unecompréhension invariante par rapport au point de vue des relationsentre les humains et leur environnement (telles que les interactionsentre objets, les attributs et les poses corporelles). Nous entraînonsnos représentations à l’aide d’une stratégie de type triplet loss,où les multiples points de vue simultanés de la même observationsont attirés dans l’espace d’intégration, tout en étant repoussésdes voisins temporels qui sont souvent visuellement similaires maisfonctionnellement différents. Ce signal encourage notre modèle àdécouvrir des attributs invariants vis-à-vis du point de vue, maisqui varient dans le temps, tout en ignorant les potentielles nuisancestelles que les occlusions, le flou de mouvement, l’éclairage etl’arrière-plan. Nos expériences démontrent qu’une telle représentationacquiert même un certain degré d’invariance vis-à-vis de l’instanced’objet. Nous montrons que notre modèle peut correctement identifierles étapes correspondantes dans les interactions complexes d’objets,à travers différentes vidéos avec différentes instances. Nous montronségalement les premiers résultats, à notre connaissance, d’apprentissageintégralement auto-supervisé pour l’imitation de mouvements humainspar un robot réel.n de mouvements humains par un robot réel.)
Seminar/2008-05-28 + (L'algorithmique constructive permet, parta … L'algorithmique constructive permet, partant d'une spécification écritesous forme d'une combinaison non-efficace de fonctions, de dériver, souscertaines conditions, des algorithmes parallèles efficaces. Cette dérivations'appuie sur des théorèmes d'équivalence de programmes et est formellementcorrecte. Elle aide le programmeur à concevoir des programmes parallèles.Toutefois les bibliothèques de squelettes proposées ne sont pas certifiées.Dans le cadre d'une collaboration avec l'université de Tokyo, nous proposonsde cibler des squelettes algorithmiques développés en BSML et certifiés àl'aide de l'assistant de preuve Coq.iés à l'aide de l'assistant de preuve Coq.)
Seminar/2012-02-15 + («The effective exploitation of his powers … «The effective exploitation of his powers of abstraction must beregarded as one of the most vital activities of a competentprogrammer.» disait Dijsktra.En effet, pour aborder la complexité d'un problème, l'explicitationdes concepts utiles à sa formalisation et à sa résolution est biensouvent une étape clé. Lorsque que l'on étend ce processus à uneclasse de problèmes qui partagent les mêmes concepts, il est naturelde se doter d'un langage le plus approprié possible pour manipuler cesabstractions spécifiques à un domaine (en anglais, «Domain SpecificLanguage»).Comment implémenter ces DSLs? Une première approche classique reflèteles constructions du DSL sous la forme d'un jeu de fonctions debibliothèque. L'avantage de cette approche est d'utiliser directementson langage généraliste préféré, et sa chaîne de compilationoptimisée, de façon à générer du code machine à moindre frais. Parcontre, dans ce cadre, l'écriture de passe d'optimisations spécifiquesau DSL - à moins d'utiliser des techniques pointues deméta-programmation - est a priori impossible.Une seconde approche, opposée, consiste à écrire un compilateur pourle DSL à partir de zéro. Toute liberté est alors donnée àl'implémenteur d'intégrer à son compilateur des passes d'optimisationspécifiques… mais au prix d'une réimplémentation de passes decompilation déjà présentes, et certainement plus abouties, dans lecompilateur de son langage généraliste favori.Dans cet exposé, je présenterai les travaux de Martin Odersky etson équipe sur la virtualisation de DSLs à l'intérieur du langage deprogrammation Scala. La virtualisation de langage utiliseintensivement le polymorphisme et la composition mixin de Scala ainsique des techniques de génération de code à l'exécution pour embarquerdes langages spécifiques dans Scala dont la compilation peutréutiliser des modules du compilateur mais aussi étendre ces dernierspar des optimisations spécifiques au domaine. des optimisations spécifiques au domaine.)
Seminar/2011-02-09 + (Nous étudions la problématique du mélange … Nous étudions la problématique du mélange de paradigmes de programmationvariés plongés dans un environnement concurrent. Dans cetteperspective, nous poursuivonsun cheminement similaire à celui qui conduit du lambda-calcul auxlangages fonctionnels, maisen prenant comme point de départ le π-calcul. Nous proposons lamachine abstraite des π-threadsdont la principale originalité est l’absence de pile d’exécution.Cette caractéristiquepermet de nous reposer dans nos implémentations sur des algorithmessimples et naturellementconcurrents, notamment pour ce qui concerne l’ordonnancement et leramasse-miettes. Pour cedernier, nous proposons un algorithme permettant de récupérer trèssimplement les cycles deprocessus en interblocage et autres structures bloquantes.erblocage et autres structures bloquantes.)
Seminar/2021-10-06 + (Optimal transport (OT) has recently gained … Optimal transport (OT) has recently gained a lot of interest in machine learning. It is a natural tool to compare in a geometrically faithful way probability distributions. It finds applications in both supervised learning (using geometric loss functions) and unsupervised learning (to perform generative model fitting). OT is however plagued by the curse of dimensionality, since it might require a number of samples which grows exponentially with the dimension. In this talk, I will review entropic regularization methods which define geometric loss functions approximating OT with a better sample complexity.mating OT with a better sample complexity.)
Seminar/2011-05-18 + (Pour encoder de manière efficace une séque … Pour encoder de manière efficace une séquence vidéo, la redondancetemporelle est souvent utilisée. Pour cela, le mouvement entre l'imageconsidérée et une image de référence est estimé. Cela permet degénérer une prédiction à partir de l'image de référence et seule ladifférence entre la prédiction et l'image réelle est enregistrée. Pourestimer ce mouvement, les codecs se contentent souvent de suivrel'évolution spatiale de blocs dans l'image. Ils associent, pour chaquebloc de l'image considérée, un bloc similaire dans un voisinage prochedans l'image de référence. Nous présentons ici une méthode originalepour réaliser cette prédiction par compensation de mouvement. Notreméthode utilise les distances tangentes. Cela permet non seulementd'estimer l'évolution de la position des blocs de l'image mais enpartie aussi l'évolution du bloc lui-même. Nos prédictions sont doncde meilleure qualité. Utilisée dans l'encodage de séquences, on peutespérer un gain de compression non négligeable. Pour validerl'efficacité de la méthode, nous intégrons cette méthode dans le codecTheora et mesurons son efficacité en comparant les résultats obtenusavec notre méthode et ceux obtenus par une stratégie classique (leblock-matching).e stratégie classique (le block-matching).)
Seminar/2009-02-11 + (JoCaml est une extension d'Objective Caml … JoCaml est une extension d'Objective Caml pour la programmationconcurrente et distribuée, inspirée par le join-calcul. Nous avonsrécemment publié une nouvelle version de JoCaml, dont la compatibilitéavec OCaml est meilleure que celle de la version initiale de F. LeFessant. La nouvelle version pourra facilement être mise à jour aurythme d'OCaml et est binaire-compatible avec OCaml.L'exposé s'attachera plus au langage JoCaml qu'au système JoCaml. Ilmontrera comment, à partir d'un programme potentiellementparallélisable écrit en OCaml (le ray tracer du concours ICFP 2001),on peut facilement produire un programme distribué, dans le casabordé, très efficace. Ce sera l'occasion d'aborder la programmationen JoCaml de la coordination de multiples agents coopérants, d'unemanière simple et concise dans l'esprit de la programmationfonctionnelle.JoCaml est disponible en http://jocaml.inria.fr/.est disponible en http://jocaml.inria.fr/.)
Seminar/2018-12-14 + (Recent advances in medical image computing … Recent advances in medical image computing have resulted in automated systems that closely assist physicians in patienttherapy. Computational and personalized patient models benefit diagnosis, prognosis and treatment planning, with adecreased risk for the patient, as well as potentially lower cost. HeartFlow Inc. is a successful example of a companyproviding such a service in the cardiovascular context. Based on patient-specific vascular model extracted from X-ray CTimages, they identify functionally significant disease in large coronary arteries. Their combined anatomical andfunctional analysis is nonetheless limited by the image resolution. At the downstream scale, a functional exam calledMyocardium Perfusion Imaging (MPI) highlights myocardium regions with blood flow deficit. However, MPI does notfunctionally relate perfusion to the upstream coronary disease. The goal of our project is to build the functionalbridge between coronary and myocardium. To this aim we propose an anatomical and functional extrapolation. We produce aninnovative vascular network generation method extending the coronary model down to the microvasculature. In theresulting vascular model, we compute a functional analysis pipeline to simulate flow from large coronaries to themyocardium, and to enable comparison with MPI ground-truth data.ble comparison with MPI ground-truth data.)
Seminar/2019-03-06 + (Rendre la vue à ceux qui l’ont perdue a lo … Rendre la vue à ceux qui l’ont perdue a longtemps été considéré comme un sujet réservé à la science-fiction. Cependant,sur les vingt dernières années les efforts intensifiés dans le domaine des prothèses visuelles ont abouti à des avancéessignificatives, et plusieurs centaines de patients dans le monde ont reçu de tels dispositifs. Ce séminaire présenterabrièvement le domaine des prothèses rétiniennes avec une focalisation particulière sur les aspects de traitementd’image. Nous exposerons les principales approches, les limitations connues et les résultats. les limitations connues et les résultats.)
Seminar/2013-03-27 + (SMIL est une bibliothèque de traitement d' … SMIL est une bibliothèque de traitement d'images 2D/3D. Elle a étédéveloppée pour répondre à une demande de plus en plus forte (enparticulier dans le cas de projets industriels) en termes deperformances : taille d'images (2D ou 3D) et temps d'exécution.Développée en C++ et utilisant les templates, elle peut être utiliséeavec n'importe quel type standard de données. Un effort important aété porté sur la factorisation du code (par le biais de functors),d'une part, pour faciliter l'intégration de nouvelles fonctions, etd'autre part pour concentrer les parties du code permettantl'optimisation. Ces "briques" communes optimisées utilisent le codeSIMD généré par l'auto-vectorisation de gcc et sont égalementparallélisées grâce à l'utilisation d'OpenMP.allélisées grâce à l'utilisation d'OpenMP.)
Seminar/2008-03-26 + (Separation of concerns is the idea of brea … Separation of concerns is the idea of breaking down a program intoencapsulated pieces that overlap in functionality as little aspossible. Encapsulated entities, such as classes, methods or modules,are more manageable, easier to test and maintain, and may be reusedmore easily than a large, entangled program. A cross-cutting concernis something that cannot be encapsulated using normal abstractionmechanisms, thus defeating separation of concerns. A classical exampleof this is logging (e.g., logging calls and returns to a file whilethe program is running) - the logging code needs to be added to everyapplicable method in the program. The logging code for each method maybe almost identical, creating an undesirable overlap infunctionality. Aspects let a programmer implement a cross-cuttingconcern as a separate entity, through advice (how a concern should beimplemented) and join points (where it should be implemented). I willgive an introduction to aspect-orientation and aspect languages, andalso talk a bit about domain-specific aspect languages.it about domain-specific aspect languages.)
Seminar/2009-03-25 + (Si une fonction φ promet de manipuler une … Si une fonction φ promet de manipuler une valeur de type α sansl'observer, on peut utiliser son code sans risque pour toutes lesaffectations possibles de α : que la valeur soit entière (α = int) ouqu'elle soit un arbre (α = tree), la fonction se comporteratoujours de façon identique. Cette propriété s'appelle le polymorphismeparamétrique, l'essence de la généricité.Promettre de ne pas observer de trop près son argument est un fardeauparfois insupportable pour une fonction, pour des raisonsalgorithmiques (comment prendre une décision sans savoir ce que vautmon argument ?), ou encore pour des raisons de performances debas-niveau (si je sais que α = int, je peux utiliser une primitivedédiée de mon processeur). Même si le type d'une valeur est cachéderrière un type plus abstrait α, on peut fournir des mécanismes pour« le redécouvrir » grâce à des tests dynamiques ou à des raisonnementspurement statiques. La propriété qui permet de diriger son calcul parla forme des types est appelée le polymorphisme intentionnel.Dans cet exposé, nous présenterons plusieurs versions dupolymorphisme intentionnel offertes par différents systèmes de typeset de preuves sûrs (c'est-à-dire garantissant que les programmesne peuvent pas planter et sont corrects vis-à-vis de leur spécification).corrects vis-à-vis de leur spécification).)
Seminar/2009-04-22 + (SmartEiffel, également connu sous le nom d … SmartEiffel, également connu sous le nom de GNU Eiffel, est à la foisun langage et un ensemble d'outils de compilations, de documentation etde validation.Le langage SmartEiffel vise à favoriser la mise en pratique desprincipales exigences liées au développement d'un gros logiciel parune grande équipe. En plus d'exigences en terme de qualité, desécurité et de documentation, la définition de SmartEiffel estégalement soucieuse de l'efficacité du programme à l'exécution. Ainsi,le modèle des objets qui est à la base du langage intègre égalementles types les plus élémentaires sans surcoût potentiel à l'exécution.Pour sa part, le mécanisme de programmation par contrats qui estessentiel en matière de documentation est également un bon moyen derechercher les meilleures performances à l'exécution.Durant cet exposé, la visite guidée du langage présentera le modèled'objets, la programmation par contrats, la double forme d'héritagemultiple ainsi que le mécanisme des agents.ultiple ainsi que le mécanisme des agents.)
Seminar/2019-10-01 + (The Loci Auto-Parallelizing framework prov … The Loci Auto-Parallelizing framework provides a Domain SpecificLanguage (DSL) for the creation of high performance numericalmodels. The framework uses a logic-relation model to describeirregular computations, provide guarantees of internal logicalconsistency, and provides for automatic parallel execution. Theframework has been used to develop a number of advance computationalmodels used in production engineering processes. Currently Loci basedtools form the backbone of computational fluid dynamics tools used byNASA Marshall and Loci based codes account for more than 20% of thecomputational workload on NASA’s Pleiades supercomputer. This talkwill provide an overview of the framework, discuss its generalapproach, and provide comparisons to other programming models througha mini-app benchmark. In addition, future plans for developingefficient schedules of fine-grained parallel and memory bandwidthconstrained computations will be discussed. Finally, some examples ofthe range of engineering simulations enabled by the technology will beintroduced and briefly discussed. will be introduced and briefly discussed.)
Seminar/2012-10-17 + (The Single-chip Cloud Computer (SCC) is a … The Single-chip Cloud Computer (SCC) is a 48-core experimental processorcreated by Intel Labs targeting the many-core research community. The 6x4mesh Network-on-Chip provides 24 tiles with 2 cores each. All cores areindependent and run their own instance of an operating system. It hashardware support (local buffers on the tiles) for sending short messagesbetween cores, and allows for voltage and frequency control at 8 and 2 coresrespectively.We have already modified the SVP runtime system to use these on-chip buffersfor the communication between threads executed on separate cores. We alsocreated a visual application for manual process migration and scheduling onthe SCC as well as a library for customized voltage and frequency scaling onthe chip.Currently we focus on automated parallelization and mapping of one ormultiple sequential programs onto the 48 cores by modifying the daedalusframework to target the SCC. The daedalus framework parallelizes sequentialC programs using Kahn Process Networks (KPNs) and generates code to run theKPN on multiple hardware platforms like for example an FPGA, SMP CPU orGPU. The SCC backend, which is work in progress, should result in a toolthat utilizes the SCC cores in an optimal way by means of performance andenergy consumption. It should also allow the system to dynamically adapt onchanges in the computational or communicational needs of the processes byscaling frequency and migrating processes.scaling frequency and migrating processes.)
Seminar/2011-11-16 + (The ilastik system developed by our group … The ilastik system developed by our group uses machine learning andsimple interaction techniques to empower users without special imageprocessing expertise to segment and analyze their 2- and 3-dimensionalimage data on their own. It offers a number of easy-to-use workflowsfor various common analysis tasks. The talk will present two of theseworkflows (“interactive classification” and “region carving”), goingfrom an online demonstration of the high-level user experience down tothe algorithmic and software design details. Special emphasis will beput on aspects of genericity and parallelization which facilitateconvenient adaptation of basic building blocks to different contextswithout loss of performance. Examples from challenging biologicalapplications will illustrate our system's capabilities.will illustrate our system's capabilities.)
Seminar/2019-12-17 + (The relationship between neighboring pixel … The relationship between neighboring pixels plays animportant role in many vision applications. A typical example of arelationship between neighboring pixels is the intensity order, whichgives rise to some morphological tree-based image representations(e.g., Min/Max tree and tree of shapes). These trees have been shownuseful for many applications, ranging from image filtering to objectdetection and segmentation. Yet, these intensity order based trees donot always perform well for analyzing complex natural images. Thesuccess of deep learning in many vision tasks motivates us to resortto convolutional neural networks (CNNs) for learning such arelationship instead of relying on the simple intensity order. As astarting point, we propose the flux or direction field representationthat encodes the relationship between neighboring pixels. We thenleverage CNNs to learn such a representation and develop somecustomized post-processings for several vision tasks, such as symmetrydetection, scene text detection, generic image segmentation, and crowdcounting by localization. This talk is based on [1] and [2], as wellas extension of those previous works that are currently under review.[1] Xu, Y., Wang, Y., Zhou, W., Wang, Y., Yang, Z. and Bai, X.,2019. Textfield: Learning a deep direction field for irregular scenetext detection. IEEE Transactions on Image Processing.[2] Wang, Y., Xu, Y., Tsogkas, S., Bai, X., Dickinson, S. and Siddiqi,K., 2019. DeepFlux for Skeletons in the Wild. In Proceedings of theIEEE Conference on Computer Vision and Pattern Recognition.n Computer Vision and Pattern Recognition.)
Seminar/2021-05-12 + (Topological Data Analysis (TDA) is a recen … Topological Data Analysis (TDA) is a recent area of computer science that focuses on discovering intrinsic structures hidden in data. Based on solid mathematical tools such as Morse theory and Persistent Homology, TDA enables the robust extraction of the main features of a data set into stable, concise, and multi-scale descriptors that facilitate data analysis and visualization. In this talk, I will give an intuitive overview of the main tools used in TDA (persistence diagrams, Reeb graphs, Morse-Smale complexes, etc.) with applications to concrete use cases in computational fluid dynamics, medical imaging, quantum chemistry, and climate modeling. This talk will be illustrated with results produced with the "Topology ToolKit" (TTK), an open-source library (BSD license) that we develop with collaborators to showcase our research. Tutorials for re-producing these experiments are available on the TTK website.eriments are available on the TTK website.)
Seminar/2015-03-11 + (Motivé par de nombreuses applications, all … Motivé par de nombreuses applications, allant de la cryptographie aucalcul mathématique, le calcul formel s'est fortement développé cesdernières années tant au niveau des algorithmes que des implantationsefficaces. L'efficacité des calculs repose sur celle de bibliothèquesdédiées, pour certaines opérations de base, comme l'algèbre linéairedans un corps fini ou avec des entiers multi-précision. Devant lamultiplicité des domaines de calcul et des variantes algorithmiquesdisponibles, la conception de ces bibliothèques doit concilier uneforte généricité avec l'efficacité.Nous allons présenter comment cette problématique est abordée dans lesbibliothèques d'algèbre linéaire exacte FFLAS-FFPACK (2) et LinBox(3). Après une présentation générale de ces projets, nous focaliseronsla présentation sur trois aspects représentatifs:- l'exploitation des diverses arithmétiques de base (entière,flottante, booléenne), de routines numériques optimisées et leurintégration au sein d'algorithmes génériques haut niveau ;- l'approche boîte-noire de la bibliothèque LinBox, proposant unmodèle algorithmique spécifique, particulièrement performant pour lesmatrices creuses ou structurées ;- La parallélisation de code dans FFLAS-FFPACK, basée sur un langagespécifique (DSL) permettant d'utiliser de façon interchangeabledifférents langages et moteurs exécutifs, et de tirer parti duparallélisme de tâche avec dépendance par flot de données.tâche avec dépendance par flot de données.)
Seminar/2016-09-28 + (Traditionnellement, la prospection commerc … Traditionnellement, la prospection commerciale B2B se fait grâce à deslistes d'entreprises classées manuellement, sur la base de donnéesadministratives renseignées à la création des entreprises. Ces listessont donc souvent dépassées, très chères et peu qualifiées.C-Radar, produit développé par la société Data Publica, veuttransformer la prospection commerciale en enrichissant ces donnéesadministratives par des données issues du web. Ainsi, on obtient desdonnées fraîches, plus ciblées. Et grâce aux techniques de machinelearning et de clustering, on peut obtenir automatiquement des listesd'entreprises pertinentes à faible coût.Lors de cette présentation, nous aborderons les différentes techniquesde science des données mises en œuvre dans ce produit, en relationavec les fonctionnalités du produit.ation avec les fonctionnalités du produit.)
Seminar/2012-03-21 + (Une question fondamentale pour mes recherc … Une question fondamentale pour mes recherches est de savoir ce qu'estune image. Cela peut sembler à première vue une question trop simple :une image, c'est un ensemble de points. Mais ces points sont reliésentre eux, c'est ce qu'on appelle une structure, et ils ont desdonnées de types multiples qui leur sont attachées. La bibliothèqueMilena, développée au LRDE, est une bibliothèque générique dédiée autraitement d'images. Dans Milena, trois axes indépendants sontdéveloppés : l'axe des structures, l'axe des données, et celui desalgorithmes, c'est-à-dire de ce qu'on peut faire avec une image.Dans cet exposé, je vais développer plusieurs exemples dans lesquelsje choisirai un algorithme et un type de données, en faisant varier lastructure. Changer la structure, c'est penser les images d'une manièredifférente, et c'est quelque chose d'extrêmement porteur en recherche.- Un premier exemple est celui d'un algorithme classique de segmentation : la ligne de partage des eaux. Originellement pensé sur les pixels, sa traduction dans le cadre des arêtes donne le problème classique d'arbre couvrant de poids minimum. Si la ligne de partage des eaux est très connue en traitement d'images, les arbres de poids minimum sont très utilisés en classification. Un pont naturel est alors établi entre deux communautés différentes, et les idées provenant de ces deux communautés peuvent être combinées.- Un deuxième exemple est celui de la représentation arborescente des images. Pour illustrer, tant les lignes de niveaux que les composantes connexes des ensembles de niveaux (les coupes) des images sont naturellement structurées en arbre : deux lignes ou deux composantes sont soit disjointes soit emboîtées. On peut filtrer une image en éliminant de l'arbre tous les nœuds qui ne vérifient pas un critère. Mais on peut aussi considérer l'arbre lui-même comme une image, et appliquer sur cet arbre un algorithme de traitement d'images. C'est une idée récursive très riche.D'autres exemples pourront être développés en fonction du temps : liensentre ligne de partage des eaux topologique et segmentationhiérarchique, topologie discrète dans divers cadres...La bibliothèque Milena permet d’appliquer la plupart des algorithmesexistants à une nouvelle structure, ce qui est un gain de tempsincontestable. Cela permet de se concentrer sur ce qui fait le cœurde mon métier: chercher un algorithme plus efficace, adapté à un typede structure, ou encore chercher quelles sont les propriétésmathématiques d’un algorithme sur une structure donnée. d’un algorithme sur une structure donnée.)
Seminar/2017-02-08 + (Vcsn est une plateforme consacrée aux auto … Vcsn est une plateforme consacrée aux automates et aux expressionsrationnelles. Parce qu'elle traite une large variété de naturesd'automates, elle place en son coeur le concept de "contexte", quitype les automates, les expressions rationnelles, etc. La plateformerepose sur une bibliothèque C++14 "templatée" par des contextes, audessus de laquelle la couche "dyn" qui, grâce à de l'effacement detype et de la compilation à la volée, offre à l'utilisateur le confortd'une bibliothèque traditionnelle avec la généricité et lesperformances d'une bibliothèque templatée. Ces bibliothèques sontensuite exposées au travers d'outils en ligne de commande, mais aussiPython et surtout IPython, qui permettent une exploration interactivesimple d'algorithmes.La bibliothèque Vcsn repose sur un ensemble d'objets - automates,étiquettes, poids, polynômes, expressions rationnelles etdéveloppements rationnels - sur lesquels sont fournis plus de troiscents algorithmes. Dans certains cas, Vcsn offre des fonctionalitésinégalées, et certains de ces algorithmes ont des performancessupérieures à celles des projets comparables.Nous ferons une présentation de l'architecture générale de Vcsn, sousla forme d'une démonstration guidée par les questions, ainsi qu'unexposé des objectifs de Vcsn 3.0.si qu'un exposé des objectifs de Vcsn 3.0.)
Seminar/2021-02-10 + (We introduce iposets - posets with interfa … We introduce iposets - posets with interfaces - equipped with a novel gluingcomposition along interfaces and the standard parallel composition. We studytheir basic algebraic properties as well as the hierarchy of gluing-parallelposets generated from singletons by finitary applications of the twocompositions. We show that not only series-parallel posets, but alsointerval orders, which seem more interesting for modeling concurrent anddistributed systems, can be generated, but not all posets. Generating posetsis also important for constructing free algebras for concurrent semi-ringsand Kleene algebras that allow compositional reasoning about such systems.ompositional reasoning about such systems.)

Special

Search by property

List of results