Étude des règles de pivotage dans la résolution d'un certain nombre de problèmes lies aux manipulations de matrices.

La traduction assistée par ordinateur a connu un grand essor dans les années 1990 avec l'arrivée des environnements à mémoires de traduction. Ces systèmes exploitent la redondance des textes techniques produits et traduits dans l'industrie, en proposant aux traducteurs de réutiliser des traductions archivées et d'accroître ainsi leur productivité. Ces mémoires utilisent, sans analyse, des segments de textes (le plus souvent des phrases entières) dont le découpage et l'alignement sont garantis par le traducteur.<br /><br />Pourtant ces mémoires recèlent des gisements d'information importants au niveau sous-phrastique dont les utilisateurs ne peuvent pas bénéficier. Le formalisme TransTree permet de représenter des correspondances sous-segmentales enchassées bilingues. Ces correspondances complexes (les amphigrammes) forment une structure arborescente exprimable en XML. Une transformation de surface conduit à une visualisation dynamique mettant en évidence les différents niveaux de correspondance entre sous-segments.<br /><br />TransTree s'accompagne d'une méthode générale de construction par voie statistique, fondée sur les arbres binaires de sécabilité. Cette méthode permet d'établir des amphigrammes à partir des correspondances entre mots typographiques. Il est possible d'abstraire des patrons de traduction (amphigrammes génériques) par classification des exemples rencontrés dans le corpus.<br /><br />Quelques expérimentations ont été effectuées pour valider le pouvoir d'expression du formalisme, explorer différentes options de construction et esquisser un algorithme de reconstitution d'un segment cible à partir d'un segment source inconnu avec la connaissance extraite des mémoires de traduction.

La segmentation de personnes dans les images et les vidéos est une problématique actuellement au coeur de nombreux travaux. Nous nous intéressons à la segmentation de personnes debout. Pour cela, nous avons mis au point deux méthodes originales : La première est une continuation d'une méthode de détection efficace. On réalise une pré-segmentation en associant aux segments de contour de l'image une valeur de vraisemblance en tant qu'élément d'une silhouette humaine par une combinaison d'histogrammes de gradients orientés (HOG) et de machines à vecteurs de support (SVM) prises à l'échelle des ces segments. Une recherche d'arbre optimal dans un graphe intégrant les données de la pré-segmentation permet de reconstruire la silhouette de la personne. Enfin, une utilisation itérative de ce processus permet d'en améliorer la performance. La seconde méthode prend en compte l'interaction de l'utilisateur pour une image. Une coupe de graphe est guidée par un gabarit non binaire représentant une silhouette humaine. Nous proposons également un gabarit par parties pour s'adapter à la posture de la personne. Nous avons enfin transposé cette méthode à la segmentation de vidéos et la réalisation automatique de trimaps.

Les Systèmes sur Puce (SoC) ont vu leurs capacités en constante augmentation ce qui leur permet ainsi qu'aux applications s'exécutant dessus de devenir de plus en plus complexes grâce au pouvoir d'intégration de la technologie. Beaucoup de ces appareils fonctionnent sur batterie, mais puisque la technologie des batteries ne suit pas la même progression que l'intégration, à la fois le logiciel et le matériel de ces appareils doivent être économes en énergie. Nous proposons dans cette thèse un algorithme logiciel qui cherche à réduire la consommation énergétique en modifiant la fréquence et la tension des processeurs lorsque l'utilisation du système le permet. Cet algorithme n'a besoin d'aucune information sur les applications. Afin de tester et de déterminer l'efficacité de l'algorithme d'économie d'énergie proposé, nous avons besoin de plateformes de simulation rapides et précises qui supportent le changement de fréquence pour chaque processeur ou sous-système. Le bon niveau d'abstraction pour estimer la consommation d'énergie par la simulation n'est pas évident. Nous avons premièrement défini une stratégie de haut niveau de simulation qui combine la précision des simulateurs orientés matériel à la vitesse des simulateurs orientés comportement. Lorsque des estimations plus précises sont nécessaires, une simulation cycle accurate/bit accurate doit être utilisée. Toutefois, pour accélérer la simulation, des stratégies d'ordonnancement statique non compatibles avec le DVFS sont utilisées. Nous avons défini deux nouvelles approches supportant le DVFS dans ce contexte.

