Academic literature on the topic 'Modifications de spécification'

Résumé Nous utilisons la méthodologie de King pour décrire en termes de variation de bien-être les effets de six propositions de réforme de la TVA pour la France, parmi lesquelles figure celle de la Commission Européenne. Un résultat constant est le faible impact de ces réformes sur l’inégalité de la distribution des niveaux de bien-être, mettant une fois encore en évidence les limites du pouvoir redistributif de la TVA. La comparaison avec des études antérieures portant sur le passage à un taux unique et sur la réforme de 1982 indique une étonnante robustesse des résultats à des modifications d'éléments de la spécification tels que le nombre et la nature des biens considérés. La réforme proposée par la Commission Européenne apparaît, dans le cadre d’analyse partielle choisi ici, comme à la fois peu efficace et légèrement inégalitaire. Enfin, l’analyse indique l’importance du calcul d’écart-types pour les mesures de variation de bien-être estimées, en fournissant à la fois des exemples d’effets importants mais non significatifs et d’effets en apparence minimes, mais bien déterminés.

Résumé Nous développons dans cet article une modélisation vectorielle autorégressive non linéaire pour l’étude des interdépendances entre les marchés boursiers. Parmi les innovations de ce travail, nous introduisons un bris structurel dans la matrice des variances-covariances conditionnelle d’un processus GARCH multivarié. Dans cet ordre d’idée, nous considérons une spécification BEKK de cette matrice augmentée avec des régresseurs de transmission des chocs de volatilité entre les marchés. L’objectif de cette modification est de répondre à plusieurs biais importants dans la mesure des volatilités et des corrélations entre les marchés : d’une part, le biais de surestimation de la persistance des chocs de volatilité; d’autre part, les biais d’hétéroscédasticité et de variables omises dans la mesure des corrélations. Nous considérons ici un échantillon de 11 marchés boursiers d’Europe, d’Amérique du Nord et d’Asie avec des données hebdomadaires des indices les plus larges entre 1985 et 2006. Plusieurs résultats intéressants sont obtenus avec cette modélisation : la réduction de la persistance des chocs de volatilité; l’évidence d’une transmission des prix et des incertitudes du marché américain vers les marchés européens et asiatiques; l’existence de phénomène de transmission régionale en Europe et en Asie; mis à part le krach américain d’octobre 1987, toutes les crises ne sont pas systématiquement contagieuses. Au final, il n’est pas évident que la libéralisation financière isole les marchés des crises financières diverses, bien que l’intégration soit un vecteur d’efficience des marchés. Les crises et le phénomène de contagion en période de crise peuvent être considérés comme des processus de rééquilibrage des marchés qui doivent être encadrés, régulés et supervisés.

Maitriser l'activité de programmation est aujourd'hui un objectif central de la recherche en informatique. La programmation par règles de transformation fait partie des approches possibles pour atteindre cet objectif. Dans cette thèse, nous nous intéressons à un raisonnement (stratégie) particulier dans cette approche. Ce raisonnement, dit non monotone, est caractérisé par une modification sémantique du problème à résoudre. Cette modification effectuée dans le but de simplifier la recherche d'un algorithme est réalisée à l'aide de transformations appelées des modificateurs. Quatre types de modificateurs sont définis permettant à partir d'une spécification donnée SPO de construire une spécification sp1 équivalente-a, plus-générale-que, plus-spécialisée-que ou analogue-a SPO. Dans le but d'apporter une aide lors de la mise en œuvre de raisonnements non monotones, nous définissons des schémas de développement interactifs. L'utilisation de tels schémas permet au développeur d'être guidé pendant la construction de programmes: soit certaines étapes du développement sont (partiellement ou complètement) automatisées, soit des heuristiques sont proposées. Chaque schéma propose est décrit formellement et nous indiquons sous quelles conditions le programme obtenu est correct par rapport à la spécification de départ. Notre approche est également expérimentale: un système d'aide au développement de programmes permettant la mise en œuvre des schémas non monotones définis a été développé

Ce travail analyse les problèmes posés par l'administration des systèmes répartis. Il dégage un ensemble de services de base permettant la construction d'un ensemble complet de services d'administration. Il définit donc un noyau d'administration constitué d'un service étendue de gestion de la configuration, remplissant à la fois la spécification de la configuration, la gestion des modifications, et la gestion de l'audit. La spécification de la configuration permet de fournir une description de haut niveau des ressources du système. Cette spécification est décrite grâce à une extension du langage C++. L'extension est réalisée grâce à une bibliothèque de classes et un préprocesseur permettant la spécification des relations entre les différentes entités et celle des notifications qui pourront être émises pour signaler un changement de l'état d'une ressource. Nous proposons un protocole original de gestion des modifications de la configuration. Il permet au système d'accepter les changements structurels (retrait, ajout, connexion et déconnexion). L'algorithme proposé permet au système d'évoluer d'une configuration vers une autre sans mettre en cause la cohérence des applications qui s'exécutent sur le système, et ceci avec un coût très bas en terme de ralentissement observé

La différenciation cellulaire implique des facteurs clés. Chez la drosophile, le facteur de transcription Glide/Gcm est impliqué dans la différenciation de deux types de cellules immunitaires : les macrophages circulants, qui ont une origine hématopoïétique, et les cellules gliales, macrophages résidents du système nerveux central, qui sont issues des précurseurs neuraux. J'ai d'abord entrepris la caractérisation du potentiel hématopoïétique de Gcm et l'identification de ses cibles dans les hémocytes. Ensuite, pour comprendre comment plusieurs types cellulaires peuvent être spécifiés par un même facteur de transcription, j'ai étudié comment s'effectue le choix entre le destin glial et le destin hémocytaire de la cellule. J'ai en particulier misen évidence le rôle clé des gènes agissant en aval de Gcm, ceux impliqués dans la consolidation et le maintien de l'identité cellulaire. Finalement, j'ai participé à la caractérisation du territoire d'expression de Gcm au niveau protéique et découvert un nouveau rôle de Gcm dans la différenciation de cellules neurosécrétrices, cellules indispensable pour initier le signal hormonal déclenchant le phénomène de mue chez les insectes
Cell fate determination involves key transcription factors. ln Drosophila, the transcription factor Glide/Gcm is required for the differentiation of two immune cell types: circulating macrophages,which arise from hematopoietic precursors, and glial cells, resident macrophages of the central nervous system, which differentiate from neural precursors. ln first, 1 characterized Gcm hematopoietic potential and identified its target genes in hemocytes. Then, to get an insight intomolecular mechanisms underlying the acquisition of several identities with a single fate determinant, 1 investigated how the choice between the hemocyte and the glial fates is regulated.Being necessary to consolidate and to maintain a specific fate, 1 highlight the key role of genes acting downstream of a fate determinant. Finally, 1 contribute to characterize Gcm expression profile at the protein level and highlight a new role of Gcm in the differentiation of neurosecretory cells, cells absolutely required to initiate the hormonal signal triggering the molting process in insects