La miniaturisation des composants CMOS (Complementary Metal Oxide Semiconductor) impose l'emploi de matériaux diélectriques de permittivité élevée. LaAlO₃ et SrTiO₃ sont aujourd'hui parmi les meilleurs candidats ; toutefois, la diffusion de l'oxygène dans ces matériaux conduit à la dégradation des propriétés électriques et de l'interface avec le silicium. Ce travail théorique a pour but d'étudier les facteurs gouvernant, à l'échelle de la liaison chimique, la diffusion de l'ion oxygène. L'approche choisie repose sur la théorie de la fonctionnelle de la densité (DFT), couplée à des méthodes d'analyse de la densité électronique, et sur le développement d'un outil original : les cartes de densité d'énergie. Les régions de la densité électronique contribuant à la barrière de diffusion ont ainsi pu être identifiées; une optimisation de ces matériaux à l'échelle de la liaison chimique peut alors être envisagée.

La cartographie des réseaux épileptiques est cruciale lors des explorations fonctionnelles chez les patients pharmacorésistants (30%). Parmi les techniques récentes, l'acquisition simultanée en IRMf et EEG apparaît adaptée à l'exploration des épilepsies. L'IRMf/EEG est une méthode non invasive permettant de localiser les régions épileptiques et fonctionnelles.<br />L'objectif de cette thèse était la mise en place, au CHU de Grenoble, de protocoles d'acquisition et de traitement de l'IRMf/EEG afin de localiser les réseaux épileptiques lors des évaluations pré- et post-chirurgicales. Les bénéfices sont de maximiser les chances de guérison en identifiant le réseau épileptique et de limiter les effets secondaires en préservant les aires fonctionnelles.<br />L'acquisition de l'EEG en milieu magnétique produit des artefacts. Nous avons d'abord évalué la performance de plusieurs algorithmes de correction d'artefacts selon différentes configurations expérimentales. Nous avons ensuite évalué l'influence du couplage hémodynamique et proposé une méthode robuste estimant la réponse hémodynamique optimale pour chaque patient afin d'améliorer la sensibilité des examens.<br />Nos résultats montrent que (i) la plupart des algorithmes sont efficaces mais qu'un filtrage trop strict peut détériorer l'EEG ; (ii) l'estimation de la réponse hémodynamique est cruciale en IRMf/EEG. Ceci suggère que l'épilepsie peut induire une modification des propriétés hémodynamiques.<br />L'IRMf/EEG est une méthode prometteuse pour les investigations préchirurgicales. En raison de l'hétérogénéité du couplage neurovasculaire, l'interprétation des cartes d'activation reste délicate et nécessite l'emploi d'approches complémentaires.

Nous nous intéressons au problème du dimensionnement et du placement optimal de locaux sur une surface donnée (on trouve aussi allocation spatiale), de type logements familiaux, bureaux ou équipements collectifs... Nous présentons une nouvelle approche de logiciel de CAO en architecture qui part de l'expression du besoin fonctionnel en termes de contraintes sur les locaux. La grande originalité de ce travail est de proposer un modèle de placement a trois niveaux : fonctionnel, topologique et numérique. Dans une seconde étape, le logiciel ARCHiPLAN que nous avons développé, énumère toutes les solutions topologiquement différentes, sans présumer pour autant de dimensions finales précises. Ces solutions correspondent à l'étape d'esquisses qu'effectue un architecte en phase de conception préliminaire a partir du cahier des charges fonctionnel (programme). L'architecte peut ensuite « naviguer » dans cet espace de solutions topologiques, en faible nombre, et en choisir certaines pour une étude plus poussée. Pour chaque solution topologique, la meilleure solution dimensionnelle est trouvée au regard de critères de coûts, de surfaces utiles, de trame ou autres. Cette approche, qui combine la programmation orientée objet et les techniques de programmation par contraintes, a l'avantage d'éviter le problème récurrent de l'explosion combinatoire grâce a ce modèle a trois niveaux, tout en se rapprochant de la pratique du concepteur du domaine par une méthode fonctionnelle et progressive. Le logiciel ARCHiPLAN a prouve sa robustesse, sa pertinence et sa souplesse en conception ainsi que sa rapidite sur de nombreux exemples.

