L'évolution de la résistance aux insecticides chez les moustiques responsables de la transmission de maladies infectieuses compromet notre capacité à contrôler ces populations de vecteurs et pose de graves problèmes de santé publique. Mais les nombreuses modifications physiologiques associées au phénomène de résistance aux insecticides pourraient altérer l'épidémiologie de ces maladies de manière plus indirecte en modifiant la capacité vectorielle des moustiques. Afin d'étudier cette question nous avons mis en place un nouveau système expérimental composé du parasite aviaire Plasmodium relictum SGS1 et de son vecteur naturel le moustique Culex pipiens. Nous avons étudié l'effet de différents allèles de résistance aux insecticides (représentant deux mécanismes principaux i.e. la résistance métabolique ou la modification de la cible) sur une série de traits d'histoire de vie du parasite et du moustique. L'impact de ces différents allèles a été étudié d'une part, dans les conditions contrôlées de leur expression dans un même fond génétique (en utilisant plusieurs souches de moustiques isogéniques), et d'autre part, dans les conditions plus réalistes de leur expression dans un fond génétique hétérogène (utilisation de moustiques échantillonnés sur le terrain). Nous montrons que la résistance aux insecticides a des effets pleïotropes sur l'immunocompétence et les traits d'histoire de vie des moustiques. Son effet sur le développement de Plasmodium semble en revanche limité. Nous discutons d'une part, de la nécessité de poursuivre une approche multifactorielle (impliquant la physiologie, l'immunité et le comportement des moustiques) afin de mieux comprendre l'impact de la résistance aux insecticides sur la transmission de Plasmodium, et d'autre part des perspectives intéressantes qu'offrent ce nouveau système expérimental pour l'étude de l'écologie évolutive des maladies à vecteurs. / The evolution of insecticide resistance in mosquitoes threatens our ability to control many-vector-transmitted diseases, thereby raising serious public health issues. Insecticide resistance entails numerous physiological changes in mosquitoes. This thesis investigates whether these physiological changes alter the quality of mosquitoes as vectors of malaria. To address this issue, we developed a new experimental system consisting in the avian malaria parasite Plasmodium relictum SGS1 and its natural vector, the mosquito Culex pipiens. We investigated the impact of two insecticide resistance mechanisms (target site resistance and metabolic resistance) on several mosquito and parasite life history traits relevant for malaria transmission. The effect of different insecticide resistant genes was investigated using both isogenic laboratory mosquito strains (i.e. against a homogeneous genetic background) and sympatric field caught mosquitoes (i.e. under the more realistic, albeit noisier, conditions of a heterogeneous genetic background). We show that insecticide resistance has a pleiotropic effect on several mosquito traits (immunocompetence, longevity, fecundity), whereas it has only a limited effect on Plasmodium development. We discuss, on the one hand, the need to pursue such a multi-factorial approach (combining the mosquito physiology, immunity and behavior) to better understand the impact of insecticide resistance on malaria transmission and, on the other hand, the promising perspectives offered by this new experimental system for studying the evolutionary-ecology of infectious diseases.

