• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 659
  • 245
  • 134
  • 71
  • 70
  • 68
  • 46
  • 45
  • 14
  • 13
  • 13
  • 13
  • 12
  • 12
  • 2
  • Tagged with
  • 1398
  • 694
  • 191
  • 178
  • 173
  • 114
  • 111
  • 101
  • 95
  • 95
  • 76
  • 76
  • 75
  • 74
  • 73
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
161

Interprocedural program analysis using visibly pushdown Kleene algebra

Bolduc, Claude 17 April 2018 (has links)
Les analyses interprocédurales automatiques de programmes qui sont basées sur des théories mathématiques rigoureuses sont complexes à réaliser, mais elles sont d'excellents outils pour augmenter notre conance envers les comportements possibles d'un programme. Les méthodes classiques pour réaliser ces analyses sont l'analyse de modè- les, l'interprétation abstraite et la démonstration automatique de théorèmes. La base d'un démonstrateur automatique de théorèmes est une logique ou une algèbre et le choix de celle-ci a un impact sur la complexité de trouver une preuve pour un théorème donné. Cette dissertation développe un formalisme algébrique concis pouvant être utilisé en démonstration automatique de théorèmes. Ce formalisme est appellé algèbre de Kleene à pile visible. Cette dissertation explique comment ce formalisme peut être utilisé pour réaliser des analyses interprocédurales de programmes, comme des vérications formelles et des vérications d'optimisations efectuées par des compilateurs. Cette dissertation apporte aussi des preuves que ces analyses pourraient être automatisées. L'algèbre de Kleene à pile visible est une extension de l'algèbre de Kleene, un excellent formalisme pour réaliser des analyses intraprocédurales de programmes. En bref, l'algèbre de Kleene est la théorie algébrique des automates nis et des expressions régulières. Donc, cette algèbre à elle seule n'est pas appropriée pour faire des analyses interprocédurales de programmes car la puissance des langages non contextuels est souvent nécessaire pour représenter le lot de contrôle d'un tel programme. L'algèbre de Kleene à pile visible étend celle-ci en lui ajoutant une famille d'opérateurs de plus petit point xe qui est basée sur une restriction des grammaires non contextuelles. En fait, cette algèbre axiomatise exactement la théorie équationnelle des langages à pile visibles. Ces langages sont une sous-classe des langages non contextuels et ont été dénis par Alur et Madhusudan pour faire de l'analyse de modèles. La complexité résultante de la théorie équationnelle de l'algèbre proposée est EXPTIME-complète. / Automatic interprocedural program analyses based on rigorous mathematical theories are complex to do, but they are great tools to increase our condence in the behaviour of a program. Classical ways of doing them is either by model checking, by abstract interpretation or by automated theorem proving. The basis of an automated theorem prover is a logic or an algebra and the choice of this basis will have an impact in the complexity of nding a proof for a given theorem. This dissertation develops a lightweight algebraic formalism for the automated theorem proving approach. This formalism is called visibly pushdown Kleene algebra. This dissertation explains how to do some interprocedural program analyses, like formal veri cation and verication of compiler optimizations, with this formalism. Evidence is provided that the analyses can be automated. The proposed algebraic formalism is an extension of Kleene algebra, a formalism for doing intraprocedural program analyses. In a nutshell, Kleene algebra is the algebraic theory of nite automata and regular expressions. So, Kleene algebra alone is not well suited to do interprocedural program analyses, where the power of context-free languages is often needed to represent the control flow of a program. Visibly pushdown Kleene algebra extends Kleene algebra by adding a family of implicit least xed point operators based on a restriction of context-free grammars. In fact, visibly pushdown Kleene algebra axiomatises exactly the equational theory of visibly pushdown languages. Visibly pushdown languages are a subclass of context-free languages dened by Alur and Madhusudan in the model checking framework to model check interprocedural programs while remaining decidable. The resulting complexity of the equational theory of visibly pushdown Kleene algebra is EXPTIME-complete whereas that of Kleene algebra is PSPACE-complete.
162

