Methodology to define and map the sub-region entities urban, peri-urban and rural areas

KB36-0063-02

Land Cover Change Monitoring Using Landsat MSS/TM Satellite Image Data over West Africa between 1975 and 1990

Abstract: Monitoring land cover changes from the 1970s in West Africa is important for assessing the dynamics between land cover types and understanding the anthropogenic impact during this period. Given the lack of historical land cover maps over such a large area, Landsat data is a reliable and consistent source of information on land cover dynamics from the 1970s. This study examines land cover changes occurring between 1975 and 1990 in West Africa using a systematic sample of satellite imagery. The primary data sources for the land cover classification were Landsat Multispectral Scanner (MSS) for 1975 and Landsat Thematic Mapper (TM) for the 1990 period. Dedicated selection of the appropriate image data for land cover change monitoring was performed for the year 1975. Based on this selected dataset, the land cover analysis is based on a systematic sample of 220 suitable Landsat image extracts (out of 246) of 20 km × 20 km at each one degree latitude/longitude intersection. Object-based classification, originally dedicated for Landsat TM land cover change monitoring and adapted for MSS, was used to produce land cover change information for four different land cover classes: dense tree cover, tree cover mosaic, other wooded land and other vegetation cover. Our results reveal that in 1975 about 6% of West Africa was covered by dense tree cover complemented with 12% of tree cover mosaic. Almost half of the area was covered by other wooded land and the remaining 32% was represented by other vegetation cover. Over the 1975–1990 period, the net annual change rate of dense tree cover was estimated at −0.95%, at −0.37% for the other wooded land and very low for tree cover mosaic (−0.05%). On the other side, other vegetation cover increased annually by 0.70%, most probably due to the expansion of agricultural areas. This study demonstrates the potential of Landsat MSS and TM data for large scale land cover change assessment in West Africa and highlights the importance of consistent and systematic data processing methods with targeted image acquisition procedures for long-term monitoring.JRC.H.5-Land Resources Managemen

Task 2: Analysis of the MS replies to the EEA request for inventorying existing LU information in the countries : D2 - Report containing an assessment of the LU inventory by MS, including an assessment on the impact of existing / missing LU parameters for the creation of CLC+ LULUCF and Legacy instances

Implementation of CLC+ based on the EAGLE concept –additional support for further development of CLC+ databases (CLC+ and CLC+ instances, namely CLC+ LULUCF instance and CLC+ Legacy instance) <br/

ELAN : un cadre logique pour le prototypage de langages de programmation avec contraintes

Texte intégral accessible uniquement aux membres de l'Université de LorraineNot availableLa thèse décrit l'étude et l'implantation du langage ELAN qui permet de spécifier, sur une base uniforme de systèmes de calcul, différents langages de programmation logique et différents résolveurs de contraintes. ELAN est basé sur l'idée que la sémantique opérationnelle de langages de programmation logique dans le sens général du terme et la résolution de contraintes peuvent être décrites d'une façon uniforme en donnant la syntaxe des formules, l'ensemble des axiomes et l'ensemble des règles de déduction. Les deux processus peuvent être vus comme l'instance du meme schéma d'application des règles de réécriture (de déduction) sur des formules, suivant une stratégie permettant l'obtention d'une forme spéciale. La logique de réécriture, introduite par Jose Meseguer, peut être ainsi utilisée pour coder différentes logiques intéressantes. Afin de pouvoir spécifier des procédures de résolution, la thèse présente une notion de stratégie, obtenant ainsi des systèmes de calcul. Un système de calcul est alors défini par une signature décrivant la syntaxe, un ensemble de règles de réécriture définissant le mécanisme de déduction et une stratégie qui guide l'application des règles. La thèse décrit également l'implantation d'ELAN et quelques exemples de procédures de résolution réalises avec cette implantation, en particulier la sld-resolution, la surréduction, la surréduction basique, la surréduction paresseuse et l'unification syntaxique et commutativ

ELAN : un cadre logique pour le prototypage de langages de programmation avec contraintes

Texte intégral accessible uniquement aux membres de l'Université de LorraineNot availableLa thèse décrit l'étude et l'implantation du langage ELAN qui permet de spécifier, sur une base uniforme de systèmes de calcul, différents langages de programmation logique et différents résolveurs de contraintes. ELAN est basé sur l'idée que la sémantique opérationnelle de langages de programmation logique dans le sens général du terme et la résolution de contraintes peuvent être décrites d'une façon uniforme en donnant la syntaxe des formules, l'ensemble des axiomes et l'ensemble des règles de déduction. Les deux processus peuvent être vus comme l'instance du meme schéma d'application des règles de réécriture (de déduction) sur des formules, suivant une stratégie permettant l'obtention d'une forme spéciale. La logique de réécriture, introduite par Jose Meseguer, peut être ainsi utilisée pour coder différentes logiques intéressantes. Afin de pouvoir spécifier des procédures de résolution, la thèse présente une notion de stratégie, obtenant ainsi des systèmes de calcul. Un système de calcul est alors défini par une signature décrivant la syntaxe, un ensemble de règles de réécriture définissant le mécanisme de déduction et une stratégie qui guide l'application des règles. La thèse décrit également l'implantation d'ELAN et quelques exemples de procédures de résolution réalises avec cette implantation, en particulier la sld-resolution, la surréduction, la surréduction basique, la surréduction paresseuse et l'unification syntaxique et commutativ

Implementing Computational Systems with Constraints

The paper presents a framework to describe, experiment and study the combination of different computational systems including the constraint solving paradigm. Computational systems are interpreted in a first-order setting thanks to an evaluator that rewrites formulas