Cette these traite de la modelisation statistique de formes en imagerie<br />cerebrale.<br /><br />Dans une premiere partie, nous proposons un modele statistique de la forme des sillons corticaux. Le modele est bati par apprentissage a partir de sillons extraits d'images IRM et dotes d'une representation parametrique. La definition d'un repere intrinseque a la forme sillon permet d'aligner l'ensemble des formes extraites et de construire une population d'apprentissage coherente sur laquelle appliquer une analyse en composantes principales afin de deriver le modele. Ce modele statistique est ensuite etendu a un graphe de sillons afin de decrire non plus seulement les caracteristiques morphologiques d'un sillon, mais aussi les relations de position et d'orientation entre sillons principaux.<br />L'analyse presentee ici porte sur un sous-graphe defini par un couple de sillons. <br /><br />Dans une seconde partie, trois applications de la modelisation proposee sont envisagees. D'une part, nous l'utilisons dans un cadre d'evaluation de methodes de recalage global inter-sujets. Pratiquee sur des amers locaux, l'analyse statistique fournit un indicateur de la similarite des formes au sein des populations recalees, et produit un critere de comparaison entre les methodes. D'autre part, nous exploitons la connaissance statistique apportee par le modele sur les sillons dans le contexte de la construction d'atlas anatomiques et fonctionnels. Nous proposons une methode locale et non-lineaire de recalage inter-sujets de donnees fonctionnelles, exprimees sous forme de dipoles MEG (localisations d'activations fonctionnelles), base sur la modelisation des amers anatomiques que sont les sillons corticaux. Exprimentee sur une population de 18 sujets, cette methode s'est averee apte a reduire la variabilite fonctionnelle inter-individuelle observee. Enfin, nous appliquons la methodologie proposee dans le cas des sillons a la modelisation statistique de la forme de frontieres fonctionnelles delimitant des aires visuelles de bas-niveau.

L'un des objectifs principaux de l'imagerie par résonance magnétique fonctionnelle (IRMf) est la localisation in vivo et de manière non invasive des zones cérébrales associées à certaines fonctions cognitives. Le cerveau présentant une très grande variabilité anatomo-fonctionnelle inter-individuelle, les études d'IRMf incluent généralement plusieurs sujets et une analyse de groupe permet de résumer les résultats intra-sujets en une carte d'activation du groupe représentative de la population d'intérêt. L'analyse de groupe « standard » repose sur une hypothèse forte d'homogénéité des effets estimés à travers les sujets. Dans un premier temps, nous étudions la validité de cette hypothèse par une méthode multivariée diagnostique et un test de normalité univarié (le test de Grubbs). L'application de ces méthodes sur une vingtaine de jeux de données révèle la présence fréquente de données atypiques qui peuvent invalider l'hypothèse d'homogénéité. Nous proposons alors d'utiliser des statistiques de décision robustes calibrées par permutations afin d'améliorer la spécificité et la sensibilité des tests statistiques pour l'analyse de groupe. Puis nous introduisons de nouvelles statistiques de décision à effets mixtes fondées sur le rapport de vraisemblances maximales, permettant de pondérer les sujets en fonction de l'incertitude sur l'estimation de leurs effets. Nous confirmons sur des jeux de données que ces nouvelles méthodes d'inférence permettent un gain en sensibilité significatif, et nous fournissons l'ensemble des outils développés lors de cette thèse à la communauté de neuro-imagerie dans le logiciel DISTANCE.

En mécanique des fluides (CFD), l'adaptation de maillage anisotrope est reconnue pour sa capacité à réduire le ratio entre le nombre de degrés de liberté et la précision du calcul. Cependant, son application dans le cas d'écoulements compressibles avec des chocs pose les problématiques suivantes : (i) les schémas numériques d'ordre élevé de type shock capturing retombent à l'ordre un dans les chocs, (ii) les senseurs utilisés pour l'adaptation prescrivent dans les chocs des tailles qui tendent vers zéro. Il est donc nécessaire de prescrire une taille minimale. On perd alors tout l'intérêt d'une adaptation anisotrope. On apporte une réponse à ces problématiques en considérant une adaptation anisotrope multi-échelles du maillage basée sur le modèle de maillage continu. On alors montre que le processus adaptatif converge dans les chocs si le schéma numérique utilisé est non compressif. La prescription d'une taille minimale n'est plus nécessaire. On retrouve également un ordre deux de convergence dans tout le domaine, même en présence de chocs. Si on se donne des informations supplémentaires (fonctionnelle précise à observer, équation aux dérivées partielles, schéma numérique utilisé pour la résoudre) les méthodes génériques précédentes ne sont plus op- timales dans la distribution des degrés de liberté. On étudie cette problématique dans le cas particulier des équations d'Euler pour des fonctionnelles scalaires. Ce type d'étude est très bien adapté pour le calcul de grandeurs d'intérêt comme la portance ou la traînée en aérodynamique. On propose une estimation d'erreur a priori pour le contrôle de l'erreur d'approximation sur une fonctionnelle. Cette estimation est ensuite minimisée sur l'espace des maillages continus afin de décrire le maillage anisotrope optimal. Enfin, on applique l'adaptation multi-échelles à la prédiction haute-fidélité du bang sonique.

