L'évolution et le succès qu'a connu Internet les dernières années a profondément marqué le domaine du génie logiciel et plus particulièrement des aspects tels que la conception, l'implémentation et l'exploitation de systèmes distribués. Cette ouverture qu'offre la toile aux systèmes brave les limites architecturales et géographiques pour permettre une interconnexion permanente des utilisateurs. Cependant, ce flux de communication et de code mobile comporte des risques de sécurité qui vont à l'encontre des politiques des entreprises concernées par ces échanges. Étant données la multitude et la diversité des intervenants, des mesures préventives s'imposent pour remédier à cette faille sécuritaire. Ce mémoire s'inscrit dans le cadre d'une contribution à cet effort, par la voie de la certification. En effet, le potentiel de l'approche proposée émerge de la synthèse des techniques fondamentales de ce domaine, qui sont le code incorporant une preuve (PCC), le langage assembleur typé (TAL) et le code incorporant un modèle (MCC). Toujours dans l'optique de renforcer la relation de confiance entre le producteur et le consommateur, et au-delà de la vérification du respect du code envers une politique de sécurité, notre projet qui s'intitule ±code incorporant un modèle certifié¿ (CMCC) couvre en plus des aspects pratiques jusque là souvent délaissés par les concepteurs.

Dans un modèle de durées de vie avec des risques concurrents, les systèmes peuvent tomber en panne dans le temps. Ces pannes sont dues à une cause parmi plusieurs possibles et il arrive parfois que celle-ci soit inconnue. C'est alors qu'on peut faire appel à l'algorithme EM pour calculer les estimateurs du maximum de vraisemblance. Cette technique utilise la fonction de vraisemblance des données complètes pour trouver les estimateurs même si les données observées sont incomplètes. Pour les systèmes ayant leur cause de panne inconnue, on peut en prendre un échantillon pour une inspection plus approfondie qui dévoilera les vraies causes de panne. Cette étape peut améliorer l'estimation des probabilités de masque et des fonc- tions de risque spécifiques aux causes de panne. Après avoir expliqué la théorie de l'algorithme EM, le modèle des risques concurrents, ainsi que les travaux réalisés sur le sujet, on étudie l'impact qu'a sur les estimateurs le fait de ne pas envoyer un échantillon des systèmes masqués à un examen approfondi qui permettrait de trouver la vraie cause de panne.

Tableau d'honneur de la Faculté des études supérieures et postdoctorales, 2011-2012 / Ce mémoire porte sur les groupes d'homotopie des sphères Sn. Plus précisément, on s'intéresse à la méthode des suites spectrales développée d'abord par Jean-Pierre Serre puis rafinée par la suite par d'autres mathématiciens tels que Frank Adams. On expose dans un premier temps les concepts inhérents aux suites spectrales et on introduit ensuite celles-ci pour enfin démontrer certains résultats classiques. Le premier théorème d'importance est que πk(Sn) est fini sauf si k = n ou si n paire et k = 2n — 1. Dans ce dernier cas, on a que π 4n-i(S2n) sont des groupes de type fini avec une seule composante Z. On obtient ensuite un contrôle modeste sur la p-torsion : le premier élément de p-torsion des groupes d'homotopie de Sn apparaissent en dimension n + 2p — 3 où la p-composante est Zp. On utilise enfin l'algèbre de Steenrod pour reproduire certains calculs explicites de groupes d'homotopie effectués par Jean-Pierre Serre : πn+1(Sn) = Z2, (n > 3), πn+2(Sn) = Z2 (n > 2), π6(S3) = Z12 et π7(S4) = Z 0 Z12.

Les modèles classiques en finance sont basés sur des hypothèses qui ne sont pas toujours vérifiables empiriquement. L’objectif de ce mémoire est de présenter l’utilisation de la distribution de Laplace asymétrique généralisée comme une alternative intéressante à ces derniers. Pour ce faire, on utilise ses différentes propriétés afin de développer des méthodes d’estimation paramétrique, d’approximation et de test, en plus d’élaborer quelques principes d’évaluation de produits dérivés. On présente enfin un exemple d’application numérique afin d’illustrer ces différents concepts. / Classical models in finance are based on a set of hypotheses that are not always empirically verifiable. The main objective behind this master’s thesis is to show that the generalized asymmetric Laplace distribution is an interesting alternative to those models. To support this idea, we focus on some of its properties to develop parametric estimation, approximation and testing methods, then we work out some principles of derivatives pricing. Finally, we have a numerical example to illustrate these concepts.

Tableau d'honneur de la Faculté des études supérieures et postdoctorales, 2006-2007 / L'identification du gène responsable d'une maladie peut être facilitée par des méthodes statistiques telles que des études d'association basées sur le déséquilibre de liaison. Différentes stratégies d'analyse sont possibles pour ce type d'étude. Comme pour les tests d'association classiques, un devis d'échantillonnage de cas-témoins peut être utilisé. Un deuxième devis possible est l'échantillonnage de trios. On peut également choisir d'étudier l'association allélique ou haplotypique des marqueurs génétiques sélectionn és. La présente étude vise à comparer par voie de simulation la puissance de tests de déséquilibre de liaison selon la stratégie d'analyse choisie. Dans un premier temps, on s'est intéressé à la comparaison des devis d'échantillonnage cas-témoins et trios ; dans un deuxième temps, on a comparé les approches allélique et haplotypique.

