University of Massachusetts and New England Area Librarian E-Science Symposium Monday, April 6, 2009 Hoagland-Pincus Conference Center Shrewsbury, Massachusetts

First Page		Document Content
Date: 2012-01-12 11:32:09 Massachusetts Lamar Soutter University of Massachusetts Boston Medical Library Medicine New England Penn State Milton S. Hershey Medical Center University of Pittsburgh School of Medicine New England Association of Schools and Colleges Medical libraries University of Massachusetts Medical School		University of Massachusetts and New England Area Librarian E-Science Symposium Monday, April 6, 2009 Hoagland-Pincus Conference Center Shrewsbury, Massachusetts Add to Reading List Source URL: library.umassmed.edu Download Document from Source Website File Size: 234,50 KB Share Document on Facebook

	A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University DocID: 1xUmF - View Document
	Integrating Planning and Recognition to Close the Interaction Loop Richard G. Freedman College of Information and Computer Sciences University of Massachusetts Amherst DocID: 1xUlu - View Document
	A Coq Library For Internal Verification of Running-Times Jay McCarthy University of Massachusetts at Lowell Burke Fetscher, Max S. New, Daniel Feltey, Robert Bruce Findler Northwestern University DocID: 1xUff - View Document
	Understanding Regression Failures through Test-Passing and Test-Failing Code Changes Roykrong Sukkerd , Ivan Beschastnikh , Jochen Wuttke , Sai Zhang , Yuriy Brun University of Washington University of Massachusetts Seat DocID: 1xU7X - View Document
	CacheBrowser: Bypassing Chinese Censorship without Proxies Using Cached Content John Holowczak and Amir Houmansadr College of Information and Computer Sciences University of Massachusetts Amherst DocID: 1xTmX - View Document