Formulation interactive des requêtes pour l’analyse et la compréhension du code source

Nous proposons une approche basée sur la formulation interactive des requêtes. Notre approche sert à faciliter des tâches d’analyse et de compréhension du code source. Dans cette approche, l’analyste utilise un ensemble de filtres de base (linguistique, structurel, quantitatif, et filtre d’interactivité) pour définir des requêtes complexes. Ces requêtes sont construites à l’aide d’un processus interactif et itératif, où des filtres de base sont choisis et exécutés, et leurs résultats sont visualisés, changés et combinés en utilisant des opérateurs prédéfinis. Nous avons évalués notre approche par l’implantation des récentes contributions en détection de défauts de conception ainsi que la localisation de fonctionnalités dans le code. Nos résultats montrent que, en plus d’être générique, notre approche aide à la mise en œuvre des solutions existantes implémentées par des outils automatiques.

Utilisation de la visualisation interactive pour l’analyse des dépendances dans les logiciels

La compréhension de la structure d’un logiciel est une première étape importante dans la résolution de tâches d’analyse et de maintenance sur celui-ci. En plus des liens définis par la hiérarchie, il existe un autre type de liens entre les éléments du logiciel que nous appelons liens d’adjacence. Une compréhension complète d’un logiciel doit donc tenir compte de tous ces types de liens. Les outils de visualisation sont en général efficaces pour aider un développeur dans sa compréhension d’un logiciel en lui présentant l’information sous forme claire et concise. Cependant, la visualisation simultanée des liens hiérarchiques et d’adjacence peut donner lieu à beaucoup d’encombrement visuel, rendant ainsi ces visualisations peu efficaces pour fournir de l’information utile sur ces liens. Nous proposons dans ce mémoire un outil de visualisation 3D qui permet de représenter à la fois la structure hiérarchique d’un logiciel et les liens d’adjacence existant entre ses éléments. Notre outil utilise trois types de placements différents pour représenter la hiérarchie. Chacun peut supporter l’affichage des liens d’adjacence de manière efficace. Pour représenter les liens d’adjacence, nous proposons une version 3D de la méthode des Hierarchical Edge Bundles. Nous utilisons également un algorithme métaheuristique pour améliorer le placement afin de réduire davantage l’encombrement visuel dans les liens d’adjacence. D’autre part, notre outil offre un ensemble de possibilités d’interaction permettant à un usager de naviguer à travers l’information offerte par notre visualisation. Nos contributions ont été évaluées avec succès sur des systèmes logiciels de grande taille.

On the external validity of laboratory experiments

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

Un système d'aide à la visualisation interactive de logiciels

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

Étude des caractéristiques et du processus de scénarisation d'une installation interactive

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

L'influence de la formation multimédia/interactive sur le leadership d'habilitation

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

Post orthodontic effects of SARPE on sleep-disordered breathing in young adults as observed in a sleep laboratory

Introduction: L’expansion palatine du maxillaire a beaucoup d’effets positifs sur la respiration et la qualité du sommeil, mais peu d'études ont examiné ces données sur des adultes ayant dépassé l’âge permettant de bénéficier d'une expansion palatine conventionnelle. Le but de cette recherche est d’évaluer la stabilité de l’EPRAC (expansion palatine rapide assistée chirurgicalement) et son effet sur les troubles respiratoires après l’ablation des appareils orthodontiques. Méthodes: Neuf patients (Âge moyen 21, entre 16-39 ans) nécessitant une EPRAC ont passé des nuits dans un laboratoire de sommeil, et ce avant l’EPRAC, après l’EPRAC, et après l’ablation des appareils fixes. Les radiographies céphalométriques postéroantérieures ainsi que les modèles d’étude ont été pris pendant ces trois périodes de temps. Résultats: L’analyse des modèles d’étude a démontré une récidive significative au niveau des distances inter-molaires et inter-canines au niveau du maxillaire seulement. Les analyses céphalométriques ont démontré une récidive au niveau de la largeur maxillaire. Aucun changement important n'a été observé dans les stades de sommeil, mais une réduction importante dans l’index de ronflement a été notée. De plus, il y avait moins de changements entre les stades de sommeil. Conclusions: La récidive squelettique est minime et cliniquement non significative. Par contre, les changements dans les distances intermolaires et intercanines sont cliniquement importants. Il semble également qu'une EPRAC ait un effet positif sur la qualité de sommeil par la réduction de l’indice de ronflement ainsi que sur la diminution des changements entre les stades de sommeil.

Nouvelles limites sur la détection directe de la matière sombre avec l’expérience PICASSO

