EPJ Nuclear Sci. Technol. 2, ) © L. Boldon et al., published by EDP Sciences, 2016 DOI: epjnNuclear Sciences

First Page		Document Content
State functions Ecological economics Thermodynamics Industrial ecology Exergy Thermodynamic free energy Thermoeconomics Internal energy Entropy Work Life-cycle assessment Irreversible process		EPJ Nuclear Sci. Technol. 2, ) © L. Boldon et al., published by EDP Sciences, 2016 DOI: epjnNuclear Sciences Add to Reading List Source URL: www.epj-n.org Download Document from Source Website File Size: 566,24 KB Share Document on Facebook

	DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop DocID: 1xW38 - View Document
	Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop DocID: 1xVYq - View Document
	Designing Proof of Human-work Puzzles for Cryptocurrency and Beyond∗ Jeremiah Blocki Purdue University, Hong-Sheng Zhou Virginia Commonwealth University, DocID: 1xVWJ - View Document
	Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit DocID: 1xVWB - View Document
	Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput Will Martino, Monica Quaintance, Stuart Popejoy, DocID: 1xVWn - View Document