Image Sciences, Computer Sciences and Remote Sensing Laboratory

Archives - Academic Year 2006/2007

Thursday, July 12 2007 - 2:00 pm

Restauration de processus ponctuels marqués pour la spectroscopie et l'astronomie Lieu : Amphi A301 Conférencier(s) : Vincent MAZET, LSIIT Résumé : Les travaux que je vais présenter portent sur mes recherches effectuées avant et après mon arrivée au LSIIT. Elles concernent principalement la restauration de signaux impulsionnels effectuée dans le cadre bayésien. Une première partie présentera mes travaux effectués en thèse, dont l'objectif était de développer des méthodes d'analyse de signaux spectroscopiques. Ainsi, je commencerai ma présentation avec une méthode déterministe pour estimer la ligne de base de spectres chimiques. Cette méthode consiste à minimiser une fonction-coût non quadratique à l'aide de l'algorithme de minimisation semi-quadratique LEGEND. On s'intéressera ensuite à l'estimation des raies du spectre et pour laquelle l'approche bayésienne couplée aux techniques MCMC fournit un cadre d'étude très efficace. Une première approche formalise le problème en tant que déconvolution impulsionnelle myope non supervisée. Une alternative intéressante à cette approche est de considérer le problème comme une décomposition en motifs élémentaires. Dans une deuxième partie, je présenterais les deux projets sur lesquels je suis amené à travailler au sein du groupe PASEO : la classification spectro-morphologique des galaxies et la segmentation de cubes de données astronomiques. J'introduirai les méthodologies que je souhaite explorer et montrerai leur lien avec la restauration de signaux impulsionnels.

Restauration de processus ponctuels marqués pour la spectroscopie et l'astronomie

Lieu : Amphi A301

Conférencier(s) : Vincent MAZET, LSIIT

Résumé : Les travaux que je vais présenter portent sur mes recherches effectuées avant et après mon arrivée au LSIIT. Elles concernent principalement la restauration de signaux impulsionnels effectuée dans le cadre bayésien.

Une première partie présentera mes travaux effectués en thèse, dont l'objectif était de développer des méthodes d'analyse de signaux spectroscopiques. Ainsi, je commencerai ma présentation avec une méthode déterministe pour estimer la ligne de base de spectres chimiques. Cette méthode consiste à minimiser une fonction-coût non quadratique à l'aide de l'algorithme de minimisation semi-quadratique LEGEND. On s'intéressera ensuite à l'estimation des raies du spectre et pour laquelle l'approche bayésienne couplée aux techniques MCMC fournit un cadre d'étude très efficace. Une première approche formalise le problème en tant que déconvolution impulsionnelle myope non supervisée. Une alternative intéressante à cette approche est de considérer le problème comme une décomposition en motifs élémentaires.

Dans une deuxième partie, je présenterais les deux projets sur lesquels je suis amené à travailler au sein du groupe PASEO : la classification spectro-morphologique des galaxies et la segmentation de cubes de données astronomiques. J'introduirai les méthodologies que je souhaite explorer et montrerai leur lien avec la restauration de signaux impulsionnels.

Thursday, July 12 2007 - 10:00 am

Graphics research in Tuebingen Lieu : LSIIT en Amphi 301 Conférencier(s) : Prof. Wolfgang Strasser, leader du groupe de recherche en informatique graphique et traitement d'images m Résumé : The graphics group of Tuebingen has been established in 1986 by Prof. Wolfgang Straßer. Today about 20 full time reseachers work in the areas of rendering, data acquisition and handling of very large data sets, scene reconstruction and realtime animation, physical based modelling and animation of flexible materials, medical data processing and visualization and others. The talk will highlight latest results in these research areas.

Graphics research in Tuebingen

Lieu : LSIIT en Amphi 301

Conférencier(s) : Prof. Wolfgang Strasser, leader du groupe de recherche en informatique graphique et traitement d'images m

Résumé : The graphics group of Tuebingen has been established in 1986 by Prof. Wolfgang Straßer. Today about 20 full time reseachers work in the areas of rendering, data acquisition and handling of very large data sets, scene reconstruction and realtime animation, physical based modelling and animation of flexible materials, medical data processing and visualization and others. The talk will highlight latest results in these research areas.