Conception automatisée d'amorces et de sondes aux fins de diagnostic moléculaire

Martel, Éric 17 April 2018 (has links)
Des algorithmes de conception automatisée d’amorces PCR et de sondes d’hybridation aux fins de diagnostic moléculaire ont été créés et implémentés. La vitesse de recherche d’amorces PCR à la fois spécifiques, ubiquitaires et sensibles s’est avérée considérablement accrue par le calcul et l’emploi de consensus binaires d’alignements multiples de séquences d’ADN. La recherche de sondes d’hybridation spécifiques et l’analyse du potentiel d’hybridation en général entre deux séquences a été facilitée par la synthèse de données empiriques d’hybridation trouvées dans divers articles publiés. D’autres programmes servant à faciliter ou automatiser l’exécution de diverses tâches utiles ont également été créés. Tous les programmes résultants ont permis de valider les algorithmes créés et de confirmer leur utilité dans l’exécution des tâches désirées par les membres de l’équipe de recherche auxquels ils étaient prioritairement destinés. / Algorithms for automatic design of PCR primers and of hybridization probes for molecular diagnostics have been created and implemented. The search speed for PCR primers that were at the same time specific, ubiquitary and sensitive was greatly improved by both computation and use of binary consensus of multiple alignments of DNA sequences. The search for specific hybridization probes and also analysis of hybridization potential in general between two sequences was facilitated by synthesis of empirical data gathered from different published papers. Other software for facilitating or automating the execution of different useful tasks were also created. All resulting software allowed both for the validation of algorithms and for the confirmation of their usefullness in executing desired tasks by the members of the research team for which they were written in the first place.
163

Characterisation of poly (2,7-carbazole) photovoltaic cells

Blair, Emily 18 April 2018 (has links)
L'efficacité de sources d'énergie renouvelables comme l'énergie solaire est une inquiétude croissante pour les chercheurs et les consommateurs partout dans le monde. En 2007, notre laboratoire a publié une classe de dérivées de poly-(2,7-carbazole) pour les cellules photovoltaïques organiques en jonction hétérogène nanocomposite. La caractérisation des interfaces de cette jonction hétérogène devient le principe de base pour l'optimisation de l'efficacité des cellules solaires. Au début, les procédures de fabrication des cellules seront optimisées pour développer une méthode définie et reproductible. Par la suite, la caractérisation et l'optimisation de la morphologie de la jonction hétérogène nous donneront une meilleure compréhension des paramètres qui influencent le rendement de la conversion énergétique. La microscopie à force atomique, la microscopie électronique en transmission et la microscopie de fluorescence nous ont permis de mieux qualifier et quantifier les composants de cette jonction. Toutes ces techniques peuvent à l'avenir mieux caractériser et évaluer les nouveaux polymères pour la microélectronique.
164

Qigong et nouvelles religions à Taipei (Taiwan) : une exploration des significations de cette pratique en monde contemporain

Keyser-Verreault, Amélie 18 April 2018 (has links)
Le travail présenté dans ce mémoire de maîtrise est le résultat d'une recherche ethnographique menée à Taipei, Taiwan en 2011 avec des adeptes de qigong ainsi qu'avec des étudiants de la National Taiwan University. Ce travail vise à répondre à la question de recherche centrale : pour quelle(s) raison(s) les adeptes du groupe de « Qigong de Chine — Les cinq éléments » pratiquent-ils le qiqong à Taiwan aujourd'hui ? Ma démarche est de type inductif. L'observation participante ainsi que des entretiens semi-dirigés de type conversationnel furent les principales méthodes de collectes des données. Ce mémoire s'inscrit dans les préocupations de l'anthropologie du corps et utilise les notions « indigènes» chinoises relatives à la santé, au corps taoïste, et au corps confucéen. Il aborde aussi la thématique de l'articulation entre sciences modernes et une pratique dite traditionnelle, soit ici le qigong, pour montrer en quoi le qigong est une pratique corporelle intentionnellement choisie par les adeptes pour répondre à des pronostics de santé biomédicale. J'explorerai ce que les adeptes de qigong ont à dire sur leur corps (tel qu'il est vécu, tel qu'ils se le représentent) lors de la pratique du qigong et verrai en quoi cela me renseigne sur certains enjeux culturels contemporains à Taipei. J'examine le caractère effectif vécu ou non, de la référence au taoïsme pour les adeptes de qigong et je cherche à montrer comment la (ou les) vision(s) du corps d'autres segments de la population, ici la jeunesse, contrastent avec celles des adeptes de qigong, en recourant à la notion de corps confucéen.
165

