Le but de cette thèse est de spécifier des outils de simulation, de simulation de pannes et de génération de vecteurs de test, utilisables sur des circuits v.l.s.i. décrits sous forme de réseaux de transistors. Un transistor MOS (interrupteur) est par nature bi-directionnel, et il est impossible de prévoir le sens des courants qui le traversent sans appliquer aux réseaux de transistors un traitement préliminaire, qui reconnait les boucles et les transistors de transmission, et définit le sens de propagation des signaux. Ce traitement préliminaire, bien qu'il permette à la vérification proprement dite d'être plus rapide, ne respecte par le concept de réseau bi-directionnel. On a donc choisi de vérifier les réseaux de transistors de façon directe, en créant des outils qui pallient l'ignorance des courants. En outre, l'algèbre des états représentant les signaux qui circulent dans les réseaux, doit être choisie de façon a pouvoir modéliser tous les comportements spécifiques de ce niveau de description. Cette algèbre est multivaluée, et comporte des couples (valeur, force) décrivant la tension et l'intensité des signaux

Qu'il s'agisse de téléphones portables ou de serveurs web, d'applets ou de paquets réseau, les systèmes matériels et logiciels sont contraints par des limitations sur les ressources telles que la mémoire, l'utilisation du disque ou les connexions au réseau. En particulier, il est nécessaire de contrôler l'allocation et la désallocation des ressources ainsi que le respect de protocoles, afin de prévenir les dépassements de capacité ou d'autres formes d'attaque ou d'accidents. Ce aspect, pourtant central dans la conception d'applications mobiles et communicantes, est ignoré par la majorité des algèbres de processus. Afin de contribuer à résoudre ce problème, nous avons étudié la notion de ressources. Nous avons formalisé cette notion dans le contexte de calculs conçus autour de la mobilité de sites, tels que les Mobile Ambients, ou de la mobilité de noms, comme le pi-calcul. Nous avons ainsi mis en évidence les mécanismes d'allocation et de désallocation de ressources et dégagé des méthodes pour prendre en compte les ressources et de les réutiliser intelligemment. De plus, les systèmes de types que nous avons conçus permettent de garantir statiquement qu'un système, au cours de son exécution, ne nécessitera pas plus de ressources qu'il n'est autorisé à en utiliser.

Soit p un nombre premier. Cette thèse est une contribution à la théorie des représentations modulo p des groupes réductifs p-adiques, jusque là essentiellement centrée sur le groupe linéaire général GL(n) défini sur un corps local non archimédien F complet pour une valuation discrète, de caractéristique résiduelle p et de corps résiduel fini. L'originalité de nos travaux réside notamment dans le fait qu'ils concernent d'autres groupes : nous nous intéressons en effet à la description des classes d'isomorphisme des représentations modulo p de groupes formés des F-points d'un groupe réductif connexe défini, quasi-déployé de rang semi-simple égal à 1 sur F. Une place particulière est accordée au groupe spécial linéaire SL(2) et au groupe unitaire quasi-déployé non ramifié en trois variables U(2,1). Dans ces deux cas, nous montrons que les classes d'isomorphisme des représentations lisses irréductibles admissibles à coefficients dans un corps algébriquement clos de caractéristique p se scindent en deux familles : les représentations non supersingulières et les représentations supersingulières. Nous décrivons complètement les représentations non supersingulières, et montrons que la notion de supersingularité est équivalence à la notion de supercuspidalité apparaissant dans la théorie complexe. Nous donnons aussi une description explicite des représentations supersingulières de SL(2,Q_{p}), ce qui nous permet de définir dans ce cas une correspondance de Langlands locale semi-simple modulo p compatible à celle construite par Breuil pour GL(2). Nous généralisons ensuite les méthodes utilisées jusqu'alors pour obtenir la description des représentations non supercuspidales de G(F) lorsque G est un groupe réductif connexe défini, quasi-déployé, et rang semi-simple égal à 1 sur F. Elle fait apparaître trois familles deux à deux disjointes de représentations : les caractères, les représentations de la série principale et celles de la série spéciale. Nous terminons par une classification des modules à droite simples sur la pro-p-algèbre de Hecke-Iwahori H de SL(2,F). On déduit en particulier que l'application qui envoie une représentation lisse modulo p de SL(2,F) sur son espace de vecteurs invariants sous l'action du pro-p-sous-groupe d'Iwahori induit une bijection entre l'ensemble des classes d'isomorphisme des représentations lisses irréductibles non supersingulières de SL(2,F) et l'ensemble des classes d'isomorphisme des H-modules à droite simples non supersinguliers. Cette bijection s'étend aux objets supersinguliers lorsque l'on suppose que F = Q_{p}, ce qui est de bon augure dans la recherche d'une équivalence de catégories analogue à celle obtenue par Ollivier dans le cadre de la théorie existant pour GL(2, Q_{p}).