Dans ce mémoire on s’intéresse à la résolution des équations de Saint-Venant par la méthode des éléments finis. Différents tests sont simulés en utilisant dix paires d’éléments finis. Lorsque les résultats des analyses de dispersion existent, on les a comparés aux résultats des simulations numériques. On présente également une stratégie d’adaptation de maillage appliquée à des problèemes instationnaires. / This work deals with the resolution of the shallow water equations using the finite element method. Different test cases are simulated by employing ten finite element pairs. When the theoretical results of dispersion relation analysis are available, they are compared with the results of numerical simulations. Finally, we expose an adaptative mesh strategy for the solution of evolution problems.

Déterminer le groupe de Galois d’un polynôme rationnel ou encore d’une extension de corps n’est pas, en général, un travail de tout repos s’il est effectué manuellement. La difficulté de ce problème nous amène donc à vouloir automatiser le processus à l’aide d’algorithmes qui prennent le polynôme en entrée et ressortent son groupe de Galois en un temps raisonnable. Le présent mémoire a pour but de mettre la lumière sur deux algorithmes connus tout en présentant les résultats nécessaires pour les comprendre et les reproduire. Le tout est ensemencé d’exemples pour aider à comprendre certaines notions utilisées. Dans un niveau d’ordre un peu différent, nous analysons une particularité du deuxième algorithme, c’est-à-dire la provenance des polynômes à plusieurs variables utilisés lors de la construction de la résolvante du polynôme dont nous voulons trouver le groupe de Galois.

Ce mémoire s’intéresse à l’étude du critère de validation croisée pour le choix des modèles relatifs aux petits domaines. L’étude est limitée aux modèles de petits domaines au niveau des unités. Le modèle de base des petits domaines est introduit par Battese, Harter et Fuller en 1988. C’est un modèle de régression linéaire mixte avec une ordonnée à l’origine aléatoire. Il se compose d’un certain nombre de paramètres : le paramètre β de la partie fixe, la composante aléatoire et les variances relatives à l’erreur résiduelle. Le modèle de Battese et al. est utilisé pour prédire, lors d’une enquête, la moyenne d’une variable d’intérêt y dans chaque petit domaine en utilisant une variable auxiliaire administrative x connue sur toute la population. La méthode d’estimation consiste à utiliser une distribution normale, pour modéliser la composante résiduelle du modèle. La considération d’une dépendance résiduelle générale, c’est-à-dire autre que la loi normale donne une méthodologie plus flexible. Cette généralisation conduit à une nouvelle classe de modèles échangeables. En effet, la généralisation se situe au niveau de la modélisation de la dépendance résiduelle qui peut être soit normale (c’est le cas du modèle de Battese et al.) ou non-normale. L’objectif est de déterminer les paramètres propres aux petits domaines avec le plus de précision possible. Cet enjeu est lié au choix de la bonne dépendance résiduelle à utiliser dans le modèle. Le critère de validation croisée sera étudié à cet effet. / This thesis focuses on the study of a cross-validation criterion for the choice of models for small areas. The study is limited to models of small areas at the unit level. The standard model for this problem has been introduced by Battese, Harter and Fuller in 1988. It is a mixed linear regression model with random intercepts. Its consists of a number of parameters: β a regression parameter for the fixed part, the random component and the variances for the residual error. The model of Battese et al. is used to predict in the average of a study variable y in each small area using an administrative auxiliary variable x known throughout the population. The standard estimation method consists of using a normal distribution for modelling the experimental errors. The consideration of a non normal dependence gives more accurate estimates. This new model might lead to better prediction of the mean of y within small areas. Indeed, the generalization lies in modelling the residual dependency with a non normal exchangeable model. The model selection is an issue and this work investigates crossvalidationas a method to choose a model.

Au cours de ces dernières années, les techniques d’échantillonnage équilibré ont connu un regain d’intérêt. En effet, ces techniques permettent de reproduire la structure de la population dans des échantillons afin d’améliorer l’efficacité des estimations. La reproduction de cette structure est effectuée par l’introduction des contraintes aux plans de sondage. Encore récemment, des nouvelles procédures d’échantillonnage équilibré ont été proposées. Il s’agit notamment de la méthode du cube présentée par Deville et Tillé (2004) et de l’algorithme réjectif de Fuller (2009). Alors que la première est une méthode exacte de sélection, la seconde est une approche approximative qui admet une certaine tolérance dans la sélection. Alors, après une brève présentation de ces deux méthodes dans le cadre d’un inventaire de pêcheurs, nous comparons à l’aide de simulations Monte Carlo, les plans de sondage produits par ces deux méthodes. Aussi, cela a été l’occasion pour nous de vérifier si ces méthodes modifient les probabilités de sélection des unités. / In recent years, balanced sampling techniques have experienced a renewed interest. They allow to reproduce the structure of the population in samples in order to improve the efficiency of survey estimates. New procedures have been proposed. These include the cube method, an exact method presented by Deville and Tillé (2004), and an approximate method, the Fuller (2009) rejective algorithm. After a brief presentation of these methods as part of an angler survey, we compare using Monte Carlo simulations, the survey designs produced by these two sampling algorithms. We also use this as an opportunity to check whether these methods modify the inclusion probabilities.

Dans cette thèse, nous donnons des méthodes directes pour calculer l'homologie et la cohomologie simplicielle de quelques algèbres de Banach, sans passer par le monde cyclique. On donne deux méthodes pour l'algèbre d'un semi-groupe semitreillis, chapitres 3 et 4. Ces deux méthodes sont développées, dans les chapitres 5 et 6, pour les semi-groupes bandes. Ainsi, on obtient deux méthodes directes pour déterminer l'homologie et la cohomologie des semi-groupes bandes. Au chapitre 7, on donne une formule explicite d'homotopie de l1(Z+). On termine avec le chapitre 8, qui porte sur l'algèbre d'un semi-groupe de Cuntz, dans lequel on utilise, en particulier, une application inspirée du chapitre 7.