473 resultados para Théorie de complexité du calcul
Resumo:
Étant donnée une fonction bornée (supérieurement ou inférieurement) $f:\mathbb{N}^k \To \Real$ par une expression mathématique, le problème de trouver les points extrémaux de $f$ sur chaque ensemble fini $S \subset \mathbb{N}^k$ est bien défini du point de vu classique. Du point de vue de la théorie de la calculabilité néanmoins il faut éviter les cas pathologiques où ce problème a une complexité de Kolmogorov infinie. La principale restriction consiste à définir l'ordre, parce que la comparaison entre les nombres réels n'est pas décidable. On résout ce problème grâce à une structure qui contient deux algorithmes, un algorithme d'analyse réelle récursive pour évaluer la fonction-coût en arithmétique à précision infinie et un autre algorithme qui transforme chaque valeur de cette fonction en un vecteur d'un espace, qui en général est de dimension infinie. On développe trois cas particuliers de cette structure, un de eux correspondant à la méthode d'approximation de Rauzy. Finalement, on établit une comparaison entre les meilleures approximations diophantiennes simultanées obtenues par la méthode de Rauzy (selon l'interprétation donnée ici) et une autre méthode, appelée tétraédrique, que l'on introduit à partir de l'espace vectoriel engendré par les logarithmes de nombres premiers.
Resumo:
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.
Resumo:
Ce mémoire propose une hypothèse alternative pour expliquer les facteurs à l’origine du boom du soja brésilien. En utilisant une approche combinant la théorie de l’organisation et l’économie politique institutionnelle, ce mémoire propose de comparer les modèles d’organisation de la chaîne de valeur soja des États du Mato Grosso et du Paraná. Dans un premier temps, cette recherche est guidée par un souci de documenter les rouages propres à chaque mode d’organisation et de catégoriser ces derniers comme des systèmes à part entière et cohérents. Ainsi, le mode de coordination du Mato Grosso (intégration de la chaîne de valeur) peut être qualifié de modèle hybride se rapprochant davantage du pôle hiérarchie tandis que le mode d’organisation du Paraná (coopérative agroindustrielle) peut être qualifié de mode hybride gravitant davantage vers le pôle marché. La nature des risques est identifiée comme principal déterminant du degré de centralisation de la gouvernance au sein de ces modèles. L’argument soutient que chaque mode de coordination est performant car il est adapté aux conditions locales de production et permet de mitiger les risques propres à chaque région de façon à encourager les échanges économiques. Dans un deuxième temps, cette recherche serait incomplète sans une analyse des facteurs politiques et historiques ayant influencé la trajectoire de développement de chaque région. Ainsi, chaque étude de cas présente un récit détaillé de l’évolution des politiques agraires et des institutions depuis les années 1960, soit le moment où la culture commerciale du soja a commencé à gagner en importance au Brésil. Analyser le changement institutionnel depuis 1960 est primordial pour comprendre comment se sont consolidées les règles du jeu qui sous-tendent aujourd’hui chaque mode de coordination.
Resumo:
La présente thèse porte sur les calculs utilisant la théorie de la fonctionnelle de la densité (DFT) pour simuler des systèmes dans lesquels les effets à longue portée sont importants. Une emphase particulière est mise sur les calculs des énergies d’excitations, tout particulièrement dans le cadre des applications photovoltaïques. Cette thèse aborde ces calculs sous deux angles. Tout d’abord, des outils DFT déjà bien établis seront utilisés pour simuler des systèmes d’intérêt expérimental. Par la suite, la théorie sous-jacente à la DFT sera explorée, ses limites seront identifiées et de nouveaux développements théoriques remédiant à ceux-ci seront proposés. Ainsi, dans la première partie de cette thèse, des calculs numériques utilisant la DFT et la théorie de la fonctionnelle de la densité dépendante du temps (TDDFT) telles qu’implémentées dans le logiciel Gaussian [1] sont faits avec des fonctionnelles courantes sur des molécules et des polymères d’intérêt expérimental. En particulier, le projet présenté dans le chapitre 2 explore l’utilisation de chaînes latérales pour optimiser les propriétés électroniques de polymères déjà couramment utilisés en photovoltaïque organique. Les résultats obtenus montrent qu’un choix judicieux de chaînes latérales permet de contrôler les propriétés électroniques de ces polymères et d’augmenter l’efficacité des cellules photovoltaïques les utilisant. Par la suite, le projet présenté dans le chapitre 3 utilise la TDDFT pour explorer les propriétés optiques de deux polymères, le poly-3-hexyl-thiophène (P3HT) et le poly-3-hexyl- sélénophène (P3HS), ainsi que leur mélange, dans le but d’appuyer les observations expérimentales indiquant la formation d’exciplexe dans ces derniers. Les calculs numériques effectués dans la première partie de cette thèse permettent de tirer plusieurs conclusions intéressantes, mais mettent également en évidence certaines limites de la DFT et de la TDDFT pour le traitement des états excités, dues au traitement approximatif de l’interaction coulombienne à longue portée. Ainsi, la deuxième partie de cette thèse revient aux fondements théoriques de la DFT. Plus précisément, dans le chapitre 4, une série de fonctionnelles modélisant plus précisément l’interaction coulombienne à longue portée grâce à une approche non-locale est élaborée. Ces fonctionnelles sont basées sur la WDA (weighted density approximation), qui est modifiée afin d’imposer plusieurs conditions exactes qui devraient être satisfaites par le trou d’échange. Ces fonctionnelles sont ensuite implémentées dans le logiciel Gaussian [1] et leurs performances sont évaluées grâce à des tests effectués sur une série de molécules et d’atomes. Les résultats obtenus indiquent que plusieurs de ces fonctionnelles donnent de meilleurs résultats que la WDA. De plus, ils permettrent de discuter de l’importance relative de satisfaire chacune des conditions exactes.
Resumo:
La station 3-avant de Pointe-du-Buisson (Beauharnois, Haut-Saint-Laurent, Québec) représente la plus importante collection de récipients de terre cuite datant du Sylvicole moyen ancien (-400 à 500 de notre ère) dans le Nord-Est américain. De plus, on trouve sur ce site une série continue d’occupations couvrant l’ensemble de la période Sylvicole. En dépit de complications d’ordre stratigraphique (terreau homogène et pédoturbations), des concepts et des méthodes évolutionnaires tirés de la théorie de l’hérédité duelle sont appliqués à l’étude de cet assemblage. D’un point de vue anthropologique, que nous apprend l’étude de l’évolution et de la transmission des savoir-faire d’une technologie que nous assumons exclusivement féminine au cours de la période Sylvicole? L’auteur défend que l’archéologie évolutionnaire permet de détecter le contexte de la transmission, c’est-à-dire l’organisation socioéconomique des populations du passé. L’examen des traits stylistiques suggère que la sédentarisation estivale des bandes amérindiennes à partir du Sylvicole moyen tardif favorise une homogénéisation des productions céramiques dans un contexte virilocal qui est la conséquence d’une transmission de type conformiste opérant sur un axe horizontal (entre pairs). Cependant, le passage probable des tribus iroquoiennes à l’uxorilocalité et à la matrilinéarité à la fin du Sylvicole se traduit par une saisissante hétérogénéisation des pots, qui s’explique possiblement par une sélection de marqueurs identitaire d’ordre clanique (transmission verticale entre parents et descendants). L’étude des traits techno-fonctionnels indique une diversification de la vaisselle de terre cuite à mesure que les populations intensifient leurs expériences sur les cultigènes. Dans l’ensemble, cette évolution trahit une attention accrue conférée à la performance des pots en tant que récipients culinaires. Par ailleurs, le concours de la sériation et de datations AMS permet la reconnaisance d’un taxon « Sylvicole moyen moyen » caractérisé par une modification morphologique et décorative des vases. Une enquête comparative portant sur un échantillon de 27 sites archéologiques de l’horizon Pseudo-scallop-shell démontre que la variation populationnelle est structurée en fonction de la localisation des communautés dans un bassin hydrographique spécifique. Par conséquent, l’auteur soumet des pistes en vue de l’élaboration d’une taxonomie robuste et propre au Sylvicole moyen ancien et au Sylvicole moyen moyen. Enfin, des indices de natures diverses (archéologiques, paléoethnobotaniques, ethnolinguistiques, paléoanthropologiques, et d’autres issus de la génétique des populations) suggèrent une identité proto-algonquienne des bandes des deux sous-périodes susmentionnées.
Resumo:
Payer ses soins est une réalité coûteuse pour les usagers des services de santé en Afrique subsaharienne. Plusieurs pays suppriment donc certains types de paiements directs des soins au point de service, en instaurant des politiques d’exemption des paiements (PEP). Cette thèse explore trois enjeux majeurs soulevés par ces réformes. Le premier article analyse le positionnement des acteurs de la santé mondiale dans le débat sur les paiements directs des soins dans les pays à faible et moyen revenu. Cette étude documentaire montre que la majorité des acteurs s’exprime en défaveur des paiements directs en invoquant notamment leurs effets néfastes sur l’équité d’accès aux soins. Le second article met en lumière les effets perturbateurs des PEP sur les systèmes de santé des pays à faible et moyen revenu. Cette synthèse exploratoire indique que leur mise en œuvre perturbe les systèmes de santé de plusieurs manières : augmentation immédiate de l’utilisation des services gratuits, indisponibilité des médicaments, financement imprévisible et insuffisant, multiplicité des organes impliqués dans la mise en œuvre, et déficiences dans la planification et la communication. Le troisième article examine la manière dont les PEP influencent le recours aux soins des usagers. La revue réaliste a permis de développer une théorie qui explique ce processus, et de la mettre à l’épreuve d’études empiriques. Selon cette théorie, les PEP sont une ressource contribuant à renforcer le pouvoir d’agir des usagers. Ce pouvoir d’agir est également influencé par des facteurs structurels, locaux et individuels qui agissent sur la « capabilité » des usagers de se saisir de cette ressource, et de choisir de recourir aux services de santé gratuits. Trois mécanismes jouent un rôle essentiel dans ce choix : la confiance, l’acceptabilité, et la reconnaissance du risque. Cette thèse contribue au développement des connaissances empiriques sur une réforme majeure des systèmes de santé en Afrique subsaharienne. Elle apporte également des enseignements méthodologiques à la revue réaliste, et participe à la construction du champ de la recherche sur les politiques et systèmes de santé dans les pays à faible et moyen revenu.
Resumo:
Ce mémoire cherche à comprendre un paradoxe : les États-providence les plus généreux, façonnés par des partis sociaux-démocrates, sont financés par des taxes beaucoup plus régressives que les États-providence les moins généreux où les partis de droite, plus souvent au pouvoir, mettent en place une taxation plus progressive. Pour comprendre ce paradoxe, ce mémoire débute en analysant les pressions induites par la mondialisation des capitaux sur la taxation. Ensuite, le mémoire explore les causes institutionnelles des régimes fiscaux en effectuant une revue de la littérature analytique. Ces contraintes institutionnelles et fonctionnelles sur le comportement et les préférences des acteurs politiques permettent de définir trois idéaux-types de régimes fiscaux. Ces idéaux-types cadrent avec la typologie des régimes d’État-providence d’Esping-Andersen. En regroupant des typologies sur les régimes fiscaux et les régimes d’État-providence, ce mémoire souligne que le financement des politiques publiques représente une composante cruciale de l’économie politique de l’État-providence.
Resumo:
Cette recherche, réalisée en milieu scolaire québécois, concerne l’enseignement et l’apprentissage de la géométrie à l’entrée au secondaire. Ce contexte est caractérisé par une géométrie non clairement définie d’un point de vue épistémologique, tant dans le programme d’études du premier cycle que dans les manuels scolaires. Ainsi, nous avons cherché à voir d’une part, l’activité géométrique souhaitée et actualisée par des enseignants incluant les problèmes proposés et, d’autre part, les conceptions d’élèves développées par ces problèmes. À partir de données recueillies auprès de quatre classes, nous avons déterminé cette activité géométrique et répertorié six types de problèmes dont quatre sont dominants ainsi que des conceptions d’élèves. L’activité géométrique en classe a donné lieu à des moments d’hésitation épistémologique, lesquels ne sont pas sans effet dans le développement des conceptions des élèves.
Resumo:
Texte issu d’une conférence donnée à Brown University : Bauer, O. (2014, 23-25 octobre). Bagel, Bagelry, Smoked Meat and Deli as the Jewish Part of Montreal’s Culinary Heritage. Communication présenté lors du colloque Food Heritage, Hybridity & Locality: An International Conference, Brown University.
Resumo:
La thèse est divisée principalement en deux parties. La première partie regroupe les chapitres 2 et 3. La deuxième partie regroupe les chapitres 4 et 5. La première partie concerne l'échantillonnage de distributions continues non uniformes garantissant un niveau fixe de précision. Knuth et Yao démontrèrent en 1976 comment échantillonner exactement n'importe quelle distribution discrète en n'ayant recours qu'à une source de bits non biaisés indépendants et identiquement distribués. La première partie de cette thèse généralise en quelque sorte la théorie de Knuth et Yao aux distributions continues non uniformes, une fois la précision fixée. Une borne inférieure ainsi que des bornes supérieures pour des algorithmes génériques comme l'inversion et la discrétisation figurent parmi les résultats de cette première partie. De plus, une nouvelle preuve simple du résultat principal de l'article original de Knuth et Yao figure parmi les résultats de cette thèse. La deuxième partie concerne la résolution d'un problème en théorie de la complexité de la communication, un problème qui naquit avec l'avènement de l'informatique quantique. Étant donné une distribution discrète paramétrée par un vecteur réel de dimension N et un réseau de N ordinateurs ayant accès à une source de bits non biaisés indépendants et identiquement distribués où chaque ordinateur possède un et un seul des N paramètres, un protocole distribué est établi afin d'échantillonner exactement ladite distribution.
Resumo:
Dans ce mémoire, on étudie la désintégration d’un faux vide, c’est-à-dire un vide qui est un minimum relatif d’un potentiel scalaire par effet tunnel. Des défauts topologiques en 1+1 dimension, appelés kinks, apparaissent lorsque le potentiel possède un minimum qui brise spontanément une symétrie discrète. En 3+1 dimensions, ces kinks deviennent des murs de domaine. Ils apparaissent par exemple dans les matériaux magnétiques en matière condensée. Un modèle à deux champs scalaires couplés sera étudié ainsi que les solutions aux équations du mouvement qui en découlent. Ce faisant, on analysera comment l’existence et l’énergie des solutions statiques dépend des paramètres du modèle. Un balayage numérique de l’espace des paramètres révèle que les solutions stables se trouvent entre les zones de dissociation, des régions dans l’espace des paramètres où les solutions stables n’existent plus. Le comportement des solutions instables dans les zones de dissociation peut être très différent selon la zone de dissociation dans laquelle une solution se trouve. Le potentiel consiste, dans un premier temps, en un polynôme d’ordre six, auquel on y rajoute, dans un deuxième temps, un polynôme quartique multiplié par un terme de couplage, et est choisi tel que les extrémités du kink soient à des faux vides distincts. Le taux de désintégration a été estimé par une approximation semi-classique pour montrer l’impact des défauts topologiques sur la stabilité du faux vide. Le projet consiste à déterminer les conditions qui permettent aux kinks de catalyser la désintégration du faux vide. Il appert qu’on a trouvé une expression pour déterminer la densité critique de kinks et qu’on comprend ce qui se passe avec la plupart des termes.
Resumo:
La multiplication dans le corps de Galois à 2^m éléments (i.e. GF(2^m)) est une opérations très importante pour les applications de la théorie des correcteurs et de la cryptographie. Dans ce mémoire, nous nous intéressons aux réalisations parallèles de multiplicateurs dans GF(2^m) lorsque ce dernier est généré par des trinômes irréductibles. Notre point de départ est le multiplicateur de Montgomery qui calcule A(x)B(x)x^(-u) efficacement, étant donné A(x), B(x) in GF(2^m) pour u choisi judicieusement. Nous étudions ensuite l'algorithme diviser pour régner PCHS qui permet de partitionner les multiplicandes d'un produit dans GF(2^m) lorsque m est impair. Nous l'appliquons pour la partitionnement de A(x) et de B(x) dans la multiplication de Montgomery A(x)B(x)x^(-u) pour GF(2^m) même si m est pair. Basé sur cette nouvelle approche, nous construisons un multiplicateur dans GF(2^m) généré par des trinôme irréductibles. Une nouvelle astuce de réutilisation des résultats intermédiaires nous permet d'éliminer plusieurs portes XOR redondantes. Les complexités de temps (i.e. le délais) et d'espace (i.e. le nombre de portes logiques) du nouveau multiplicateur sont ensuite analysées: 1. Le nouveau multiplicateur demande environ 25% moins de portes logiques que les multiplicateurs de Montgomery et de Mastrovito lorsque GF(2^m) est généré par des trinômes irréductible et m est suffisamment grand. Le nombre de portes du nouveau multiplicateur est presque identique à celui du multiplicateur de Karatsuba proposé par Elia. 2. Le délai de calcul du nouveau multiplicateur excède celui des meilleurs multiplicateurs d'au plus deux évaluations de portes XOR. 3. Nous determinons le délai et le nombre de portes logiques du nouveau multiplicateur sur les deux corps de Galois recommandés par le National Institute of Standards and Technology (NIST). Nous montrons que notre multiplicateurs contient 15% moins de portes logiques que les multiplicateurs de Montgomery et de Mastrovito au coût d'un délai d'au plus une porte XOR supplémentaire. De plus, notre multiplicateur a un délai d'une porte XOR moindre que celui du multiplicateur d'Elia au coût d'une augmentation de moins de 1% du nombre total de portes logiques.
Resumo:
Ce mémoire de maitrise propose de faire une analyse féministe du concept de droit de la femme tel qu’il est conçu dans les théories des droits humains. Le paradigme libéral en théorie des droits humains sera critiqué parce qu’il contient des idéalisations inégalitaires. Cela mènera à aborder la question sous l’angle de droits humains spécifiques aux femmes. Cette investigation commencera par l’examen de la possibilité théorique de produire une théorie des droits de la femme plausible. L’importance de tenir compte des conditions non idéales du monde sera soulignée. Puis, une argumentation en faveur de droits socioéconomiques spécifiques sera faite. Enfin, cela mènera à une défense de l’approche des capabilités de Martha Nussbaum pour la protection des intérêts particuliers des femmes.
Resumo:
La documentation sur les pratiques parentales suggère qu’afin de favoriser le développement optimal des enfants, les parents devraient utiliser des pratiques qui sont structurantes et qui soutiennent leur autonomie (Grolnick & Pomerantz, 2009). Dans certaines situations, par exemple lorsqu’un enfant enfreint une règle, il peut toutefois sembler difficile pour les parents d’adopter des stratégies parentales qui allient ces deux dimensions. Qui plus est, peu d’études se sont penchées sur la façon dont les parents peuvent renforcer la structure tout en tenant simultanément compte des besoins et de l’individualité des enfants. L’objectif de cette thèse est d’évaluer l’impact de trois stratégies visant à renforcer les règles (répéter la règle, donner une punition ou avoir recours à une conséquence logique) variant quant à leurs niveaux de structure et de soutien à l’autonomie, et de vérifier leurs effets lorsqu’elles sont employées au sein d’un climat interpersonnel soutenant l’autonomie ou d’un climat interpersonnel contrôlant. Le premier article s’intéresse à l’impact conjoint des stratégies visant à renforcer les règles et du climat interpersonnel sur des indicateurs de conformité et d’intériorisation rapportés par 221 enfants et leurs mères. Les résultats montrent que les mères considèrent les conséquences logiques utilisées dans un climat qui soutient l’autonomie comme étant les pratiques les plus efficaces et les plus acceptables (effet interactif). Les enfants pensent aussi qu’un climat interpersonnel qui soutient l’autonomie est plus efficace et plus acceptable qu’un climat interpersonnel contrôlant. De plus, les résultats suggèrent que les enfants considèrent les conséquences logiques comme des pratiques aussi efficaces, mais plus acceptables que les punitions. Le fait de répéter la règle est jugé comme étant acceptable, mais peu efficace comparativement aux autres stratégies. Pour les enfants, les résultats montrent qu’il n’y a pas d’interaction entre les stratégies visant à renforcer les règles et le climat interpersonnel. Le second article vise à documenter les réactions émotionnelles potentielles des mêmes enfants (N = 221) face aux trois stratégies visant à renforcer les règles et aux climats interpersonnels. Quatre émotions déterminantes dans le processus d’intériorisation sont étudiées, soit la colère, la tristesse, la culpabilité et la honte. Les résultats montrent d’abord qu’un climat interpersonnel contrôlant amènerait les enfants à vivre plus de colère, de tristesse et de honte qu’un climat soutenant l’autonomie. Par contre, les enfants rapportent autant de culpabilité au sein des deux climats interpersonnels. Les résultats suggèrent également que les punitions susciteraient plus de tristesse, de culpabilité et de colère que les conséquences logiques, que les conséquences logiques feraient vivre aux enfants plus de tristesse et de culpabilité que répéter la règle et que les punitions amèneraient les enfants à vivre davantage de honte que répéter la règle. Finalement, les résultats suggèrent que les effets des stratégies visant à renforcer les règles et du climat interpersonnel sont additifs; il n’y a pas d’interaction entre ces deux facteurs. Les contributions théoriques de cette thèse à la documentation sur les pratiques parentales et le développement des enfants, de même que ses implications pratiques pour les parents dans la socialisation des enfants sont discutées.
Resumo:
Travail dirigé présenté à la Faculté des études supérieures en vue de l'obtention du grade de Maître ès (M. Sc.) en sciences infirmières