Tag ccs [42 articles] Export

Recent papers classified by the tag ccs.

	Carbon dioxide recovery from post-combustion processes: Can gas permeation membranes compete with absorption? [My Copy] Journal of Membrane Science, Vol. 294, No. 1-2. (15 May 2007), pp. 50-59. by Eric Favre posted to membrane ccs by carboncapture on 2009-11-24 01:44:50 as
	Adsorbent Materials for Carbon Dioxide Capture from Large Anthropogenic Point Sources [My Copy] ChemSusChem, Vol. 2, No. 9. (2009), pp. 796-854. by Sunho Choi, Jeffrey H. Drese, Christopher W. Jones posted to co2_adsorption ccs by carboncapture on 2009-11-20 06:01:29 as
	Recent Advances in CO2 Capture and Utilization [My Copy] ChemSusChem, Vol. 1, No. 11. (2008), pp. 893-899. by Kai Man Kerry Yu, Igor Curcic, Joseph Gabriel, Shik Chi Edman Tsang posted to co2_utilization ccs by carboncapture on 2009-11-20 05:07:45 as
	Conceptual study of distributed CO2 capture and the sustainable carbon economy [My Copy] Energy Conversion and Management, Vol. 49, No. 6. (June 2008), pp. 1674-1683. by D. Damm, A. Fedorov posted to ccs by carboncapture on 2009-11-19 17:16:24 as
	CO2 capture from power plantsPart II. A parametric study of the economical performance based on mono-ethanolamine [My Copy] International Journal of Greenhouse Gas Control, Vol. 1, No. 2. (April 2007), pp. 135-142. by M. Abuzahra, J. Niederer, P. Feron, G. Versteeg posted to monoethanolamine ccs amines by carboncapture on 2009-11-19 17:07:47 as
	CO2 capture from power plantsPart I. A parametric study of the technical performance based on monoethanolamine [My Copy] International Journal of Greenhouse Gas Control, Vol. 1, No. 1. (April 2007), pp. 37-46. by M. Abuzahra, L. Schneiders, J. Niederer, P. Feron, G. Versteeg posted to monoethanolamine ccs amines by carboncapture on 2009-11-19 17:03:06 as
	New absorption liquids for the removal of CO2 from dilute gas streams using membrane contactors [My Copy] Chemical Engineering Science, Vol. 57, No. 9. (May 2002), pp. 1639-1651. by P. Kumar posted to membrane ccs by carboncapture on 2009-11-19 06:38:19 as
	Balancing confidentiality and efficiency in untrusted relational DBMSs [My Copy] In CCS '03: Proceedings of the 10th ACM conference on Computer and communications security (2003), pp. 93-102. by Ernesto Damiani, De Capitani Vimercati, Sushil Jajodia, Stefano Paraboschi, Pierangela Samarati posted to tree index hash encrypted database daas ccs b 2003 by kawamoto on 2009-11-03 14:21:41 as along with 3 people and 1 group lilith H-Arrietaumn dexter_shen 8_01
	A Propositional Dynamic Logic for CCS Programs [My Copy] Logic, Language, Information and Computation (2008), pp. 83-97. by Mario Benevides, L. Schechter posted to pdl ccs by sgwyj on 2009-10-26 11:10:56 as
	Obfuscation of executable code to improve resistance to static disassembly [My Copy] In CCS '03: Proceedings of the 10th ACM conference on Computer and communications security (2003), pp. 290-299. by Cullen Linn, Saumya Debray posted to security ccs by thermostat on 2009-10-22 15:08:45 as
	Fast and automated generation of attack signatures: a basis for building self-protecting servers [My Copy] In CCS '05: Proceedings of the 12th ACM conference on Computer and communications security (2005), pp. 213-222. by Zhenkai Liang, R. Sekar posted to security ccs by thermostat on 2009-10-22 14:56:02 as along with 1 person sjgaller
	CSP Is a Retract of CCS [My Copy] Unifying Theories of Programming In Unifying Theories of Programming, Vol. 4010 (2006), pp. 38-62. by Jifeng He, Tony Hoare posted to theory refinement linking csp concurrency ccs 2006 by michaelbanks on 2009-09-26 10:20:50 as along with 3 people mishra_satish christiankissig leonardo
	Economic evaluation of the geological storage of CO2 considering the scale of economy [My Copy] International Journal of Greenhouse Gas Control, Vol. 1, No. 2. (April 2007), pp. 271-279. by K. Akimoto, M. Takagi, T. Tomoda posted to ccs climate_policy by Demetrioft on 2009-06-12 21:14:26 as
	Coal and sustainable energy supply challenges and barriers [My Copy] Energy Policy, Vol. 36, No. 2. (February 2008), pp. 693-703. by K. Kavouridis, N. Koukouzas posted to ccs climate_policy by Demetrioft on 2009-06-12 21:11:20 as
	Effective EU and Member State policies for stimulating CCS [My Copy] International Journal of Greenhouse Gas Control, Vol. 2, No. 4. (October 2008), pp. 653-664. by H. Groenenberg, H. Deconinck posted to ccs climate policy by Demetrioft on 2009-06-12 21:08:50 as
	Dynamis CO2 quality recommendations [My Copy] International Journal of Greenhouse Gas Control, Vol. 2, No. 4. (October 2008), pp. 478-484. by E. Devisser, C. Hendriks, M. Barrio, et al.M. Molnvik, G. Dekoeijer, S. Liljemark, Y. Legallo posted to ccs by Demetrioft on 2009-06-12 21:07:44 as
	Ramp-up of CO2 capture and storage within Europe [My Copy] International Journal of Greenhouse Gas Control, Vol. 2, No. 4. (October 2008), pp. 417-438. by M. Odenberger, J. Kjarstad, F. Johnsson posted to ccs climate_policy by Demetrioft on 2009-06-12 21:06:59 as
	The value of post-combustion carbon dioxide capture and storage technologies in a world with uncertain greenhouse gas emissions constraints [My Copy] International Journal of Greenhouse Gas Control, Vol. 3, No. 1. (January 2009), pp. 39-48. by M. Wise, J. Dooley posted to ccs climate_policy by Demetrioft on 2009-06-12 21:04:59 as
	The acceptability of CO2 capture and storage (CCS) in Europe: An assessment of the key determining factorsPart 1. Scientific, technical and economic dimensions [My Copy] International Journal of Greenhouse Gas Control, Vol. 3, No. 3. (May 2009), pp. 333-343. by Heleen de Coninck, Todd Flach, Paul Curnow, et al.Peter Richardson, Jason Anderson, Simon Shackley, Gudmundur Sigurthorsson, David Reiner posted to ccs climate_policy steel by Demetrioft on 2009-06-12 20:54:49 as
	A model for the CO2 capture potential [My Copy] International Journal of Greenhouse Gas Control, Vol. 1, No. 4. (October 2007), pp. 418-429. by A. Stangeland posted to ccs climate_policy by Demetrioft on 2009-06-12 20:46:32 as
	Expert opinions on carbon dioxide capture and storage—A framing of uncertainties and possibilities [My Copy] Energy Policy, Vol. 37, No. 6. (June 2009), pp. 2273-2282. by Anders Hansson, Mårten Bryngelsson posted to ccs by Demetrioft on 2009-06-09 17:07:01 as
	Global learning on carbon capture and storage: A call for strong international cooperation on CCS demonstration [My Copy] Energy Policy, Vol. 37, No. 6. (June 2009), pp. 2161-2165. by Heleen de Coninck, Jennie C. Stephens, Bert Metz posted to ccs by Demetrioft on 2009-06-09 17:04:45 as
	Comparing two information flow security properties [My Copy] Computer Security Foundations Workshop, IEEE In 9th IEEE Computer Security Foundations Workshop, Vol. 0 (1996), pp. 116-122. by Riccardo Focardi posted to 1996 ccs comparison information-flow property security by michaelbanks on 2009-06-09 10:29:43 as
	A taxonomy of trace-based security properties for CCS [My Copy] Computer Security Foundations Workshop VII, 1994. CSFW 7. Proceedings In 7th IEEE Computer Security Foundations Workshop (1994), pp. 126-136. by Riccardo Focardi, Roberto Gorrieri posted to 1994 ccs noninterference property security trace by michaelbanks on 2009-06-09 10:26:15 as
	Strategies for the deployment of CCS technologies in the UK: a critical review [My Copy] Energy Procedia, Vol. 1, No. 1. (February 2009), pp. 4535-4542. by Ivan J. Scrase, Jim Watson posted to ccs uk by Demetrioft on 2009-06-07 17:35:14 as
	Cost and U.S. public policy for new coal power plants with carbon capture and sequestration [My Copy] Energy Procedia, Vol. 1, No. 1. (February 2009), pp. 4487-4494. by Michael R. Hamilton, Howard J. Herzog, John E. Parsons posted to ccs eua by Demetrioft on 2009-06-07 17:33:57 as
	Role for carbon capture and storage in China [My Copy] Energy Procedia, Vol. 1, No. 1. (February 2009), pp. 4209-4216. by Chen Wenying, Liu Jia, Ma Linwei, D. Ulanowsky, G. K. Burnard posted to ccs china by Demetrioft on 2009-06-07 17:29:32 as
	“NowGen”: Getting Real about Coal Carbon Capture and Sequestration [My Copy] The Electricity Journal, Vol. 22, No. 4. (May 2009), pp. 25-42. by Armond Cohen, Mike Fowler, Kurt Waltzer posted to ccs by Demetrioft on 2009-06-07 17:17:22 as
	Global warming and the future of coal the path to carbon capture and storage [My Copy] (2007) by Ken Berlin, Robert M. Sussman, Center posted to ccs climate_policy by Demetrioft on 2009-05-23 16:35:15 as
	A fully abstract semantics of classes for Object-Z [My Copy] Formal Aspects of Computing, Vol. 7, No. 3. (1 May 1995), pp. 289-313. by Graeme Smith posted to 1995 _to_download_springer ccs csp object-z semantics by leonardo on 2008-12-08 17:36:50 as
	Communication and Concurrency [My Copy] (1989) by Robin Milner posted to 1989 book ccs communication concurrency process-algebra by michaelbanks on 2008-11-19 11:05:30 as along with 4 people and 3 groups fierykylin sgwyj mishra_satish bockfliess Wavelets AlgebraicLanguages FPA
	Generating BDDs for symbolic model checking in CCS [My Copy] Distributed Computing, Vol. 6, No. 3. (16 April 1993), pp. 155-164. by Reinhard Enders, Thomas Filkorn, Dirk Taubner posted to ccs concurrency model-checking by tautologico on 2008-11-12 04:07:13 as along with 1 person zhensong
	CCS: A future CO2 mitigation option for Germany?--A bottom-up approach [My Copy] Energy Policy, Vol. 35, No. 4. (April 2007), pp. 2110-2120. by Dag Martinsen, Jochen Linssen, Peter Markewitz, Stefan Vögele posted to ccs co2 energy by cblock on 2008-09-19 14:40:07 as
	Attentional control of associative learning--a possible role of the central cholinergic system. [My Copy] Brain research In Computational Cognitive Neuroscience, Vol. 1202 (2 April 2008), pp. 43-53. by W. M. Pauli, R. C. O'Reilly posted to attention ccs control learning by susannah on 2008-09-11 00:41:18 as along with 2 people PaperCollector kapfelba
	Reduced Models for Efficient CCS Verification [My Copy] Formal Methods in System Design, Vol. 26, No. 3. (1 May 2005), pp. 319-350. by Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini posted to ccs modelchecker mu-calculus selective by hwang on 2008-07-16 15:11:34 as
	Communicating and mobile systems: the &pgr;-calculus [My Copy] (1999) by Robin Milner posted to 1999 ccs concurrent pi by shimomura on 2008-01-25 07:31:33 as along with 2 people cogumbreiro mcclurmc
	Cybertext: Perspectives on Ergodic Literature [My Copy] (01 September 1997) by Espen J. Aarseth posted to ccs critical_code_studies critical-code-studies elit by markcmarino on 2007-12-19 06:40:44 as along with 12 people and 5 groups DeusMiseratur khooet lijil noahwf bicudo intellagirl staffan olesm hwillis paulswartz trm005 Tammy1984 Blog_and_Wiki_Research mathgamespatterns InterMediaOslo MMORPGStudies The_Truants
	Reversing algebraic process calculi [My Copy] Journal of Logic and Algebraic Programming In Foundations of Software Science and Computation Structures 2006 (FOSSACS 2006), Vol. 73, No. 1-2. ( 2007), pp. 70-96. by Iain Phillips, Irek Ulidowski posted to 2007 ccs modelchecking sos by shimomura on 2007-10-31 05:31:23 as along with 3 people ama08r keigoi leonardo
	Predicting the vertical profiles of anchovy (<i>Engraulis mordax</i>) and sardine (<i>Sardinops sagax</i>) eggs in the California Current System [My Copy] Fisheries Oceanography, Vol. 16, No. 1. (January 2007), pp. 68-84. by K. Alexandra Curtis, David M. Checkley Jr, N. Pierre Pepi posted to anchovy ccs profile sagax sardine by eheupel on 2007-07-25 00:01:34 as along with 1 person pleizier
	Communicating and Mobile Systems: the Pi-Calculus [My Copy] (15 June 1999) by Robin Milner posted to algebra calculus ccs concurrency pi pi-calculus process process-algebra by AndreasSchropp on 2006-12-22 22:51:10 as along with 14 people and 2 groups scottmoody talototo stagediver bfraser kontakte cogumbreiro osh roland_ewald carmaus mattis23 laurajaros soulism jfischer Grobi dIEMoSIRIS MoSi-Rostock
	A Calculus of Mobile Processes, Part I [My Copy] No. -86. (1989) by Robin Milner, Joachim Parrow, David Walker posted to ccs concurrency pi-calculus by cogumbreiro on 2006-11-10 14:17:24 as along with 2 people stagediver Templarwzy
	Why ever CSP? [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the Workshop "Essays on Algebraic Process Calculi" (APC 25), Vol. 162 (29 September 2006), pp. 209-215. by Tony Hoare posted to no-tag unifying_theories retractions refinement csp ccs bisimulation 2006 by leonardo on 2006-11-01 01:31:13 as along with 2 people ajk cbertolini

Note: You may cite this page as: http://www.citeulike.org/tag/ccs

climate_policy	7
concurrency	6
amines	4
csp	4
monoethanolamine	4
security	4
membrane	3
pi-calculus	3
process-algebra	3
2006	2
co2_adsorption	2
co2_utilization	2
ionic_liquid	2
modelchecker	2
pdl	2
pi	2
property	2
refinement	2
1989	1
1994	1
1995	1
1996	1
1999	1
2003	1
2007	1
_to_download_springer	1
algebra	1
anchovy	1
attention	1
b	1
bisimulation	1
book	1
calculus	1
china	1
climate	1
co2	1
communication	1
comparison	1
concurrent	1
control	1
critical-code-studies	1
critical_code_studies	1
daas	1
database	1
elit	1
encrypted	1
energy	1
eua	1
hash	1
index	1
information-flow	1
java	1
learning	1
linking	1
model-checking	1
modelchecking	1
mu-calculus	1
noninterference	1
object-z	1
policy	1
process	1
process_algebra	1
profile	1
retractions	1
sagax	1
sardine	1
selective	1
semantics	1
sos	1
steel	1
theory	1
trace	1
tree	1
uk	1
unifying_theories	1

Tag ccs [42 articles] Export

Related Tags