Les musées et centres de sciences se sont historiquement constitués comme des institutions scientifiques et culturelles détentrices d'un savoir savant qui leur confère une certaine autorité. Actuellement, des problèmes socioscientifiques (controverses sociotechniques ou questions socialement vives) et de nouveaux rapports entre sciences et société interrogent les modes de médiations de ces institutions. Dès lors, comment traitent-elles ces sujets ? Comment les professionnels du secteur se positionnent-ils ? Afin de répondre à ces questions, cette thèse prend l'exemple du changement climatique et mobilise deux cadres d'étude : les courants sur la médiation des sciences inspirés du champ STS (Sciences and Technology Studies) qui interrogent le deficit model et la théorie des arènes dans le cadre des études sur les problèmes publics. Quatre musées et centres de sciences sont étudiés : Science Animation à Toulouse, Cap Science à Bordeaux, la Cité des Sciences et de l'Industrie de Paris et le Science Museum de Londres. Le changement climatique, du moins en France jusqu'en 2009, fait l'objet d'une construction consensuelle dans les arènes scientifiques, politiques ou encore médiatiques. En effet, divers opérateurs convergent autour d'une même définition du problème. Les institutions muséales étudiées s'en détachent peu : relais du consensus incarné par les conclusions du GIEC, dépolitisation du problème, alerte et appel à l'action mais absence de focalisation sur la dimension individuelle des enjeux. Quatre modes de médiation muséale du changement climatique sont identifiés : un mode de rupture, un mode informatif, un mode réflexif et critique et un mode résolutique. Les professionnels rencontrés lors de l'enquête adoptent des postures diverses. Néanmoins, la plupart s'attachent à présenter des connaissances validées dans une posture d'impartialité et refusent les approches interventionnistes. Cependant, certains éléments des productions étudiées relèvent d'un tel mode de médiation en articulation avec des discours du type alerte et appel à l'action. Cette contradiction pourrait témoigner du poids de la définition dominante du problème climatique institué comme cause sans adversaire et plus largement de la prégnance du développement durable comme nouvelle norme sociopolitique.

Le contrôle non destructif de défauts du type fissures pénétrables ou impénétrables constitue un problème inverse très intéressant parmi ceux de la physique, de l'ingénierie des matériaux et structures, des sciences médicales, etc., et en soi est donc un sujet d'importance sociétale certaine. Le but de cette thèse est de développer des méthodes de reconstruction efficaces afin de les appliquer à une variété de problèmes de fissures. Premièrement, nous proposons un algorithme non-itératif afin de déterminer les extrémités de fissures conductrices, algorithme basé sur une formulation asymptotique appropriée et une méthode d'identification de pôles simples et de résidus d'une fonction méromorphe. Puis un algorithme non-itératif de type MUSIC(MUltiple SIgnal Classification) est considéré afin d'imager une fissure pénétrable ou impénétrable à partir du champ qu'elle diffracte, ce champ pouvant être représenté grâce à une formulation asymptotique rigoureuse. Une technique d'ensembles de niveaux est alors proposé afin de reconstruire une fissure pénétrable, deux fonctions d'ensemble de niveaux étant utilisées pour la décrire puisqu'une méthode traditionnelle d'ensembles de niveaux ne le permet pas de par sa petite épaisseur. Finalement, cette thèse traite de la reconstruction des fissures courtes et étendues avec des conditions limites de Dirichlet. Nous développons alors un algorithme de type MUSIC pour reconstruire les petites fissures et un algorithme d'optimisation pour les fissures longues basé sur la formulation asymptotique. Des simulations numériques nombreuses illustrent les performances des méthodes de reconstruction proposées.

