Academic literature on the topic 'Incohérence temporelle'

Résumé Le texte considère le problème que doit résoudre une Banque centrale qui veut stabiliser à la fois le taux de change et le taux d'intérêt. En l'absence de pos­sibilité d'engagement, la politique d'équilibre (la politique « temporellement cohé­rente ») n'est pas optimale. On montre que s'engager à maintenir le taux de change à l'intérieur d'une zone cible peut être bénéfique pour deux raisons. En premier lieu, parce que stabiliser le taux de change permet de se rapprocher de la solution linéaire stationnaire optimale. En second lieu, à travers l'effet de « lune de miel » une zone cible possède une propriété additionnelle commune avec la poli­tique qui est optimale lorsqu'il est possible de s'engager sur la politique future.

RésuméCe papier présente certains développements théoriques récents sur la crédibilité des politiques économiques. Après avoir souligné les limites des analyses traditionnelles à la Barro Gordon, on expose les différentes approches utilisées pour résoudre les problèmes de crédibilité. Dans une première approche, on fait l'hypothèse que les problèmes de crédibilité sont résolus par des mécanismes intergéné-rationnels, i.e. des équilibres de Nash parfaits entre des générations représentées par des gouvernements bienveillants. La seconde approche met l'accent sur la négociation implicite entre les agents privés et le Gouvernement, négociation qui conduit à un résultat différent de la politique crédible au sens de Barro et Gordon. La troisième approche analyse le processus de sélection des politiques économiques dans une démocratie. Plus précisément, on ne cherche plus à rendre crédible la politique temporairement incohérente, on part de l'hypothèse qu'il existe des règles, et on se demande comment elles sont choisies.

La Loi sur le transfert des valeurs mobilières et l’obtention des titres intermédiés a opéré d’importants changements en matière de droit des sûretés mobilières. Elle a créé de toutes pièces un régime dérogatoire au droit commun en prévoyant un gage par maîtrise. Cette loi a ajouté de nouvelles dispositions dans le Code civil du Québec. Le présent article pose un regard critique sur l’ensemble de ces nouvelles dispositions puisque les règles traditionnelles de constitution et d’opposabilité du gage sont remises en cause. D’une part, la remise matérielle du bien ou du titre est remplacée par le concept de maîtrise des valeurs mobilières et des titres intermédiés. D’autre part, la règle de l’ordre temporel des créanciers munis de sûretés est écartée. Le gage par maîtrise a préséance sur les autres gages ou hypothèques sans dépossession constituées sur les mêmes valeurs mobilières et titres intermédiés. L’auteure propose d’analyser cette transformation, qu’elle juge inquiétante, du concept classique du contrat de gage. Elle décrira également les incohérences et les incertitudes juridiques causées par l’application d’un tel régime dérogatoire sur l’ensemble du droit des sûretés mobilières au Québec.

L’incohérence temporelle des politiques publiques, la prise en compte des comportements des agents privés dans les décisions publiques ainsi que leur interaction stratégique avec les décideurs publics redonnent de l’intérêt à la conduite de la politique budgétaire en présence des lobbies. La présente réflexion vise à montrer que la conduite de la politique budgétaire est handicapée en présence de lobbies, en prenant le cas des petites économies ouvertes de la Communauté Economique et Monétaire de l’Afrique Centrale (CEMAC). A l’aide d’un modèle théorique de jeux, il ressort que l’existence des lobbies engendre une coproduction des politiques publiques au sein de la CEMAC et intègre les possibilités d’une régulation pour son encadrement.

