Title | Date | Type | Setname | ||
---|---|---|---|---|---|
1 | Asynchronous circuit verification using trace theory and CCS | 1992 | Text | ir_uspace | |
2 | Clean coal program research activities: Final report: Reporting period 07/01/2006-05/31/2009 | 2010-05 | Text | ir_eua | |
3 | Co-simulation for design and optimization of advanced energy systems with carbon capture | 2009-10 | Text | ir_eua | |
4 | CO2 capture from fossil energy power plants | 2008-05-23 | Text | ir_eua | |
5 | Coal in a changing climate and challenges for CCS deployment | 2008-05-23 | Text | ir_eua | |
6 | Helium equilibrium between pore water and quartz: application to determine caprock permeability | 2012-05 | Text | ir_etd | |
7 | Measurement and simulation analysis of CO2 leakage at the crystal geyser site and reconciliation of the mechanisms for the amount of flux from the geyser and adjacent a | 2015-05 | Text | ir_etd | |
8 | Modeling of call - by - need and stream primitives using CCS | 1982 | Text | ir_uspace | |
9 | Role of simulation in carbon management | 2013-05-07 | Text; Image | ir_eua |