Phylogéographie du pin gris (Pinus banksiana Lamb.) et du pin tordu (Pinus contorta Dougl. ex. Loud.)

Godbout, Julie 18 April 2018 (has links)
Les aires actuelles de distribution de deux espèces de pin de la forêt boréale nord-américaine, le pin gris (Pinus banksiana Lamb.) et le pin tordu (Pinus contorta Dougl. ex. Loud), étaient presque entièrement recouvertes par la calotte de glace au moment du dernier maximum glaciaire, il y a 21 000 ans. Afin d’élucider l’histoire glaciaire et postglaciaire de ces deux espèces, la distribution géographique de la variabilité génétique a été étudiée à l’aide de marqueurs de l’ADN mitochondrial (ADNmt) et de l’ADN chloroplastique (ADNcp). L’étude de la diversité génétique de l’ADNmt a permis de détecter une structure géographique forte pour chacune de ces deux espèces. Aussi, trois lignées glaciaires, probablement représentatives d’autant de refuges glaciaires génétiquement distincts ont été identifiées pour le pin gris. Pour les deux sous-espèces principales du pin tordu, contorta et latifolia, respectivement deux et possiblement trois refuges distincts ont été inférés. L’utilisation de ces marqueurs de l’ADNmt a mis en évidence l’implication de plusieurs chaînes de montagnes comme facteurs de vicariance pour ces deux espèces au cours de la glaciation. De larges zones de contacts secondaires, issues de la rencontre des fronts de migration ont aussi été identifiées, dans le centre du Québec pour le pin gris et dans le centre et le nord de la Colombie-Britannique pour le pin tordu. En comparaison, l’utilisation de marqueurs microsatellites de l’ADNcp n’a pas permis de détecter une structure des populations comparable à ce qui avait été obtenu avec l’ADNmt chez le pin gris, une conséquence de l’effet homogénéisateur du flux génique provenant du pollen. Enfin, l’utilisation de marqueurs issus des deux génomes cytoplasmiques a permis d’étudier les patrons d’introgression entre les deux espèces qui s’hybrident dans l’ouest de l’Alberta. La distribution atypique de la diversité génétique de l’ADNmt a révélé une expansion postglaciaire du pin tordu jusqu’au centre du Canada, suivie d’un déplacement de l’espèce par le pin gris. De plus, l’association significative détectée entre l’identité de l’ADNcp des arbres de la zone hybride et leur morphologie et les caractéristiques écologiques des sites a mis en évidence l’effet tampon du flux du pollen provenant des peuplements environnants dans la limitation de l’introgression récente entre les deux espèces. / The contemporary natural ranges of lodgepole (Pinus contorta Dougl. Ex. Loud) and jack pines (Pinus banksiana Lamb.) were almost entirely covered by ice sheets at the last glacial maximum, 21 000 years ago. To better understand the impact of this last glacial episode on these North American boreal pines, the analysis of their genetic diversity was conducted using markers from both mitochondrial DNA (mtDNA) and chloroplast DNA (cpDNA). A strong geographical structure of mtDNA genetic diversity was detected for both species. Three glacial lineages, presumably representative of as much genetically distinct refugia, were inferred for jack pine. Concerning the two principal subspecies of lodgepole pine, contorta and latifolia, respectively two and possibly three distinct glacial refugia were proposed. These mtDNA results indicated the significant role of vicariance played by several mountain ranges on both species during the last glaciation. Larges zones of secondary contacts, resulting from the meeting of migration fronts, were also identified: in central Québec for jack pine and in central and northern British Columbia for lodgepole pine. The analysis of the cpDNA diversity of jack pine revealed no geographical structure, a possible consequence of the homogenizing effect of pollen gene flow. Finally, introgression patterns between the two species, which hybridize in western Alberta, were studied using markers from both cytoplasmic genomes. The atypical distribution of mtDNA diversity revealed an early post-glacial expansion of lodgepole pine all the way into central Canada, followed by range displacement by jack pine. Moreover, a significant association between the cpDNA identity of trees and their morphological attributes as well as ecological site characteristics was detected in stands of the hybrid zone, indicating the buffer effect of pollen gene flow from surrounding stands on limiting recent introgression between the two species.
166

