Détection du virus de l'anémie aviaire par réaction de polymérisation en chaîne (pcr) couplée à un test Elisa

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Un système bactérien de détection des interactions protéine-protéine

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Réduction du bruit de fond en vue de la détection de la matière sombre avec le projet PICASSO

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Détection et distribution tissulaire chez le cnidaire Renilla koellikeri d'une protéine apparentée aux récepteurs à oestrogènes

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Détection des gènes de résistance aux agents antimicrobiens chez des souches d'Escherichia coli entérotoxinogènes et extraintestinales

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Méthodes moléculaires de détection d'animaux porteurs d'actinobacillus pleuropneumoniae : comparaison et validation d'épreuves PCR

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Détection du virus de l'anémie aviaire par réaction de polymérisation en chaîne (pcr) couplée à un test Elisa

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Un système bactérien de détection des interactions protéine-protéine

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Réduction du bruit de fond en vue de la détection de la matière sombre avec le projet PICASSO

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Détection et distribution tissulaire chez le cnidaire Renilla koellikeri d'une protéine apparentée aux récepteurs à oestrogènes

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Détection, reconstruction 3D et identification des êtres vivants du règne animal

L’automatisation de la détection et de l’identification des animaux est une tâche qui a de l’intérêt dans plusieurs domaines de recherche en biologie ainsi que dans le développement de systèmes de surveillance électronique. L’auteur présente un système de détection et d’identification basé sur la vision stéréo par ordinateur. Plusieurs critères sont utilisés pour identifier les animaux, mais l’accent a été mis sur l’analyse harmonique de la reconstruction en temps réel de la forme en 3D des animaux. Le résultat de l’analyse est comparé avec d’autres qui sont contenus dans une base évolutive de connaissances.

Développement et applications d’un outil bio-informatique pour la détection de similarités de champs d’interaction moléculaire

Résumé : Les méthodes de détection de similarités de sites de liaison servent entre autres à la prédiction de fonction et à la prédiction de cibles croisées. Ces méthodes peuvent aider à prévenir les effets secondaires, suggérer le repositionnement de médicament existants, identifier des cibles polypharmacologiques et des remplacements bio-isostériques. La plupart des méthodes utilisent des représentations basées sur les atomes, même si les champs d’interaction moléculaire (MIFs) représentent plus directement ce qui cherche à être identifié. Nous avons développé une méthode bio-informatique, IsoMif, qui détecte les similarités de MIF entre différents sites de liaisons et qui ne nécessite aucun alignement de séquence ou de structure. Sa performance a été comparée à d’autres méthodes avec des bancs d’essais, ce qui n’a jamais été fait pour une méthode basée sur les MIFs. IsoMif performe mieux en moyenne et est plus robuste. Nous avons noté des limites intrinsèques à la méthodologie et d’autres qui proviennent de la nature. L’impact de choix de conception sur la performance est discuté. Nous avons développé une interface en ligne qui permet la détection de similarités entre une protéine et différents ensembles de MIFs précalculés ou à des MIFs choisis par l’utilisateur. Des sessions PyMOL peuvent être téléchargées afin de visualiser les similarités identifiées pour différentes interactions intermoléculaires. Nous avons appliqué IsoMif pour identifier des cibles croisées potentielles de drogues lors d’une analyse à large échelle (5,6 millions de comparaisons). Des simulations d’arrimage moléculaire ont également été effectuées pour les prédictions significatives. L’objectif est de générer des hypothèses de repositionnement et de mécanismes d’effets secondaires observés. Plusieurs exemples sont présentés à cet égard.

Détection de vulnérabilités appliquée à la vérification de code intermédiaire de Java Card

La vérification de la résistance aux attaques des implémentations embarquées des vérifieurs de code intermédiaire Java Card est une tâche complexe. Les méthodes actuelles n'étant pas suffisamment efficaces, seule la génération de tests manuelle est possible. Pour automatiser ce processus, nous proposons une méthode appelée VTG (Vulnerability Test Generation, génération de tests de vulnérabilité). En se basant sur une représentation formelle des comportements fonctionnels du système sous test, un ensemble de tests d'intrusions est généré. Cette méthode s'inspire des techniques de mutation et de test à base de modèle. Dans un premier temps, le modèle est muté selon des règles que nous avons définies afin de représenter les potentielles attaques. Les tests sont ensuite extraits à partir des modèles mutants. Deux modèles Event-B ont été proposés. Le premier représente les contraintes structurelles des fichiers d'application Java Card. Le VTG permet en quelques secondes de générer des centaines de tests abstraits. Le second modèle est composé de 66 événements permettant de représenter 61 instructions Java Card. La mutation est effectuée en quelques secondes. L'extraction des tests permet de générer 223 tests en 45 min. Chaque test permet de vérifier une précondition ou une combinaison de préconditions d'une instruction. Cette méthode nous a permis de tester différents mécanismes d'implémentations de vérifieur de code intermédiaire Java Card. Bien que développée pour notre cas d'étude, la méthode proposée est générique et a été appliquée à d'autres cas d'études.

Détection de fautes pour les capteurs embarqués de véhicules intelligents basée sur la redondance analytique utilisant une transformation non linéaire