Cette thèse s'intéresse à l'allocation de ressources des réseaux WMAN (Wireless Metropolitan Area Networks) utilisant l'OFDMA (Orthogonal Frequency Division Multiple Access). Les applications récentes destinées aux réseaux sans fils requièrent des débits importants. L'OFDMA, technique d'accès multiple basée sur l'OFDM(Orthogonal Frequency Division Multiplexing), permet d'obtenir des débits élevés en tirant avantage de la diversité multiutilisateur. Dans une première partie, l'allocation de ressources est considérée au niveau de la couche physique (affectation des fréquences et de la puissance). Dans un contexte monocellulaire, un algorithme est proposé afin de maximiser le débit de la cellule tout en assurant des débits individuels aux utilisateurs (problème RA, Rate Adaptive optimization). L'impact de la sous canalisation sur le débit global est analysé. Puis, un algorithme est proposé dans un contexte multicellulaire pour adapter dynamiquement le facteur de réutilisation fréquentiel. Dans une deuxième partie, l'ordonnancement est traité. L'objectif est de garantir les délais du trafic temps réel, de maximiser le débit du trafic non temps réel tout en assurant une équité proportionnelle entre les flux. Pour cela, les extensions du GPS (Global Processor Sharing) sont étudiées. Deux algorithmes, extensions du WFS (Wireless Fair Service) pour l'OFDMA, sont proposés. Leurs performances sont comparées au WFS et aux algorithmes existants en OFDMA. L'une des propositions, l'OWFS (Opportunist Wireless Fair Service) est particulièrement adaptée pour maximiser le débit du trafic non temps réel et comporte un paramètre, le poids de délai, qui permet de maintenir un taux de pertes acceptable pour le trafic temps réel.

Ce mémoire d'Habilitation à Diriger les Recherches présente les principales activités de recherche que j'ai menées depuis 2002 en tant que Maître de Conférences, tout d'abord à l'Université de Technologie de Belfort-Montbéliard, jusqu'en 2006, puis à l'Université Henri Poincaré dans l'équipe Maia au LORIA. Ce mémoire synthétise une partie de mes contributions au domaine de la résolution collective de problème, en informatique et en robotique. Il s'agit d'une approche inspirée du vivant, reposant sur les interactions d'un grand nombre d'agents simples entre eux et avec leur environnement, capable de faire émerger des structures ou des organisations constituant des solutions à des problèmes donnés. Cette approche est connue pour générer des solutions robustes et auto-adaptatives aux conditions variables et inconnues de l'environnement ou du système. La principale motivation de ces travaux est de modéliser ces comportements d'auto-organisation pour mieux les comprendre et les utiliser dans la définition de processus de résolution de problème ou de contrôle de flottilles de robots. Dans ce cadre, le mémoire présente les recherches menées selon deux approches possibles des interactions entre agents. Dans un premier temps, nous considérons des interactions directes entre agents ou robots, essentiellement par signaux/perceptions, et montrons comment la coordination réactive peut être efficace pour la résolution de problèmes spatiaux, ainsi que pour la navigation en formation. Dans un deuxième temps, nous examinons des modèles de coopération indirecte, c'est-à-dire fondés sur le marquage et la lecture d'informations dans l'environnement. Nous focalisons sur l'étude des processus d'auto-organisation engendrés par ce principe, puis examinons des approches pour leur implémentation réelle et robotique. Enfin, le mémoire présente mes perspectives de recherche en détaillant des pistes pour la définition d'une approche générique de résolution collective de problème fondée sur la construction de champs dynamiques dans l'environnement, et pour son déploiement en robotique dans des environnements réels et large échelle.

