A unified framework for the comprehension of software's time dimension

Les logiciels sont de plus en plus complexes et leur développement est souvent fait par des équipes dispersées et changeantes. Par ailleurs, de nos jours, la majorité des logiciels sont recyclés au lieu d’être développés à partir de zéro. La tâche de compréhension, inhérente aux tâches de maintenance, consiste à analyser plusieurs dimensions du logiciel en parallèle. La dimension temps intervient à deux niveaux dans le logiciel : il change durant son évolution et durant son exécution. Ces changements prennent un sens particulier quand ils sont analysés avec d’autres dimensions du logiciel. L’analyse de données multidimensionnelles est un problème difficile à résoudre. Cependant, certaines méthodes permettent de contourner cette difficulté. Ainsi, les approches semi-automatiques, comme la visualisation du logiciel, permettent à l’usager d’intervenir durant l’analyse pour explorer et guider la recherche d’informations. Dans une première étape de la thèse, nous appliquons des techniques de visualisation pour mieux comprendre la dynamique des logiciels pendant l’évolution et l’exécution. Les changements dans le temps sont représentés par des heat maps. Ainsi, nous utilisons la même représentation graphique pour visualiser les changements pendant l’évolution et ceux pendant l’exécution. Une autre catégorie d’approches, qui permettent de comprendre certains aspects dynamiques du logiciel, concerne l’utilisation d’heuristiques. Dans une seconde étape de la thèse, nous nous intéressons à l’identification des phases pendant l’évolution ou pendant l’exécution en utilisant la même approche. Dans ce contexte, la prémisse est qu’il existe une cohérence inhérente dans les évènements, qui permet d’isoler des sous-ensembles comme des phases. Cette hypothèse de cohérence est ensuite définie spécifiquement pour les évènements de changements de code (évolution) ou de changements d’état (exécution). L’objectif de la thèse est d’étudier l’unification de ces deux dimensions du temps que sont l’évolution et l’exécution. Ceci s’inscrit dans notre volonté de rapprocher les deux domaines de recherche qui s’intéressent à une même catégorie de problèmes, mais selon deux perspectives différentes.

Arab Women in Translation : the Dynamics of Representation and the Construction of Alterity

Cette recherche examine la traduction et la réception en France, en Grande Bretagne et aux États-Unis de la littérature contemporaine d’expression arabe écrite par des femmes, afin de répondre à deux questions principales: comment les écrivaines provenant de pays arabes perdent-elles leur agentivité dans les processus de traduction et de réception? Et comment la traduction et la réception de leurs textes contribuent-elles à la construction d’une altérité arabe? Pour y répondre, l’auteure examine trois romans présentant des traits thématiques et formels très différents, à savoir Fawḍā al-Ḥawāss (1997) par Ahlem Mosteghanemi, Innahā Lundun Yā ‘Azīzī (2001) par Hanan al-Shaykh et Banāt al-Riyāḍ (2005) par Rajaa Alsanea. L’analyse, basée sur le modèle à trois dimensions de Norman Fairclough, vise à découvrir comment les écrivaines expriment leur agentivité à travers l’écriture, et quelles images elles projettent d’elles-mêmes et plus généralement des femmes dans leurs sociétés respectives. L’auteure se penche ensuite sur les traductions anglaise et française de chaque roman. Elle examine les déplacements qui s’opèrent principalement sur le plan de la texture et le plan pragma-sémiotique, et interroge en quoi ces déplacements ébranlent l’autorité des écrivaines. Enfin, une étude de la réception de ces traductions en France, en Grande Bretagne et aux États-Unis vient enrichir l’analyse textuelle. À cette étape, les critiques éditoriales et universitaires ainsi que les choix éditoriaux relatifs au paratexte sont scrutés de façon à mettre en lumière les processus décisionnels, les discours et les tropes sous-tendant la mise en marché et la consommation de ces traductions. L’analyse des originaux révèle tout d’abord qu’à travers leurs textes, les auteures sont des agentes actives de changement social. Elles s’insurgent, chacune à sa manière, contre les discours hégémoniques tant locaux qu’occidentaux, et (ré-)imaginent leurs sociétés et leurs nations. Ce faisant, elles se créent leur propre espace discursif dans la sphère publique. Toutefois, la thèse montre que dans la plupart des traductions, les discours dissidents sont neutralisés, l’agentivité et la subjectivité des écrivaines minées au profit d’un discours dominant orientaliste. Ce même discours semble sous-tendre la réception des romans en traduction. Dans ce discours réifiant, l’expression de la différence culturelle est inextricablement imbriquée dans l’expression de la différence sexuelle: la « femme arabe » est la victime d’une religion islamique et d’une culture arabe essentiellement misogynes et arriérées. L’étude suggère, cependant, que ce sont moins les interventions des traductrices que les décisions des éditeurs, le travail de médiation opéré par les critiques, et l’intérêt (ou le désintérêt) des universitaires qui influencent le plus la manière dont ces romans sont mis en marché et reçus dans les nouveaux contextes. L’auteure conclut par rappeler l’importance d’une éthique de la traduction qui transcende toute approche binaire et se fonde sur une lecture éthique des textes qui fait ressortir le lien entre la poétique et la politique. Enfin, elle propose une lecture basée sur la reconnaissance du caractère situé du texte traduit comme du sujet lisant/traduisant.

Multi-view 3D reconstruction using virtual cameras