Abstract This article draws a comprehensive map of conflict climate change scholarship. It uses visualizations and descriptive statistics to trace the temporal, spatial, and topical evolution of the field of study via a bibliometric analysis of more than six hundred publications. It then proceeds to summarize findings, theoretical explanations, and methodological approaches. Overall, this systematic review shows a remarkable inconsistency of evidence among publications. As a way forward, this article recommends future research to use computational models, informed by a social-ecological perspective, to better explore the link between climate change and conflict. Resumen En este artículo se traza un mapa integral de la erudición conflictiva del cambio climático. Se utilizan visualizaciones y estadísticas descriptivas para rastrear la evolución temporal, espacial y temática del campo de estudio mediante un análisis bibliométrico de más de seiscientas publicaciones. Luego, continúa con un resumen de los hallazgos, las explicaciones teóricas y los enfoques metodológicos. En términos generales, esta revisión sistemática muestra una notable incoherencia de evidencias entre las publicaciones. En este artículo se recomiendan investigaciones a futuro para utilizar los modelos computacionales, informados con una perspectiva socioecológica, a fin de explorar mejor la conexión entre el cambio climático y los conflictos. Extrait Cet article offre une représentation complète des recherches portant sur les conflits liés au changement climatique. Il utilise des visualisations et des statistiques descriptives pour retracer l’évolution temporelle, spatiale et thématique de ce domaine d’étude via une analyse bibliométrique de plus de six cents publications. Il résume ensuite les constatations, explications théoriques et approches méthodologiques. Globalement, cette synthèse systématique montre une incohérence remarquable des preuves entre les publications. Pour aller de l'avant, cet article recommande que les recherches futures passent par des modèles informatiques éclairés par une perspective socio-écologique pour mieux explorer le lien entre le changement climatique et les conflits.

On s'intéresse aux questions de crédibilité des politiques économiques. Nous faisons tout d'abord un survol de la littérature sur la sélection des politiques économiques crédibles dans une démocratie. Puis, nous étudions à quelles conditions une banque centrale européenne dépendant des états nationaux pour son information économique peut être réellement indépendante. Ensuite, nous étudions le concept d'équilibre avec anticipations économiquement rationnelles. Puis, nous essayons de clarifier la différence entre politiques tc1 et tc0 et la différence entre politiques temporellement cohérentes et théorie des jeux. Enfin, on propose une explication à la baisse simultanée, dans les pays en développement, des taux de taxation du capital et des investissements directs durant la décennie 80<br>Credibility, time inconsistency and economic policies we are concerned with the problem of the credibility of economie policies. We first survey the literature on the selection of credible economic policies in a democracy. Then, we study under what conditions, a european central bank depending on the national states for its informations may really be independend we propose and study a concept of economically rational expectations equilibrium. Then we try to clarify two problems : the difference between tco and tc1 policies and the difference between time consistent policies and game theory. Finally, we provide an exlpanation to the simultaneous decrease in the less developped countries of the taxes on capital and direct investments during the eighties