La logique de la recherche en pharmacologie

Laliberté, Vincent 18 April 2018 (has links)
Tableau d'honneur de la Faculté des études supérieures et postdoctorales, 2011-2012 / La recherche et la découverte de nouveaux médicaments ne sont ni assimilables à celles de lois ou de théories explicatives ou prédictives ni indépendantes des sciences biologiques et chimiques, et du savoir clinique. On peut distinguer deux grands régimes dans la recherche pharmacologique selon que les modèles précis de la physiopathologie, de l'effet désiré et de la configuration moléculaire guident ou non la sélection des substances à tester. L'histoire récente de la discipline, comme l'expérience dont témoignent ici les chercheurs que nous avons rencontrés, montrent cependant que les déductions que permettent ces modélisations sont toujours partielles et que le raisonnement analogique, le savoir accumulé, l'imagination, l'esprit d'analyse et le hasard constituent toujours les ressorts effectifs de la découverte des substances actives. Ce qui nous amènera à interroger la fonction idéologique de la croyance contemporaine selon laquelle les médicaments seraient de plus en plus découverts de manière deductive et prévisible.
167

Étude des effets de diverses pratiques culturales sur la croissance de la laitue et sur l'incidence de la brûlure de la pointe

Corriveau Boulay, Jennifer 18 April 2018 (has links)
Au Québec (Canada), la majorité de la production de laitues se fait en sol organique dans la région du sud de Montréal. Chaque année, les agriculteurs craignent l'apparition de la brûlure de la pointe, un désordre physiologique associé à une carence en calcium au niveau de la marge des jeunes feuilles en pleine expansion. Des essais en serres sur la laitue romaine ont été réalisés afin de mesurer l'effet de la brumisation, de l'irrigation, de l'application foliaire d'Apogée (un inhibiteur de croissance) et de l'application foliaire de calcium sur la croissance de la laitue et l'incidence de la brûlure de la pointe. Les résultats démontrent que les applications foliaires de calcium ont diminué significativement l'incidence et la sévérité de la brûlure de la pointe lorsque le calcium est appliqué fréquemment. Les traitements de brumisation, d'irrigation et d'application foliaire d'Apogée n'ont pas diminué significativement la brûlure de la pointe.
168

Optimisation de la fertilisation des fraisiers remontants cultivés hors sol

Sarraf, Christiana 17 April 2018 (has links)
La culture de la fraise (Fragaria) est l’une des productions fruitières les plus répandues dans le monde. Ce petit fruit se cultive dans toutes les provinces du Canada et le Québec est considéré comme le leader canadien de cette production. Par contre, la culture fait face à des problèmes récurrents de maladies telluriques qui limitent les rendements. Pour pallier les problèmes phytosanitaires, on explore la possibilité de cultiver les fraisiers dans des systèmes hors-sol. Bien que la culture hors-sol des fraisiers se répande partout à travers le monde, les fruits issus de cette culture sont différents de ceux obtenus en culture au champ du point de vue de la qualité et du goût. L’objectif du présent projet est d’accroître la productivité et d’améliorer la qualité des fruits des fraisiers remontants cultivés hors-sol en optimisant la fertilisation. Nous avons comparé trois solutions nutritives afin de déterminer les rapports K/Ca et K/N favorisant l’obtention d’un meilleur goût des fraises et celle d’un rendement plus élevé. De plus, nous avons étudié l’effet de l’application foliaire de calcium sur le maintien de la texture et sur la durée de conservation des fruits. Les travaux ont porté sur deux sélections génétiques : Seascape de l’Université de la Californie et Charlotte du CIREF en France. De manière générale, la fertilisation potassique provoque une augmentation de la fermeté, sans toutefois influencer l’acidité et la teneur en sucres des fruits. De plus, le nitrate améliore les rendements. Les deux variétés ne répondent pas de la même façon à la fertilisation. De son côté, le Ca foliaire n’a pas eu d’effet sur la fermeté, ni la durée de conservation des fruits.
169