Friday, June 29 2007 - 3:00 pm

Mapping Brain Shape and its Relation to Diagnosis and Measures of Cognition Lieu : Amphi A207 Conférencier(s) : Colin Studholme, University of California, San Francisco (UCSF), http://www.colin-studholme.net/ Résumé : This talk will cover current research work at U.C.S.F. on developing and applying methods to map patterns of change in human brain anatomy from MR images. It will cover methods of registration and deformation morphometry, and statistical methods of relating structural measures to outcome and diagnostic variables of interest in clinical imaging studies.

Mapping Brain Shape and its Relation to Diagnosis and Measures of Cognition

Lieu : Amphi A207

Conférencier(s) : Colin Studholme, University of California, San Francisco (UCSF), http://www.colin-studholme.net/

Résumé : This talk will cover current research work at U.C.S.F. on developing and applying methods to map patterns of change in human brain anatomy from MR images. It will cover methods of registration and deformation morphometry, and statistical methods of relating structural measures to outcome and diagnostic variables of interest in clinical imaging studies.

Friday, April 20 2007 - 11:30 am

Mise en correspondance par corrélation en stéréovision et recalage non linéaire en imagerie médicale Lieu : Salle C218 (ENSPS) Conférencier(s) : Sylvie CHAMBON, ENST Paris Résumé : L'objectif de ce séminaire est de présenter des travaux réalisés aussi bien en imagerie optique qu'en imagerie médicale sur la mise en correspondance ou le recalage. En stéréovision, il existe de très nombreuses méthodes de mise en correspondance. Une des manière d'effectuer cette tâche est d'utiliser une mesure de corrélation. Nous présentons des travaux réalisés avec ce type de méthodes et qui prennent en compte l'information couleur ainsi que les difficultés liées aux occultations. De même, en imagerie médicale, il existe de très nombreuses manières d'effectuer le recalage entre différentes modalités. Dans le cadre du recalage d'images thoraciques CT (tomodensitométrie) et TEP (tomographie à émission de positons), nous nous intéressons aux méthodes qui effectuent une première mise en correspondance de points d'intérêt, en exploitant la notion de courbure. De plus, notre méthode s'appuie sur un recalage non linéaire avec contraintes de rigidité et prend en compte un modèle de respiration.

Mise en correspondance par corrélation en stéréovision et recalage non linéaire en imagerie médicale

Lieu : Salle C218 (ENSPS)

Conférencier(s) : Sylvie CHAMBON, ENST Paris

Résumé : L'objectif de ce séminaire est de présenter des travaux réalisés aussi bien en imagerie optique qu'en imagerie médicale sur la mise en correspondance ou le recalage.

En stéréovision, il existe de très nombreuses méthodes de mise en correspondance. Une des manière d'effectuer cette tâche est d'utiliser une mesure de corrélation. Nous présentons des travaux réalisés avec ce type de méthodes et qui prennent en compte l'information couleur ainsi que les difficultés liées aux occultations.

De même, en imagerie médicale, il existe de très nombreuses manières d'effectuer le recalage entre différentes modalités. Dans le cadre du recalage d'images thoraciques CT (tomodensitométrie) et TEP (tomographie à émission de positons), nous nous intéressons aux méthodes qui effectuent une première mise en correspondance de points d'intérêt, en exploitant la notion de courbure. De plus, notre méthode s'appuie sur un recalage non linéaire avec contraintes de rigidité et prend en compte un modèle de respiration.

Thursday, April 12 2007 - 2:15 pm

Décomposition des images en hypergraphe de rectangles pour la compression Lieu : Salle C218 (ENSPS) Conférencier(s) : Luc GILLIBERT, GREYC CNRS UMR-6072 Résumé : La compression est un problème très important en imagerie. Dans cet exposé elle est abordée d'un point de vue géométrique. Une représentation géométrique des images, basée sur une décomposition en hypergraphe de rectangles, est introduite. Cette représentation donne un algorithme de compression sans pertes très efficace sur les images synthétiques et appelé HLC. Une étude empirique montre alors que HLC se combine efficacement avec un algorithme de compression de données génériques, en l'occurrence PPMd. Finalement des résultats expérimenteaux sont donnés ainsi qu'une généralisation de la technique aux images 3D et à la compression presque sans pertes.

