989 resultados para théorie artistique
Resumo:
La théorie de l'information quantique étudie les limites fondamentales qu'imposent les lois de la physique sur les tâches de traitement de données comme la compression et la transmission de données sur un canal bruité. Cette thèse présente des techniques générales permettant de résoudre plusieurs problèmes fondamentaux de la théorie de l'information quantique dans un seul et même cadre. Le théorème central de cette thèse énonce l'existence d'un protocole permettant de transmettre des données quantiques que le receveur connaît déjà partiellement à l'aide d'une seule utilisation d'un canal quantique bruité. Ce théorème a de plus comme corollaires immédiats plusieurs théorèmes centraux de la théorie de l'information quantique. Les chapitres suivants utilisent ce théorème pour prouver l'existence de nouveaux protocoles pour deux autres types de canaux quantiques, soit les canaux de diffusion quantiques et les canaux quantiques avec information supplémentaire fournie au transmetteur. Ces protocoles traitent aussi de la transmission de données quantiques partiellement connues du receveur à l'aide d'une seule utilisation du canal, et ont comme corollaires des versions asymptotiques avec et sans intrication auxiliaire. Les versions asymptotiques avec intrication auxiliaire peuvent, dans les deux cas, être considérées comme des versions quantiques des meilleurs théorèmes de codage connus pour les versions classiques de ces problèmes. Le dernier chapitre traite d'un phénomène purement quantique appelé verrouillage: il est possible d'encoder un message classique dans un état quantique de sorte qu'en lui enlevant un sous-système de taille logarithmique par rapport à sa taille totale, on puisse s'assurer qu'aucune mesure ne puisse avoir de corrélation significative avec le message. Le message se trouve donc «verrouillé» par une clé de taille logarithmique. Cette thèse présente le premier protocole de verrouillage dont le critère de succès est que la distance trace entre la distribution jointe du message et du résultat de la mesure et le produit de leur marginales soit suffisamment petite.
Resumo:
En dépit de nombreuses interventions en santé reproductive en Afrique subsaharienne, la trilogie « IST/VIH/SIDA - grossesses précoces - avortements » persiste à des niveaux très élevés par rapport aux autres parties du monde. Cela indique que les nombreuses interventions en santé reproductive auprès des adolescents et des jeunes ont enregistré peu de succès en ce qui concerne le changement des comportements sexuels. Ces interventions se focalisent souvent sur l’individu, et négligent les environnements sociaux et culturels dans lesquels se forge le vécu de la sexualité chez les jeunes. Un de ces agents de socialisation est la famille, où les individus naissent, grandissent, et sont socialisés selon les valeurs et normes en vigueur. Fort de ce constat, l’objectif principal de la présente thèse est de resituer l’environnement familial au cœur des débats en santé reproductive chez les adolescents et les jeunes en Afrique subsaharienne. Trois questions spécifiques sont examinées dans cette thèse. Premièrement, elle aborde les associations entre les structures familiales et l’entrée en sexualité. Deuxièmement, elle analyse leurs influences sur les connaissances des modes de transmission et des moyens de prévention du VIH/SIDA. Troisièmement, elle cherche à déterminer les forces potentielles dans les familles dites « à risque » (ayant au plus un parent biologique) à partir de la théorie de résilience selon laquelle des facteurs familiaux et contextuels peuvent atténuer les comportements sexuels à risque chez les adolescents et jeunes. Cette thèse démontre substantiellement que vivre avec ses deux parents biologiques, la nature des relations entre parents/tuteurs et le jeune et un niveau élevé du contrôle parental sont significativement associés à de faibles risques des rapports sexuels prémaritaux. Par contre, les unions polygamiques, un statut socioéconomique élevé du ménage, et le fait d’être orphelin augmentent significativement le risque de rapports sexuels prémaritaux. L’étude démontre aussi que l’environnement familial et la communication sur la sexualité, aussi bien avec les parents/tuteurs qu’avec les pairs, jouent un rôle fondamental dans l’acquisition des connaissances correctes des modes de transmission et de prévention du VIH/SIDA. Néanmoins, le rôle des parents/tuteurs sur l’acquisition des connaissances sur le VIH/SIDA s’avère indirect puisqu’elle repose sur une hypothèse implicite. Seule une mesure directe des connaissances des parents sur les modes de transmission et les moyens de prévention peut mieux rendre compte de cette association. Les résultats obtenus à partir de la théorie de résilience indiquent, dans chaque type de familles, que la qualité des relations entre les parents/tuteurs et le jeune est significativement associée à une faible probabilité de comportement sexuel à risque, défini comme étant la cooccurrence de plusieurs partenaires sexuels au cours de 12 derniers mois et de non-utilisation du condom. Par contre, le contrôle parental est associé à une faible probabilité de comportement sexuel à risque seulement dans les familles à deux parents biologiques. Ce résultat suggère que l’influence du contrôle parental baisse une fois que les jeunes ont eu une expérience sexuelle. Les interventions en santé reproductive devraient promouvoir chez les parents/tuteurs les facteurs familiaux susceptibles de réduire les comportements sexuels à risque.
Resumo:
Le but de cette recherche est de mieux comprendre les fondements et enjeux sociopolitiques d’un processus d’aménagement linguistique, ainsi que de cerner le rôle que le fait linguistique peut avoir dans le processus de construction d’un système national et dans son fonctionnement et de quelle manière l’application d’une politique linguistique se révèle efficace. Pour ce faire, nous procéderons à une étude comparative des cas concrets de la planification linguistique de la Catalogne et du Québec. Le choix des deux régions se base principalement sur le fait qu’elles représentent toutes les deux un type de nation « subétatique » au sein de laquelle la langue propre (le catalan et le français respectivement) s’est révélée être un élément clé de la représentation de l’identité collective, et qu’elle y possède à la fois un rôle symbolique et participatif. Cependant, la nature du conflit linguistique engendré par la cohabitation entre la langue propre et la langue de l’état (français-anglais/ catalan-espagnol) est visiblement perçu et traité de manière différente dans les deux régions. Donc, les environnements sociopolitiques et linguistiques québécois et catalans offrent à la fois des similitudes et des divergences qui mettent en relief certaines caractéristiques essentielles à la compréhension des mécanismes dans le développement d’une politique linguistique. Les étapes de l’étude se divisent en trois : après une exposition de l’évolution de la théorie de la planification linguistique, seront abordés les moments et évènements historiques marquants, intimement liés au développement du sentiment nationaliste dans les deux régions, ce qui permettra par le fait même d’explorer les relations entre les entités « subétatiques » et étatiques: Québec/Canada et Catalogne/Espagne. Puis seront passés en revue les textes législatifs et juridiques et leur portée. C’est-à-dire que sera vue plus spécifiquement l’application concrète des politiques linguistiques dans les domaines de l’éducation, de l’immigration et des médias de communication. Finalement, au regard des recensements sociolinguistiques les plus récents, les relations seront établies entre les résultats statistiques de l’usage des langues dans les régions respectives et les moyens ayant été déployés dans le cadre de la planification linguistique.
Resumo:
La dernière décennie a connu un intérêt croissant pour les problèmes posés par les variables instrumentales faibles dans la littérature économétrique, c’est-à-dire les situations où les variables instrumentales sont faiblement corrélées avec la variable à instrumenter. En effet, il est bien connu que lorsque les instruments sont faibles, les distributions des statistiques de Student, de Wald, du ratio de vraisemblance et du multiplicateur de Lagrange ne sont plus standard et dépendent souvent de paramètres de nuisance. Plusieurs études empiriques portant notamment sur les modèles de rendements à l’éducation [Angrist et Krueger (1991, 1995), Angrist et al. (1999), Bound et al. (1995), Dufour et Taamouti (2007)] et d’évaluation des actifs financiers (C-CAPM) [Hansen et Singleton (1982,1983), Stock et Wright (2000)], où les variables instrumentales sont faiblement corrélées avec la variable à instrumenter, ont montré que l’utilisation de ces statistiques conduit souvent à des résultats peu fiables. Un remède à ce problème est l’utilisation de tests robustes à l’identification [Anderson et Rubin (1949), Moreira (2002), Kleibergen (2003), Dufour et Taamouti (2007)]. Cependant, il n’existe aucune littérature économétrique sur la qualité des procédures robustes à l’identification lorsque les instruments disponibles sont endogènes ou à la fois endogènes et faibles. Cela soulève la question de savoir ce qui arrive aux procédures d’inférence robustes à l’identification lorsque certaines variables instrumentales supposées exogènes ne le sont pas effectivement. Plus précisément, qu’arrive-t-il si une variable instrumentale invalide est ajoutée à un ensemble d’instruments valides? Ces procédures se comportent-elles différemment? Et si l’endogénéité des variables instrumentales pose des difficultés majeures à l’inférence statistique, peut-on proposer des procédures de tests qui sélectionnent les instruments lorsqu’ils sont à la fois forts et valides? Est-il possible de proposer les proédures de sélection d’instruments qui demeurent valides même en présence d’identification faible? Cette thèse se focalise sur les modèles structurels (modèles à équations simultanées) et apporte des réponses à ces questions à travers quatre essais. Le premier essai est publié dans Journal of Statistical Planning and Inference 138 (2008) 2649 – 2661. Dans cet essai, nous analysons les effets de l’endogénéité des instruments sur deux statistiques de test robustes à l’identification: la statistique d’Anderson et Rubin (AR, 1949) et la statistique de Kleibergen (K, 2003), avec ou sans instruments faibles. D’abord, lorsque le paramètre qui contrôle l’endogénéité des instruments est fixe (ne dépend pas de la taille de l’échantillon), nous montrons que toutes ces procédures sont en général convergentes contre la présence d’instruments invalides (c’est-à-dire détectent la présence d’instruments invalides) indépendamment de leur qualité (forts ou faibles). Nous décrivons aussi des cas où cette convergence peut ne pas tenir, mais la distribution asymptotique est modifiée d’une manière qui pourrait conduire à des distorsions de niveau même pour de grands échantillons. Ceci inclut, en particulier, les cas où l’estimateur des double moindres carrés demeure convergent, mais les tests sont asymptotiquement invalides. Ensuite, lorsque les instruments sont localement exogènes (c’est-à-dire le paramètre d’endogénéité converge vers zéro lorsque la taille de l’échantillon augmente), nous montrons que ces tests convergent vers des distributions chi-carré non centrées, que les instruments soient forts ou faibles. Nous caractérisons aussi les situations où le paramètre de non centralité est nul et la distribution asymptotique des statistiques demeure la même que dans le cas des instruments valides (malgré la présence des instruments invalides). Le deuxième essai étudie l’impact des instruments faibles sur les tests de spécification du type Durbin-Wu-Hausman (DWH) ainsi que le test de Revankar et Hartley (1973). Nous proposons une analyse en petit et grand échantillon de la distribution de ces tests sous l’hypothèse nulle (niveau) et l’alternative (puissance), incluant les cas où l’identification est déficiente ou faible (instruments faibles). Notre analyse en petit échantillon founit plusieurs perspectives ainsi que des extensions des précédentes procédures. En effet, la caractérisation de la distribution de ces statistiques en petit échantillon permet la construction des tests de Monte Carlo exacts pour l’exogénéité même avec les erreurs non Gaussiens. Nous montrons que ces tests sont typiquement robustes aux intruments faibles (le niveau est contrôlé). De plus, nous fournissons une caractérisation de la puissance des tests, qui exhibe clairement les facteurs qui déterminent la puissance. Nous montrons que les tests n’ont pas de puissance lorsque tous les instruments sont faibles [similaire à Guggenberger(2008)]. Cependant, la puissance existe tant qu’au moins un seul instruments est fort. La conclusion de Guggenberger (2008) concerne le cas où tous les instruments sont faibles (un cas d’intérêt mineur en pratique). Notre théorie asymptotique sous les hypothèses affaiblies confirme la théorie en échantillon fini. Par ailleurs, nous présentons une analyse de Monte Carlo indiquant que: (1) l’estimateur des moindres carrés ordinaires est plus efficace que celui des doubles moindres carrés lorsque les instruments sont faibles et l’endogenéité modérée [conclusion similaire à celle de Kiviet and Niemczyk (2007)]; (2) les estimateurs pré-test basés sur les tests d’exogenété ont une excellente performance par rapport aux doubles moindres carrés. Ceci suggère que la méthode des variables instrumentales ne devrait être appliquée que si l’on a la certitude d’avoir des instruments forts. Donc, les conclusions de Guggenberger (2008) sont mitigées et pourraient être trompeuses. Nous illustrons nos résultats théoriques à travers des expériences de simulation et deux applications empiriques: la relation entre le taux d’ouverture et la croissance économique et le problème bien connu du rendement à l’éducation. Le troisième essai étend le test d’exogénéité du type Wald proposé par Dufour (1987) aux cas où les erreurs de la régression ont une distribution non-normale. Nous proposons une nouvelle version du précédent test qui est valide même en présence d’erreurs non-Gaussiens. Contrairement aux procédures de test d’exogénéité usuelles (tests de Durbin-Wu-Hausman et de Rvankar- Hartley), le test de Wald permet de résoudre un problème courant dans les travaux empiriques qui consiste à tester l’exogénéité partielle d’un sous ensemble de variables. Nous proposons deux nouveaux estimateurs pré-test basés sur le test de Wald qui performent mieux (en terme d’erreur quadratique moyenne) que l’estimateur IV usuel lorsque les variables instrumentales sont faibles et l’endogénéité modérée. Nous montrons également que ce test peut servir de procédure de sélection de variables instrumentales. Nous illustrons les résultats théoriques par deux applications empiriques: le modèle bien connu d’équation du salaire [Angist et Krueger (1991, 1999)] et les rendements d’échelle [Nerlove (1963)]. Nos résultats suggèrent que l’éducation de la mère expliquerait le décrochage de son fils, que l’output est une variable endogène dans l’estimation du coût de la firme et que le prix du fuel en est un instrument valide pour l’output. Le quatrième essai résout deux problèmes très importants dans la littérature économétrique. D’abord, bien que le test de Wald initial ou étendu permette de construire les régions de confiance et de tester les restrictions linéaires sur les covariances, il suppose que les paramètres du modèle sont identifiés. Lorsque l’identification est faible (instruments faiblement corrélés avec la variable à instrumenter), ce test n’est en général plus valide. Cet essai développe une procédure d’inférence robuste à l’identification (instruments faibles) qui permet de construire des régions de confiance pour la matrices de covariances entre les erreurs de la régression et les variables explicatives (possiblement endogènes). Nous fournissons les expressions analytiques des régions de confiance et caractérisons les conditions nécessaires et suffisantes sous lesquelles ils sont bornés. La procédure proposée demeure valide même pour de petits échantillons et elle est aussi asymptotiquement robuste à l’hétéroscédasticité et l’autocorrélation des erreurs. Ensuite, les résultats sont utilisés pour développer les tests d’exogénéité partielle robustes à l’identification. Les simulations Monte Carlo indiquent que ces tests contrôlent le niveau et ont de la puissance même si les instruments sont faibles. Ceci nous permet de proposer une procédure valide de sélection de variables instrumentales même s’il y a un problème d’identification. La procédure de sélection des instruments est basée sur deux nouveaux estimateurs pré-test qui combinent l’estimateur IV usuel et les estimateurs IV partiels. Nos simulations montrent que: (1) tout comme l’estimateur des moindres carrés ordinaires, les estimateurs IV partiels sont plus efficaces que l’estimateur IV usuel lorsque les instruments sont faibles et l’endogénéité modérée; (2) les estimateurs pré-test ont globalement une excellente performance comparés à l’estimateur IV usuel. Nous illustrons nos résultats théoriques par deux applications empiriques: la relation entre le taux d’ouverture et la croissance économique et le modèle de rendements à l’éducation. Dans la première application, les études antérieures ont conclu que les instruments n’étaient pas trop faibles [Dufour et Taamouti (2007)] alors qu’ils le sont fortement dans la seconde [Bound (1995), Doko et Dufour (2009)]. Conformément à nos résultats théoriques, nous trouvons les régions de confiance non bornées pour la covariance dans le cas où les instruments sont assez faibles.
Resumo:
On présente une nouvelle approche de simulation pour la fonction de densité conjointe du surplus avant la ruine et du déficit au moment de la ruine, pour des modèles de risque déterminés par des subordinateurs de Lévy. Cette approche s'inspire de la décomposition "Ladder height" pour la probabilité de ruine dans le Modèle Classique. Ce modèle, déterminé par un processus de Poisson composé, est un cas particulier du modèle plus général déterminé par un subordinateur, pour lequel la décomposition "Ladder height" de la probabilité de ruine s'applique aussi. La Fonction de Pénalité Escomptée, encore appelée Fonction Gerber-Shiu (Fonction GS), a apporté une approche unificatrice dans l'étude des quantités liées à l'événement de la ruine été introduite. La probabilité de ruine et la fonction de densité conjointe du surplus avant la ruine et du déficit au moment de la ruine sont des cas particuliers de la Fonction GS. On retrouve, dans la littérature, des expressions pour exprimer ces deux quantités, mais elles sont difficilement exploitables de par leurs formes de séries infinies de convolutions sans formes analytiques fermées. Cependant, puisqu'elles sont dérivées de la Fonction GS, les expressions pour les deux quantités partagent une certaine ressemblance qui nous permet de nous inspirer de la décomposition "Ladder height" de la probabilité de ruine pour dériver une approche de simulation pour cette fonction de densité conjointe. On présente une introduction détaillée des modèles de risque que nous étudions dans ce mémoire et pour lesquels il est possible de réaliser la simulation. Afin de motiver ce travail, on introduit brièvement le vaste domaine des mesures de risque, afin d'en calculer quelques unes pour ces modèles de risque. Ce travail contribue à une meilleure compréhension du comportement des modèles de risques déterminés par des subordinateurs face à l'éventualité de la ruine, puisqu'il apporte un point de vue numérique absent de la littérature.
Resumo:
La téléréadaptation, tout comme d’autres champs en télésanté, est de plus en plus interpelée pour la prestation de services. Le but de ce projet de thèse est d’enrichir l’évaluation de la téléréadaptation afin que les connaissances qui en découlent puissent venir soutenir la prise de décision d’acteurs impliqués à différents niveaux en téléréadaptation. Le premier article présente une revue systématique dont l’objectif était de faire synthèse critique des études en téléréadaptation. La revue rassemble 28 études en téléréadaptation, qui confirment l’efficacité de la téléréadaptation pour diverses clientèles dans différents milieux. Certaines des études suggèrent également des bénéfices en termes de coûts, mais ces résultats demeurent préliminaires. Cette synthèse critique est utile pour soutenir la décision d’introduire la téléréadaptation pour combler un besoin. Par contre, les décideurs bénéficieraient aussi de connaissances par rapport aux changements cliniques et organisationnels qui sont associés à la téléréadaptation lorsqu’elle est introduite en milieu clinique. Les deux autres articles traitent d’une étude de cas unique qui a examiné un projet clinique de téléréadaptation dans l’est de la province de Québec, au Canada. Le cadre conceptuel qui sous-tend l’étude de cas découle de la théorie de structuration de Giddens et des modèles de structuration de la technologie, en particulier de l’interaction entre la structure, l’agent et la technologie. Les données ont été recueillies à partir de plusieurs sources (groupes de discussion, entrevues individuelles, documents officiels et observation d’enregistrements) suivi d’une analyse qualitative. Le deuxième article de la thèse porte sur le lien entre la structure, l’agent et la culture organisationnelle dans l’utilisation de la téléréadaptation. Les résultats indiquent que les différences de culture organisationnelle entre les milieux sont plus évidentes avec l’utilisation de la téléréadaptation, entraînant des situations de conflits ainsi que des occasions de changement. De plus, la culture organisationnelle joue un rôle au niveau des croyances liées à la technologie. Les résultats indiquent aussi que la téléréadaptation pourrait contribuer à changer les cultures organisationnelles. Le troisième article examine l’intégration de la téléréadaptation dans les pratiques cliniques existantes, ainsi que les nouvelles routines cliniques qu’elle permet de soutenir et la pérennisation de la téléréadaptation. Les résultats indiquent qu’il y a effectivement certaines activités de téléréadaptation qui se sont intégrées aux routines des intervenants, principalement pour les plans d’intervention interdisciplinaire, tandis que pour les consultations et le suivi des patients, l’utilisation de la téléréadaptation n’a pas été intégrée aux routines. Plusieurs facteurs en lien avec la structure et l’agent ont contraint et facilité l’intégration aux routines cliniques, dont les croyances partagées, la visibilité de la téléréadaptation, le leadership clinique et organisationnel, la disponibilité des ressources, et l’existence de liens de collaboration. La pérennité de la téléréadaptation a aussi pu être observée à partir de la généralisation des activités et le développement de nouvelles applications et collaborations en téléréadaptation, et ce, uniquement pour les activités qui s’étaient intégrées aux routines des intervenants. Les résultats démontrent donc que lorsque la téléréadaptation n’est pas intégrée aux routines cliniques, elle n’est pas utilisée. Par contre, la téléréadaptation peut démontrée certains signes de pérennité lorsque les activités, qui sont reproduites, deviennent intégrées aux routines quotidiennes des utilisateurs. Ensemble, ces études font ressortir des résultats utiles pour la mise en place de la téléréadaptation et permettent de dégager des pistes pour enrichir le champ de l’évaluation de la téléréadaptation, afin que celui-ci devienne plus pertinent et complet, et puisse mieux soutenir les prises de décision d’acteurs impliqués à différents niveaux en téléréadaptation.
Resumo:
Ce mémoire portera sur un aspect négligé de la querelle analogie-anomalie, la position des soi-disant anomalistes. On s'appliquera en effet à confronter le portrait de l'anomaliste présenté par Varron dans son De Lingua Latina, qui passe souvent pour être Cratès de Mallos, à ce que nous connaissons du grammairien à travers les scholies homériques. En un premier temps seront résumés et analysés les livres 8 à 10 du De Lingua Latina, seul témoignage positif au sujet de la querelle. Au deuxième chapitre seront examinés puis rejetées les sources grecques que la critique moderne a jugées perninentes à la reconstruction de la querelle. Une attention particulière sera accordée à l'école empiriste, à laquelle on a voulu associer la supposée école anomaliste. L'attaque de la grammaire par Sextus Empiricus (Adversus Mathematicos I) sera aussi abordée en détail et ce traité antigrammatical sera mis en parallèle avec le livre 8 du De Lingua Latina. Au troisième chapitre la querelle sera enfin remise dans son contexte original, celui des éditions alexandrines et pergaméennes des auteurs classiques, en particulier Homère. Après une historique du développement de la diorthose (correction des manuscrits d'Homère) de Zénodote à Aristarque, un survol des leçons qui sont attribuées à Cratès montrera le désaccord entre les deux protagonistes de la querelle sur la pratique de l'analogie dans l'édition d'un nouveau texte de la poésie homérique. L'apparition d'anomalies grammaticales dans les leçons de Cratès s'explique par la théorie littéraire euphoniste dont il était partisan.
Resumo:
Ce mémoire propose une étude de la thématique hivernale dans les tableaux réalisés par Maurice Cullen (1864-1936) entre 1896 et 1914. Elle s’appuie sur une analyse des contextes politiques et culturels. Pour représenter les paysages enneigés canadiens, Cullen adapte quelques techniques modernes issues de l’impressionnisme, acquises lors de son premier séjour en Europe. Malgré cette influence artistique étrangère présente par l’emploi d’une palette de couleurs vives et de la touche divisée, le respect de la perspective et de la tridimensionnalité témoignent du maintien de certains principes académiques. L’usage de procédés impressionnistes permet à cet artiste de mettre en évidence les caractéristiques atmosphériques et lumineuses de son pays. Par l’application de ces procédés sur la représentation de la neige, Cullen participe ainsi à un travail de redécouverte et de valorisation du territoire. En effet, il privilégie plutôt l’expérience sensitive du territoire que le choix de la thématique des œuvres. L’ensemble des données visuelles et sensitives contenues dans ses œuvres a pour objectif de faire prendre conscience au spectateur de sa difficulté à se repérer au sein de son propre territoire et à accepter les rudes conditions climatiques inhérentes au Canada. Ce travail demeure impartial face au conflit identitaire opposant les francophones et les anglophones, bien qu’il intervienne dans les prémices de la mise en place d’une esthétique canadienne. Ce mémoire défend l’idée que Cullen renouvelle l’imagerie hivernale et s’inscrit dans les débuts du processus de création d’une iconographie nationale. Avec ses pairs, il s’engage à valoriser l’art local, et il ouvre une réflexion sur la représentation du territoire canadien, qui sera poursuivie par la génération suivante avec le Groupe des Sept.
Resumo:
Dans le développement logiciel en industrie, les documents de spécification jouent un rôle important pour la communication entre les analystes et les développeurs. Cependant, avec le temps, les changements de personel et les échéances toujours plus courtes, ces documents sont souvent obsolètes ou incohérents avec l'état effectif du système, i.e., son code source. Pourtant, il est nécessaire que les composants du système logiciel soient conservés à jour et cohérents avec leurs documents de spécifications pour faciliter leur développement et maintenance et, ainsi, pour en réduire les coûts. Maintenir la cohérence entre spécification et code source nécessite de pouvoir représenter les changements sur les uns et les autres et de pouvoir appliquer ces changements de manière cohérente et automatique. Nous proposons une solution permettant de décrire une représentation d'un logiciel ainsi qu'un formalisme mathématique permettant de décrire et de manipuler l'évolution des composants de ces représentations. Le formalisme est basé sur les triplets de Hoare pour représenter les transformations et sur la théorie des groupes et des homomorphismes de groupes pour manipuler ces transformations et permettrent leur application sur les différentes représentations du système. Nous illustrons notre formalisme sur deux représentations d'un système logiciel : PADL, une représentation architecturale de haut niveau (semblable à UML), et JCT, un arbre de syntaxe abstrait basé sur Java. Nous définissons également des transformations représentant l'évolution de ces représentations et la transposition permettant de reporter les transformations d'une représentation sur l'autre. Enfin, nous avons développé et décrivons brièvement une implémentation de notre illustration, un plugiciel pour l'IDE Eclipse détectant les transformations effectuées sur le code par les développeurs et un générateur de code pour l'intégration de nouvelles représentations dans l'implémentation.
Resumo:
Une nouvelle notion d'enlacement pour les paires d'ensembles $A\subset B$, $P\subset Q$ dans un espace de Hilbert de type $X=Y\oplus Y^{\perp}$ avec $Y$ séparable, appellée $\tau$-enlacement, est définie. Le modèle pour cette définition est la généralisation de l'enlacement homotopique et de l'enlacement au sens de Benci-Rabinowitz faite par Frigon. En utilisant la théorie du degré développée dans un article de Kryszewski et Szulkin, plusieurs exemples de paires $\tau$-enlacées sont donnés. Un lemme de déformation est établi et utilisé conjointement à la notion de $\tau$-enlacement pour prouver un théorème d'existence de point critique pour une certaine classe de fonctionnelles sur $X$. De plus, une caractérisation de type minimax de la valeur critique correspondante est donnée. Comme corollaire de ce théorème, des conditions sont énoncées sous lesquelles l'existence de deux points critiques distincts est garantie. Deux autres théorèmes de point critiques sont démontrés dont l'un généralise le théorème principal de l'article de Kryszewski et Szulkin mentionné ci-haut.
Resumo:
La réduction importante de l'aide internationale au développement et le processus de mondialisation ont fait en sorte que les investissements étrangers directs (IBD) sont considérés de nos jours comme une source importante de capital et de croissance économique dans un pays d'accueil comme la Serbie. Les IBD sont réputés stimuler la concurrence, l'innovation, l'épargne, la création d'emplois et le développement des ressources humaines dans les pays les plus pauvres et ceux en transition. Les institutions internationales encouragent la promotion des IBD dans tels pays et incitent leurs gouvernements à œuvrer à leur promotion active en tant que localité attrayante pour les obtenir. Il existe aussi un consensus selon lequel les investisseurs étrangers sont attirés par les pays dont le système juridique est stable et prévisible et qui réglemente l'économie selon le modèle d'une économie de marché. Si les réformes juridiques sont incontestablement importantes pour attirer les IBD, notre étude cherche à vérifier quel est le véritable impact du droit interne et des institutions étatiques du pays d'accueil sur l'établissement des entreprises étrangères et sur l'exercice de leur activité économique dans ce pays. Il s'agit de voir de quelle manière la présence des investisseurs étrangers contribue à la consolidation de l'État de droit dans le pays d'accueil. Pour analyser ces questions de plus près, nous avons choisi l'étude de cas de la Serbie, dont le système juridique est en chantier depuis le changement de régime en 2000. Notre hypothèse de travail a supposé que l'instauration de l'État de droit était importante pour l'implantation des investisseurs étrangers dans le pays, car les institutions étatiques et juridiques pourraient offrir des garanties pour le bon déroulement de l'activité économique étrangère. Après avoir étudié le cas de la Serbie, il y a lieu de conclure que la réforme du cadre juridique interne joue un rôle important, mais toutefois non déterminant dans le choix de la localisation d'un investissement étranger. Notre étude montre que la motivation en matière d'investissement ne tient généralement pas compte de la normativité juridique comme facteur à considérer, c'est-à-dire parmi les facteurs définis par la théorie du OLI Paradigm de John Dunning. Toutefois, ce facteur joue un rôle politique par le fait qu'il est véhiculé dans le droit international et dans le discours des organisations internationales. Les investisseurs demeurent également attentifs à la législation pouvant influencer leur propre activité économique. Nos entretiens ont révélé l'existence d'une véritable volonté de la part des investisseurs de favoriser les réformes juridiques du pays d'accueil. Leur perception du cadre juridique favorable au plan économique peut éventuellement jouer un certain rôle dans la transformation de l'État de droit et des institutions juridiques du pays d'accueil. Mais les entrepreneurs n'attendent pas un cadre juridique reformé dans le pays d'accueil pour décider d'y investir. En résumé, l'amélioration des institutions de l'État de droit concerne au premier chef des services sociaux de qualité et des meilleures conditions économiques pour ses citoyens. La promotion des IBD dans le pays ne constitue pas un objectif en soi mais s'inscrit dans la politique d'un État de droit en tant qu'outil indispensable de réformes et constitue un facteur favorable au développement économique.
Resumo:
Ordered conflict resolution: understanding her tenets cost Keynes his life and Arrow to live under extortionate threat. Now that the Supreme Court of the United States has conquered the Informal Capital Market Cartel’s stranglehold on academic freedom, the literature can now vindicate impossibility- resolved social choice theory in the venue of a marriage between ethics and economics; as Sen has pled need be the case. This paper introduces ordered conflict resolution and her two impossibility-resolving axioms in effecting (individual: societal) well-being transitivity.
Resumo:
Cette thèse est composée de trois essais liés à la conception de mécanisme et aux enchères. Dans le premier essai j'étudie la conception de mécanismes bayésiens efficaces dans des environnements où les fonctions d'utilité des agents dépendent de l'alternative choisie même lorsque ceux-ci ne participent pas au mécanisme. En plus d'une règle d'attribution et d'une règle de paiement le planificateur peut proférer des menaces afin d'inciter les agents à participer au mécanisme et de maximiser son propre surplus; Le planificateur peut présumer du type d'un agent qui ne participe pas. Je prouve que la solution du problème de conception peut être trouvée par un choix max-min des types présumés et des menaces. J'applique ceci à la conception d'une enchère multiple efficace lorsque la possession du bien par un acheteur a des externalités négatives sur les autres acheteurs. Le deuxième essai considère la règle du juste retour employée par l'agence spatiale européenne (ESA). Elle assure à chaque état membre un retour proportionnel à sa contribution, sous forme de contrats attribués à des sociétés venant de cet état. La règle du juste retour est en conflit avec le principe de la libre concurrence puisque des contrats ne sont pas nécessairement attribués aux sociétés qui font les offres les plus basses. Ceci a soulevé des discussions sur l'utilisation de cette règle: les grands états ayant des programmes spatiaux nationaux forts, voient sa stricte utilisation comme un obstacle à la compétitivité et à la rentabilité. Apriori cette règle semble plus coûteuse à l'agence que les enchères traditionnelles. Nous prouvons au contraire qu'une implémentation appropriée de la règle du juste retour peut la rendre moins coûteuse que des enchères traditionnelles de libre concurrence. Nous considérons le cas de l'information complète où les niveaux de technologie des firmes sont de notoriété publique, et le cas de l'information incomplète où les sociétés observent en privée leurs coûts de production. Enfin, dans le troisième essai je dérive un mécanisme optimal d'appel d'offre dans un environnement où un acheteur d'articles hétérogènes fait face a de potentiels fournisseurs de différents groupes, et est contraint de choisir une liste de gagnants qui est compatible avec des quotas assignés aux différents groupes. La règle optimale d'attribution consiste à assigner des niveaux de priorité aux fournisseurs sur la base des coûts individuels qu'ils rapportent au décideur. La manière dont ces niveaux de priorité sont déterminés est subjective mais connue de tous avant le déroulement de l'appel d'offre. Les différents coûts rapportés induisent des scores pour chaque liste potentielle de gagnant. Les articles sont alors achetés à la liste ayant les meilleurs scores, s'il n'est pas plus grand que la valeur de l'acheteur. Je montre également qu'en général il n'est pas optimal d'acheter les articles par des enchères séparées.