Nous présentons un système de retour arrière distribué basé sur le Calcul des Systèmes Communicants de Robin Milner. L'algèbre de pro- cessus réversible ainsi définie (RCCS) nous permet de poser les fondements théoriques du retour arrière dans un calcul concurrent. En particulier, étant donné un processus et un passé, nous montrons que RCCS permet de re- venir en arrière dans tout passé causalement équivalent. Nous exprimons aussi l'équivalence comportementale associée aux processus réversibles en utilisant une notion de bisimulation mettant en relation les traces causales des processus. Il en résulte une méthode de programmation déclarative de systèmes transactionnels qui peuvent être efficacement vérifiés à l'aide d'un algorithme basé sur des structures d'événements. Par l'intermédiaire d'une construction catégorique, nous montrons que cette méthode peut être géné- ralisée à une large classe de calculs concurrents.

Dans ce travail, on commence par donner des critères de continuité automatique pour des représentations de groupes topologiques dans des algèbres de Banach. Deux approches différentes sont présentées : l'une utilisant la décomposition de Glicksberg-De Leeuw s'applique aux groupes localement compacts, l'autre, basée sur un résultat d'équicontinuité de suites de fonctions de type positif, aux groupes polonais (non forcément localement compacts). Typiquement, on exprime la continuité d'une représentation par celle de ses composées par des formes linéaires continues sur l'algèbre de représentation. On déduit de ce qui précède des résultats de continuité automatique de morphismes de groupes topologiques. Dans une seconde partie, on applique les résultats de la première pour obtenir des propriétés d'étalement du spectre des éléments de l'image de la représentation en dehors d'un sous-ensemble " petit " en divers sens du groupe dans le cas abélien. La troisième partie généralise partiellement les résultats de la seconde au cas des groupes de Lie (non abéliens en précisant ainsi, dans ce cas, un théorème obtenu par J.M. Paoli et J.C. Tomasi. Mots clefs : Groupes localement compacts, groupes polonais, groupes de Lie, Algèbres de Banach, représentations de groupes, continuité automatique, spectre d'opérateurs.

Ce travail de recherche est consacré à l'élaboration des méthodes de traitement d'antenne multicapteur, multicomposante. Le traitement des signaux enregistrés par ce type d'antenne permet l'estimation de la direction d'arrivée et des paramètres de polarisation des ondes arrivant sur l'antenne. Nous montrons comment l'incorporation (d'une manière judicieuse) de l'information multicomposante permet d'améliorer les performances des algorithmes de traitement. L'originalité des méthodes proposées tient à l'utilisation des modèles mathématiques sortant du cadre de l'algèbre vectorielle classique, et qui se trouvent particulièrement bien adaptés à la nature des signaux multicomposantes. <br /><br />Une première approche est fondée sur un modèle tensoriel, permettant de conserver la structure multimodale des signaux. Le tenseur interspectral est introduit pour représenter la covariance des données. Nous proposons deux algorithmes (Vector-MUSIC et Higher-Order MUSIC) basés sur des décompositions orthogonales du tenseur interspectral. Nous montrons, sur des simulations, que l'utilisation du modèle tensoriel et des décompositions multilinéaires associées améliorent les performances des méthodes proposées par rapport à celles atteignables avec les techniques classiques.<br /><br />Nous proposons également une approche en traitement d'antenne multicomposante fondée sur l'utilisation des algèbres hypercomplexes. Les vecteurs de quaternions et biquaternions sont utilisés pour modéliser les signaux polarisés enregistrés par une antenne à deux, trois ou quatre composantes. Deux algorithmes (Quaternion-MUSIC et Biquaternion-MUSIC), basés sur la diagonalisation des matrices de quaternions et de biquaternions, sont introduits. Nous montrons que l'utilisation des nombres hypercomplexes réduit le temps de calcul et améliore la résolution des méthodes.