Les travaux de cette thèse portent sur l'intégration monolithique de nouvelles fonctions pour les transistors de puissance à technologie verticale et grille isolée. Les efforts se sont concentrés plus particulièrement autour de deux fonctions : l'intégration monolithique d'un dispositif d'alimentation pour le circuit de commande rapprochée, et l'intégration monolithique d'un récepteur optique nécessaire à l'isolation galvanique entre la commande rapprochée et la commande éloignée. Le mémoire de thèse se structure en trois chapitres équivalents : présentation et validation des structures, modélisation analytique des phénomènes, et enfin conception et caractérisation des dispositifs. Les champs<br />d'applications de ces travaux couvrent un large spectre, favorisant l'émergence de convertisseurs de puissance innovants, à haute densité de puissance et coût de fabrication réduit.

La validation fonctionnelle d'un système matériel consiste a vérifier le système vis-a-vis de son fonctionnement attendu. Il existe deux façons de spécifier ce fonctionnement attendu. D'une part, la spécification peut être donnée sous forme d'une description fonctionnelle complète. D'autre part, l'expression de cette spécification peut être donnée sous forme d'un ensemble de propriétés temporelles critiques. Ces deux façons de spécifier les systèmes matériels ont donne lieu a deux problèmes de vérification. Notre domaine d'étude concerne les systèmes matériels numériques séquentiels synchrones. Le travail présente dans ce document développe une approche de vérification unifiée, fondée sur le modèle de machines d'états finis, pour résoudre les deux problèmes de vérification sur ces systèmes. Dans cette approche, tout probleme de vérification se ramène a définir une machine d'états finis sur laquelle la vérification sera réalisée. L'application du langage lustre et de l'outil de vérification Lesar associe a été étudiée dans le but de valider cette approche. Dans cette application, la resolution des deux problèmes de vérification se ramène a définir un programme lustre ayant une seule sortie. La vérification consiste a vérifier que cette sortie est la constante booléenne 1. Cette vérification est réalisée automatiquement par l'outil de vérification Lesar

Dans ce travail nous menons une étude probabiliste et statistique de processus de diffusion multidimensionnels. Dans une première partie, nous nous intéressons à des conditions nécessaires et suffisantes pour la convergence presque sûre ou la divergence presque sûre de certaines fonctionnelles intégrales de tels processus. Dans une deuxième partie nous étudions certains problèmes d'estimation de paramètres pour les diffusions

La matière organique particulaire (POM) des aérosols atmosphériques présente une composition chimique particulièrement complexe. Au mieux, seulement 20 % en masse des particules parviennent à être identifiés par les techniques de spéciation moléculaire. D'autre part, les méthodes d'analyse globale conduisent à une simplification importante de la matrice et par conséquent à une perte d'informations. Les travaux menés au cours de cette thèse s'inscrivent dans un objectif de développement de méthodes d'analyse chimique innovantes et complémentaires, permettant une meilleure connaissance et une meilleure compréhension de la fraction organique des aérosols atmosphériques. Trois méthodes d'analyse fonctionnelle par spectrométrie de masse tandem (MS/MS) ont été mises au point, pour la détermination quantitative des fonctions chimiques carboxyliques (RCOOH), carbonyles (R-CO-R') et nitros (R-NO2). Dans les trois cas, la précision des mesures a été estimée par le calcul de la variabilité obtenue pour l'analyse de 25 mélanges références constitués de 16 à 31 composés selon la fonction étudiée, dans des proportions différentes d'un mélange à un autre. Le résultat de cette étude statistique montre une erreur analytique inférieure à 20 % pour chacune des trois fonctions. Les limites de détection (de l'ordre de 0,005 mM) et la gamme de linéarité (0,01 - 0,5 mM) ont permis d'appliquer les méthodes développées sur des échantillons d'aérosols organiques secondaires produits en chambre de simulation, d'aérosols à l'émission, et sur des aérosols atmosphériques. Les résultats obtenus sont cohérents avec la littérature et notre connaissance actuelle des aérosols. Plusieurs pistes de réflexion sur l'utilisation des méthodes développées sont enfin présentées et montrent l'intérêt de cette nouvelle approche en termes d'études des sources et de vieillissement de l'aérosol.