Sur la théorie des dérivées hyperboliques

Rivard, Patrice 18 April 2018 (has links)
La notion de dérivée hyperbolique est bien connue en théorie géométrique des fonctions et s'applique aux fonctions appartenant à la classe, dite de Schur, des fonctions / qui sont analytiques dans le disque unité ED := {z : \z\ < 1} et telles que \f(z)\ < 1 pour tout 2 _D. Une fonction appartenant à cette classe est appelée une fonction de Schur. Le but principal de cette thèse est de présenter une nouvelle théorie, celle des dérivées hyperboliques d'ordre supérieur d'une fonction de Schur. Dans ce nouveau contexte, la dérivée hyperbolique précédente est maintenant considérée comme la dérivée hyperbolique d'ordre un. Différentes applications de ces nouvelles dérivées seront explorées et nous aborderons, notamment, des problèmes d'interpolation : étant donnés des points distincts dans le disque unité, on veut déterminer les fonctions de Schur qui font correspondre ces points vers des points images aussi donnés, tout en ayant des dérivées prescrites aux points initiaux. Nous nous intéresserons à ces problèmes d'interpolation exprimés en termes des dérivées hyperboliques plutôt qu'en termes des dérivées classiques. De plus, certains résultats classiques de l'analyse complexe seront considérés dans le contexte des dérivées hyperboliques. D'une part, cela permettra de les généraliser dans certains cas et, d'autre part, d'interpréter certains d'entre eux en vertu des dérivées hyperboliques, fournissant ainsi des démonstrations plus géométriques de ces résultats. En particulier, une version du théorème de Schwarz-Pick sera donnée pour les dérivées hyperboliques d'ordre supérieur et également une version analogue du lemme de Dieudonné. Finalement, le cas du lemme de Rogosinski sera aussi traité et nous en donnerons une démonstration différente en utilisant les nouveaux outils développés dans cette thèse.
170

Le bonheur et la vérité : la même chose selon Aristote

Cyr, Nadine 18 April 2018 (has links)
Ce mémoire a pour objectif d'explorer le possible lien unissant le bonheur et la vérité. Pour ce faire, j'ai décidé d'interroger Aristote, philosophe s'étant grandement penché sur ces deux réalités. Suite à maintes lectures de ses écrits, j'en suis arrivée à l'hypothèse qu'il y avait un rapprochement à faire entre les deux. Cette recherche est donc un travail de démystification du lien entre deux notions si étudiées dans l'histoire de la philosophie, à savoir le bonheur et la vérité telle que compris par Aristote. Je me suis premièrement attardée à la notion de bonheur telle que présentée dans ses traités éthiques, plus précisément dans l'Éthique à Nicomaque et l'Éthique à Eudème. À la suite de cette section est analysée la notion de vérité. Évidemment, il y avait beaucoup à dire. Il a fallu restreindre sa présentation aux homonymies du mot telles que comprises dans la Métaphysique d'Aristote et dans De Veritate de Thomas d'Aquin. La dernière partie est l'arène d'affrontement des notions de bonheur et de vérité, partie où l'hypothèse du départ se vérifie, toujours en lien avec la philosophie aristotélicienne.

Page generated in 0.016 seconds