Agnès. Tellez-Arenas

French Geological Survey | BRGM · Direction des Systèmes d'Information

Enabling storing, scenario design, documentation, access and execution of scientific computations for multirisks mapping is the aim of the VIGIRISKS web platform currently designed and developed by the BRGM (French Geological Survey). VIGIRISKS platform insures geohazards data management, reproducibility of risks calculations, allows information tr...

As the climate is changing, more applied information on resulting impacts are required to inform adaptation planning. Over the last decade, the amount of information relevant to climate change impact assessment has grown drastically. This can particularly be illustrated in coastal areas, threatened by sea-level rise due to climate change, where a k...

Common Future under Climate Change (CFCC) Conference : International scientific conference, Jul 2015, Paris, France. 2015.

Dans le cadre du projet EO2Heaven, financé par l'Union Européenne (FP-7), nous avons développé un workflow automatique permettant de générer des cartes de pollution et de santé sur une zone de Durban (Afrique du Sud), à partir de données de capteurs de qualité de l'air. Pour cela, nous utilisons des scripts en python, la librairie GDAL et le logici...

http://meetingorganizer.copernicus.org/EGU2014/EGU2014-6603.pdf The global coverage of OneGeology Web Services (www.onegeology.org and portal.onegeology.org) achieved since 2007 from the 120 participating geological surveys will be reviewed and issues arising discussed. Recent enhancements to the OneGeology Web Services capabilities will be covered...

OneGeology-Europe project start in September 2008 and it’s founding by European Commission within the eContent – plus programme. The aim is to make accessibile by web the geologic spatial data. The system is based on the use of web map services in according with the OGC Standard. The data provide system is distributed database and data services stt...

OneGeology-Europe is a large ambitious project to make geological spatial data further known and accessible. The OneGeology-Europe project develops an integrated system of data to create and make accessible for the first time through the internet the geological map of the whole of Europe. The architecture implemented by the project is web services...

The OneGeology concept originated in early 2006. With the potential stimulus of the International Year of Planet Earth (IYPE) very much in mind, the challenge was: could we use IYPE to begin the creation of an interoperable digital geological dataset of the planet? Fourteen months later on the concept was unanimously endorsed by 83 representatives...

OneGeology-Europe is making geological spatial data held by the geological surveys of Europe more easily discoverable and accessible via the internet. This will provide a fundamental scientific layer to the European Plate Observation System Rich geological data assets exist in the geological survey of each individual EC Member State, but they are d...

The Geoscience Markup Language (GeoSciML) has been developed to enable the interchange of geoscience information, principally that portrayed on geological maps as well as boreholes. A GeoSciML testbed was developed both to test the implementation of the data model and its application in web services. The OneGeology-Europe project aims to use the Ge...

Explicit substitutions calculi provide a method to compute over -expressions by using first-order term rewriting systems. Many calculi have been proposed that differ by their signature, their number of rules and their theoretical properties. Our aim is to compare these systems from an operational point of view. For a selected class of such calculi,...

Explicit substitutions calculi provide a method to compute over -expressions by using first-order term rewriting systems. Many calculi have been proposed that differ by their number of rules and their theoretical properties. In order to compare these systems, we have developed prototypes written in ELAN. In this paper, we recall their principal pro...

Tools allowing set manipulations are generally accepted by the logic programming community as providing a very "ad-hoc" formulation of a number of problems. Most of the existing approaches to deal with sets in a constraint logic programming framework work with extensional (finite) sets, or (infinite) regular sets using tree automatas. But intension...

Existing approaches to deal with sets in a CLP framework generally assume the finiteness of the subjacent sets: that is a reason why intensional sets are often forbidden. In this paper, we propose a new compilation method to treat intensional sets in a general setting. Our representation relies on a simply typed -calculus: sets are considered as Bo...

Many powerful specification languages are based on set theory, such as Z ([12]) and B ([1]) derived from VDM([6]). To validate a specification developed along such lines at a formal level, one needs tools to manipulate logical formulas on sets. Behavioral properties of modules specified in this manner can be naturally described using intentional se...

Set constraints are naturally involved in many computer science areaa and there is a large agreement to recognize the availability of set data abstractions as a valuable feature in programming or specification languages. At this time, the main problem is the choice of a relevant implementation support for such dataa. Most previous works deals with...

A lot of attention has been paid to the integration of sets into constraint logic programminglanguages because they lead to concise and elegant formulations of a number of interestingproblems. However, existing approaches generally assume the finiteness of the subjacent sets:that is a reason why intensional sets are often forbidden. We propose here...