Cette thèse s'inscrit dans le cadre d'une collaboration entre l'IRCCyN (UMR 6597) et le laboratoire SMI (Sensory-Motor Interaction, Université d'Aalborg, Dane- mark). L'objectif est de développer des méthodes de décomposition de signaux élec- tromyographiques (EMG). Les applications sont multiples, e.g., l'aide au diagnostic. De tels signaux peuvent être modélisés comme une somme bruitée de I composantes, chacune étant la réponse d'un système linéaire excité par un train d'impulsions. Les paramètres du modèle sont estimés par une technique bayésienne. Les lois a priori des paramètres continus sont choisies de sorte que les lois marginales a posteriori sont analytiques. Dans un premier temps est proposée une méthode déterministe par maxi- misation de la distribution a posteriori. La difficulté majeure consiste en l'estimation des trains d'impulsions. Ceux-ci (paramètres discrets) constituent un espace combinatoire ; la recherche du maximum est traitée par l'algorithme Tabou. Dans un deuxième temps, on souhaite éviter le réglage des paramètres associés à l'algorithme Tabou : l'approche bayésienne couplée aux techniques MCMC fournit un cadre d'étude très efficace. Un algorithme de Gibbs hybride est proposé, dans lequel une étape Metropolis-Hastings sur les trains d'impulsions permet d'éviter un calcul de complexité exponentielle, tout en garantissant l'irréductibilité de la chaîne de Markov. Les techniques issues de l'al- gorithme MCMC pour la déconvolution d'un processus Bernoulli-gaussien sont ap- pliquées. En particulier, le rééchantillonnage d'échelle et la marginalisation des ampli- tudes sont adaptés au modèle physique en tenant compte de la variabilité d'amplitudes des impulsions. Les algorithmes sont validés sur des signaux EMG simulés et expérimentaux.

L'électrochromatographie capillaire (ECC) est une méthode séparative très prometteuse. En effet, elle combine l'efficacité due au profil plat du flux électroosmotique (ECZ) et la sélectivité due aux interactions avec une phase stationnaire (CPL). Les phases stationnaires monolithiques ont été développées comme alternative aux phases particulaires de par leur facilité de synthèse in situ. C'est pourquoi ces nouvelles phases stationnaires peuvent être facilement intégrées dans des microsystèmes analytiques. Cependant un des inconvénients majeurs lié aux techniques miniaturisées est leur faible sensibilité lors d'analyses de traces. Ces difficultés peuvent être circonvenues en réalisant une étape appropriée de préconcentration des composés d'intérêt avant l'étape d'analyse proprement dite. Une telle stratégie serait particulièrement pertinente pour des échantillons environnementaux et d'intérêts biologiques. Dans un premier temps nous avons étudié l'optimisation de la synthèse in situ de phases stationnaires monolithiques à base d'acrylates. Des facteurs tels que la dose énergétique appliquée ainsi que le prétraitement du capillaire ont été étudiés afin de déterminer dans quelle mesure ceux-ci peuvent influer sur les performances structurales et séparatives de ces colonnes. Dans un deuxième temps, les résultats obtenus en ECC avec des colonnes monolithiques testées en tant que matériau de préconcentration et de séparation sont présentés. Ces études ont été menées avec des composés modèles environnementaux. De très bonne efficacité (250 000 à 350 000 plateaux par mètre) et des facteurs de préconcentration supérieurs à 10 000 ont été obtenus, avec succès. Enfin le couplage en ligne d'une étape de préconcentration avant la séparation dans des microsystèmes comportant une phase stationnaire monolithique a été réalisé, des hydrocarbures polyaromatiques ont ainsi été analysés.

Les zéolithes sont des aluminosilicates poreux cristallins dont la taille caractéristique de la porosité est de l'ordre de la taille de nombreuses molécules organiques et inorganiques, ce qui leur confère des propriétés spécifiques en adsorption et catalyse, à l'origine de leur importance dans de nombreuses applications industrielles. La modélisation des propriétés des zéolithes est importante de plusieurs points de vue : du point de vue de l'industriel, elle peut favoriser un choix plus judicieux du matériau qui présente la propriété d'adsorption critique pour une application ; du point de vue fondamental, la structure ordonnée des zéolithes en fait des matériaux modèles uniques pour tester les méthodes de calculs sur des étalons dont les propriétés peuvent être mesurées par de nombreuses techniques expérimentales. Cette thèse s'inscrit dans le cadre d'une collaboration entre le Laboratoire de Chimie Physique d'Orsay et l'IFP - énergies nouvelles. Différentes méthodes de simulation ont été mises au point pour modéliser, comprendre et prédire diverses caractéristiques structurales et propriétés des zéolithes cationiques : la sélectivité d'adsorption d'eau et hydrocarbures (notamment dans les faujasites au baryum), la localisation des cations extraréseaux (baryum notamment), la localisation des atomes d'aluminium dans la charpente (méthode basée sur des études de diffraction des rayons X), les propriétés d'échange ionique (faujasites NaX et NaY) et la flexibilité de la charpente. Les modèles et les méthodes dont nous disposons aujourd'hui permettent d'étudier des matériaux contenant des cations monovalents mais aussi divalents, ainsi que des matériaux bicationiques.

