The Rathenau Instituut promotes the formation of political and public opinion on science and technology. To this end, the Institute studies the organization and development of science systems, publishes about social impa

First Page		Document Content
Date: 2012-02-10 02:53:33 Futurology Impact assessment Technology assessment Technology transfer Rathenau The Hague Ethology Thought Time Design for X Evaluation		The Rathenau Instituut promotes the formation of political and public opinion on science and technology. To this end, the Institute studies the organization and development of science systems, publishes about social impa Add to Reading List Source URL: www.rathenau.nl Download Document from Source Website File Size: 1,01 MB Share Document on Facebook

	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi DocID: 1xVEM - View Document
	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi DocID: 1xUZA - View Document
	Symbolic Music Genre Transfer with CycleGAN Gino Brunner, Yuyi Wang, Roger Wattenhofer and Sumu Zhao* Department of Information Technology and Electrical Engineering ETH Z¨urich Switzerland brunnegi,yuwang,wattenhofer,s DocID: 1xUni - View Document
	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi DocID: 1xTqe - View Document