Multi-Prover and parallel repetition in non-classical interactive games

Depuis l’introduction de la mécanique quantique, plusieurs mystères de la nature ont trouvé leurs explications. De plus en plus, les concepts de la mécanique quantique se sont entremêlés avec d’autres de la théorie de la complexité du calcul. De nouvelles idées et solutions ont été découvertes et élaborées dans le but de résoudre ces problèmes informatiques. En particulier, la mécanique quantique a secoué plusieurs preuves de sécurité de protocoles classiques. Dans ce m´emoire, nous faisons un étalage de résultats récents de l’implication de la mécanique quantique sur la complexité du calcul, et cela plus précisément dans le cas de classes avec interaction. Nous présentons ces travaux de recherches avec la nomenclature des jeux à information imparfaite avec coopération. Nous exposons les différences entre les théories classiques, quantiques et non-signalantes et les démontrons par l’exemple du jeu à cycle impair. Nous centralisons notre attention autour de deux grands thèmes : l’effet sur un jeu de l’ajout de joueurs et de la répétition parallèle. Nous observons que l’effet de ces modifications a des conséquences très différentes en fonction de la théorie physique considérée.

Rétro-ingénierie des diagrammes de séquence par visualisation interactive

Nous proposons une approche semi-automatique pour la rétro-ingénierie des diagrammes de séquence d’UML. Notre approche commence par un ensemble de traces d'exécution qui sont automatiquement alignées pour déterminer le comportement commun du système. Les diagrammes de séquence sont ensuite extraits avec l’aide d’une visualisation interactive, qui permet la navigation dans les traces d'exécution et la production des opérations d'extraction. Nous fournissons une illustration concrète de notre approche avec une étude de cas, et nous montrons en particulier que nos diagrammes de séquence générés sont plus significatifs et plus compacts que ceux qui sont obtenus par les méthodes automatisées.

Description des pratiques vaccinales d’infirmières en situation de refus parental avant et après une formation interactive

Malgré les succès spectaculaires de l’immunisation comme mesure de santé publique, certains parents continuent de refuser de vacciner leurs enfants (Diekema, 2005). C’est pourquoi qu’au cours des dernières décennies, des éclosions de maladies évitables par la vaccination comme la rougeole et la coqueluche ont été observées au Canada, surtout chez la population non vaccinée (Hinman, 2000). Au Québec, depuis l’entrée en vigueur de la loi 90 en 2003, les infirmières peuvent procéder à la vaccination sans ordonnance individuelle ou collective conformément au Protocole d’Immunisation du Québec (PIQ). Les infirmières québécoises peuvent alors influencer positivement la couverture vaccinale (Sauvageau & al, 2005). Le but de cette étude est d’évaluer les retombées de la formation VIP (Vaccination par les Infirmières/Infirmiers-Prévention) sur les pratiques vaccinales rapportées par les infirmières (N=12) de CSSS, auprès des parents d’enfants de 0-5 ans lors d’un refus parental. En premier lieu, nous avons identifié et décrit treize pratiques vaccinales en réponse à un refus parental. Par la suite, nous avons identifié des modifications dans certaines des treize pratiques rapportées tel qu’une augmentation dans la description des pratiques de correction des fausses croyances des parents, une amélioration de la justesse des pratiques d’explication et une personnalisation des pratiques décrites. En conclusion, la formation offerte aux infirmières doit permettre à celles-ci d’identifier les préoccupations parentales et d’y répondre adéquatement en utilisant une information juste et individualisée.

Développement de modulateurs allostériques peptidiques inhibiteurs de l’activité des récepteurs de l’interleukine 1 et de la vasopressine

