992 resultados para Multi-prover interactive proofs
Resumo:
Un résumé en anglais est également disponible. Article qui reprend une allocution présentée lors de la Conférence organisée conjointement par l’US Department of Commerce et le Groupe de l’article 29, Bruxelles, Centre Borschette, les 23 et 24 octobre 2006.
Resumo:
"Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de LL.M. en droit des affaires"
Resumo:
Ferejohn and Page transplanted a stationarity axiom from Koopmans’ theory of impatience into Arrow’s social choice theory with an infinite horizon and showed that the Arrow axioms and stationarity lead to a dictatorship by the first generation. We prove that the negative implications of their stationarity axiom are more far-reaching: there is no Arrow social welfare function satisfying their stationarity axiom. We propose a more suitable stationarity axiom, and show that an Arrow social welfare function satisfies this modified version if and only if it is a lexicographic dictatorship where the generations are taken into consideration in chronological order.
Resumo:
Associée à d'autres techniques observationnelles, la polarimétrie dans le visible ou dans le proche infrarouge permet d'étudier la morphologie des champs magnétiques à la périphérie de nombreuses régions de formation stellaire. A l'intérieur des nuages molécualires la morphologie des champs est connue par polarimétrie submillimétrique, mais rarement pour les mêmes régions. Habituellement, il manque une échelle spatiale intermédiaire pour pouvoir comparer correctement la morphologie du champ magnétique galactique avec celle située à l'intérieur des nuages moléculaires. -- Cette thèse propose les moyens nécessaires pour réaliser ce type d'analyse multi-échelle afin de mieux comprendre le rôle que peuvent jouer les champs magnétiques dans les processus de formation stellaire. La première analyse traite de la région GF 9. Vient ensuite une étude de la morphologie du champ magnétique dans les filaments OMC-2 et OMC-3 suivie d'une analyse multi-échelle dans le complexe de nuages moléculaires Orion A dont OMC-2 et OMC-3 font partie. -- La synthèse des résultats couvrant GF 9 et Orion A est la suivante. Les approches statistiques employées montrent qu'aux grandes échelles spatiales la morphologie des champs magnétiques est poloïdale dans la région GF 9, et probablement hélicoïdale dans la région Orion A. A l'échelle spatiale des enveloppes des nuages moléculaires, les champs magnétiques apparaissent alignés avec les champs situés à leur périphérie. A l'échelle spatiale des coeurs, le champ magnétique poloïdal environnant la région GF 9 est apparemment entraîné par le coeur en rotation, et la diffusion ambipolaire n'y semble pas effective actuellement. Dans Orion A, la morphologie des champs est difficilement détectable dans les sites actifs de formation d'OMC-2, ou bien très fortement contrainte par les effets de la gravité dans OMC-1. Des effets probables de la turbulence ne seont détectés dans aucune des régions observées. -- Les analyses multi-échelles suggèrent donc qu'indépendamment du stade évolutif et de la gamme de masse des régions de formation stellaires, le champ magnétique galactique subit des modifications de sa morphologie aux échelles spatiales comparables à celles des coeurs protostellaires, de la même façon que les propriétés structurelles des nuages moléculaires suivent des lois d'autosimilarité jusqu'à des échelles comparables à celles des coeurs.
Resumo:
Cette thèse porte sur le rôle de l’espace dans l’organisation et dans la dynamique des communautés écologiques multi-espèces. Deux carences peuvent être identifiées dans les études théoriques actuelles portant sur la dimension spatiale des communautés écologiques : l’insuffisance de modèles multi-espèces représentant la dimension spatiale explicitement, et le manque d’attention portée aux interactions positives, tel le mutualisme, en dépit de la reconnaissance de leur ubiquité dans les systèmes écologiques. Cette thèse explore cette problématique propre à l’écologie des communautés, en utilisant une approche théorique s’inspirant de la théorie des systèmes complexes et de la mécanique statistique. Selon cette approche, les communautés d’espèces sont considérées comme des systèmes complexes dont les propriétés globales émergent des interactions locales entre les organismes qui les composent, et des interactions locales entre ces organismes et leur environnement. Le premier objectif de cette thèse est de développer un modèle de métacommunauté multi-espèces, explicitement spatial, orienté à l’échelle des individus et basé sur un réseau d’interactions interspécifiques générales comprenant à la fois des interactions d’exploitation, de compétition et de mutualisme. Dans ce modèle, les communautés locales sont formées par un processus d’assemblage des espèces à partir d’un réservoir régional. La croissance des populations est restreinte par une capacité limite et leur dynamique évolue suivant des mécanismes simples de reproduction et de dispersion des individus. Ces mécanismes sont dépendants des conditions biotiques et abiotiques des communautés locales et leur effet varie en fonction des espèces, du temps et de l’espace. Dans un deuxième temps, cette thèse a pour objectif de déterminer l’impact d’une connectivité spatiale croissante sur la dynamique spatiotemporelle et sur les propriétés structurelles et fonctionnelles de cette métacommunauté. Plus précisément, nous évaluons différentes propriétés des communautés en fonction du niveau de dispersion des espèces : i) la similarité dans la composition des communautés locales et ses patrons de corrélations spatiales; ii) la biodiversité locale et régionale, et la distribution locale de l’abondance des espèces; iii) la biomasse, la productivité et la stabilité dynamique aux échelles locale et régionale; et iv) la structure locale des interactions entre les espèces. Ces propriétés sont examinées selon deux schémas spatiaux. D’abord nous employons un environnement homogène et ensuite nous employons un environnement hétérogène où la capacité limite des communautés locales évoluent suivant un gradient. De façon générale, nos résultats révèlent que les communautés écologiques spatialement distribuées sont extrêmement sensibles aux modes et aux niveaux de dispersion des organismes. Leur dynamique spatiotemporelle et leurs propriétés structurelles et fonctionnelles peuvent subir des changements profonds sous forme de transitions significatives suivant une faible variation du niveau de dispersion. Ces changements apparaissent aussi par l’émergence de patrons spatiotemporels dans la distribution spatiale des populations qui sont typiques des transitions de phases observées généralement dans les systèmes physiques. La dynamique de la métacommunauté présente deux régimes. Dans le premier régime, correspondant aux niveaux faibles de dispersion des espèces, la dynamique d’assemblage favorise l’émergence de communautés stables, peu diverses et formées d’espèces abondantes et fortement mutualistes. La métacommunauté possède une forte diversité régionale puisque les communautés locales sont faiblement connectées et que leur composition demeure ainsi distincte. Par ailleurs dans le second régime, correspondant aux niveaux élevés de dispersion, la diversité régionale diminue au profit d’une augmentation de la diversité locale. Les communautés locales sont plus productives mais leur stabilité dynamique est réduite suite à la migration importante d’individus. Ce régime est aussi caractérisé par des assemblages incluant une plus grande diversité d’interactions interspécifiques. Ces résultats suggèrent qu’une augmentation du niveau de dispersion des organismes permet de coupler les communautés locales entre elles ce qui accroît la coexistence locale et favorise la formation de communautés écologiques plus riches et plus complexes. Finalement, notre étude suggère que le mutualisme est fondamentale à l’organisation et au maintient des communautés écologiques. Les espèces mutualistes dominent dans les habitats caractérisés par une capacité limite restreinte et servent d’ingénieurs écologiques en facilitant l’établissement de compétiteurs, prédateurs et opportunistes qui bénéficient de leur présence.
Resumo:
Introduction : Les résultats de recherches ont démontré que la cessation tabagique augmente là où des interventions professionnelles préventives sont appliquées avec constance. On rapporte qu’au Québec, 62 % des infirmières (toutes pratiques confondues) évaluent le statut tabagique de leurs clients et 38 % suggèrent la cessation tabagique. En milieu hospitalier, l’évaluation du statut tabagique diminue à 30 %. Or, le personnel infirmier hospitalier est présent dans les unités de soins 24 heures sur 24, ce qui laisse prévoir une influence potentielle non négligeable dans la décision des patients de cesser de fumer. Objectif : La présente recherche a pour objectif de comparer, avec un groupe contrôle, l’efficacité de stratégies (formation interactive, rappel, multiple) pour augmenter les interventions réalisées en cessation tabagique dans des unités de médecine et de chirurgie. Le choix de ces stratégies repose sur leur efficacité et leur potentiel d’implantation dans d’autres centres. Méthodologie : Un devis expérimental avec randomisation par groupe a été choisi. Le modèle factoriel permet d’évaluer l’effet de chacun des groupes expérimentaux en regard du groupe contrôle. Des mesures préstratégies et poststratégies (à 1 mois et à 3 mois) sont privilégiées. Plusieurs outils permettent de mesurer les effets des stratégies et ce, avec des sources diversifiées (personnel infirmier, patients, dossiers des patients, gestionnaires et responsables des centres d’abandon du tabac). Résultats : Au total, 156 infirmières et infirmières-auxiliaires ont répondu à des questionnaires au temps 1, 78 au temps 2 et 69 au temps 3. Parallèlement au personnel infirmier, 156 patients ont été rejoints au temps 1, 89 au temps 2 et 98 au temps 3. Les résultats démontrent que le personnel infirmier évalue le statut tabagique chez 35,7 % de la clientèle seulement et la motivation à cesser de fumer chez 17,6 % des patients. Au cours de notre recherche, peu d’interventions en cessation tabagique ont été réalisées dans les unités de médecine et de chirurgie; la présence de plusieurs obstacles de même qu’une perception d’inefficacité des interventions de la part du personnel infirmier semblent en être les causes. Les résultats de notre recherche ne nous a pas permis d’appuyer nos hypothèses. Cependant, des analyses complémentaires ont démontré que la stratégie de formation interactive a permis d’augmenter certaines pratiques cliniques à court terme et de diminuer la perception d’obstacles à l’intervention. Le rappel n’a pas fonctionné correctement et n’a pu être évalué. Conclusion : En considérant les résultats modestes des stratégies implantées, la formation interactive a eu un impact à très court terme sur les interventions courtes en cessation tabagique réalisées par le personnel infirmier d’unités de soins en médecine et en chirurgie. Les difficultés rencontrées lors de l’implantation des stratégies ont été expliquées, ce qui permettra une planification plus éclairée de futures recherches dans le domaine.
Resumo:
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.
Resumo:
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.
Resumo:
Les débats éthiques sur l’architecture ont traditionnellement abordé trois thématiques récurrentes : la beauté, la solidité et l’utilité de l’œuvre architecturale. Plus récemment, les nouvelles connaissances provenant du domaine de la gestion des projets et du développement durable ont apporté d’importantes contributions à la compréhension de la gouvernance de projets. Cependant, la démarche de réalisation des projets d’architecture est tributaire des caractéristiques propres à l’industrie du bâtiment; une industrie qui fonctionne grâce à la mise en place d’équipes temporaires formées par des organisations hautement spécialisées. L’analyse systémique d’études de cas permet d’identifier la complexité des équipes qui interviennent dans les projets d’architecture. Nous examinons dans cet article trois caractéristiques de l’industrie du bâtiment : (i) la complexité organisationnelle du donneur d’ouvrage, (ii) l’influence des parties prenantes, et (iii) les divers niveaux de proximité entre l’architecte et les usagers. L’identification des diverses configurations organisationnelles met en évidence les effets de ces caractéristiques sur les relations formelles et informelles entre l’architecte et les donneurs d’ouvrage ainsi que celles entre toutes les parties prenantes. L’architecte est contraint de travailler sur un projet qui devient, de plus en plus, l’objet de négociation entre les diverses parties prenantes. Face à ce défi, il doit tenir compte de la complexité des relations entre tous les acteurs au sein du système social du projet et créer les scénarios adéquats à la participation, à la négociation et aux échanges entre eux.
Resumo:
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.
Approximation de la distribution a posteriori d'un modèle Gamma-Poisson hiérarchique à effets mixtes
Resumo:
La méthode que nous présentons pour modéliser des données dites de "comptage" ou données de Poisson est basée sur la procédure nommée Modélisation multi-niveau et interactive de la régression de Poisson (PRIMM) développée par Christiansen et Morris (1997). Dans la méthode PRIMM, la régression de Poisson ne comprend que des effets fixes tandis que notre modèle intègre en plus des effets aléatoires. De même que Christiansen et Morris (1997), le modèle étudié consiste à faire de l'inférence basée sur des approximations analytiques des distributions a posteriori des paramètres, évitant ainsi d'utiliser des méthodes computationnelles comme les méthodes de Monte Carlo par chaînes de Markov (MCMC). Les approximations sont basées sur la méthode de Laplace et la théorie asymptotique liée à l'approximation normale pour les lois a posteriori. L'estimation des paramètres de la régression de Poisson est faite par la maximisation de leur densité a posteriori via l'algorithme de Newton-Raphson. Cette étude détermine également les deux premiers moments a posteriori des paramètres de la loi de Poisson dont la distribution a posteriori de chacun d'eux est approximativement une loi gamma. Des applications sur deux exemples de données ont permis de vérifier que ce modèle peut être considéré dans une certaine mesure comme une généralisation de la méthode PRIMM. En effet, le modèle s'applique aussi bien aux données de Poisson non stratifiées qu'aux données stratifiées; et dans ce dernier cas, il comporte non seulement des effets fixes mais aussi des effets aléatoires liés aux strates. Enfin, le modèle est appliqué aux données relatives à plusieurs types d'effets indésirables observés chez les participants d'un essai clinique impliquant un vaccin quadrivalent contre la rougeole, les oreillons, la rub\'eole et la varicelle. La régression de Poisson comprend l'effet fixe correspondant à la variable traitement/contrôle, ainsi que des effets aléatoires liés aux systèmes biologiques du corps humain auxquels sont attribués les effets indésirables considérés.