Les peptides vecteurs ou CPP sont de petits peptides, en général de taille inférieure à 30 acides aminés. Parmi les nombreux CPP décrits dans la littérature, les peptides riches en arginine ont fait l'objet d'une attention particulière. Plusieurs modifications chimiques du squelette peptidique conduisant à une distribution spatiale différente des groupes fonctionnels, ou encore l'introduction de chaînes aliphatiques ont été effectuées pour accroitre la capacité du peptide à traverser la membrane de la cellule. L'objectif de ce travail a été le développement de nouveaux peptides vecteurs cycliques contenant un domaine cationique minimal et pouvant être acylés par une chaîne aliphatique. Quinze nouveaux transporteurs cycliques, dont les peptides vecteurs classiques Pénétratine et R6W3ont été synthétisés. La cyclisation tête-queue par ligation chimique native a été rendue possible par l'introduction d'un résidu cystéine et d'une fonction thioester (ou précurseur) respectivement aux extrémités N et C-terminales des différentes séquences de CPP. Leur aptitude à transporter le peptide bioactif PKCi dans des cellules CHO a été évaluée par quantification de la cargaison internalisée en utilisant la spectrométrie de masse MALDI-TOF. Les résultats indiquent une meilleure internalisation essentiellement par voie d'endocytose dépendante des glycosaminoglycanes, suite à la cyclisation des CPP comparés à leur version linéaire. De toute la série des lipopeptides testés dans ce projet, deux séquences se distinguent par leur capacité remarquable à franchir les membranes cellulaire : les CPP [C12-R4] et [C12-R7]. / Cell-penetrating peptides (CPPs) are short, cationic or amphipatic peptides, usually containing less than 30 amino acids, which are able to deliver various bioactive cargoes inside cells. Among the many CPPs described in the literature, the arginine-rich peptides have attracted particular attention. Several chemical modifications of the peptide backbone leading to different spatial distributions of the CPP functional groups, or the introduction of aliphatic chains have been made to enhance their internalization efficiency. The aim of this work was the synthesis of new cyclic CPPs containing a minimal cationic domain and their functionalisation with an aliphatic chain. We have synthesised a small library of fifteen new cyclic carriers including the classical CPPs Penetratin and R6W3 using native chemical ligation (NCL) in solution. The introduction of an N-terminal Cys residue and of a C-terminal thioester (or precursor) in the initial linear peptide sequence allowed the head-to-tail cyclisation. The efficiency of cargo delivery in CHO cells was measured by MALDI-TOF mass spectrometry. We found that cyclisation of CPPs improved their internalisation efficiency mostly by glycosaminoglycan-dependent endocytosis. Among the whole series of lipopeptides tested in this project, two sequences are distinguished by their remarkable ability to cross cellular membranes: the peptides [C12-R4] and [C12-R7].