Cette thèse est divisée en trois parties. Les groupes de première partie des contributions à l'étude des équilibres corrélés. Nous nous concentrons sur les propriétés et les applications de la réduction de la double (Myerson, 1997) et la géométrie de Nash équilibres et des équilibres corrélés. La deuxième partie traite de l'évolution dynamique. Nous étudions le lien entre les stratégies appartenant à l'appui de Nash ou équilibres corrélés et les stratégies de survie dans le long terme. Nous constatons que la dynamique de beaucoup, y compris le réplicateur et les plus dynamiques de réponse peut éliminer toutes les stratégies à l'appui des équilibres corrélés. Élimination de toutes les stratégies à l'appui des équilibres de Nash est jugée encore plus universelle, et peuvent se produire à partir de presque toutes les conditions initiales. Le troisième partie se compose d'un seul article co-écrit, qui appartient au domaine de la biologie théorique. Nous aspects de l'étude de la transition de l'unicellulaire à organismes multi-cellulaires, en particulier les facteurs de conduite germe-soma spécialisation chez les algues vertes volvocine. introductions longues sont donnés au début de chaque partie. Le Bibliographie de la partie I et partie II est disjointe de la bibliographie de la partie III, et est offert à la fin de la partie II. Bien que reliées entre elles, les chapitres sont essentiellement autonome. En particulier, les notations et quelques définitions sont rappelés à chaque fois. Cela explique certaines répétitions.

Cette thèse est consacree au problµeme de separation de composantes lorsque celles ci sont des images de structure differente et que l'on en observe un ou plusieurs melange(s) ou(s) et bruite(s). Les problµemes de deconvolution et de separation, traditionnellement etudies separement, sont ici traites simultanément. Une façon naturelle d'aborder le problµeme multicomposants/multiobservations est de generaliser les techniques de deconvolution d'une image unique. Le premier resultat presente est une etude mathematique d'un tel algorithme. Preuve est faite que celuici est convergent mais pas regularisant et une modification restaurant cette propriete est proposee. Le sujet principal est le developpement et la comparaison de deux methodes pour traiter la deconvolution et separation simultanees de composantes. La premiµere methode est basee sur les propriétes statistiques locales des composantes tandis que dans la seconde, ces signaux sont decrits par des espaces fonctionnels. Les deux methodes utilisent des transformees en ondelettes redondantes pour simplifier les donnees. Les performances des deux algorithmes sont evaluees et comparees dans le cadre d'un problµeme astrophysique : celui de l'extraction des amas de galaxies par l'effet Sunyaev-Zel'dovich dans les images multispectrales des anisotropies du fond cosmique. Des simulations realistes sont etudiees. On montre qu'µa haute resolution et niveau de bruit modere, les deux methodes permettent d'extraire des cartes d'amas de galaxies de qualite suffisante pour des etudes cosmologiques. Le niveau de bruit est un facteur limitant µa basse resolution et la methode statistique est robuste µa la presence de points sources.