L’approche Module X a été créée dans le but de concevoir de petits peptides modulateurs ayant des propriétés allostériques. Module X reproduit de petites parties des portions extracellulaires flexibles des récepteurs. Ces petits peptides vont interagir en s’interposant entre deux sous unités ou entre deux régions de la même sous-unité qui interagissent par des liens hydrogènes, des ponts salins ou des liens disulfure. Ces régions sont spécialement choisies à l’extérieur du domaine de liaison du ligand orthostérique et sont situées dans les régions inter domaines, la portion juxta membranaire ou dans les boucles. Étant donné que les boucles sont exposées durant les changements de conformation, une séquence peptidique reproduisant certaines régions de ces boucles pourrait s’insérer à un endroit approprié dans la structure où se lier à son partenaire de signalisation dans le complexe protéique, ce qui aurait comme effet de déplacer l’équilibre de l’ensemble vers un état particulier et modulerait ainsi la signalisation. De cette façon, certaines voies de signalisation pourraient être partiellement inhibées tandis que d’autres voies ne seraient pas touchées puisque le ligand orthostérique pourrait toujours se lier au récepteur. Dans une première étude, nous avons conçu des peptides inhibiteurs du récepteur de l’interleukine 1 (IL-1R/IL-1RAcP) plus précisément en reproduisant des régions flexibles de la protéine accessoire, sous-unité signalisatrice du récepteur. IL-1 est un médiateur majeur de l’inflammation, mais le seul antagoniste disponible est l’analogue naturel de IL-1, IL-1Ra qui compétitionne avec IL-1 pour le site de liaison sur le récepteur. Nous avons conçu plusieurs peptides à partir des boucles de la protéine accessoire. Un de ces peptides, rytvela (101.10) a démontré des propriétés de non-compétitivité et de sélectivité fonctionnelle caractéristiques des modulateurs allostériques. 101.10 bloque la prolifération des thymocytes et la synthèse de PGE2 avec un IC50 de 1 nM mais une efficacité de 100 % et 45 % respectivement et ne déplace pas IL-1 radioactif dans des essais de radioliaisons. De plus, 101.10 n’a qu’un effet minime sur l’affinité de IL-1 pour son récepteur. 101.10 démontre, de plus, une activité inhibitrice in vivo dans des modèles d’inflammation de l’intestin chez le rat (efficacité supérieure aux corticostéroïdes et à IL-1Ra) et de dermatite chez la souris de même que dans un modèle d’hyperthermie induite par IL-1. La deuxième étude démontre que Module X peut être utilisé pour concevoir des inhibiteurs pour une autre grande famille de récepteurs : les récepteurs couplés aux protéines G. La vasopressine joue un rôle important dans l’équilibre hydro-osmotique et un moindre rôle dans la vasomotricité. Six peptides ont été conçus à partir de régions juxta membranaires du récepteur de la vasopressine V2R. Le peptide le plus actif, VRQ397 (IC50 = 0,69 nM dans un modèle de vasorelaxation du crémastère), a démontré de la sélectivité fonctionnelle en inhibant la synthèse de prostacycline mais sans inhiber l’activation de la protéine Gs et la génération d’ AMP cyclique. Le peptide VRQ397 ne pouvait déplacer le ligand naturel AVP marqué radioactivement; de même VRQ397 radioactif ne se liait que sur V2R et non pas sur d’autres récepteurs de la même famille tel que V1R (récepteur de la vasopressine de type I). Ces études décrivent la caractérisation de petits peptides modulateurs de la signalisation de IL-1R et V2R et présentant des propriétés de modulateurs allostériques.

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.

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

Domain/Multi-Domain Protection and Provisioning in Optical Networks