Décomposition des images en hypergraphe de rectangles pour la compression

Lieu : Salle C218 (ENSPS)

Conférencier(s) : Luc GILLIBERT, GREYC CNRS UMR-6072

Résumé : La compression est un problème très important en imagerie. Dans cet exposé elle est abordée d'un point de vue géométrique. Une représentation géométrique des images, basée sur une décomposition en hypergraphe de rectangles, est introduite. Cette représentation donne un algorithme de compression sans pertes très efficace sur les images synthétiques et appelé HLC. Une étude empirique montre alors que HLC se combine efficacement avec un algorithme de compression de données génériques, en l'occurrence PPMd. Finalement des résultats expérimenteaux sont donnés ainsi qu'une généralisation de la technique aux images 3D et à la compression presque sans pertes.

Thursday, April 05 2007 - 2:00 pm

L'organisation des réseaux radio multisauts : méthodes et objectifs Lieu : Salle C434 (ENSPS) Conférencier(s) : Fabrice THEOLEYRE, Laboratoire d'Informatique de Grenoble UMR 5217 Résumé : Les réseaux radio multisauts constituent actuellement un domaine de recherche en pleine évolution. Ils peuvent être utiles pour établir un réseau spontané, comme les réseaux ad hoc, pour faire communiquer entre eux des capteurs, ou créer un Internet ubiquitaire comme pour les réseaux maillés. Cependant, ces réseaux spontanés sont, par nature, non organisés : ils sont constitués d'un ensemble de noeuds sans aucune hiérarchie. Nous allons donc introduire le concept des structures d'auto-organisation et leur utilité. Dans un premier temps, nous détaillerons une proposition d'auto-organisation pour les réseaux ad hoc, permettant de structurer et hiérarchiser le réseau de faon distribuée, et robuste aux changements de topologie. Nous présenterons également des applications en terme de routage d'une telle organisation. Dans un deuxime temps, nous introduirons comment une organisation des communications dans un réseau de capteurs permet d'optimiser la capacité du réseau, i.e. la quantité maximale d'informations pouvant être transmise dans le réseau.

L'organisation des réseaux radio multisauts : méthodes et objectifs

Lieu : Salle C434 (ENSPS)

Conférencier(s) : Fabrice THEOLEYRE, Laboratoire d'Informatique de Grenoble UMR 5217

Résumé : Les réseaux radio multisauts constituent actuellement un domaine de recherche en pleine évolution. Ils peuvent être utiles pour établir un réseau spontané, comme les réseaux ad hoc, pour faire communiquer entre eux des capteurs, ou créer un Internet ubiquitaire comme pour les réseaux maillés.

Cependant, ces réseaux spontanés sont, par nature, non organisés : ils sont constitués d'un ensemble de noeuds sans aucune hiérarchie. Nous allons donc introduire le concept des structures d'auto-organisation et leur utilité. Dans un premier temps, nous détaillerons une proposition d'auto-organisation pour les réseaux ad hoc, permettant de structurer et hiérarchiser le réseau de faon distribuée, et robuste aux changements de topologie. Nous présenterons également des applications en terme de routage d'une telle organisation. Dans un deuxime temps, nous introduirons comment une organisation des communications dans un réseau de capteurs permet d'optimiser la capacité du réseau, i.e. la quantité maximale d'informations pouvant être transmise dans le réseau.

Thursday, April 05 2007 - 10:00 am

Prouvons le prouveur : formalisation de la méthode de Wu Lieu : Salle C218 (ENSPS) Conférencier(s) : Julien NARBOUX , Technische Universit Résumé : La géométrie est un des domaines les plus fructueux de la démonstration automatique, de nombreux théorèmes peuvent être prouvés automatiquement. Des méthodes analytiques et algébriques ont été proposées. Pendant ma thèse, j'ai formalisé en Coq une méthode semi-analytique: la méthode des aires de Chou, Gao et Zhang. Je présenterai ici la formalisation en cours de la méthode algèbrique de Wu au moyen de l'assistant de preuve Isabelle/HOL. La méthode de Wu repose sur une représentation du théorème à prouver sous forme d'égalités polynomiales sur les coordonnées des points. Une des difficultés centrales en géométrie est que la plupart des théorèmes sont faux dans certains cas particuliers (point confondus, alignés...). La force de la méthode de Wu réside dans le fait qu'elle permet de générer automatiquement les conditions de non-dégénérescence des théorèmes. Je présenterai notre formalisation de cette méthode basée sur une approche réflexive qui consiste à programmer la procédure au sein de l'assistant de preuve puis à prouver formellement sa correction afin d'en extraire un démonstrateur automatique lui-même prouvé formellement.