On explicite d'abord les contraintes physiques (absorption,diffusion) et chimiques (conditions de vitrification) qui guident la recherche, puis on décrit la mise en évidence de deux nouvelles familles de verre, l'une de verre fluore a base d'indium et l'autre de verre oxyhalogene a base d'antimoine,avec leurs caractéristiques thermiques et mécaniques, les propriétés optiques et magnétiques et leur étude structurale par cristallisation et diffusion raman ...

La croissance de couches minces d'oxydes sur les alliages métalliques et les métaux purs est un phénomène ayant fait l'objet d'un grand nombre d'études expérimentales. Les structures des couches d'oxydes sont bien connues, ainsi que les modèles mathématiques servant à modéliser les aspects macroscopiques de la croissance. Cependant, les détails des mécanismes de germination de la couche d'oxyde dans les premiers stades de la corrosion ainsi que sa croissance ultérieure demeurent peu ou mal connus. La simulation atomistique apparaît comme une alternative pour évaluer les différents mécanismes proposés et appréhender l'influence des différents paramètres physico-chimiques. Le développement d'un tel outil de simulation a démarré au LPCS avec la thèse de M. Legrand. En se basant sur l'exemple de l'alliage FeCr, un modèle informatique tridimensionnel dit "modèle de Legrand", permettant de simuler la dissolution sélective et la passivation des alliages binaires a été réalisé. L'évolution dynamique est basée sur une technique de type Monte Carlo classique. Le logiciel permet de simuler l'évolution d'un alliage quelconque, d'une composition et d'une structure cristallographique donnée. Il prend en compte la diffusion des atomes sur la surface, leur dissolution et le blocage de la dissolution par formation d'une couche de passivation. Cet outil était adapté pour la simulation des premiers stades de la corrosion. L'objectif de ce travail est d'améliorer ce modèle existant, afin de simuler l'évolution de la couche passive sur une échelle de temps plus longue. A l'issue de ce travail, de nombreux apports ont été effectués. Ainsi, l'introduction d'un champ de force MEAM (Modified Embedded Atom Method) pour le calcul des barrières de diffusion et de dissolution, a permis de remplacer les probabilités de diffusion empiriques par des probabilités calculées, et de mettre en évidence la diffusion préférentielle des Cr vers leurs semblables. L'introduction d'une dynamique de simulation Monte Carlo Cinétique (KMC) a permis une prise en compte réaliste de l'évolution cinétique du modèle avec des temps de simulation reliés au temps réel. Enfin Un second réseau cristallographique RVO (réseau virtuel d'oxyde) tridimensionnel, correspondant à celui de la couche passive (Cr2O3) a été implémenté, ainsi qu'une interface graphique pour un meilleur suivi de la simulation. Les résultats obtenus lors des simulations sont en accord avec les observations expérimentales: passivation totale à partir du Fe-16Cr, enrichissement en Cr de la couche passive, allures des courbes cinétiques, influence du champ électrique, mise en évidence l'apparition de cavités sous la couche passive.