Le développement croissant des réseaux et en particulier l'Internet a considérablement développé l'écart entre les systèmes d'information hétérogènes. En faisant une analyse sur les études de l'interopérabilité des systèmes d'information hétérogènes, nous découvrons que tous les travaux dans ce domaine tendent à la résolution des problèmes de l'hétérogénéité sémantique. Le W3C (World Wide Web Consortium) propose des normes pour représenter la sémantique par l'ontologie. L'ontologie est en train de devenir un support incontournable pour l'interopérabilité des systèmes d'information et en particulier dans la sémantique. La structure de l'ontologie est une combinaison de concepts, propriétés et relations. Cette combinaison est aussi appelée un graphe sémantique. Plusieurs langages ont été développés dans le cadre du Web sémantique et la plupart de ces langages utilisent la syntaxe XML (eXtensible Meta Language). Les langages OWL (Ontology Web Language) et RDF (Resource Description Framework) sont les langages les plus importants du web sémantique, ils sont basés sur XML.Le RDF est la première norme du W3C pour l'enrichissement des ressources sur le Web avec des descriptions détaillées et il augmente la facilité de traitement automatique des ressources Web. Les descriptions peuvent être des caractéristiques des ressources, telles que l'auteur ou le contenu d'un site web. Ces descriptions sont des métadonnées. Enrichir le Web avec des métadonnées permet le développement de ce qu'on appelle le Web Sémantique. Le RDF est aussi utilisé pour représenter les graphes sémantiques correspondant à une modélisation des connaissances spécifiques. Les fichiers RDF sont généralement stockés dans une base de données relationnelle et manipulés en utilisant le langage SQL ou les langages dérivés comme SPARQL. Malheureusement, cette solution, bien adaptée pour les petits graphes RDF n'est pas bien adaptée pour les grands graphes RDF. Ces graphes évoluent rapidement et leur adaptation au changement peut faire apparaître des incohérences. Conduire l'application des changements tout en maintenant la cohérence des graphes sémantiques est une tâche cruciale et coûteuse en termes de temps et de complexité. Un processus automatisé est donc essentiel. Pour ces graphes RDF de grande taille, nous suggérons une nouvelle façon en utilisant la vérification formelle " Le Model checking ".Le Model checking est une technique de vérification qui explore tous les états possibles du système. De cette manière, on peut montrer qu'un modèle d'un système donné satisfait une propriété donnée. Cette thèse apporte une nouvelle méthode de vérification et d'interrogation de graphes sémantiques. Nous proposons une approche nommé ScaleSem qui consiste à transformer les graphes sémantiques en graphes compréhensibles par le model checker (l'outil de vérification de la méthode Model checking). Il est nécessaire d'avoir des outils logiciels permettant de réaliser la traduction d'un graphe décrit dans un formalisme vers le même graphe (ou une adaptation) décrit dans un autre formalisme

Le suivi de la neige sèche a une place importante dans la télédétection, en raison du grand intérêt des applications en hydrologie, climatologie ou de la prévision d'avalanche. Ce travail présente des méthodes d'analyse multi-fréquentielles et multi-temporelles du couvert neigeux en milieux alpins à partir de données SAR polarimétriques.<br />A l'aide d'un modèle numérique de terrain, une étude polarimétrique altitudinale du couvert neigeux est développée, permettant d'associer une attitude à un comportement polarimétrique spécifique.<br />Ces méthodes sont appliquées sur des données SAR polarimétriques SIR-C des sites alpins de Risoul et Izoard.

Cette thèse étudie la faisabilité du raisonnement automatique sur des bases de connaissances DL-Lite temporelles TDL-Lite. Dans la première partie, nous avons traduit les bases de connaissances exprimées en TDL-Lite en logique temporelle de première ordre et en logique temporelle linéaire LTL qui sont munies de raisonneurs temporels permettant de vérifier leur satisfiabilité. Nous avons réalisé diverses expériences pour analyser les performances et la robustesse des différents raisonneurs sur des scénarios jouets et sur des bases de connaissances TDL-Lite synthétiques de tailles variables. Par ailleurs, lors du traitement des bases de connaissances avec une composante Assertionnel ABox de grande taille, nous avons également proposé une approche d’abstraction des assertions temporelles afin d’améliorer la scalabilité du raisonnement. Nous avons mené plusieurs tests pour évaluer l’efficacité de l’abstraction en mesurant le gain en termes de nombre d’assertions et d’individus dans la ABox. En outre, nous avons mesuré le nouveau temps d’exécution de quelques raisonneurs sur de telles bases de connaissances résumées. Enfin, dans l’objectif de faire de l’utilisation des bases de connaissances en TDL-Lite une réalité, nous avons présenté un outil complet avec une interface graphique qui permet de les concevoir. Notre interface est basée sur des principes de modélisation conceptuelle et elle est intégrée à notre outil de traduction et aux différents raisonneurs temporels. En considérant la ABox comme source d’incohérence, nous avons, dans la deuxième partie de la thèse, traité le problème de gestion des données incohérentes dans les bases de connaissances en TDL-Lite. En effet, nous avons proposé une approche de réparation de la ABox. Il s’agit du premier travail sur la réparation appliquée aux bases de connaissances en logiques de description temporelles. Pour ce faire, nous avons d’abord détecté et localisé les assertions temporelles sources d’incohérence et nous avons ensuite proposé une réparationtemporelle de ces données. Pour la détection, nous avons proposé une traduction des bases de connaissances de TDL-Lite vers DL-Lite; ce qui a permis d’utiliser des raisonneurs de la logique de description hautement optimisés et capables d’apporter une explication précise de l’incohérence. A partir de l’explication obtenue, nous avons ensuite proposé une méthode pour calculer automatiquement la meilleure réparation temporelle en fonction: a) des prédicats rigides, invariants dans le temps, autorisés dans la définition de la base de connaissances et b) de l’ordre temporel des assertions<br>We investigate the feasibility of automated reasoning over temporal DL-Lite (TDL-Lite) knowledge bases (KBs). We translate TDL-Lite KBs into a fragment of FO-logic and into LTL and apply off-the-shelf LTL and FO-based reasoners for checking the satisfiability. We conduct various experiments to analyse the runtime performance of different reasoners on toy scenarios and on randomly generated TDL-Lite KBs as well as the size of the LTL translation. To improve the reasoning performance when dealing with large ABoxes, our work also proposes an approach for abstracting temporal assertions in KBs. We run several experiments with this approach to assess the effectiveness of the technique by measuring the gain in terms of the size of the translation, the number of ABox assertions and individuals. We also measure the new runtime of some solvers on such abstracted KBs. Lastly, in an effort to make the usage of TDL-Lite KBs a reality, we present a fully-fledged tool with a graphical interface to design them. Our interface is based on conceptual modeling principles, and it is integrated with our translation tool and a temporal reasoner. In this thesis, we also address the problem of handling inconsistent data in Temporal Description Logic (TDL) knowledge bases. Considering the data part of the knowledge base as the source of inconsistency over time, we propose an ABox repair approach. This is the first work handling the repair in TDL Knowledge bases. To do so, our goal is two folds: 1) detect temporal inconsistencies and 2) propose a data temporal repair. For the inconsistency detection, we propose a reduction approach from TDL to DL which allows to provide a tight NP-complete upper bound for TDL concept satisfiability and to use highly optimized DL reasoners that can bring precise explanation (the set of inconsistent data assertions). Thereafter, from the obtained explanation, we propose a method for automatically computing the best repair in the temporal setting based on the allowed rigid predicates and the time order of assertions

