-
Proofs as Executions
International audience -
The Coal Renaissance and Cosmopolitized Low-Carbon Societies
Current efforts at 'low-carbon transition' are marked by a striking paradox: the 'phenomenal' and 'historically incredible' resurgence of coal. Exploration of the... -
Social aspects of Total's Lacq CCS pilot project
21 pages. Submitted to IJGGC -
White Knights: Will wind and solar come to the rescue of a looming capacity g...
International audience -
Formal Verification of Concurrent Systems via Directed Model Checking
Model checking suffers from the state explosion problem, due to the exponential increase in the size of a finite state model as the number of system components grows.... -
La politique de démonstration de la capture et du stockage du dioxyde de carb...
Carbon capture and storage (CCS) combines several techniques in order to capture carbon dioxide emitted by industrial and energy production processes, transport it and... -
Les sites d'une controverse : le cas de la démonstration du CCS dans l'Union ...
Carbon capture and storage (CCS) combines several techniques in order to capture carbon dioxide emitted by industrial and energy production processes, transport it and... -
CCS : émergence d'une politique et d'une controverse dans l'UE
Carbon capture and storage (CCS) combines several techniques in order to capture carbon dioxide emitted by industrial and energy production processes, transport it and... -
The sites of the EU CCS demonstration policy
Carbon capture and storage (CCS) combines several techniques in order to capture carbon dioxide emitted by industrial and energy production processes, transport it and... -
Potential impacts of leakage from CO2geological storage ongeochemical process...
International audience -
Experimental measurement and Reynolds-averaged Navier-Stokes modelling of the...
International audience -
Addressing emerging risks using carbon capture and storage as an example
International audience -
Materials for the "AcceptRis" exercise on carbon capture and storage (CCS)
International audience -
CO2pipehaz : quantitative hazard assessment for next generation CO2 pipelines
International audience -
Reynolds-averaged navier-stokes modelling of the near-field structure of acci...
International audience -
A prospective analysis of waste heat management at power plants and water con...
International audience -
Thermochemical-based poroelastic modelling of salt crystallization, and a new...
In a context of international reduction of greenhouse gases emissions, CCS (ce{CO2} Capture and Storage) appears as a particularly interesting midterm solution....