Dans ce document deux analyses des propriétés du boson de Higgs se désintégrant en 2 photons dans l'expérience CMS située auprès du LHC (Large Hadron Collider) sont présentées.Le document commence par une introduction théorique sur le Modèle Standard et sur la physique du boson de Higgs, suivie par une description détaillée de l'expérience CMS. En deuxième lieu, les algorithmes de réconstruction et identification des photons sont présentés, avec une attention particulière aux différences entre le premier et le deuxième run du LHC, le premier run (Run1) ayant été pris entre 2010 et 2012 avec une énergie dans le centre de masse de 7 puis 8 TeV, le deuxième (Run2) ayant commencé en 2015 avec une énergie dans le centre de masse de 13 TeV. Les performances des reconstructions du Run 1 et du Run 2 en ce qui concerne l'identification des photons sont comparées. Ensuite l'algorithme d’identification des photons pour l'analyse H->γγ et optimisé pour le Run2 est présenté. Pour ce faire une méthode d'analyse multivariée est utilisée. Les performances de l'identification des photons à 13 TeV sont enfin étudiées et une validation donnée-simulation est effectuée.Ensuite l'analyse H->γγ avec les premières données du Run2 est présentée. Les données utilisées correspondent à une luminosité intégrée de 12.9 fb⁻¹. Une catégorisation des événements est faite, afin de rendre maximale la signification statistique du signal et d’étudier les différents modes de production du boson de Higgs. La signification statistique observée pour le boson de Higgs du Modèle Standard est 1.7 sigma, pour une signification attendue de 2.7 sigma.Enfin une étude de faisabilité ayant pour but de contraindre les couplages anomaux du boson de Higgs aux bosons de jauges est présentée. Pour cette analyse les données à 8 TeV collectées pendant le Run 1 du LHC, correspondant a' une luminosité intégrée de 19.5/fb sont utilisées. Cette analyse exploite la production du boson de Higgs par fusion de bosons-vecteurs (VBF), avec le Higgs se désintégrant ensuite en 2 photons. Les distributions cinématiques des jets et des photons, qui dépendent de l'hypothèse de spin-parité, sont utilisées pour construire des discriminants capables de séparer les différentes hypothèses de spin-parité. Ces discriminants permettent de définir différentes régions de l'espace des phases enrichies en signal de différentes spin-parité. Les différents nombres d’événements de signal sont extraits dans chaque région par un ajustement de la masse invariante diphoton, permettant de déterminer les contributions respectives des différents signaux et permettant ainsi de contraindre la production de boson de Higgs pseudo-scalaire (spin-parité 0-). / In this document two analyses of the properties of the Higgs boson in the diphoton decay channel with the CMS experiment at the LHC (Large Hadron Collider) are presented.The document starts with a theoretical introduction of the Standard Model and the Higgs boson physics, followed by a detailed description of the CMS detector.Then, photon reconstruction and identification algorithms are presented, with a particular focus on the differences between the first and the second run of the LHC, the first run (Run1) took place from 2010 to 2012 with a centre-of-mass energy of 7 and then 8 TeV, while the second run (Run2) started in 2015 with a centre-of-mass energy of 13 TeV. Performances of Run1 and Run2 reconstructions from the photon identification point of view are compared. Then the photon identification algorithm for the H->γγ analysis optimised for Run2 is presented. To do that a multivariate analysis method is used. Performances of the photon identification at 13 TeV are finally studied and a data-simulation validation is performed.Afterwards, the H->γγ analysis using the first Run2 data is presented. The analysis is performed with a dataset corresponding to an integrated luminosity of 2.7/fb. An event classification is performed to maximize signal significance and to studyspecific Higgs boson production modes. The observed significance for the standard model Higgs boson is 1.7 sigma, while a significance of 2.7 sigma is expected.Finally a feasibility study, having the aim of constraining the anomalous couplings of the Higgs boson to the vector bosons, is presented. This analysis is performed using the data collected at 8 TeV during Run1 at the LHC, corresponding to an integrated luminosity of 19.5/fb. This analysis exploits the production of the Higgs boson through vector boson fusion (VBF), with the Higgs decaying to 2 photons. The kinematic distributions of the dijet and diphoton systems, which depend from the spin-parity hypothesis, are used to build some discriminants able to discriminate between different spin-parity hypotheses. These discriminants allow to define different regions of the phase-space enriched with a certain spin-parity process. The Higgs boson signal yield is extracted in each region from a fit to the diphoton mass, allowing to determine the contributions of the different processes and then constrain the production of a pseudo-scalar (spin-parity 0-) Higgs boson.

Le défi du BigData entraîne un besoin pour les algorithmes d'apprentissage automatisé de s'adapter aux données de grande dimension et de devenir plus efficace. Récemment, une nouvelle direction de recherche est apparue qui consiste à analyser les méthodes d’apprentissage dans le régime moderne où le nombre n et la dimension p des données sont grands et du même ordre. Par rapport au régime conventionnel où n>>p, le régime avec n,p sont grands et comparables est particulièrement intéressant, car les performances d’apprentissage dans ce régime restent sensibles à l’ajustement des hyperparamètres, ouvrant ainsi une voie à la compréhension et à l’amélioration des techniques d’apprentissage pour ces données de grande dimension.L'approche technique de cette thèse s'appuie sur des outils avancés de statistiques de grande dimension, nous permettant de mener des analyses allant au-delà de l'état de l’art. La première partie de la thèse est consacrée à l'étude de l'apprentissage semi-supervisé sur des grandes données. Motivés par nos résultats théoriques, nous proposons une alternative supérieure à la méthode semi-supervisée de régularisation laplacienne. Les méthodes avec solutions implicites, comme les SVMs et la régression logistique, sont ensuite étudiées sous des modèles de mélanges réalistes, fournissant des détails exhaustifs sur le mécanisme d'apprentissage. Plusieurs conséquences importantes sont ainsi révélées, dont certaines sont même en contradiction avec la croyance commune. / The BigData challenge induces a need for machine learning algorithms to evolve towards large dimensional and more efficient learning engines. Recently, a new direction of research has emerged that consists in analyzing learning methods in the modern regime where the number n and the dimension p of data samples are commensurately large. Compared to the conventional regime where n>>p, the regime with large and comparable n,p is particularly interesting as the learning performance in this regime remains sensitive to the tuning of hyperparameters, thus opening a path into the understanding and improvement of learning techniques for large dimensional datasets.The technical approach employed in this thesis draws on several advanced tools of high dimensional statistics, allowing us to conduct more elaborate analyses beyond the state of the art. The first part of this dissertation is devoted to the study of semi-supervised learning on high dimensional data. Motivated by our theoretical findings, we propose a superior alternative to the standard semi-supervised method of Laplacian regularization. The methods involving implicit optimizations, such as SVMs and logistic regression, are next investigated under realistic mixture models, providing exhaustive details on the learning mechanism. Several important consequences are thus revealed, some of which are even in contradiction with common belief.