L'Imagerie par Résonance Magnétique pondérée en Diffusion (IRM-D) permet l'accès à l'information structurelle des tissus au travers de la lecture du mouvement brownien des molécules d'eau. Ses applications sont nombreuses en imagerie cérébrale, tant en milieu clinique qu'en recherche. Néanmoins le mouvement physiologique créé une perte de signal supplémentaire au cours de l'encodage de la diffusion. Cette perte de signal liée au mouvement limite les applications de l'IRM-D quant à l'imagerie cardiaque. L'utilisation de faibles valeurs de pondération (b) réduit cette sensibilité mais permet seulement l'imagerie du mouvement incohérent intra-voxel (IVIM) qui contient la circulation sanguine et la diffusion des molécules d'eau. L'imagerie IVIM possède pourtant de nombreuses applications en IRM de l'abdomen, depuis la caractérisation tissulaire à la quantification de la perfusion, mais reste inexplorée pour l'imagerie du coeur. Mon travail de thèse correspond à l'évaluation des conditions d'application de l'IRM-D à faibles valeurs de b pour le coeur humain, afin de proposer des contributions méthodologiques et d'appliquer les techniques développées expérimentalement. Nous avons identifié le mouvement cardiaque comme une des sources majeures de perte de signal. Bien que le mouvement global puisse être corrigé par un recalage non-rigide, la perte de signal induite par le mouvement perdure et empêche l'analyse précise par IRM-D du myocarde. L'étude de cette perte de signal chez un volontaire a fourni une fenêtre temporelle durable où le mouvement cardiaque est au minimum en diastole. Au sein de cette fenêtre optimale, la fluctuation de l'intensité atteste d'un mouvement variable résiduel. Une solution de répéter les acquisitions avec un déclenchement décalé dans le temps permet la capture des minimas du mouvement, c.-à-d. des maximas d'intensité en IRM-D. La projection du maximum d'intensité dans le temps (TMIP) permet ensuite de récupérer des images pondérées en diffusion avec un minimum de perte de signal lié au mouvement. Nous avons développé et évalué différentes séquences d'acquisition combinées avec TMIP : la séquence d'imagerie écho-planaire classique par écho de spin (SE-EPI) peut être adaptée mais souffre du repliement d'image ; une séquence Carr-Purcell-Meiboom-Gill combinée avec une préparation d'encodage de diffusion est plus robuste aux distorsions spatiales mais des artefacts de bandes noires empêchent son applicabilité ; finalement une séquence double-SE-EPI compensant les courants de Foucault et pleinement optimisée produit des images IRM-D moins artefactées. Avec cette séquence, l'IRM-D-TMIP permet la réduction significative de la perte de signal liée au mouvement pour l'imagerie cardiaque pondérée en diffusion. L'inconvénient avec TMIP vient de l'amplification du bruit positif d'intensité. Afin de compenser cette sensibilité du TMIP, nous séparons le bruit d'intensité des fluctuations lentes liées au mouvement grâce à une nouvelle approche basée sur l'analyse en composantes principales (PCA). La décomposition préserve les détails anatomiques tout en augmentant les rapports signal et contraste-à-bruit (SNR, CNR). Avec l'IRM-D-PCATMIP, nous augmentons à la fois l'intensité finale et la qualité d'image (SNR) en théorie et expérimentalement. Les bénéfices ont été quantifiés en simulation avant d'être validés sur des volontaires. De plus la technique a montré des résultats reproductibles sur des patients post-infarctus aigue du myocarde, avec un contraste cohérent avec la position et l'étendue de la zone pathologique. Contrairement à l'imagerie cérébrale, l'imagerie IRM-D par faibles valeurs de pondération in vivo doit être différentiée des analyses IRM-D ex-vivo. Ainsi l'IRM-D-PCATMIP offre une technique sans injection pour l'exploration du myocarde par imagerie IVIM. Les premiers résultats sont encourageants pour envisager l'application sur un modèle expérimental d'une maladie cardiovasculaire [etc...]<br>Diffusion weighted magnetic resonance imaging (DW-MRI, or DWI) enables the access to the structural information of body tissues through the reading of water molecules Brownian motion. Its applications are many in brain imaging, from clinical practice to research. However physiological motion induces an additional signal-loss when diffusion encoding is applied. This motion-induced signal-loss limits greatly its applications in cardiac imaging. Using low diffusion-weighting values (b) DWI reduces this sensitivity but permits only the imaging of intravoxel incoherent motion (IVIM), which combines both water diffusion and perfusion. IVIM imaging has many applications in body MRI, from tissue characterization to perfusion quantification but remains unexplored for the imaging of the heart. The purpose of this work was to evaluate the context of low b-values DWI imaging of the heart, propose methodological contributions and then apply the developed techniques experimentally. We identified cardiac motion as one of the major sources of motion-induced signal loss. Although bulk motion can be corrected with a non-rigid registration algorithm, additional signal-loss remains uncorrected for and prevents accurate DWI of the myocardium. The study of diffusion-weighted signal-loss induced by cardiac motion in a volunteer provided a time-window when motion is at minimum in diastole. Within this optimal time-window, fluctuation of intensity attests of variable remaining physiological motion. A solution to repeat acquisition with shifted trigger-times ease the capture of motion amplitude minima, i.e. DWI-intensity maxima. Temporal maximum intensity projection (TMIP) finally retrieves diffusion weighted images of minimal motion-induced signal-loss. We evaluated various attempts of sequence development with TMIP: usual spin-echo echo-planar imaging (se-EPI) sequence can be improved but suffers aliasing issues; a balanced steady-state free-precession (b-SSFP) combined with a diffusion preparation is more robust to spatial distortions but typical banding artifacts prevent its applicability; finally a state-of-the-art double-spin-echo EPI sequence produces less artifacted DWI results. With this sequence, TMIP-DWI proves to significantly reduce motion-induced signal-loss in the imaging of the myocardium. The drawback with TMIP comes from noise spikes that can easily be highlighted. To compensate for TMIP noise sensitivity, we separated noise spikes from smooth fluctuation of intensity using a novel approach based on localized principal component analysis (PCA). The decomposition was made so as to preserve anatomical features while increasing signal and contrast to noise ratios (SNR, CNR). With PCATMIP-DWI, both signal-intensity and SNR are increased theoretically and experimentally. Benefits were quantified in a simulation before being validated in volunteers. Additionally the technique showed reproducible results in a sample of acute myocardial infarction (AMI) patients, with a contrast matching the extent and location of the injured area. Contrarily to brain imaging, in vivo low b-values DWI should be differentiated from ex vivo DWI pure diffusion measurements. Thus PCATMIP-DWI might provide an injection-free technique for exploring cardiac IVIM imaging. Early results encourage the exploration of PCATMIP-DWI in an experimental model of cardiac diseases. Moreover the access to higher b values would permit the study of the full IVIM model for the human heart that retrieves and separates both perfusion and diffusion information