Prouvons le prouveur : formalisation de la méthode de Wu

Lieu : Salle C218 (ENSPS)

Conférencier(s) : Julien NARBOUX , Technische Universit

Résumé : La géométrie est un des domaines les plus fructueux de la démonstration automatique, de nombreux théorèmes peuvent être prouvés automatiquement. Des méthodes analytiques et algébriques ont été proposées. Pendant ma thèse, j'ai formalisé en Coq une méthode semi-analytique: la méthode des aires de Chou, Gao et Zhang. Je présenterai ici la formalisation en cours de la méthode algèbrique de Wu au moyen de l'assistant de preuve Isabelle/HOL. La méthode de Wu repose sur une représentation du théorème à prouver sous forme d'égalités polynomiales sur les coordonnées des points. Une des difficultés centrales en géométrie est que la plupart des théorèmes sont faux dans certains cas particuliers (point confondus, alignés...). La force de la méthode de Wu réside dans le fait qu'elle permet de générer automatiquement les conditions de non-dégénérescence des théorèmes.

Je présenterai notre formalisation de cette méthode basée sur une approche réflexive qui consiste à programmer la procédure au sein de l'assistant de preuve puis à prouver formellement sa correction afin d'en extraire un démonstrateur automatique lui-même prouvé formellement.

Friday, March 23 2007 - 2:00 pm

Applications biomédicales de l'optimisation stochastique Lieu : Amphi A207 (ENSPS) Conférencier(s) : Pierre COLLET , LIL, Universit Résumé : L'optimisation stochastique est une discipline à part entière, indépendante des domaines d'application. En effet, tous les domaines comportant des problèmes complexes non explorables de manière exhaustive doivent nécessairement avoir recours à des heuristiques permettant de faire des choix arbitraires pour rester dans des temps de calcul raisonnables. Pour les problèmes très vastes, où il n'est même pas envisageable de chercher dans une direction privilégiée (quitte à en écarter d'autres), il n'y a pas d'autres solution que de prendre le problème à l'envers, en utilisant par exemple la méthode de Monte Carlo, qui n'est rien d'autre qu'une recherche aléatoire. C'est là qu'intervient l'optimisation stochastique, où l'on cherche dans un premier temps à faire tout juste mieux qu'une recherche aléatoire simple pour résoudre un problème particulier (car le "No Free Lunch theorem" dit qu'il n'est pas possible de faire mieux que "Random" sur l'ensemble des problèmes possibles). Après une brève présentation de l'optimisation stochastique inspirée de la nature, (description de quelques méthodes utilisées, leurs indications et caractéristiques), je présenterai plusieurs applications me semblant assez proches des activités actuelles du LSIIT/AFD : - Le projet européen INTERREG 182b intitulé "Bio-Inspired Classification and Data-Mining Algorithms for BioInformatics" entre l'Université du Littoral et l'Université du Kent, - L'extraction de connaissances dans des bases de données biomédicales (thèse CIFRE ``Algorithmes génétiques interactifs pour le text-retrieval'' de Yann Landrin-Schweitzer pour NOVARTIS-PHARMA), - La segmentation multi-critères d'images médicales MRI (thèse d'Amir Nakib à l'Université Paris XII), - L'évolution artificielle de bactéries naturelles en vue de la validation de modèles de réplication (travail en collaboration avec la génopole d'Evry), - Le paramétrage interactif d'implants cochléaires (thèse de Claire Bourgeois-République, en collaboration avec l'Hôpital Avicenne de Bobigny). Ces quelques projets, auxquels j'ai directement participé, ne sont qu'un petit sous-ensemble des applications possibles de l'optimisation stochastique : en regardant les pages web des différentes équipes du LSIIT, outre l'équipe "Modèles, Images et Vision" que certaines applications abordées ci-dessus intéressent directement, une collaboration immédiate semble possible avec : - l'équipe "Automatique, Vision et Robotique", notamment avec l'algorithme "des mouches", permettant la détection d'obstacles en temps réel par stéréovision, ou sur la conception de robots chirurgiens (cf. thèse de Damien Sallé au LRP à Paris VI), - l'équipe "Réseaux et protocoles", avec l'optimisation de routage par colonie de fourmis, ou l'allocation automatique de fréquences (meilleurs résultats obtenus par Hao et Galinier avec un algorithme évolutionnaire hybride), - l'équipe "Image et Calcul Parallèle Scientifique", notamment pour exploiter la nature intrinsèquement parallèle des algorithmes évolutionnaires (qui permet un speedup linéaire), - l'équipe de "bioinformatique théorique" avec beaucoup de travaux sur l'alignement multiple de séquences, le repliement de protéines, ... - l'équipe "Télédétection, Radiométrie et Imagerie Optique", avec de nombreuses applications de la programmation génétique, notamment pour la régression symbolique, souvent nécessaire pour résoudre les problèmes inverses de la télédétection.