L’évolution récente des commutateurs de sélection de longueurs d’onde (WSS -Wavelength Selective Switch) favorise le développement du multiplexeur optique d’insertionextraction reconfigurable (ROADM - Reconfigurable Optical Add/Drop Multiplexers) à plusieurs degrés sans orientation ni coloration, considéré comme un équipement fort prometteur pour les réseaux maillés du futur relativement au multiplexage en longueur d’onde (WDM -Wavelength Division Multiplexing ). Cependant, leur propriété de commutation asymétrique complique la question de l’acheminement et de l’attribution des longueur d’ondes (RWA - Routing andWavelength Assignment). Or la plupart des algorithmes de RWA existants ne tiennent pas compte de cette propriété d’asymétrie. L’interruption des services causée par des défauts d’équipements sur les chemins optiques (résultat provenant de la résolution du problème RWA) a pour conséquence la perte d’une grande quantité de données. Les recherches deviennent ainsi incontournables afin d’assurer la survie fonctionnelle des réseaux optiques, à savoir, le maintien des services, en particulier en cas de pannes d’équipement. La plupart des publications antérieures portaient particulièrement sur l’utilisation d’un système de protection permettant de garantir le reroutage du trafic en cas d’un défaut d’un lien. Cependant, la conception de la protection contre le défaut d’un lien ne s’avère pas toujours suffisante en termes de survie des réseaux WDM à partir de nombreux cas des autres types de pannes devenant courant de nos jours, tels que les bris d’équipements, les pannes de deux ou trois liens, etc. En outre, il y a des défis considérables pour protéger les grands réseaux optiques multidomaines composés de réseaux associés à un domaine simple, interconnectés par des liens interdomaines, où les détails topologiques internes d’un domaine ne sont généralement pas partagés à l’extérieur. La présente thèse a pour objectif de proposer des modèles d’optimisation de grande taille et des solutions aux problèmes mentionnés ci-dessus. Ces modèles-ci permettent de générer des solutions optimales ou quasi-optimales avec des écarts d’optimalité mathématiquement prouvée. Pour ce faire, nous avons recours à la technique de génération de colonnes afin de résoudre les problèmes inhérents à la programmation linéaire de grande envergure. Concernant la question de l’approvisionnement dans les réseaux optiques, nous proposons un nouveau modèle de programmation linéaire en nombres entiers (ILP - Integer Linear Programming) au problème RWA afin de maximiser le nombre de requêtes acceptées (GoS - Grade of Service). Le modèle résultant constitue celui de l’optimisation d’un ILP de grande taille, ce qui permet d’obtenir la solution exacte des instances RWA assez grandes, en supposant que tous les noeuds soient asymétriques et accompagnés d’une matrice de connectivité de commutation donnée. Ensuite, nous modifions le modèle et proposons une solution au problème RWA afin de trouver la meilleure matrice de commutation pour un nombre donné de ports et de connexions de commutation, tout en satisfaisant/maximisant la qualité d’écoulement du trafic GoS. Relativement à la protection des réseaux d’un domaine simple, nous proposons des solutions favorisant la protection contre les pannes multiples. En effet, nous développons la protection d’un réseau d’un domaine simple contre des pannes multiples, en utilisant les p-cycles de protection avec un chemin indépendant des pannes (FIPP - Failure Independent Path Protecting) et de la protection avec un chemin dépendant des pannes (FDPP - Failure Dependent Path-Protecting). Nous proposons ensuite une nouvelle formulation en termes de modèles de flots pour les p-cycles FDPP soumis à des pannes multiples. Le nouveau modèle soulève un problème de taille, qui a un nombre exponentiel de contraintes en raison de certaines contraintes d’élimination de sous-tour. Par conséquent, afin de résoudre efficacement ce problème, on examine : (i) une décomposition hiérarchique du problème auxiliaire dans le modèle de décomposition, (ii) des heuristiques pour gérer efficacement le grand nombre de contraintes. À propos de la protection dans les réseaux multidomaines, nous proposons des systèmes de protection contre les pannes d’un lien. Tout d’abord, un modèle d’optimisation est proposé pour un système de protection centralisée, en supposant que la gestion du réseau soit au courant de tous les détails des topologies physiques des domaines. Nous proposons ensuite un modèle distribué de l’optimisation de la protection dans les réseaux optiques multidomaines, une formulation beaucoup plus réaliste car elle est basée sur l’hypothèse d’une gestion de réseau distribué. Ensuite, nous ajoutons une bande pasiv sante partagée afin de réduire le coût de la protection. Plus précisément, la bande passante de chaque lien intra-domaine est partagée entre les p-cycles FIPP et les p-cycles dans une première étude, puis entre les chemins pour lien/chemin de protection dans une deuxième étude. Enfin, nous recommandons des stratégies parallèles aux solutions de grands réseaux optiques multidomaines. Les résultats de l’étude permettent d’élaborer une conception efficace d’un système de protection pour un très large réseau multidomaine (45 domaines), le plus large examiné dans la littérature, avec un système à la fois centralisé et distribué.

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.

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.

An Extended Pearson System Useful In Reliability Analysis

In the present environment, industry should provide the products of high quality. Quality of products is judged by the period of time they can successfully perform their intended functions without failure. The cause of the failures can be ascertained through life testing experiments and the times to failure due to different cause are likely to follow different distributions. Knowledge of this distribution is essential to eliminate causes of failures and thereby to improve the quality and the reliability of products. The main accomplishment expected to the study is to develop statistical tools that could facilitate solution to lifetime data arising in such and similar contexts

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

Reliability Estimation of Open Source Software based Computational Systems

Software systems are progressively being deployed in many facets of human life. The implication of the failure of such systems, has an assorted impact on its customers. The fundamental aspect that supports a software system, is focus on quality. Reliability describes the ability of the system to function under specified environment for a specified period of time and is used to objectively measure the quality. Evaluation of reliability of a computing system involves computation of hardware and software reliability. Most of the earlier works were given focus on software reliability with no consideration for hardware parts or vice versa. However, a complete estimation of reliability of a computing system requires these two elements to be considered together, and thus demands a combined approach. The present work focuses on this and presents a model for evaluating the reliability of a computing system. The method involves identifying the failure data for hardware components, software components and building a model based on it, to predict the reliability. To develop such a model, focus is given to the systems based on Open Source Software, since there is an increasing trend towards its use and only a few studies were reported on the modeling and measurement of the reliability of such products. The present work includes a thorough study on the role of Free and Open Source Software, evaluation of reliability growth models, and is trying to present an integrated model for the prediction of reliability of a computational system. The developed model has been compared with existing models and its usefulness of is being discussed.