L'objectif de cette thèse est de donner les outils fondamentaux de la théorie des opérateurs de multiplications ponctuelle basés principalement sur la théorie des distributions et l'analyse de Fourier, et d'en donner des applications aux dérivées partielles. L'étude des opérateurs de multiplication ponctuelle examine à quelle conditions on a des inégalité de type capacitaire. Elle intervienne dans l'étude des opérateurs différentiels à coéfficients irréguliers. Le but principal de cette yhèse est de généraliser le théorème de Maz'ya - Verbitsky. Les outils utilisés sont la théorie des opérateurs d'intégrales singulières, la théorie de Littlewood-Paley, la théorie de la capacité et le poids de Muckenhoupt.

Le travail présenté dans cette thèse traite de l'extraction de connaissances à l'aide de métaheuristiques et de ses applications à des problématiques en génomique. Dans un premier temps, nous donnons un état de l'art des métaheuristiques utilisées pour l'extraction de connaissances et plus particulièrement de l'utilisation des algorithmes génétiques en orientant notre présentation sur trois aspects fondamentaux des métaheuristiques : la représentation d'une solution, la fonction d'évaluation et le choix des opérateurs. Nous présentons ensuite deux problématiques issues d'une collaboration avec l'Institut de Biologie de Lille autour de la recherche de facteurs génétiques de prédisposition à certaines maladies multifactorielles (diabète de type II, obésité). Nous proposons une modélisation de ces problèmes en problèmes d'extraction de connaissances. Nous traitons ensuite les différentes taches d'extraction de connaissances identifiées comme des problèmes d'optimisation et proposons un schéma d'algorithme génétique possédant des mécanismes avancés d'intensification et de diversification pour les résoudre. Les apports de ces mécanismes sont testés modulairement afin de montrer leurs performances. Nous intégrons également des connaissances du domaine biologique afin de répondre aux problématiques posées. Cette intégration s'effectue aussi bien au niveau des fonctions d'évaluation proposées qu'au niveau de certains mécanismes utilisés. Enfin, différents modèles de parallélisme sont utilisés.

Le multimédia est un domaine existant depuis longtemps mais dont l'importance est accrue grâce à la convergence d'industries comme le cinéma, les télécommunications ou bien les jeux vidéos. Le contenu multimédia repose sur des contenus monomédias et définit des aspects divers dont les principaux sont leur composition spatiale et temporelle. Dans ce cadre, nous proposons le langage TAO (Temporal Algebraic Operators) qui permet de définir des présentations multimédias. TAO est un langage orienté objet où les objets référencent les données monomédias. Des opérateurs temporels indiquent la composition de ces objets, selon une sémantique définie à partir de la notion d'intervalle. Le modèle temporel du langage est basé sur les points temporels de ces intervalles et les relations causales pour exprimer leurs liens. La sémantique des programmes TAO est donnée par un processus de normalisation et certaines de leurs propriétés sont analysées, comme l'égalité ou l'arrêt. Nous présentons ainsi une machine d'exécution des programmes TAO que nous avons implémenté en Java en réutilisant un prototype préexistant. Elle est basée sur un jeu d'instructions séquentielles et de sauts. Les programmes TAO sont compilés en contextes d'instructions qui sont gérés par les différents composants de la machine d'exécution.

Dans un premier temps, on considère un hamiltonien complètement intégrable régulier sur une variété symplectique et on cherche à caractériser les perturbations de ce hamiltonien qui sont des déformations, i.e qui restent complètement intégrables après l'ajout de la perturbation. Après avoir explicité la classe d'hamiltoniens non-dégénérés considérée et conjecturé la forme générale des déformations régulières, on donne les conditions formelles dans le paramètre de perturbation pour que le hamiltonien reste complètement intégrable régulier ou singulier. Dans un deuxième temps, on considère un système complètement intégrable semi-classique décrit par un opérateur pseudo-différentiel sur le tore et on étudie le spectre d'une perturbation de cet opérateur. On utilise pour cela une méthode de forme normale qui met l'opérateur sous une forme simple près de chaque résonance. Cette forme normale est ensuite utilisée pour construire des quasimodes de l'opérateur perturbé

L'ensemble des opérateurs de Cauchy-Riemann réels sur un fibré vectoriel complexe N muni d'une structure réelle cN au-dessus d'une courbe réelle est un espace affine de dimension infinie. L'union des déterminants de ces opérateurs est un fibré en droites réelles au-dessus de cet espace. L'objet de cette thèse est l'étude de l'action des automorphismes du fibré (N, cN) sur les orientations de ce fibré déterminant ainsi que de ses conséquences sur l'orientabilité des espaces de modules de courbes réelles dans une variété symplectique réelle. Nous commençons par interpréter l'action des automorphismes qui induisent l'identité sur le fibré en droites complexes det(N) en termes d'action sur les structures Pin± de la partie réelle de N. Nous remarquons ensuite qu'un automorphisme au-dessus de l'identité agit sur les classes de bordisme de structures Spin réelles de la courbe et nous utilisons cette action afin d'obtenir une description en termes topologiques de l'action sur les orientations du fibré déterminant. Enfin, pour comprendre l'action des automorphismes de (N, cN) qui ne relèvent pas l'identité, nous introduisons la notion de relevé d'un difféomorphisme de la courbe associé à un diviseur compatible avec (N, cN) et nous calculons le signe de l'action d'un tel relevé sur les orientations du fibré déterminant. Dans une dernière partie, nous appliquons les résultats obtenus à l'étude de l'orientabilité des espaces de modules de courbes réelles dans des variétés symplectiques réelles. Nous calculons en particulier la première classe de Stiefel-Whitney de l'espace de modules des courbes réelles dans l'espace projectif complexe de dimension trois.

