Page 1 of 5 September_- October 2010 The Shell-O-Gram

First Page		Document Content
Date: 2015-03-18 15:10:15 Strombidae Strombus Bursa Cymatium Conus Nerita Mitra Turbo Turritella Caenogastropoda Hypsogastropoda Phyla		Page 1 of 5 September_- October 2010 The Shell-O-Gram Add to Reading List Source URL: www.jaxshells.org Download Document from Source Website File Size: 451,79 KB Share Document on Facebook

	Bounded Verification with On-the-Fly Discrepancy Computation ? Chuchu Fan and Sayan Mitra {cfan10,mitras}@illinois.edu Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign. DocID: 1xVnP - View Document
	Approximate Partial Order Reduction? Chuchu Fan, Zhenqi Huang, and Sayan Mitra University of Illinois at Urbana-Champaign, ECE Department {cfan10, zhuang25, mitras}@illinois.edu Abstract. We present a new partial order DocID: 1xVg7 - View Document
	Optimal Data Rate for State Estimation of Switched Nonlinear Systems ∗ Hussein Sibai and Sayan Mitra {sibai2, mitras}@illinois.edu DocID: 1xV4u - View Document
	TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks Hussein Darir, Hussein Sibai, Nikita Borisov, Geir Dullerud, Sayan Mitra Coordinated Science Laboratory University of Illinois at Urbana-Champaign DocID: 1xTms - View Document
	Active Classification: Theory and Application to Underwater Inspection Geoffrey A. Hollinger, Urbashi Mitra, and Gaurav S. Sukhatme Abstract We discuss the problem in which an autonomous vehicle must classify an object b DocID: 1vpNF - View Document