Dans cette thèse, trois calculs de processus sont étudiés et appliqués à l'analyse de processus biologiques : une variante du π -calcul introduite ici, le Iπ-calcul; le κ-calcul de Danos et Laneve et sa variante à grain plus fin, le mκ-calcul; et les systèmes réactifs bigraphiques de Milner. Le manuscrit comporte trois parties. <br />Dans la première partie, nous modélisons la transduction du signal, et plus spécifiquement le processus d'activation de la protéine "ras". On introduit une nouvelle extension du π-calcul, le Iπ-calcul, pour modéliser ce processus biologique en présence d'aberrance. Le calcul est obtenu en ajoutant deux actions aberrantes au Iπ-calcul. Le Iπ-calcul, quoique déjà assez expressif pour exprimer l'aberrance, peut être encore précisé par l'introduction d'informations supplémentaires dans la syntaxe, soit sous forme de "tags" soit sous forme de types. Les tags sont plus intuitifs, mais ils introduisent de la redondance, qui est éliminée dans la présentation de cette information sous forme de types. Nous montrons l'équivalence entre les deux espèces de décoration. Le système de types / tags présenté ici est très rudimentaire, mais notre espoir est de l'enrichir pour intégrer des paramètres quantitatifs tels que la température, la concentration, etc... dans la modélisation des processus biologiques.<br />Dans la seconde partie, nous abordons d'un point de vue formel la question de l'auto-assemblage dans le κ-calcul, un langage de description d'interactions protéine-protéine. Nous définissons un sous-ensemble de règles de calcul réversibles nous permettant d'assurer un codage sans blocage du calcul "à gros grain" (le κ-calcul) dans un calcul "à grain fin" (le mκ-calcul). Nous prouvons la correction de cette simulation de manière interne (à l'aide des règles réversibles), améliorant ainsi les résultats de Danos et Laneve.<br />Enfin, dans une partie plus prospective, nous suggérons comment l'on peut utiliser les bigraphes pour modéliser et analyser les processus biologiques. Nous montrons d'abord commment coder l'exemple "ras" dans ce formalisme. Puis nous indiquons sur un exemple comment l'on peut traduire le κ--calcul dans les bigraphes.

Cette thèse porte sur la classification des objets galoisiens d'une algèbre de Hopf. Le concept d'extension de Hopf-Galois, qui a été beaucoup étudié ces dernières années, est une généralisation du concept d'extension galoisienne de corps, mais aussi un analogue des fibrés principaux dans le cadre de la géométrie non commutative. Si $H$ est une algèbre de Hopf, une algèbre $H$-comodule $(Z,\delta: Z \to Z \otimes H)$ est une $H$-extension de Hopf-Galois d'une sous-algèbre $B\subset Z$ si l'ensemble des éléments co\"\i nvariants de $Z$ co\"\i ncide avec $B$ et si l'application canonique $\beta : Z \otimes _B Z \to Z\otimes H$ définie par <br />$$ \beta (x\otimes y ) = \delta (x) (y\otimes 1)$$ est une bijection. Les objets galoisiens forment une classe importante d'extensions de Hopf-Galois ; ce sont celles dont la sous-algèbre des co\"\i nvariants se réduit à l'anneau de base. Bien qu'une littérature abondante ait été consacrée aux extensions de Hopf-Galois, on a peu de résultats sur leur classification à isomorphisme près. Pour contourner la difficulté de classer les extensions de Hopf-Galois à isomorphisme près, Kassel a introduit et développé avec Schneider une relation d'équivalence sur les extensions de Hopf-Galois qu'il a appelée homotopie. <br /><br />Dans cette thèse nous donnons des résultats de classification à homotopie et à isomorphisme près. Notre approche de la classification des objets galoisiens tourne autour de trois axes. <br />\begin{itemize} <br />\item[a)] La construction explicite de représentants des classes d'homotopie des objets galoisiens de l'algèbre $U_q(\mathfrak{g})$ associée par Drinfeld et Jimbo à une algèbre de Lie $\mathfrak{g}$, explicitant ainsi un théorème de Kassel et Schneider. <br />\item[b)] Une étude des objets galoisiens de l'alg\` ebre quantique $O_q (SL(2))$ des fonctions sur le groupe $SL (2)$, et donc un résultat de classification en dimension infinie; nous donnons la classification à isomorphisme près et des résultats partiels pour la classification à homotopie près. <br />\item[c)] Une étude systématique de la classification à isomorphisme et à homotopie près pour les algèbres de Hopf de dimension $\leq 15$ ; nous synthétisons des résultats éparpillés dans la littérature, portant sur des familles d'algèbres de Hopf pointées ou semisimples et nous complétons ces résultats en donnant la classification des objets galoisiens d'une algèbre de Hopf de dimension $8$ qui n'est ni semisimple ni <br />pointée. <br />\end{itemize}

On décrit dans cette thèse les dimensions des groupes quotients gradués associés à la cohomologie du complémentaire d'une courbe plane par rapport à la filtration de Hodge en fonction de certains invariants géométriques. Le cas des courbes à singularités ordinaires est détaillé. En particulier, on trouve le polynôme de Hodge-Deligne d'une courbe C quelconque à singularités isolées et celui de son complémentaire duquel on déduit les nombres de Hodge mixtes ainsi que les nombres de Betti correspondants. Dans le cas des courbes dont les singularités sont des nœuds et des points triples ordinaires, on donne des relations importantes avec l'algèbre de Milnor du polynôme homogène f qui définit C, les syzygies de l'idéal Jacobien de f et la filtration par l'ordre de pôle du groupe cohomologique d'ordre 2 du complémentaire de la courbe.

Dans cette thèse on montre que tout groupe compact peut être réalisé comme le groupe d'automorphismes extérieurs d'un facteur de type II_1. On montre également que la catégorie des représentations de tout groupe compact est équivalente à la catégorie des bimodules sur un facteur de type II_1. Plusieurs chapitres de cette thèse sont également consacrés à des rappels détaillés concernant la catégorie des bimodules sur un facteur de type II_1 ainsi que sur les actions minimales de groupes compacts sur des facteurs de type II_1.