Les observations astronomiques et cosmologiques suggèrent fortement la présence d’une matière exotique, non-relativiste et non-baryonique qui représenterait 26% du contenu de masse-énergie de l’Univers actuel. Cette matière dite sombre et froide serait compo- sée de particules neutres, massives et interagissant faiblement avec la matière ordinaire (WIMP : Weakly Interactive Massive Particles). Le projet PICASSO (Projet d’Identification des CAndidats Supersymétriques de la matière SOmbre) est une des expériences installées dans le site souterrain de SNOLAB à Sudbury en Ontario, qui tente de détecter directement un des candidats de la matière sombre, proposé dans le cadre des extensions supersymétriques du modèle standard : le neutralino. Pour cela, PICASSO utilise des détecteurs à gouttelettes surchauffées de C4F10, basés sur le principe de la chambre à bulles. Les transitions de phase dans les liquides surchauffés peuvent être déclenchées par le recul du 19 F, causé par une collision élastique avec les neutralinos. La nucléation de la gouttelette génère une onde sonore enregistrée par des senseurs piézo-électriques. Cette thèse présentera les récents progrès de l’expérience PICASSO qui ont conduit à une augmentation substantielle de sa sensibilité dans la recherche du neutralino. En effet, de nouvelles procédures de fabrication et de purification ont permis de réduire à un facteur de 10, la contamination majeure des détecteurs, causée par les émetteurs alpha. L’étude de cette contamination dans les détecteurs a permis de localiser la source de ces émetteurs. Les efforts effectués dans le cadre de l’analyse des données, ont permis d’améliorer l’effet de discrimination entre des évènements engendrés par les particules alpha et par les reculs nucléaires. De nouveaux outils d’analyse ont également été implémentés dans le but de discriminer les évènements générés par des particules de ceux générés par des bruits de fond électroniques ou acoustiques. De plus, un mécanisme important de suppression de bruit de fond indésirable à haute température, a permis à l’expérience PICASSO d’être maintenant sensible aux WIMPs de faibles masses.

Construction interactive de BRDFs par simulation 2D de micro-géométries en couches multiples

Les modèles de réflexion complexes, avec leurs nombreux paramètres dont certains restent non intuitifs, sont difficiles à contrôler pour obtenir une apparence désirée. De plus, même si un artiste peut plus aisément comprendre la forme de la micro-géométrie d'une surface, sa modélisation en 3D et sa simulation en 4D demeurent extrêmement fastidieuses et coûteuses en mémoire. Nous proposons une solution intermédiaire, où l'artiste représente en 2D une coupe dans un matériau, en dessinant une micro-géométrie de surface en multi-couches. Une simulation efficace par lancer de rayons en seulement 2D capture les distributions de lumière affectées par les micro-géométries. La déviation hors-plan est calculée automatiquement de façon probabiliste en fonction de la normale au point d'intersection et de la direction du rayon incident. Il en résulte des BRDFs isotropes complètes et complexes, simulées à des vitesses interactives, et permettant ainsi une édition interactive de l'apparence de réflectances riches et variées.

Impact of pesticides on indicator and pathogenic microorganism persistence under laboratory and field conditions

On s’intéresse aux impacts des pesticides sur la microflore des plantes surtout dans le contexte des légumes contaminés par des agents pathogènes. Le but de cette étude est d'évaluer l'impact de certains pesticides sur la persistance de micro-organismes indicateurs et pathogènes. En laboratoire, la persistance d’E. coli et de Salmonella en présence de quatre pesticides (Ripcord 400EC, Copper 53W, Bioprotec CAF, Serenade MAX) a été étudiée. Les plaques de Pétrifilm et le milieu sélectif XLD sont utilisés pour énumérer les populations d’E. coli et de Salmonella. Il a été démontré que le Serenade MAX favorisait la croissance microbienne, le Bioprotec CAF et le Ripcord 400EC soutenaient la survie microbienne et le Copper 53W inhibait la croissance, à la fois d’E. coli et de Salmonella. En conditions terrain, Ripcord 400EC, Copper 53W, Bioprotec CAF ont été étudiés sur une culture de brocoli irriguée avec de l'eau expérimentalement contaminée par E. coli. Dans tous les traitements, un impact de l’irrigation a été observé sur les populations de levures et de moisissures (diminution) et les bactéries aérobies totales (augmentation). Une prévalence supérieure d’E. coli a été observée dans les parcelles traitées avec le Bioprotec CAF comparativement aux traitements au Copper 53W, ce qui est en accord avec les résultats observés lors de l'essai en laboratoire. Cependant, l'analyse statistique n'a montré aucune différence significative entre les traitements appliqués. Les effets directs des pesticides sur les micro-organismes sont confirmés dans des conditions de laboratoire mais demeurent méconnus dans les conditions expérimentales au champ.

Création interactive de mondes virtuels : combiner génération procédurale et contrôle utilisateur intuitif

Réalisé en cotutelle avec l'Université de Grenoble.

Analyse et modélisation de la réponse des détecteurs du projet PICASSO pour la recherche de la matière sombre