Applications biomédicales de l'optimisation stochastique

Lieu : Amphi A207 (ENSPS)

Conférencier(s) : Pierre COLLET , LIL, Universit

Résumé : L'optimisation stochastique est une discipline à part entière, indépendante des domaines d'application. En effet, tous les domaines comportant des problèmes complexes non explorables de manière exhaustive doivent nécessairement avoir recours à des heuristiques permettant de faire des choix arbitraires pour rester dans des temps de calcul raisonnables. Pour les problèmes très vastes, où il n'est même pas envisageable de chercher dans une direction privilégiée (quitte à en écarter d'autres), il n'y a pas d'autres solution que de prendre le problème à l'envers, en utilisant par exemple la méthode de Monte Carlo, qui n'est rien d'autre qu'une recherche aléatoire. C'est là qu'intervient l'optimisation stochastique, où l'on cherche dans un premier temps à faire tout juste mieux qu'une recherche aléatoire simple pour résoudre un problème particulier (car le "No Free Lunch theorem" dit qu'il n'est pas possible de faire mieux que "Random" sur l'ensemble des problèmes possibles).

Après une brève présentation de l'optimisation stochastique inspirée de la nature, (description de quelques méthodes utilisées, leurs indications et caractéristiques), je présenterai plusieurs applications me semblant assez proches des activités actuelles du LSIIT/AFD :

- Le projet européen INTERREG 182b intitulé "Bio-Inspired Classification and Data-Mining Algorithms for BioInformatics" entre l'Université du Littoral et l'Université du Kent,

- L'extraction de connaissances dans des bases de données biomédicales (thèse CIFRE ``Algorithmes génétiques interactifs pour le text-retrieval'' de Yann Landrin-Schweitzer pour NOVARTIS-PHARMA),

- La segmentation multi-critères d'images médicales MRI (thèse d'Amir Nakib à l'Université Paris XII),

- L'évolution artificielle de bactéries naturelles en vue de la validation de modèles de réplication (travail en collaboration avec la génopole d'Evry),

- Le paramétrage interactif d'implants cochléaires (thèse de Claire Bourgeois-République, en collaboration avec l'Hôpital Avicenne de Bobigny).

Ces quelques projets, auxquels j'ai directement participé, ne sont qu'un petit sous-ensemble des applications possibles de l'optimisation stochastique : en regardant les pages web des différentes équipes du LSIIT, outre l'équipe "Modèles, Images et Vision" que certaines applications abordées ci-dessus intéressent directement, une collaboration immédiate semble possible avec :

- l'équipe "Automatique, Vision et Robotique", notamment avec l'algorithme "des mouches", permettant la détection d'obstacles en temps réel par stéréovision, ou sur la conception de robots chirurgiens (cf. thèse de Damien Sallé au LRP à Paris VI),