Ce travail de thèse est consacré à la modélisation et à la simulation numérique des transitions de phase liquide-vapeur. L'étude effectuée se découpe en deux randes parties: une première où on étudie les phénomènes de transition de phase avec une loi d'état de type Van Der Waals (perte de monotonie de la loi d'état) et une deuxième partie où on choisit une approche alternative avec deux loi d'états. La première partie consiste à étudier les critères visqueux classiques de sélection des solutions du système d'équations utilisé lorsque la loi d'état n'est pas monotone. Les critères classiques ne sélectionnant pas des solutions a priori physiques, un critère plus récent est introduit: le critère visco-capillaire. L'utilisation de ce critère avec un solveur de Riemann exact (sous la contrainte de trouver le zéro d'une fonction non linéaire) permet d'obtenir des résultats mais avec un coût de calcul trop élevé. Une approche alternative est alors envisagée avec deux lois d'états (une pour chaque phase). A l'aide d'un procédé de minimisation de l'action hamiltonienne, un modèle bifluide de changement de phase est proposé. Celui-ci respecte alors le second principe de la thermodynamique. Deux sous-systèmes en sont déduits à l'aide d'un procédé de retour à l'équilibre: mécanique dans un premier temp puis mécanique et thermodynamique dans un deuxième temps. Malgré la faible hyperbolicité du dernier sous-système obtenu, des schémas numériques stables basés sur une méthode de splitting sont proposés. On montre alors que le système ainsi obtenu est naturellement capable de nucléer des bulles de vapeur dans du liquide.

Cette thèse traite du problème à N+1 corps dans les gaz de fermions ultrafroids fortement polarisés. Il s'agit de la situation où un unique atome d'une espèce de spin est immergé dans une mer de Fermi d'atomes de l'autre espèce.<br /> <br /> La première partie utilise une approche hamiltonienne basée sur un développement général de la fonction d'onde du système faisant intervenir un nombre arbitraire de paires particule-trou. Nous montrons que la série d'approximations successives construite converge très rapidement et nous obtenons ainsi une solution essentiellement exacte pour l'énergie et la masse effective du polaron. En dimension 1, dans deux cas particuliers, ce problème peut être résolu analytiquement. La comparaison avec notre série d'approximations est excellente et confirme l'efficacité de ce développement. Enfin, nous précisons les différents cas limites, ainsi que l'influence du rapport des masses entre les deux espèces de spin.<br /> <br /> Dans une deuxième partie, nous utilisons le formalisme des diagrammes de Feynman pour décrire à la fois le polaron et l'état lié. Pour le polaron, nous construisons une théorie équivalente à l'approche hamiltonienne. Pour l'état lié, nous obtenons à nouveau une série d'approximations dont la convergence très rapide vers la solution exacte est parfaitement comprise. Cette approche nous fournit donc une solution quasi-exacte au problème tout au long de la transition BEC-BCS. Enfin, en comparant les énergies des deux quasi-particules, nous étudions la position de la transition polaron - état lié.

Ce travail porte sur la résolution exacte d'un problème d'optimisation combinatoire multi-objectif. Nous cherchons d'une part à confirmer l'efficacité de l'algorithme dit en deux phases, et d'autre part à poser une généralisation des procédures de séparation et évaluation, populaires dans le cadre mono-objectif mais presque absentes en multi-objectif. Notre étude s'appuie sur le problème multi-objectif de sac à dos unidimensionnel en variables binaires. Ce dernier est un classique de l'optimisation combinatoire, présent comme sous problème dans de nombreux problèmes d'optimisation. La première partie de nos travaux porte sur un pré-traitement permettant de réduire la taille d'instances de ce problème. Nous mettons en évidence plusieurs propriétés permettant de déterminer a priori une partie de la structure de toutes les solutions efficaces. Nous nous attachons ensuite à décrire une procédure performante de type deux phases pour ce problème, tout d'abord dans le cas bi-objectif. Nous étendons ensuite cette procédure pour des instances ayant trois objectifs ou plus. Les résultats obtenus sont comparés aux meilleurs algorithmes existants pour ce problème et confirment l'efficacité de l'approche en deux phases. La dernière partie de notre travail concerne la généralisation au cas multi-objectif d'une procédure de séparation et évaluation. Nous identifions plusieurs difficultés auxquelles nous répondons en proposant deux nouvelles procédures. Les expérimentations numériques indiquent que ces dernières permettent de résoudre des instances en des temps raisonnables, bien qu'elles n'atteignent pas les performances d'une procédure de type deux phases.

Les Algorithmes Évolutionnaires (AE) sont des méthodes de recherche par itération de sélections et de variations aléatoires sur une population de solutions potentielles. <br />La Programmation Génétique (PG) est un AE qui permet la recherche automatique de programmes et qui manipule des représentations complexes : arbres (PGA) ou listes de longueur variables (PGL). <br />Les variations aléatoires permettant de créer de nouveaux programmes peuvent être des modifications locales (mutations) ou des recombinaisons de programmes (croisements). <br />L'opérateur de croisement recombine aléatoirement des sous-parties de programmes sans tenir compte du contexte : c'est une opération «brutale» qui est une des causes supposées de la croissance incontrôlée de la taille des programmes. <br />Inspirés par la recombinaison homologue de l'ADN, nous définissons, le Croisement par Maximum d'Homologie (CMH) pour la PGL. <br />A partir d'une mesure de similarité entre les expressions à recombiner, le CMH favorise les échanges qui respectent les structures communes préexistantes. <br />La capacité du CMH à effectuer une recherche moins brutale et à permettre un contrôle précis de la taille des programmes est mise en évidence sur des problèmes classiques de PG comme l'approximation de fonctions par régression symbolique. <br />En partant des différents résultats obtenus, nous appliquons notre méthode à la résolution d'un problème réel : l'inversion des composantes atmosphériques. De plus, nous montrons comment, à coût constant, il est possible de rechercher des combinaisons de modèles inverses dont les performances sont supérieures aux modèles standards.

L'objet de cette thèse est d'obtenir une description des plongements élémentaires (au sens de la logique du premier ordre) dans un groupe hyperbolique sans torsion. Le résultat principal décrit ces plongements en terme d'une structure définie par Sela dans sa solution au problème de Tarski: la structure de tour hyperbolique. Ainsi, si H est plongé élementairement dans un groupe hyperbolique sans torsion G, on peut obtenir G en amalgamant successivement des groupes de surfaces à bord à un produit libre de H avec des groupes libres et des groupes de surfaces sans bord. Ceci permet en corollaire de montrer qu'un sous-groupe plongé élémentairement dans un groupe libre de type fini est un facteur libre. Les techniques utilisées pour obtenir cette description sont essentiellement géométriques: actions sur des arbres réels ou simpliciaux, existence de décompositions JSJ. On s'appuie également sur des résultats d'existence d'ensembles de factorisation qui affirment que pour certains groupes A de type fini, étant donné un groupe hyperbolique sans torsion G, il existe un ensemble fini de quotients de A tel que tout morphisme non injectif de A vers G se factorise par l'un de ces quotients après précomposition par un automorphisme de A. On expose une preuve de ces résultats, y compris une version complète et détaillée du shortening argument de Rips et Sela. Le shortening argument montre, grâce à l'analyse de Rips des actions sur des arbres réels, que si une suite d'action d'un groupe A sur des espaces hyperboliques converge vers un A-arbre réel d'un certain type, alors une infinité de ces actions peuvent être raccourcies.

Dans cette thèse, nous nous intéressons à la résolution de problèmes inverses provenant d'une modélisation multi-échelle de l'écoulement de l'air dans les poumons. Dans un premier temps, nous considérons une version simplifiée du modèle de l'écoulement de l'air dans les poumons : l'écoulement est modélisé par les équations de Stokes incompressibles avec des conditions aux limites de type Robin sur une partie du bord. Nous cherchons à identifier le coefficient de Robin défini sur une partie non accessible du bord à partir de mesures de la vitesse et de la pression disponibles sur une autre partie du bord. Après avoir quantifié des résultats de continuation unique pour le système de Stokes, nous établissons deux inégalités de stabilité logarithmiques, l'une valable en dimension 2 et l'autre valable en toute dimension. Toutes deux sont basées sur des inégalités de Carleman, globale dans le premier cas et locales dans le second. Les inégalités de stabilité sont d'abord montrées sur le problème stationnaire puis la théorie des semi-groupes permet de passer au problème non stationnaire. De plus, sous l'hypothèse a priori que le coefficient de Robin est constant par morceaux, nous prouvons une inégalité de stabilité Lipschitzienne pour le problème stationnaire. Nous concluons cette thèse en revenant au problème initial pour lequel nous imposons des conditions au bord non-standard faisant intervenir le flux. En particulier, nous obtenons des premiers résultats numériques encourageants concernant l'identification de certains paramètres du modèle.