La maladie de Huntington (MH) est une maladie neurodégénérative causée par une extension de répétitions du codon CAG dans le gène de la Huntingtine (Htt). Cette maladie est caractérisée par la mort des neurones striataux et la présence d’agrégats de Htt mutée (mHtt). De plus, au cours de la MH, les astrocytes, qui sont essentiels au bon fonctionnement neuronal, changent d’état et deviennent réactifs. La réactivité astrocytaire est caractérisée par des changements morphologiques et transcriptomiques mais l’impact fonctionnel de cette réactivité reste peu compris.Afin d’étudier le rôle des astrocytes réactifs dans la MH, nous avons utilisé des vecteurs viraux récemment développés par notre équipe, qui induisent ou bloquent la réactivité astrocytaire in vivo en ciblant la voie JAK2-STAT3. Nous avons montré que les astrocytes réactifs diminuent le nombre et la taille des agrégats de mHtt majoritairement présents dans les neurones. Ceci est associé à l’amélioration de plusieurs altérations neuronales observées dans ces modèles. Une analyse transcriptomique réalisée sur des astrocytes réactifs révèle des changements majeurs d’expression de gènes liés aux systèmes de protéostasie. De plus, l’activité du lysosome et du protéasome est augmentée dans les astrocytes réactifs de souris modèles de la MH. Nous montrons également que les astrocytes réactifs éliminent plus efficacement leurs propres agrégats de mHtt, suggérant qu’au cours de la MH, ces cellules pourraient dégrader plus efficacement la mHtt provenant des neurones. De plus, certaines protéines chaperonnes sont induites dans les astrocytes réactifs. En particulier, la co-chaperonne DNAJB1/Hsp40 est surexprimée dans les astrocytes réactifs et est retrouvée dans les exosomes isolés à partir de striata de souris MH. Des expériences de gain et perte de fonction suggèrent que cette chaperonne est impliquée dans les effets bénéfiques des astrocytes réactifs sur l’agrégation de la mHtt et l’état des neurones. Les astrocytes réactifs pourraient donc libérer des protéines anti-agrégantes qui favorise l’élimination de la mHtt dans les neurones.Notre étude montre que les astrocytes peuvent, en devenant réactifs au cours de la MH, acquérir des propriétés bénéfiques pour les neurones et favoriser, via un dialogue complexe avec les neurones, l’élimination des agrégats de mHtt. / Huntington’s disease (HD) is a hereditary neurodegenerative disease caused by an expansion of CAG codons in the Huntingtin gene. It is characterized by the death of striatal neurons and the presence of mutant Huntingtin (mHtt) aggregates. In pathological conditions, as in HD, astrocytes change and become reactive. Astrocyte reactivity is characterized by morphological and significant transcriptomic changes. Astrocytes are essential for the proper functioning of neurons but the functional changes associated with reactivity are still unclear.To better understand the roles played by reactive astrocytes in HD, we took advantage of our recently developed viral vectors that infect selectively astrocytes in vivo and either block or induce reactivity, through manipulation of the JAK2-STAT3 pathway. We used these vectors in two complementary mouse models of HD and found that reactive astrocytes decrease the number and the size of mHtt aggregates that mainly form in neurons. Reduced mHtt aggregation was associated with improvement of neuronal alterations observed in our mouse models of HD. A genome-wide transcriptomic analysis was performed on acutely sorted reactive astrocytes and revealed an enrichment in genes linked to proteolysis. Lysosomal and proteosomal activities were also increased in reactive astrocytes in HD mice. Moreover, we show that reactive astrocytes degrade more efficiently their own mHtt aggregates, suggesting that these cells could siphon mHtt away from neurons. Alternatively, several chaperones were induced in reactive astrocytes. In particular, the co-chaperone DNAJB1/Hsp40 was upregulated in reactive astrocytes and was present in exosomal fraction from HD mouse striatum. Loss and gain of function experiments suggest that this chaperone is involved in the beneficial effects of reactive astrocytes on mHtt aggregation and neuronal status. Therefore, reactive astrocytes could release anti-aggregation proteins that could promote mHtt clearance in neurons.Overall, our data show that astrocytes, by becoming reactive in HD, develop a protective response that involves complex bidirectional signaling with neurons to reduce mHtt aggregation.

Les dysferlinopathies sont des dystrophies musculaires qui se manifestent par la dystrophie musculaire des ceintures de type 2B (LGMD2B) ou la myopathie de Miyoshi (MM). Elles sont causées par des mutations dans le gène dysferline. La dysferline est une protéine membranaire exprimée dans le muscle squelettique, responsable de la réparation des microlésions du sarcolemme. L’absence d’une telle réparation de la membrane entraîne une atrophie musculaire progressive. Ce travail de thèse explore le potentiel thérapeutique d'une stratégie de modulation d'épissage pour le traitement de la LGMD2B causée par la mutation faux-sens c4022T>C dans l'exon 38 du gène dysferline. Des oligonucléotides et des petits ARN U7 délivrés par un vecteur viral de type adéno-associé ont été utilisés comme outils antisens pour induire un saut d'exon in vitro et in vivo. Ce projet de thèse étudie également la capacité de la dysferline tronquée à se localiser de façon appropriée à la membrane et ainsi la réparer. / Dysferlinopathy is a muscular dystrophy that manifests as two major phenotypes: limb-girdle muscular dystrophy type 2B (LGMD2B) or Miyoshi myopathy (MM). It is caused by mutations in the dysferlin gene. Dysferlin is a membrane protein expressed in skeletal muscle. It is responsible for the repair of sarcolemma microlesions produced by muscle contractions. A compromised membrane repair leads to slowly progressing muscle wasting. This thesis explores the therapeutic potential of an antisense mediated splice switching strategy in LGMD2B caused by the missense mutation c4022T>C in the exon 38 of the dysferlin gene. Antisense oligonucleotides and U7 snRNAs delivered by an adeno-associated viral vector were used as antisense tools to trigger exon skipping in vitro and in vivo. The thesis investigates also if the truncated dysferlin maintainsa proper membrane localization and its membrane repair ability.

L'un des aspects fondamentaux des systèmes informatiques modernes, et en particulier des systèmes critiques, est la possibilité d'exécuter plusieurs processus, partageant des ressources communes, de façon simultanée. De par leur nature concurrentielle, le bon fonctionnement de ces systèmes n'est assuré que lorsque leurs comportements ne dépendent pas d'un ordre d'exécution prédéterminé. En raison de cette caractéristique, il est particulièrement difficile de s'assurer qu'un système concurrent ne possède pas de faille. Dans cette thèse, nous étudions la vérification formelle, une approche algorithmique qui vise à automatiser la vérification du bon fonctionnement de systèmes concurrents en procédant par une abstraction vers des modèles mathématiques. Nous considérons deux de ces modèles, les réseaux de Petri et les systèmes d'addition de vecteurs, et les problèmes de vérification qui leur sont associés. Nous montrons que le problème d'accessibilité pour les systèmes d'addition de vecteurs (avec états) à deux compteurs est PSPACE-complet, c'est-à-dire complet pour la classe des problèmes solubles à l'aide d'une quantité polynomiale de mémoire. Nous établissons ainsi la complexité calculatoire précise de ce problème, répondant à une question demeurée ouverte depuis plus de trente ans. Nous proposons une nouvelle approche au problème de couverture pour les réseaux de Petri, basée sur un algorithme arrière guidé par une caractérisation logique de l'accessibilité dans les réseaux de Petri dits continus. Cette approche nous a permis de mettre au point un nouvel algorithme qui s'avère particulièrement efficace en pratique, tel que démontré par notre implémentation logicielle nommée QCover. Nous complétons ces résultats par une étude des systèmes de transitions bien structurés qui constituent une abstraction générale des systèmes d'addition de vecteurs et des réseaux de Petri. Nous considérons le cas des systèmes de transitions bien structurés à branchement infini, une classe qui inclut les réseaux de Petri possédant des arcs pouvant consommer ou produire un nombre arbitraire de jetons. Nous développons des outils mathématiques facilitant l'étude de ces systèmes et nous délimitons les frontières au-delà desquelles la décidabilité des problèmes de terminaison, de finitude, de maintenabilité et de couverture est perdue. / One fundamental aspect of computer systems, and in particular of critical systsems, is the ability to run simultaneously many processes sharing resources. Such concurrent systems only work correctly when their behaviours are independent of any execution ordering. For this reason, it is particularly difficult to ensure the correctness of concurrent systems.In this thesis, we study formal verification, an algorithmic approach to the verification of concurrent systems based on mathematical modeling. We consider two of the most prominent models, Petri nets and vector addition systems, and their usual verification problems considered in the literature.We show that the reachability problem for vector addition systems (with states) restricted to two counters is PSPACE-complete, that is, it is complete for the class of problems solvable with a polynomial amount of memory. Hence, we establish the precise computational complexity of this problem, left open for more than thirty years.We develop a new approach to the coverability problem for Petri nets which is primarily based on applying forward coverability in continuous Petri nets as a pruning criterion inside a backward coverability framework. We demonstrate the effectiveness of our approach by implementing it in a tool named QCover.We complement these results with a study of well-structured transition systems which form a general abstraction of vector addition systems and Petri nets. We consider infinitely branching well-structured transition systems, a class that includes Petri nets with special transitions that may consume or produce arbitrarily many tokens. We develop mathematical tools in order to study these systems and we delineate the decidability frontier for the termination, boundedness, maintainability and coverability problems for these systems.

Les précédents travaux menés au laboratoire avaient permis d’obtenir des lipides cationiques biolabiles dérivés d’un constituant naturel des membranes cellulaires, la DOPC, en masquant temporairement sa charge négative par l’introduction d’un substituant, clivable sous stimuli acide ou enzymatique. Ce concept s’était révélé efficace pour la délivrance, in vitro et in vivo, d’acides nucléiques, avec un impact toxicologique minimisé. Ce doctorat est la transposition de ce système à une approche thérapeutique du cancer, à l’aide de constructions dérivées d’alkylphospholipides (APLs), des lipides antitumoraux. De nombreuses prodrogues biolabiles (pro-APLs) ont été développées à partir de trois APLs prometteurs : miltéfosine, périfosine et érufosine. L’évaluation et l’optimisation de l’activité biologique des pro-APLs ont conduit à des formulations performantes pour la délivrance in vitro d’un ADN thérapeutique TRAIL et la production in situ d’APLs, pour une combothérapie antitumorale. / Previous work in the laboratory had resulted in biolabile cationic lipids derived from a naturally cell membrane component, DOPC, by temporarily masking its negative charge by the introduction of a cleavable substituent, under acidic or enzymatic stimuli. This concept was particularly efficient for the delivery, in vitro and in vivo, of nucleic acids such as DNA plasmid or siRNA, with a minimized toxicological impact for cells. The present study is the transposition of this system to a therapeutic approach to cancer, using constructions derived from alkylphospholipids (APLs), a recent class of antitumor lipids. Biolabile prodrugs (pro-APLs) have been developed from three promising APLs: miltefosine, perifosine and erufosine. The biological evaluation of pro-APLs activity and the optimization of various parameters led to efficient formulations for the in vitro delivery of a therapeutic DNA plasmid, related to TRAIL, and the in situ APLs production for a potential antitumor combotherapy.

La machine à vecteurs de support à une classe est un algorithme non-supervisé qui est capable d’apprendre une fonction de décision à partir de données d’une seule classe pour la détection d’anomalie. Avec les données d’entraînement d’une seule classe, elle peut identifier si une nouvelle donnée est similaire à l’ensemble d’entraînement. Dans ce mémoire, nous nous intéressons à la reconnaissance de forme de dynamique de frappe par la machine à vecteurs de support à une classe, pour l’authentification d’étudiants dans un système d’évaluation sommative à distance à l’Université Laval. Comme chaque étudiant à l’Université Laval possède un identifiant court, unique qu’il utilise pour tout accès sécurisé aux ressources informatiques, nous avons choisi cette chaîne de caractères comme support à la saisie de dynamique de frappe d’utilisateur pour construire notre propre base de données. Après avoir entraîné un modèle pour chaque étudiant avec ses données de dynamique de frappe, on veut pouvoir l’identifier et éventuellement détecter des imposteurs. Trois méthodes pour la classification ont été testées et discutées. Ainsi, nous avons pu constater les faiblesses de chaque méthode dans ce système. L’évaluation des taux de reconnaissance a permis de mettre en évidence leur dépendance au nombre de signatures ainsi qu’au nombre de caractères utilisés pour construire les signatures. Enfin, nous avons montré qu’il existe des corrélations entre le taux de reconnaissance et la dispersion dans les distributions des caractéristiques des signatures de dynamique de frappe. / One-Class Support Vector Machine is an unsupervised algorithm that learns a decision function from only one class for novelty detection. By training the data with only one class, this method is able to classify new data as similar (inlier) or different (outlier) from the training set. In this thesis, we have applied the One-Class Support Vector Machine to Keystroke Dynamics pattern recognition for user authentication in a remote evaluation system at Laval University. Since all of their students have a short and unique identifier at Laval University, this particular static text is used as the Keystroke Dynamics input for a user to build our own dataset. After training a model for each student with his or her keystroke data, we then use this model to detect imposters in the later phase. Three methods were tried and discussed for the classification. Then, we were able to identify weaknesses of each method in such a system by evaluating the recognition accuracy depending on the number of signatures and as a function of their number of characters. Finally, we were able to show some correlations between the dispersion and mode of distributions of features characterizing the keystroke signatures and the recognition rate.

Nous présentons ici un système de classification audio parole/musique tirant parti des excellentes propriétés statistiques des Machines à Vecteurs de Support. Ce problème pose les trois questions suivantes : comment exploiter efficacement les SVM, méthode d'essence discriminatoire, sur un problème à plus de deux classes, comment caractériser un signal audio de manière pertinente, et enfin comment traiter l'aspect temporel du problème ? Nous proposons un système hybride de classification multi-classes tirant parti des approches un-contre-un et par dendogramme, et permettant l'estimation de probabilités a posteriori. Ces dernières sont exploitées pour l'application de méthodes de post-traitement prenant en compte les interdépendances entre trames voisines. Nous proposons ainsi une méthode de classification par l'application de Modèles de Markov Cachés (HMM) sur les probabilités a posteriori, ainsi qu'une approche basée sur la détection de rupture entre segments au contenu acoustique "homogène". Par ailleurs, la caractérisation du signal audio étant opérée par une grande collection des descripteurs audio, nous proposons de nouveaux algorithmes de sélection de descripteurs basés sur le récent critère d'Alignement du noyau ; critère que nous avons également exploité pour la sélection de noyau dans le processus de classification. Les algorithmes proposés sont comparés aux méthodes les plus efficaces de l'état de l'art auxquelles elles constituent une alternative pertinente en termes de coût de calcul et de stockage. Le système construit sur ces contributions a fait l'objet d'une participation à la campagne d'évaluation ESTER 2, que nous présentons, accompagnée de nos résultats.