- l'équipe "Réseaux et protocoles", avec l'optimisation de routage par colonie de fourmis, ou l'allocation automatique de fréquences (meilleurs résultats obtenus par Hao et Galinier avec un algorithme évolutionnaire hybride),

- l'équipe "Image et Calcul Parallèle Scientifique", notamment pour exploiter la nature intrinsèquement parallèle des algorithmes évolutionnaires (qui permet un speedup linéaire),

- l'équipe de "bioinformatique théorique" avec beaucoup de travaux sur l'alignement multiple de séquences, le repliement de protéines, ...

- l'équipe "Télédétection, Radiométrie et Imagerie Optique", avec de nombreuses applications de la programmation génétique, notamment pour la régression symbolique, souvent nécessaire pour résoudre les problèmes inverses de la télédétection.

Friday, March 16 2007 - 2:15 pm

Gestion sémantique contextuelle: tendances et innovation Lieu : Amphi A301 (ENSPS) Conférencier(s) : Fr Résumé : La présentation se concentrera les nouvelles tendances en matière de gestion sémantique contextuelle. Elle inclura la description d'une approche verticale (de la structure aux requêtes) pour faciliter l'extraction de sémantique dans des archives de ressources multimédia à grande échelle et l'échange de cette sémantique entre communautés.

Gestion sémantique contextuelle: tendances et innovation

Lieu : Amphi A301 (ENSPS)

Conférencier(s) : Fr

Résumé : La présentation se concentrera les nouvelles tendances en matière de gestion sémantique contextuelle. Elle inclura la description d'une approche verticale (de la structure aux requêtes) pour faciliter l'extraction de sémantique dans des archives de ressources multimédia à grande échelle et l'échange de cette sémantique entre communautés.

Thursday, March 15 2007 - 10:00 am

Minimisation de critères par approximation quadratique majorante pour la restauration d'image Lieu : C208 (ENSPS) Conférencier(s) : J Résumé : Les algorithmes semi-quadratiques (SQ) ont été proposés en restauration d'image il y a 10 ans environ, et sont très utilisés depuis. L'objectif de cette présentation est de placer cette approche SQ dans le vaste panorama des méthodes de minimisation locale. En particulier, le rôle-clé du principe d'approximation quadratique majorante sera mis en évidence. On étudiera plus particulièrement les formes tronquées d'algorithmes SQ, plus adaptées à la restauration d'image et aux problèmes de grande taille en général. Rappel : Jérôme Idier donnera également un séminaire intitulé "Traitement de données pour les problèmes inverses" jeudi 15 mars à partir de 14 heures en amphi A207 dans le cadre de l'école doctorale (Pour plus d'information, voir http://www-edmsii.u-strasbg.fr/Seminaire.htm ).

Minimisation de critères par approximation quadratique majorante pour la restauration d'image

Lieu : C208 (ENSPS)

Conférencier(s) : J

Résumé : Les algorithmes semi-quadratiques (SQ) ont été proposés en restauration d'image il y a 10 ans environ, et sont très utilisés depuis. L'objectif de cette présentation est de placer cette approche SQ dans le vaste panorama des méthodes de minimisation locale. En particulier, le rôle-clé du principe d'approximation quadratique majorante sera mis en évidence. On étudiera plus particulièrement les formes tronquées d'algorithmes SQ, plus adaptées à la restauration d'image et aux problèmes de grande taille en général.

Rappel :
Jérôme Idier donnera également un séminaire intitulé "Traitement de données pour les problèmes inverses" jeudi 15 mars à partir de 14 heures en amphi A207 dans le cadre de l'école doctorale (Pour plus d'information, voir http://www-edmsii.u-strasbg.fr/Seminaire.htm ).

Thursday, March 01 2007 - 2:00 pm

