Program Logics for Certified Compilers || Bibliography
- 作者Appel, Andrew W.; Dockins, Robert; Hobor, Aquinas; Beringer, Lennart; Dodds, Josiah; Stewart, Gordon; Blazy, Sandrine; Leroy, Xavier
- 文件大小127.12KB
- 发表时间2014
- DOI10.1017/cbo9781107256552.056
- 页码442-451
Integrated dual-cycle energy recovery using thermoelectric conversion and an organic Rankine bottoming cycleMiller, E. W.; Hendricks, T. J.; Wang, H.; Peterson, R. B. · Proceedings of the Institution of Mechanical Engineers, Part A: Journal of Power and Energy · 2011
Energy and exergy analysis and multi-criteria optimization of an integrated city gate station with organic Rankine flash cycle and thermoelectric generatorSaadat-Targhi, Morteza; Khanmohammadi, Shoaib · Applied Thermal Engineering · 2019
Development and multi-objective optimization of geothermal-based organic Rankine cycle integrated with thermoelectric generator and proton exchange membrane electrolyzer for power and hydrogen productionGholamian, E.; Habibollahzade, A.; Zare, V. · Energy Conversion and Management · 2018
A Natural-Gas-Fired Thermoelectric Power Generation SystemK. Qiu; A.C.S. Hayden · 2009
Development of a thermoelectric self-powered residential heating systemK. Qiu; A.C.S. Hayden · 2008
Increasing the efficiency of radiant burners by using polymer membranesK. Qiu; A.C.S. Hayden · 2009
Performance analysis and modeling of energy from waste combined cyclesK. Qiu; A.C.S. Hayden · 2009
Thermophotovoltaic power generation systems using natural gas-fired radiant burnersK. Qiu; A.C.S. Hayden · 2007
Development of a novel cascading TPV and TE power generation systemK. Qiu; A.C.S. Hayden · 2012
Development of a silicon concentrator solar cell based TPV power systemK. Qiu; A.C.S. Hayden · 2006