Que peut apporter l'étude psycholinguistique de l'opérateur discursif "bon" à l'analyse de l'ajustement intersubjectif? La thèse répond en proposant, au plan théorique, l'utilisation du concept de médiateur. Un médiateur est une trace discursive que l'on rattache à un processus sousjacent de construction/redéfinition des positions subjectives au sein de l'espace intersubjectif. La recherche exploite ensuite des corpus acquis expérimentalement pour extraire le schéma de sens invariant du médiateur "bon", et relever les étapes développemenatles de sa reconstruction entre 5 et 9 ans, comparativement à l'âge adulte. Une analyse empirique des conversations clôt la recherche. Elle dégage l'intérêt qu'il y a à étudier les sites particulies d'emploi des médiateurs pour avancer dans l'étude de l'enchaînement interlocutoire.

L'entrée ou non d'un investisseur privé dans une industrie de réseaux est notamment fonction de l'analyse stratégique de l'environnement extérieur de la firme et de ses incertitudes. S'agissant d'un environnement extérieur régulé/libéralisé par un régulateur indépendant, l'incertitude majeure de l'investisseur privé est relative au comportement de ce régulateur sectoriel quant à l'adoption et à l'application des réglementations économiques annoncées. La compréhension et l'anticipation du comportement du régulateur indépendant permettent à l'investisseur privé de limiter cette incertitude environnementale et de décider d'entrer ou non dans l'industrie concernée. Sur la base d'une analyse néo-institutionnelle des politiques de libéralisation des industries de réseaux, une grille d'analyse du risque réglementaire associé à l'entrée est proposée à l'usage des investisseurs privés. Cette grille est ensuite testée empiriquement dans le cas de l'entrée des opérateurs virtuels dans l'industrie européenne des services de communications mobiles.

Dans un contexte de multiplication des normes de télécommunications aux spécifications distinctes, nos travaux de recherche définissent une architecture reconfigurable pour des terminaux radio multistandard. Nous proposons ainsi une nouvelle méthode de paramétrisation intitulée "la Technique des Opérateurs Communs" afin d'accéder à la combinaison " reconfiguration temps réel/généricité du terminal". Cette technique est une méthodologie de conception et d'exécution qui vise à développer un ensemble limité d'"Opérateurs Communs" (OC), génériques, reconfigurables par simple téléchargement de paramètres, indépendants de la cible technologique d'implémentation et qui constituent les éléments de base de notre terminal multistandard. Afin d'exécuter l'ensemble du terminal multistandard, trois familles d'OC sont proposées (LFSR, FFT/VITERBI, CORDIC). Une méthodologie de gestion des OC est également présentée et une étude de di_érents cas d'implémentations est menée, permettant d'atteindre des gains en complexité jusqu'à 40% de la complexité matérielle sur une cible FPGA dans le cas d'un terminal tri-standard (IEEE 802.11, IEEE802.16 et 3GPP LTE).

Motivés par la facilitation du raisonnement sur des méta-théories logiques à l'intérieur de l'assistant de preuve Coq, nous étudions les versions constructives de certains théorèmes de complétude. Nous commençons par l'analyse des preuves de Krivine et Berardi-Valentini qui énoncent que la logique classique est constructivement complète au regard des modèles booléens relaxés, ainsi que l'analyse de l'algorithme de cette preuve. En essayant d'élaborer une preuve de complétude plus canonique pour la logique classique, inspirés par la méthode de la normalisation-par-évaluation (NPE) de Berger et Schwichtenberg, nous concevons une preuve de complétude pour la logique classique en introduisant une notion de modèle dans le style des modèles de Kripke, dont le contenu calculatoire est l'élimination des coupures, ou la normalisation. Nous nous tournons ensuite vers la NPE pour une logique de prédicats intuitionniste (en considérant tous les connecteurs logiques), c'est-à-dire, vers sa complétude par rapport aux modèles de Kripke. Inspirés par le programme informatique de Danvy pour la normalisation des termes du $\lambda$-calcul avec sommes, lequel utilise des opérateurs de contrôle délimité, nous développons une notion d'un modèle, encore une fois semblable aux modèles de Kripke, qui est correct et complet pour la logique de prédicats intuitionniste, et qui est, par coïncidence, très similaire à la notion de modèle de Kripke introduit pour la logique classique. Finalement, en se fondant sur des observations de Herbelin, nous montrons que l'on peut avoir une logique intuitionniste étendue avec des opérateurs de contrôle délimité qui est equiconsistante avec la logique intuitionniste, qui préserve les propriétés de disjonction et d'existence, et qui est capable de dériver le schéma « Double Negation Shift » et le principe de Markov.

Le modèle auto-régressif linéaire (AR) en temps discret et à coefficients aléatoires englobe de nombreuses classes de modèles très utilisés en modélisation statistique. Sous des hypothèses simples, ce modèle a une unique solution stationnaire. Le comportement à l'infini de sa queue a été étudié par H. Kesten, E. LePage puis C. Goldie lorsque les coefficients sont indépendants. Cette thèse étend leurs résultats dans deux directions. Dans une première partie, on étudie le modèle AR scalaire à régime markovien introduit par J. D. Hamilton en économétrie. On obtient un résultat similaire au cas indépendant qui s'étend aussi au temps continu. Dans une deuxième partie, on s'intéresse au modèle multidimensionnel à coefficient indépendants. On étend les résultats existants à une vaste classe de coefficients vérifiant une condition d'irréductibilité et de proximalité. Les techniques utilisées dans les deux parties font appel à la théorie du renouvellement et des opérateurs markoviens.