Ce mémoire s'intéresse à la reconstruction d'un modèle 3D à partir de plusieurs images. Le modèle 3D est élaboré avec une représentation hiérarchique de voxels sous la forme d'un octree. Un cube englobant le modèle 3D est calculé à partir de la position des caméras. Ce cube contient les voxels et il définit la position de caméras virtuelles. Le modèle 3D est initialisé par une enveloppe convexe basée sur la couleur uniforme du fond des images. Cette enveloppe permet de creuser la périphérie du modèle 3D. Ensuite un coût pondéré est calculé pour évaluer la qualité de chaque voxel à faire partie de la surface de l'objet. Ce coût tient compte de la similarité des pixels provenant de chaque image associée à la caméra virtuelle. Finalement et pour chacune des caméras virtuelles, une surface est calculée basée sur le coût en utilisant la méthode de SGM. La méthode SGM tient compte du voisinage lors du calcul de profondeur et ce mémoire présente une variation de la méthode pour tenir compte des voxels précédemment exclus du modèle par l'étape d'initialisation ou de creusage par une autre surface. Par la suite, les surfaces calculées sont utilisées pour creuser et finaliser le modèle 3D. Ce mémoire présente une combinaison innovante d'étapes permettant de créer un modèle 3D basé sur un ensemble d'images existant ou encore sur une suite d'images capturées en série pouvant mener à la création d'un modèle 3D en temps réel.

Contribution des légumineuses, des champignons endophytes et mycorhiziens dans la nutrition azotée des prairies indigènes semi-arides

Les prairies indigènes présentent une source importante d'alimentation pour le pâturage du bétail dans les prairies Canadiennes semi-arides. L'addition de légumineuses fixatrices d'azote et de phosphore dans les prairies indigènes peut améliorer la productivité et la valeur nutritive de fourrage. Ces pratiques peuvent induire des modifications de la structure et de la diversité des communautés fongiques du sol, ce qui peut en retour avoir un impact sur la production et le contenu nutritionnel du fourrage. L’objectif de cette étude était de développer un système de pâturage à bas niveau d’intrants, productif, autonome et durable. À court terme, nous voulions 1) déterminer l'effet des légumineuses (Medicago sativa, une légumineuse cultivée ou Dalea purpurea, une légumineuse indigène) et la fertilité en phosphore du sol sur la productivité et la valeur nutritive des graminées indigènes, comparées avec celles de la graminée introduite Bromus biebersteinii en mélange avec le M. sativa, 2) identifier l'effet de ces pratiques sur la diversité et la structure des communautés des champignons mycorhiziens à arbuscules (CMA) et des champignons totaux, 3) identifier l'effet des légumineuses et des CMA sur les interactions compétitives entre les graminées de saison fraîche et les graminées de saison chaude. Les expériences menées au champ ont montré que M. sativa améliorait les teneurs en azote et en phosphore des graminées indigènes au début de l'été, ainsi que la teneur en azote de la graminée de saison chaude Bouteloua gracilis à la fin de l'été de l'année sèche 2009. Par contre, la fertilité en phosphore du sol n'ait pas affecté la productivité des plantes. D'autre part, l'inclusion des légumineuses augmentait la diversité des CMA dans le mélange de graminées indigènes. Cette modification présentait des corrélations positives avec la productivité et la quantité totale d'azote chez le M. sativa et avec la teneur en phosphore des graminées indigènes, au début de l'été. La structure des communautés de champignons totaux était influencée par l'interaction entre le mélange des espèces et la fertilité en phosphore du sol seulement en 2008 (année humide). Cet effet pourrait être lié en partie avec la productivité des plantes et l'humidité du sol. Les expériences menées en chambre de culture ont montré que les CMA peuvent favoriser la productivité des graminées de saison chaude au détriment des graminées de saison fraîche. En effet, Glomus cubense augmentait la productivité de la graminée de saison chaude B. gracilis, en présence de M. sativa. Cet effet pourrait être associé à l’effet négatif du G. cubense sur la fixation de l’azote par le M. sativa et à la diminution de l’efficacité d’utilisation de l'azote de certaines graminées de saison fraîche résultant en une augmentation de la disponibilité de l'azote pour B. gracilis. Par contre, le Glomus sp. augmentait la biomasse de Schizachyrium scoparium, autre graminée de saison chaude, en absence de légumineuse. Ce phénomène pourrait être attribuable à une amélioration de l’efficacité d’utilisation du P de cette graminée. En conclusion, mes travaux de recherche ont montré que la légumineuse cultivée M. sativa peut améliorer la valeur nutritive des graminées indigènes au début de l'été ainsi que celle de la graminée de saison chaude B. gracilis, dans des conditions de sécheresse sévère de la fin de l'été. De plus, l'addition de M. sativa dans le mélange de graminées indigènes peut contribuer à augmenter le nombre des espèces bénéfiques des CMA pour la production et la nutrition du fourrage au début de l'été.

Towards Non Invasive Diagnosis of Scoliosis Using Semi-supervised Learning Approach

In this paper, a new methodology for the prediction of scoliosis curve types from non invasive acquisitions of the back surface of the trunk is proposed. One hundred and fifty-nine scoliosis patients had their back surface acquired in 3D using an optical digitizer. Each surface is then characterized by 45 local measurements of the back surface rotation. Using a semi-supervised algorithm, the classifier is trained with only 32 labeled and 58 unlabeled data. Tested on 69 new samples, the classifier succeeded in classifying correctly 87.0% of the data. After reducing the number of labeled training samples to 12, the behavior of the resulting classifier tends to be similar to the reference case where the classifier is trained only with the maximum number of available labeled data. Moreover, the addition of unlabeled data guided the classifier towards more generalizable boundaries between the classes. Those results provide a proof of feasibility for using a semi-supervised learning algorithm to train a classifier for the prediction of a scoliosis curve type, when only a few training data are labeled. This constitutes a promising clinical finding since it will allow the diagnosis and the follow-up of scoliotic deformities without exposing the patient to X-ray radiations.