La sécurité des systèmes de transports intelligents est au centre de tous les débats. Afin de s’assurer un fonctionnement sécuritaire, il est nécessaire de pouvoir vérifier le bon fonctionnement des capteurs permettant d’avoir une parfaite connaissance de l’environnement et de l’état du véhicule. Cette thèse présente une nouvelle solution de détection et d’identification de faute pouvant apparaitre sur les capteurs embarqués d’un véhicule intelligent. Cette méthode est basée sur la redondance analytique des données, consistant à estimer une même mesure à l’aide de capteurs de différentes natures. Cette mesure subit alors une transformation non linéaire permettant à la fois d’accroitre la sensibilité aux fautes et d’être plus robuste aux bruits. Cette étude propose plusieurs solutions de transformation et d’estimation qui seront évaluées en simulation avant de proposer une méthode d’optimisation de la prise de décision en fonction de critères choisis par l’utilisateur. La description de l’architecture, des méthodes employées ainsi que des équations permettant l’établissement de celle-ci seront décrites dans le chapitre 3. L’évaluation en simulation des performances de l’architecture sera effectuée dans le chapitre 4 avant une analyse finale des résultats ainsi qu’une comparaison avec une solution existante dans le dernier chapitre, permettant la validation de notre approche.

Qualification zoo-sanitaire du naissain de captage 2013 de l'huître creuse Crassostrea gigas (QUALIF) - Détection précoce des maladies en épreuve thermique de laboratoire

Depuis 2008, des mortalités massives d’huîtres creuses âgées de moins d’un an sont relevées sur le littoral français dès que la température de l’eau de mer atteint le seuil de 16°C. Ces mortalités de naissains sont associées à la détection du virus OsHV-1 μVar. Des travaux de qualification zoo-sanitaire menés depuis 2010 ont montré qu’un lot de naissains issus du captage naturel sur deux était infecté par le virus bien avant l’apparition des mortalités dans le milieu naturel, mais qu’a contrario les naissains d’écloserie expertisés présentaient une fréquence plus faible de portage latent. Dans ce contexte de crise zoo-sanitaire chronique, l’objectif de notre étude consistait à obtenir une information du statut zoo-sanitaire OsHV-1 μVar des populations de naissains du captage 2013 à l’échelle national. Ce travail avait pour finalité de permettre l’identification précoce des zones de captage associées à un risque de mortalité due à l’infection par OsHV-1 μVar. La méthodologie de l’épreuve thermique de laboratoire (ETL) correspond en une période de 1 mois d’isolement des naissains à évaluer en conditions contrôlées de laboratoire. Lors de cette période la température de l’eau de mer est maintenue constante à 21°C et la mortalité est relevée tous les 10 jours. La survie finale associée à des analyses qPCR permettent de qualifier le statut sanitaire en terme de portage OsHV-1 μVar de l’échantillon (statut infecté ou non infecté). Entre février et mars 2014, vingt et un échantillons de naissains âgés de 5 à 7 mois ont été échantillonnés dans six sites du littoral français (étang de Thau, bassin d’Arcachon, pertuis Charentais, baie de Bourgneuf, baie de Vilaine et rade de Brest) pour être qualifiés par ETL au site expérimental Ifremer d’Argenton. Les résultats de la campagne 2014 de qualification zoo-sanitaire confirment qu’en période hivernale, dans le milieu naturel, des naissains de captage peuvent être infectés par OsHV-1 μVar sans développement apparent de maladies ni mortalité. En revanche en ETL, ces lots de naissains infectés par OsHV-1 μVar présentent des taux de mortalité importants. Ainsi, sur les 20 échantillons de naissains de captage étudiés, onze ont révélé des maladies en ETL avec des mortalités cumulées variant de 16 % à 80 %. Ce ratio d’un échantillon sur deux de naissains infectés par OsHV-1 μVar demeure proche de celui observé de 2010 à 2013 lors des travaux précédents qui avaient permis de définir l’ETL. les six sites étudiés ont montré des résultats contrastés. En effet, les résultats se sont révélés favorables pour l’étang de Thau et la baie de Bourgneuf et défavorables dans le cas de la rade de Brest et la Baie de Vilaine. Pour ces deux derniers sites, tous les échantillons de naissains testés ont montré de fortes mortalités pendant l’ETL. Des différences s’observent également intra-site, notamment à Marennes Oléron avec 1 échantillon sur 3 infectés par OsHV-1 μVar ou dans pour Arcachon avec 3 échantillons sur 5. Dans le contexte préoccupant de l’épizootie actuelle, nos résultats confirment que certains lots de naissains de captage sont infectés par OsHV-1 μVar dès les mois de février-mars et pourrait être des acteurs actifs dans le déclenchement annuel du processus infectieux en milieu naturel quand la température de l’eau dépasse 16°C. Par ailleurs, notre étude démontre qu’il serait possible chaque année d’obtenir une qualification sanitaire précoce des zones de captage. Cela permettrait d’améliorer la gestion des risques liés aux transferts de naissains infectés par OsHV-1 μVar dans les différents bassins de production.