Soit k un corps de caractéristique différente de 2 et de 3. Les algèbres de Lie colorées généralisent à la fois les algèbres de Lie et les superalgèbres de Lie. Dans cette thèse on étudie des représentations V d'algèbres de Lie colorées g provenant de structures d'algèbres de Lie colorées sur l'espace vectoriel g⨁V. En premier lieu, on s'intéresse à la structure générale des algèbres de Lie simples de dimension 3 sur k. Puis, on classifie à isomorphisme près les superalgèbres de Lie de dimension finie dont la partie paire est une algèbre de Lie simple de dimension 3. Ensuite, pour un groupe abélien ᴦ et un facteur de commutation ɛ de ᴦ, on développe l'algèbre multilinéaire associée aux espaces vectoriels ᴦ-gradués. Dans ce contexte, les algèbres de Lie colorées jouent le rôle des algèbres de Lie. Ce langage nous permet d'énoncer et prouver un théorème de reconstruction d'une algèbre de Lie colorée ɛ-quadratique g⨁V à partir d'une représentation ɛ-orthogonale V d'une algèbre de Lie colorée ɛ-quadratique g. Ce théorème fait intervenir un invariant qui prend ses valeurs dans la ɛ-algèbre extérieure de V et généralise des résultats de Kostant et Chen-Kang. Puis, on introduit la notion de représentation ɛ-orthogonale spéciale V d'une algèbre de Lie colorée ɛ-quadratique g et on montre qu'elle permet de définir une structure d'algèbre de Lie colorée ɛ-quadratique sur l'espace vectoriel g⨁sl(2,k)⨁V⨂k². Enfin on donne des exemples de représentations ɛ-orthogonales spéciales, notamment des représentations orthogonales spéciales d'algèbres de Lie dont : une famille à un paramètre de représentations de sl(2,k)xsl(2,k) ; la représentation fondamentale de dimension 7 d'une algèbre de Lie de type G₂ ; la représentation spinorielle de dimension 8 d'une algèbre de Lie de type so(7). / Let k be a field of characteristic not 2 or 3. Colour Lie algebras generalise both Lie algebras and Lie superalgebras. In this thesis we study representations V of colour Lie algebras g arising from colour Lie algebras structures on the vector space g⨁V. Firstly, we study the general structure of simple three-dimensional Lie algebras over k. Then, we classify up to isomorphism finite-dimensional Lie superalgebras whose even part is a simple three-dimensional Lie algebra. Next, to an abelian group ᴦ and a commutation factor ɛ of ᴦ, we develop the multilinear algebra associated to ᴦ-graded vector spaces. In this context, colour Lie algebras play the rôle of Lie algebras. This language allows us to state and prove a theorem reconstructing an ɛ-quadratic colour Lie algebra g⨁V from an ɛ-orthogonal representation V of an ɛ-quadratic colour Lie algebra g. This theorem involves an invariant taking its values in the ɛ-exterior algebra of V and generalises results of Kostant and Chen-Kang. We then introduce the notion of a special ɛ-orthogonal representation V of an ɛ-quadratic colour Lie algebra g and show that it allows us to define an ɛ-quadratic colour Lie algebra structure on the vector space g⨁sl(2,k)⨁V⨂k². Finally we give examples of special ɛ-orthogonal representations and in particular examples of special orthogonal representations of Lie algebras amongst which are: a one-parameter family of representations of sl(2,k)xsl(2,k) ; the 7-dimensional fundamental representation of a Lie algebra of type G₂ ; the 8-dimensional spinor representation of a Lie algebra of type so(7).

