Agnès. Tellez-Arenas

Agnès. Tellez-Arenas
French Geological Survey | BRGM · Direction des Systèmes d'Information

About

18
Publications
725
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
58
Citations
Citations since 2017
3 Research Items
23 Citations
2017201820192020202120222023012345
2017201820192020202120222023012345
2017201820192020202120222023012345
2017201820192020202120222023012345

Publications

Publications (18)
Article
Full-text available
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...
Chapter
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...
Article
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...
Article
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...
Article
Full-text available
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...
Article
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...
Article
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...
Article
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...
Article
Full-text available
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...
Article
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,...
Article
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...
Article
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...
Article
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...
Article
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...
Conference Paper
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...
Conference Paper
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...

Network

Cited By

Projects

Project (1)
Archived project