Le cadre de cette thèse est l'analyse statique modulaire par interprétation abstraite de logiciels en vue de leur vérification automatique. Nous nous intéressons en particulier aux programmes comportant des objets alloués dynamiquement sur un tas et repérés par des pointeurs. Le but final étant de trouver des erreurs dans un programme (problèmes de déréférencements et d'alias) ou de prouver qu'un programme est correct (relativement à ces problèmes) de façon automatique. Isthiaq, Pym, O'Hearn et Reynolds ont développé récemment des logiques de fragmentation (separation logics) qui sont des logiques de Hoare avec un langage d'assertions/de prédicats permettant de démontrer qu'un programme manipulant des pointeurs sur un tas est correct. La sémantique des triplets de la logique ({P}C{P

Ces travaux s'intéressent à la micro-hydrodynamique des écoulements sanguins cérébraux dans les réseaux micro-vasculaires. A partir d'images tridimensionnelles haute résolution obtenues par micro-tomographie, les réseaux micro-vasculaires sont numérisés après différentes étapes de traitement d'images. Une résolution numérique approchée des écoulements sanguins quasi-statique de type réseau est développée. Cette approche permet à la fois de prendre en compte la structure géométrique micro-vasculaire complexe et les interactions hydrodynamiques non-locales des hématies confinées qui s'écoulent en son sein. La méthode proposée permet l'évaluation des distributions de pression, d'hématocrite et de débit sur des volumes cérébraux d'une dizaine de millimètres cube où quelques dizaines de milliers de segments vasculaires sont présents. L'analyse systématique des modèles de rhéologie sanguine existant montrent la prépondérance du choix du modèle de viscosité, à opposer au faible impact de la séparation de phase sur l'écoulement, phénomène pour lequel nous proposons aussi une modélisation alternative. De plus, nous avons analysé la perfusion sanguine cérébrale, et l'organisation générale des écoulements corticaux. Dans la situation physiologique normale, nous quantifions les territoires vasculaires qui sont les unités fonctionnelles micro-vasculaires. Nous évaluons leur évolution et leur robustesse dans des contextes pathologiques modèles et notamment pour les micro-accidents vasculaires cérébraux.

La gamme des produits de charcuterie 100% volaille qui présente un intérêt particulier à la Réunion est limitée par les mauvaises propriétés technologiques des gras de volaille. Le procédé de fractionnement à sec a été appliqué à la matière grasse de volaille extraite des tissus adipeux afin d'en améliorer les propriétés. L'étude fondamentale du procédé a permis de mettre en évidence les mécanismes mis en jeu et de mieux comprendre l'influence de l'itinéraire thermique sur le procédé. Un modèle de prédiction de la qualité des fractions en fonction des variables de contrôle a été élaboré. La caractérisation des échanges thermiques ayant lieu au cours du refroidissement permet le suivi du flux de chaleur lié à la cristallisation. A température ambiante, la fraction liquide s'apparente à une huile fluide et la fraction solide présente des caractéristiques physiques proches d'autres matières grasses animales telles que le saindoux ou le suif.

L'une des principales difficultés dans l'utilisation de capteurs chimiques concerne le manque de sélectivité inhérent à ces dispositifs. La stratégie classique pour faire face à ce problème est fondée sur le développement de nouvelles membranes qui conduisent à des capteurs plus sélectifs. Toutefois, plus récemment, on a démontré que ce problème peut également être traité par une autre approche, dans laquelle l'acquisition de données est effectuée par un réseau de capteurs qui ne sont pas forcément sélectifs. Ainsi, dans une deuxième étape, les informations pertinentes sont récupérées à l'aide des outils de traitement de signal. L'un des bénéfices le plus remarquable dans cette démarche concerne la flexibilité du système de mesure : le même réseau de capteurs peut être utilisé pour réaliser différents types d'analyse. Dans cette thèse, nous étudions l'utilisation de réseaux de capteurs dans le problème de l'analyse chimique quantitative. Cependant, contrairement à la grande majorité des travaux dans cette ligne, notre approche envisage des solutions non-supervisées, n'ayant pas besoin d'une étape d'étalonnage. Cette situation peut être formulée comme un problème de séparation aveugle de sources. Puisque les capteurs chimiques considérés dans cette recherche présentent des réponses non-linéaires, le processus de mélange sous-jacent au réseau de capteurs est non-linéaire, ce qui rend le problème difficile. Les principales contributions de cette recherche sont liées justement au développement de méthodes de séparation des mélanges non-linéaires sur mesure pour les réseaux d'électrodes sélectives potentiométriques. Nous considérons des solutions fondées sur l'analyse en composantes indépendantes, mais également sur d'autres stratégies qui nous permettent de prendre en compte des connaissances a priori typiques dans l'application ciblée dans cette recherche, comme la positivité des activités chimiques.

Dans de nombreux problèmes industriels, l'agencement des différents composants joue un rôle déterminant sur les performances du système à concevoir. Ces problèmes de placement ont fait l'objet de nombreux travaux dans la littérature ; toutefois les méthodes de résolution généralement proposées sont spécifiques et ne peuvent être appliquées à différents problèmes. Ce travail propose une méthode générique pour la résolution des problèmes de placement. La méthode présentée est une hybridation d'un algorithme évolutionnaire avec une méthode de séparation. L'algorithme évolutionnaire est un algorithme génétique multi-objectif chargé d'explorer efficacement l'espace de recherche et l'algorithme de séparation a pour objectif de faire respecter les contraintes de placement du problème. Si les contraintes de placement d'une solution proposée ne sont pas respectées, l'algorithme de séparation modifie la solution de manière à la rendre réalisable. La méthode de séparation a été développée pour des cas simples comme pour des cas compliqués en 2D et 3D et permet la gestion de contraintes particulières. Différents exemples 2D sont présentés avec plusieurs analyses permettant de comprendre les mécanismes mis en jeu lors de la résolution des problèmes de placement. Les éléments de résolution des problèmes 3D de géométries complexes sont aussi présentés. Par rapport aux algorithmes ad-hoc de la littérature, notre méthode générique permet de résoudre une grande variété de problèmes avec des temps de calculs du même ordre de grandeur. Enfin, les différents avantages et possibilités de la méthode permettent de nombreux développements futurs.