CASE STUDY SERIES U.S. Ratification of the Chemical Weapons Convention Jonathan B. Tucker Center for the Study of Weapons of Mass Destruction

First Page		Document Content
Date: 2014-02-26 15:29:11 Word of the year National Defense University Jonathan B. Tucker Military Knowledge War Iraq Survey Group Elimination doctrine Biological warfare Military-industrial complex Weapon of mass destruction		CASE STUDY SERIES U.S. Ratification of the Chemical Weapons Convention Jonathan B. Tucker Center for the Study of Weapons of Mass Destruction Add to Reading List Source URL: ndupress.ndu.edu Download Document from Source Website File Size: 463,63 KB Share Document on Facebook

	Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji College of Computer, National University of Defense Technology Changsha, China Email: {yixi DocID: 1voW6 - View Document
	Predicting Asset Value Through Twitter Buzz Xue Zhanga,b, Hauke Fuehresb, Peter A. Gloorb a Department of Mathematic and Systems Science, National University of Defense Technology, Changsha, Hunan, P.R.China DocID: 1um1A - View Document
	Automated Program Repair by Using Similar Code Containing Fix Ingredients Tao Ji, Liqian Chen, Xiaoguang Mao, Xin Yi College of Computer National University of Defense Technology Changsha, China jitao , {lqchen DocID: 1ueEU - View Document
	0 Static Analysis of Run-Time Errors in Interrupt-Driven Programs via Sequentialization XUEGUANG WU, National University of Defense Technology LIQIAN CHEN, National University of Defense Technology ´ , Universit´e Pier DocID: 1tXkC - View Document
	Block-wise abstract interpretation by combining abstract domains with SMT Jiahong Jiang1 , Liqian Chen1 , Xueguang Wu1 , and Ji Wang1,2 1 School of Computer Science, National University of Defense Technology, China DocID: 1tRPK - View Document