Imagerie Médicale par Elastographie Lieu : Amphi A207 (ENSPS) Conférencier(s) : Jerome FEHRENBACH, Laboratoire MIP, Universit Résumé : Le présent exposé montre les résultats obtenus lors d'une ACI associant l'Institut de Mathématiques de Toulouse et l'unité 556 INSERM (Lyon). L'élastographie ultrasonore est une modalité d'imagerie médicale émergente, consistant à prendre plusieurs échographies successives d'un tissu en mouvement. Des techniques d'analyse du signal (corrélation croisée 1D) permettent de déterminer le déplacement axial des différents points du tissu. L'intérêt clinique est de visualiser les régions plus rigides (susceptibles d'être des tumeurs). Nous montrerons comment une implémentation efficace du problème inverse d'élasticité peut être proposée (connaissant les déplacements on détermine la répartition spatiale du module d'élasticité). Cette résolution du problème inverse utilise des techniques de contrôle optimal (états direct et adjoint). Des résultats sur des données synthétiques et sur des données réelles seront présentés. Les limites des résultats obtenus seront également discutées. La deuxième partie de l'ACI a porté sur la réalisation d'élastogrammes : il s'agissait de trouver une méthode d'estimation des déplacements plus performante que la corrélation croisée. Nous montrerons les résultats obtenus sur des données simulées et réelles. Le code mis au point a également été appliqué à des données vidéo de foie in-vivo, afin de suivre les mouvements induits par la respiration et les battements cardiaques.

Imagerie Médicale par Elastographie

Lieu : Amphi A207 (ENSPS)

Conférencier(s) : Jerome FEHRENBACH, Laboratoire MIP, Universit

Résumé : Le présent exposé montre les résultats obtenus lors d'une ACI associant l'Institut de Mathématiques de Toulouse et l'unité 556 INSERM (Lyon). L'élastographie ultrasonore est une modalité d'imagerie médicale émergente, consistant à prendre plusieurs échographies successives d'un tissu en mouvement. Des techniques d'analyse du signal (corrélation croisée 1D) permettent de déterminer le déplacement axial des différents points du tissu. L'intérêt clinique est de visualiser les régions plus rigides (susceptibles d'être des tumeurs). Nous montrerons comment une implémentation efficace du problème inverse d'élasticité peut être proposée (connaissant les déplacements on détermine la répartition spatiale du module d'élasticité). Cette résolution du problème inverse utilise des techniques de contrôle optimal (états direct et adjoint). Des résultats sur des données synthétiques et sur des données réelles seront présentés. Les limites des résultats obtenus seront également discutées. La deuxième partie de l'ACI a porté sur la réalisation d'élastogrammes : il s'agissait de trouver une méthode d'estimation des déplacements plus performante que la corrélation croisée. Nous montrerons les résultats obtenus sur des données simulées et réelles. Le code mis au point a également été appliqué à des données vidéo de foie in-vivo, afin de suivre les mouvements induits par la respiration et les battements cardiaques.

Thursday, February 22 2007 - 4:00 pm

An Asymmetric Access Point for Solving the Unfairness Problem in WLANs Lieu : Amphi A207 (ENSPS) Conférencier(s) : Andrzej DUDA, IMAG, Grenouble Résumé : In a typical deployment of IEEE 802.11 wireless LANs in the infrastructure mode, an access point acts as a bridge between the wireless and the wired part of the network. Under the current IEEE 802.11 DCF access method, which provides equal channel access probability to all devices in a cell, the access point cannot relay all the frames it receives on the downlink. This causes significant unfairness between uplink and downlink flows, long delays, and frame losses. This unfairness problem comes from a complex interaction of transport layer protocols with the MAC layer access method. The main problem is that the access point requires more transmission attempt probability than wireless stations for correct operation at the transport layer. We propose to solve the unfairness problem in a simple and elegant way at the MAC layer. We define the operation of an Asymmetric Access Point that benefits from a sufficient transmission capacity with respect to wireless stations so that the overall performance improves. The proposed method of operation is intrinsically adaptive so that when the access point does not need the increased capacity, it is used by wireless stations. We validate the proposed access method by simulation to compare with other solutions based for example on 802.11e. Unlike many papers in this domain that only validate their design through simulation or analytical modeling, we provide measurement data gathered on an experimental prototype that uses wireless cards implementing the proposed method.

An Asymmetric Access Point for Solving the Unfairness Problem in WLANs

Lieu : Amphi A207 (ENSPS)

Conférencier(s) : Andrzej DUDA, IMAG, Grenouble

Résumé : In a typical deployment of IEEE 802.11 wireless LANs in the infrastructure mode, an access point acts as a bridge between the wireless and the wired part of the network. Under the current IEEE 802.11 DCF access method, which provides equal channel access probability to all devices in a cell, the access point cannot relay all the frames it receives on the downlink. This causes significant unfairness between uplink and downlink flows, long delays, and frame losses. This unfairness problem comes from a complex interaction of transport layer protocols with the MAC layer access method. The main problem is that the access point requires more transmission attempt probability than wireless stations for correct operation at the transport layer. We propose to solve the unfairness problem in a simple and elegant way at the MAC layer. We define the operation of an Asymmetric Access Point that benefits from a sufficient transmission capacity with respect to wireless stations so that the overall performance improves. The proposed method of operation is intrinsically adaptive so that when the access point does not need the increased capacity, it is used by wireless stations. We validate the proposed access method by simulation to compare with other solutions based for example on 802.11e. Unlike many papers in this domain that only validate their design through simulation or analytical modeling, we provide measurement data gathered on an experimental prototype that uses wireless cards implementing the proposed method.

Thursday, February 22 2007 - 2:00 pm

Detection of self-propelled bodies and their Wake on the hudson estuary using image processing techniques in infrared. Comparison with the Hydrodynamic model of the wake’s surface temperature contras Lieu : Amphi A207 (ENSPS) Conférencier(s) : Genevieve DARDIER, Research Assistant Professor, Davidson Laboratory, Stevens Institute of Technology, Hoboken, NJ, USA. Résumé : The vulnerability of USN ships while moored in a harbor, as well as the needs for domestic harbor security requires effective harbor surveillance methods. The visual monitoring of harbor areas by visible light instruments (video cameras) or infrared instruments (infrared video) has to provide in real time the full pattern of the water traffic including classification of all moving objects, their locations, sizes, speeds and direction of motions. The goal of this research is to combine the hydrodynamic theory of wakes together with infrared imaging techniques to track moving objects in an estuary, and to classify those objects. Secondly, we aim at comparing the detected image contrast around the wake zone with results of our hydrodynamic model of the thermal contrast of the wake produced by a ship. This presentation will first show results of our hydrodynamic model for the wake temperature contrast. Then, two detection algorithms based on K-means clustering and neural networks are adapted to the ship wake low contrast images, using morphological operators and compared in terms of time processing and robustness. Results of detected ships and wakes are shown. Ships and wakes are then modeled and characterized according to criteria such as shape, size, relative orientation and speed. The hydrodynamic approach is eventually compared with the image processing results in terms of thermal and image contrast.

Detection of self-propelled bodies and their Wake on the hudson estuary using image processing techniques in infrared. Comparison with the Hydrodynamic model of the wake’s surface temperature contras

Lieu : Amphi A207 (ENSPS)

Conférencier(s) : Genevieve DARDIER, Research Assistant Professor, Davidson Laboratory, Stevens Institute of Technology, Hoboken, NJ, USA.

Résumé : The vulnerability of USN ships while moored in a harbor, as well as the needs for domestic harbor security requires effective harbor surveillance methods. The visual monitoring of harbor areas by visible light instruments (video cameras) or infrared instruments (infrared video) has to provide in real time the full pattern of the water traffic including classification of all moving objects, their locations, sizes, speeds and direction of motions. The goal of this research is to combine the hydrodynamic theory of wakes together with infrared imaging techniques to track moving objects in an estuary, and to classify those objects. Secondly, we aim at comparing the detected image contrast around the wake zone with results of our hydrodynamic model of the thermal contrast of the wake produced by a ship. This presentation will first show results of our hydrodynamic model for the wake temperature contrast. Then, two detection algorithms based on K-means clustering and neural networks are adapted to the ship wake low contrast images, using morphological operators and compared in terms of time processing and robustness. Results of detected ships and wakes are shown. Ships and wakes are then modeled and characterized according to criteria such as shape, size, relative orientation and speed. The hydrodynamic approach is eventually compared with the image processing results in terms of thermal and image contrast.

Année Universitaire Courante

Archives:

Academic Year 2011/2012
Academic Year 2010/2011
Academic Year 2009/2010
Academic Year 2008/2009
Academic Year 2007/2008
Academic Year 2006/2007
Academic Year 2005/2006
Academic Year 2004/2005