In this thesis, we will give our discovery of original symmetric presentations of several important groups. We have investigated permutation and monomial progenitors 2*8: (23: 22), 2*9: (32: 24), 2*10: (24: (2 × 5)), 5*4:m (23: 22), 7*8:m (32: 24), and 3*5:m (24: (2 × 5)). The finite images of the above progenitors include the Mathieu sporadic group M12, the linear groups L2(8) and L2(13), and the extensions S6 × 2, 28 : .L2(8) , and 27 : .A5. We will show our construction of the four groups S3 , L2(8), L2(13), and S6 × 2 over S3, 22, S3 : 2, and S5, by using the technique of double coset enumeration. We will also provide isomorphism types all of the groups that have appeared as finite homomorphic images. We will show that the group L2(8) does not satisfy the conditions of Iwasawas Lemma and that the group L2(13) is simple by Iwasawas Lemma. We give constructions of M22 × 2 and M22 as homomorphic images of the progenitor S6.

RDF est un langage de représentation des connaissances dédié à l'annotation des ressources dans le Web Sémantique. Bien que RDF peut être lui-même utilisé comme un langage de requêtes pour interroger une base de connaissances RDF (utilisant la conséquence RDF), la nécessité d'ajouter plus d'expressivité dans les requêtes a conduit à définir le langage de requêtes SPARQL. Les requêtes SPARQL sont définies à partir des patrons de graphes qui sont fondamentalement des graphes RDF avec des variables. Les requêtes SPARQL restent limitées car elles ne permettent pas d'exprimer des requêtes avec une séquence non-bornée de relations (par exemple, Existe-t-il un itinéraire d'une ville A à une ville B qui n'utilise que les trains ou les bus?"). Nous montrons qu'il est possible d'étendre la syntaxe et la sémantique de RDF, définissant le langage PRDF (pour Path RDF) afin que SPARQL puisse surmonter cette limitation en remplaçant simplement les patrons de graphes basiques par des graphes PRDF. Nous étendons aussi PRDF à CPRDF (pour Constrained Path RDF) permettant d'exprimer des contraintes sur les sommets des chemins traversés (par exemple, "En outre, l'une des correspondances doit fournir une connexion sans fil."). Nous avons fourni des algorithmes corrects et complets pour répondre aux requêtes (la requête est un graphe PRDF ou CPRDF, la base de connaissances est un graphe RDF) basés sur un homomorphisme particulier, ainsi qu'une analyse détaillée de la complexité. Enfin, nous utilisons les graphes PRDF ou CPRDF pour généraliser les requêtes SPARQL, définissant les extensions PSPARQL et CPSPARQL, et fournissons des tests expérimentaux en utilisant une implémentation complète de ces deux langages.

La réalisation de jonctions ultra-minces et fortement dopées est un enjeu majeur pour poursuivre la miniaturisation des dispositifs microélectroniques. En effet, la réduction de taille du transistor MOS, composant de base de la microélectronique silicium, exige des conditions drastiques notamment sur les caractéristiques dimensionnelles et électriques des zones dopées constituant la source et le drain du transistor. Les technologies utilisées actuellement pour la réalisation de ces couches dopées seront, à court terme, incapables de tenir les spécifications imposées par l'évolution prévue pour les dix années à venir. Au cours de ce travail de thèse nous avons étudié des procédés de dopage par laser, susceptibles de répondre à ces exigences, primordiales pour le bon fonctionnement du MOS. Nous avons disposé pour étudier les procédés de recuit et de dopage, de deux montages expérimentaux qui utilisent deux lasers impulsionnels ayant des caractéristiques temporelles très différentes: un laser industriel VEL 15 XeCl (15J, 200ns) développé et mis à disposition par la société SOPRA dans ses locaux, et un laser, plus conventionnel, Lambda Physik XeCl (200mJ, 20ns), installé à l'IEF. Après avoir présenter les différentes techniques utilisées ou susceptibles d'être utilisées pour la réalisation de jonctions dopées, les dispositifs optiques expérimentaux utilisés dans ce travail ont été décrit en détail, ainsi que les différents phénomènes mis enjeu lors de l'irradiation laser. Des modélisations thermiques ont permis de mieux comprendre les paramètres clés du recuit laser et se sont avéré en bon accord avec de nombreuses caractérisations réalisées. Puis l'intégration du procédé laser aux autres technologies de fabrication du MOSFET a été étudiée et testée. Cette étude a permis d'obtenir des transistors fonctionnels démontrant la possibilité de l'utilisation de techniques laser pour la réalisation de jonctions ultra fines dans la chaîne de fabrication des transistors CMOS.

Dans le cadre d'intersections de classes non quasi-analytiques à croissance modérée, J. Chaumat et A. M. Chollet ont démontré, notamment, un théorème d'extension de Whitney, pour des jets définis sur un compact et un théorème de Lojasiewicz sur la régulière situation. Ces intersections sont contenues dans l'intersection des classes de Gevrey. On établit ici un théorème d'extension dans une famille d'intersections de classes plus vaste, en ce sens que, tout jet de Whitney appartient à l'une des intersections considérées. Ensuite, en utilisant une méthode d'interpolation à l'aide de polynômes de Lagrange, due à W. Pawlucki et W. Plesniak, on établit aussi un théorème d'extension linéaire pour les jets définis sur des compacts ayant la propriété de Markov. Ces extensions de jets peuvent être choisies réelles analytiques sur le complémentaire du compact. Ces résultats sont complétés par trois exemples de situations pour lesquelles il n'existe pas d'opérateur d'extension linéaire continu. Enfin, on démontre un théorème de Lojasiewicz. Tous ces résultats sont étroitement reliés aux théorèmes classiques de la théorie des fonctions infiniment dérivables.

Le présent rapport fournit plusieurs extensions des protocoles de réseau ad hoc et leurs évaluations, qui permettent d'augmenter la performance, de dimensionner la taille des réseaux et d'intégrer les réseaux ad hoc dans l'Internet : Premièrement, ce rapport présente plusieurs outils de logiciel qui permettent d'étudier des protocoles de routage sans modifications, implémentés en Java, dans le simulator de réseaux NS2. Deuxièmement, ce rapport fournit une discussion architecturale des réseaux ad hoc, qui explique les problèmes de la configuration automatique des adresses IP (nommé autoconfiguration) des routeurs ad hoc. Ensuite, le rapport présente un modèle architectural pour des réseaux ad hoc qui est compatible avec l'Internet. Un protocole d'autoconfiguration, basé sur le modèle architectural proposé, est spécifié, et ses propriétés sont formellement vérifiées au moyen de Model Checking. Troisièmement, plusieurs extensions du protocole de routage des réseaux ad hoc OLSRv2 sont présentées : La performance du protocole est augmentée d'ordre de grandeur en utilisant un algorithme dynamique pour calculer les plus courts chemins. Une autre optimisation proposée est un framework basé sur SNMP pour gérer et contrôler des objets liés à la performance sur des routeurs tournant OLSRv2. Une extension d'OLSRv2 est présentée dans laquelle des paquets sont retransmis ultérieurement lorsque les destinations sont indisponibles temporairement, au lieu de les rejeter. Cette extension mène à un taux de remis considérablement plus élevé que OLSRv2 par défaut dans certains scenarios. Ce rapport présente alors une analyse des menaces de sécurité pour OLSRv2, suivie par la spécification d'un mécanisme de contrôle d'accès pour OLSRv2, qui empêche nombre de ces attaques. Quatrièmement, ce rapport explore le dimensionnement des réseaux de capteurs sans fil, et évalue un protocole de routage des réseaux de capteurs, nommé RPL, spécifié par l'IETF en 2011. En outre, étant donné que RPL ne contient pas de mécanisme de broadcast efficace, plusieurs mécanismes de broadcast optimisés dans RPL sont présentés et comparés.

<p>This thesis surveys the issue of finding rational points on algebraic curves over finite fields. Since Goppa's construction of algebraic geometric codes, there has been great interest in finding curves with many rational points. Here we explain the main tools for finding rational points on a curve over a nite eld and provide the necessary background on ring and field theory. Four different articles are analyzed, the first of these articles gives a complete set of table showing the numbers of rational points for curves with genus up to 50. The other articles provide interesting constructions of covering curves: covers by the Hemitian curve, Kummer extensions and Artin-Schreier extensions. With these articles the great difficulty of finding explicit equations for curves with many rational points is overcome. With the method given by Arnaldo García in [6] we have been able to nd examples that can be used to define the lower bounds for the corresponding entries in the tables given in http: //wins.uva.nl/~geer, which to the time of writing this Thesis appear as "no information available". In fact, as the curves found are maximal, these entries no longer need a bound, they can be given by a unique entry, since the exact value of N_q(g) is now known.</p><p>At the end of the thesis an outline of the construction of Goppa codes is given and the NXL and XNL codes are presented.</p><p> </p>

<p>Förändringar i konsumenters smak, tekniska utvecklingar och tryck från konkurrenter leder till att företag inte kan förlita sig på gamla lyckade produkter. En förutsättning för att företag ska lyckas idag är att de ständigt utvecklar nya produkter för marknaden och många företag väljer att göra det genom varumärkesutvidgning. Innan en varumärkesutvidgning genomförs är det viktigt att fastställa klara och tydliga strategier. Inom livsmedelsbranschen sker cirka fyrtio procent av nya produktlanseringar via varumärkesutvidgning.</p><p>Syftet med denna uppsats är att undersöka om valet av strategier, vid två av O.Kavli AB:s produktlanseringar, har haft avgörande betydelse för produkternas framgång.</p><p>Uppsatsen är en kvalitativ studie med en beskrivande karaktär. Designen för insamlingen av primärdata var intervjuer som sedan analyserades med hjälp av de teoretiska resonemangen.</p><p>Uppsatsens studie indikerar att de strategier kring marknadsmixen som fastställs innan en varumärkesutvidgning i form av produktlanseringar har avgörande betydelse för lanseringens framgång. Studien omfattar endast två produkter inom livsmedelsbranschen och resultaten kan därför inte generaliseras för alla typer av varumärkesutvidgningar.</p>

This thesis surveys the issue of finding rational points on algebraic curves over finite fields. Since Goppa's construction of algebraic geometric codes, there has been great interest in finding curves with many rational points. Here we explain the main tools for finding rational points on a curve over a nite eld and provide the necessary background on ring and field theory. Four different articles are analyzed, the first of these articles gives a complete set of table showing the numbers of rational points for curves with genus up to 50. The other articles provide interesting constructions of covering curves: covers by the Hemitian curve, Kummer extensions and Artin-Schreier extensions. With these articles the great difficulty of finding explicit equations for curves with many rational points is overcome. With the method given by Arnaldo García in [6] we have been able to nd examples that can be used to define the lower bounds for the corresponding entries in the tables given in http: //wins.uva.nl/~geer, which to the time of writing this Thesis appear as "no information available". In fact, as the curves found are maximal, these entries no longer need a bound, they can be given by a unique entry, since the exact value of Nq(g) is now known. At the end of the thesis an outline of the construction of Goppa codes is given and the NXL and XNL codes are presented.

Förändringar i konsumenters smak, tekniska utvecklingar och tryck från konkurrenter leder till att företag inte kan förlita sig på gamla lyckade produkter. En förutsättning för att företag ska lyckas idag är att de ständigt utvecklar nya produkter för marknaden och många företag väljer att göra det genom varumärkesutvidgning. Innan en varumärkesutvidgning genomförs är det viktigt att fastställa klara och tydliga strategier. Inom livsmedelsbranschen sker cirka fyrtio procent av nya produktlanseringar via varumärkesutvidgning. Syftet med denna uppsats är att undersöka om valet av strategier, vid två av O.Kavli AB:s produktlanseringar, har haft avgörande betydelse för produkternas framgång. Uppsatsen är en kvalitativ studie med en beskrivande karaktär. Designen för insamlingen av primärdata var intervjuer som sedan analyserades med hjälp av de teoretiska resonemangen. Uppsatsens studie indikerar att de strategier kring marknadsmixen som fastställs innan en varumärkesutvidgning i form av produktlanseringar har avgörande betydelse för lanseringens framgång. Studien omfattar endast två produkter inom livsmedelsbranschen och resultaten kan därför inte generaliseras för alla typer av varumärkesutvidgningar.