Les mesures cosmologiques les plus récentes ont montré la présence d’un type de matière exotique constituant 85% de la masse de l’univers. Ce type de matière non baryonique serait formé de particules neutres, non relativistes, massives et interagissant faiblement avec la matière baryonique. L’ensemble des candidats est regroupé sous le nom générique WIMP (Weakly Interactive Massive Particles). L’expérience PICASSO (Projet d’Identification des CAndidats Supersymétriques de la matière SOmbre) est une expérience utilisant des détecteurs à seuil d’énergie contenant des gouttelettes surchauffées constituées de C4F10. Cette technique de détection est basée sur le principe de la chambre à bulles. Le projet PICASSO a pour but de détecter directement une particule de matière sombre. Le principe de détection est qu’une particule de matière sombre interagissant avec le liquide actif engendre un recul nucléaire du 19F. L’énergie de recul serait suffisante pour engendrer une transition de phase accompagnée d’un signal acoustique enregistrée par des senseurs piézoélectriques. Dans le cadre de ce mémoire, une simulation du taux de comptage de l’étalonnage des détecteurs PICASSO soumis à des neutrons monoénergétiques a été effectuée en utilisant la théorie de Seitz qui décrit les critères pour qu’une transition de phase ait lieu pour un liquide en état de surchauffe. De plus, un modèle calculant le signal acoustique émis lors d’une transition de phase engendré par différents types de radiations a été créé permettant de caractériser la discrimination entre différents bruits de fond en fonction de l’énergie de seuil. Finalement, un outil d’analyse, la localisation des évènements, a été utilisé pour appliquer des coupures sur le volume dans le but d’améliorer la discrimination alpha-neutron.

Interactive quantum information theory

La théorie de l'information quantique s'est développée à une vitesse fulgurante au cours des vingt dernières années, avec des analogues et extensions des théorèmes de codage de source et de codage sur canal bruité pour la communication unidirectionnelle. Pour la communication interactive, un analogue quantique de la complexité de la communication a été développé, pour lequel les protocoles quantiques peuvent performer exponentiellement mieux que les meilleurs protocoles classiques pour certaines tâches classiques. Cependant, l'information quantique est beaucoup plus sensible au bruit que l'information classique. Il est donc impératif d'utiliser les ressources quantiques à leur plein potentiel. Dans cette thèse, nous étudions les protocoles quantiques interactifs du point de vue de la théorie de l'information et étudions les analogues du codage de source et du codage sur canal bruité. Le cadre considéré est celui de la complexité de la communication: Alice et Bob veulent faire un calcul quantique biparti tout en minimisant la quantité de communication échangée, sans égard au coût des calculs locaux. Nos résultats sont séparés en trois chapitres distincts, qui sont organisés de sorte à ce que chacun puisse être lu indépendamment. Étant donné le rôle central qu'elle occupe dans le contexte de la compression interactive, un chapitre est dédié à l'étude de la tâche de la redistribution d'état quantique. Nous prouvons des bornes inférieures sur les coûts de communication nécessaires dans un contexte interactif. Nous prouvons également des bornes atteignables avec un seul message, dans un contexte d'usage unique. Dans un chapitre subséquent, nous définissons une nouvelle notion de complexité de l'information quantique. Celle-ci caractérise la quantité d'information, plutôt que de communication, qu'Alice et Bob doivent échanger pour calculer une tâche bipartie. Nous prouvons beaucoup de propriétés structurelles pour cette quantité, et nous lui donnons une interprétation opérationnelle en tant que complexité de la communication quantique amortie. Dans le cas particulier d'entrées classiques, nous donnons une autre caractérisation permettant de quantifier le coût encouru par un protocole quantique qui oublie de l'information classique. Deux applications sont présentées: le premier résultat général de somme directe pour la complexité de la communication quantique à plus d'une ronde, ainsi qu'une borne optimale, à un terme polylogarithmique près, pour la complexité de la communication quantique avec un nombre de rondes limité pour la fonction « ensembles disjoints ». Dans un chapitre final, nous initions l'étude de la capacité interactive quantique pour les canaux bruités. Étant donné que les techniques pour distribuer de l'intrication sont bien étudiées, nous nous concentrons sur un modèle avec intrication préalable parfaite et communication classique bruitée. Nous démontrons que dans le cadre plus ardu des erreurs adversarielles, nous pouvons tolérer un taux d'erreur maximal de une demie moins epsilon, avec epsilon plus grand que zéro arbitrairement petit, et ce avec un taux de communication positif. Il s'ensuit que les canaux avec bruit aléatoire ayant une capacité positive pour la transmission unidirectionnelle ont une capacité positive pour la communication interactive quantique. Nous concluons avec une discussion de nos résultats et des directions futures pour ce programme de recherche sur une théorie de l'information quantique interactive.

Interactive comment on “Experimental study using coir geotextiles in watershed management

This paper presents the results of a field experiment conducted in Kerala, South India, to test the effectiveness of coir geotextiles for embankment protection. The results reveal that treatment with geotextile in combination with grass is an effective eco-hydrological measure to protect steep slopes from erosion. In the context of sustainable watershed management, coir is a cheap and locally available material that can be used to strengthen traditional earthen bunds or protect the banks of village ponds from erosion. Particularly in developing countries, where coir is abundantly available and textiles can be produced by small-scale industry, this is an attractive alternative for conventional methods. The paper analyses the performance of different treatments with regard to soil moisture content, protection against erosion and biomass production