La quantité d'information disponible dans le domaine biomédical ne cesse d'augmenter. Pour que cette information soit facilement utilisable par les experts d'un domaine, il est nécessaire de l'extraire et de la structurer. Pour avoir des données structurées, il convient de détecter les relations existantes entre les entités dans les textes. Nos recherches se sont focalisées sur la question de l'extraction de relations complexes représentant des résultats expérimentaux, et sur la détection et la catégorisation de relations binaires entre des entités biomédicales. Nous nous sommes intéressée aux résultats expérimentaux présentés dans les articles scientifiques. Nous appelons résultat expérimental, un résultat quantitatif obtenu suite à une expérience et mis en relation avec les informations permettant de décrire cette expérience. Ces résultats sont importants pour les experts en biologie, par exemple pour faire de la modélisation. Dans le domaine de la physiologie rénale, une base de données a été créée pour centraliser ces résultats d'expérimentation, mais l'alimentation de la base est manuelle et de ce fait longue. Nous proposons une solution pour extraire automatiquement des articles scientifiques les connaissances pertinentes pour la base de données, c'est-à-dire des résultats expérimentaux que nous représentons par une relation n-aire. La méthode procède en deux étapes : extraction automatique des documents et proposition de celles-ci pour validation ou modification par l'expert via une interface. Nous avons également proposé une méthode à base d'apprentissage automatique pour l'extraction et la classification de relations binaires en domaine de spécialité. Nous nous sommes intéressée aux caractéristiques et variétés d'expressions des relations, et à la prise en compte de ces caractéristiques dans un système à base d'apprentissage. Nous avons étudié la prise en compte de la structure syntaxique de la phrase et la simplification de phrases dirigée pour la tâche d'extraction de relations. Nous avons en particulier développé une méthode de simplification à base d'apprentissage automatique, qui utilise en cascade plusieurs classifieurs.

Sont présentés les différents travaux que j'ai pu effectuer: dans le domaine des automates cellulaires et de leur programmation, puis les travaux portant sur les fonctions Booléennes et leur complexité.

L'évolution du moment cinétique des étoiles de masse intermédiaire (1.5-15 Msun) et l'importance du champ magnétique dans cette évolution, surtout dans la phase pré-séquence principale (PMS), sont des aspects encore très mal connus de l'évolution stellaire. Mes travaux se situent dans ce cadre, et leur objectif est d'une part de fournir des contraintes observationnelles, et d'autre part d'effectuer les premiers pas vers une modélisation complète de l'évolution pré-séquence principale à ces masses-là, tenant compte de la rotation et du champ magnétique.<br /><br />Dans un premier temps, j'ai utilisé le système binaire à éclipses PMS RS Cha pour tester la physique contenue dans les modèles d'évolution des étoiles PMS. Pour cela j'ai tout d'abord complété notre connaissance des paramètres de ce système en redéterminant la masse des 2 composantes et en mesurant précisément leur métallicité, à l'aide de données spectroscopiques. La comparaison des paramètres fondamentaux des composantes PMS de RS Cha à ceux calculés m'a permis de valider les modèles actuels d'évolution PMS, à condition d'utiliser la nouvelle composition chimique solaire d'Asplund et al. (2004). Ces travaux apportent par ailleurs une confirmation indépendante des résultats d'Asplund et al., au moment où un débat est engagé sur la validité de ces nouvelles abondances.<br /><br />La deuxième partie de ma thèse fut consacrée à l'étude du magnétisme d'un échantillon de 50 étoiles Ae/Be de Herbig, étoiles PMS de masse intermédiaire, à l'aide du spectropolarimètre ESPaDOnS, nouvellement installé au CFHT. Nous avons détecté 4 étoiles magnétiques dans cet échantillon, c'est-à-dire que la proportion d'étoiles magnétiques parmi les étoiles Ae/Be de Herbig est proche de celle des étoiles Ap/Bp magnétiques parmi les étoiles A et B de la séquence principale. A l'aide d'un modèle simple de rotateur oblique, j'ai montré que la structure de ces champs magnétiques est proche d'une structure dipolaire à grande échelle comme le champ magnétique des étoiles Ap/Bp. Ces résultats constituent un argument fort en faveur de l'hypothèse d'un champ fossile pour expliquer l'origine du champ magnétique des étoiles Ap/Bp.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal