1![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 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](https://www.pdfsearch.io/img/c9222fdbd33045af0cb59c0e36319826.jpg) | Add to Reading ListSource URL: jeapostrophe.github.ioLanguage: English - Date: 2018-10-23 12:14:23
|
---|
2![Integrating Planning and Recognition to Close the Interaction Loop Richard G. Freedman College of Information and Computer Sciences University of Massachusetts Amherst Integrating Planning and Recognition to Close the Interaction Loop Richard G. Freedman College of Information and Computer Sciences University of Massachusetts Amherst](https://www.pdfsearch.io/img/48e948c3a37bfc39f85c6689d2c9c06e.jpg) | Add to Reading ListSource URL: icaps16.icaps-conference.orgLanguage: English - Date: 2016-06-09 08:09:26
|
---|
3![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 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](https://www.pdfsearch.io/img/a4a3ba6029d60010dcfc690642315a74.jpg) | Add to Reading ListSource URL: jeapostrophe.github.ioLanguage: English - Date: 2018-10-23 12:14:23
|
---|
4![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 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](https://www.pdfsearch.io/img/c22863a5f8566570a8a3909fd8d8decf.jpg) | Add to Reading ListSource URL: zhang-sai.github.ioLanguage: English - Date: 2015-05-05 00:58:34
|
---|
5![CacheBrowser: Bypassing Chinese Censorship without Proxies Using Cached Content John Holowczak and Amir Houmansadr College of Information and Computer Sciences University of Massachusetts Amherst CacheBrowser: Bypassing Chinese Censorship without Proxies Using Cached Content John Holowczak and Amir Houmansadr College of Information and Computer Sciences University of Massachusetts Amherst](https://www.pdfsearch.io/img/ec898093e27aab06d22cd452b38f15df.jpg) | Add to Reading ListSource URL: people.cs.umass.eduLanguage: English - Date: 2015-10-13 19:56:51
|
---|
6![PARTNERSHIP DESCRIPTIONS Raytheon’s Partnership with the University of Massachusetts UMass Amherst Microwave Program Raytheon’s longstanding partnership with the University of Massachusetts began at UMass- Amherst w PARTNERSHIP DESCRIPTIONS Raytheon’s Partnership with the University of Massachusetts UMass Amherst Microwave Program Raytheon’s longstanding partnership with the University of Massachusetts began at UMass- Amherst w](https://www.pdfsearch.io/img/4e4d58614e68514f7ca66a43f69d7e74.jpg) | Add to Reading ListSource URL: maroundtable.comLanguage: English |
---|
7![CURRENT DIRECTIONS IN PSYCHOLOGICAL SCIENCE The Comparative Psychology of Avian Visual Cognition Robert G. Cook1 Department of Psychology, Tufts University, Medford, Massachusetts CURRENT DIRECTIONS IN PSYCHOLOGICAL SCIENCE The Comparative Psychology of Avian Visual Cognition Robert G. Cook1 Department of Psychology, Tufts University, Medford, Massachusetts](https://www.pdfsearch.io/img/58e0799f7272bf9cb4a88f7cc24f679e.jpg) | Add to Reading ListSource URL: pigeon.psy.tufts.eduLanguage: English - Date: 2017-10-03 11:08:56
|
---|
8![Main Speakers and Themes: Tony Nader, MD, PhD Wholeness in Health Received his M.D. degree from the American University of Beirut. His Ph.D. is in the area of Brain and Cognitive Science from the Massachusetts Institute Main Speakers and Themes: Tony Nader, MD, PhD Wholeness in Health Received his M.D. degree from the American University of Beirut. His Ph.D. is in the area of Brain and Cognitive Science from the Massachusetts Institute](https://www.pdfsearch.io/img/ce6cdc113e137d25bb1f6b8fa447de55.jpg) | Add to Reading ListSource URL: www.ayurveda.atLanguage: English - Date: 2015-06-24 10:51:09
|
---|
9![Fast Algorithms for Segmented Regression Jayadev Acharya Massachusetts Institute of Technology, Cambridge, MA 02139, USA Ilias Diakonikolas University of Southern California, Los Angeles, MA 90089, USA Fast Algorithms for Segmented Regression Jayadev Acharya Massachusetts Institute of Technology, Cambridge, MA 02139, USA Ilias Diakonikolas University of Southern California, Los Angeles, MA 90089, USA](https://www.pdfsearch.io/img/b5f91a83a6a73ad7e50ae52b45271574.jpg) | Add to Reading ListSource URL: www.iliasdiakonikolas.orgLanguage: English - Date: 2016-06-26 10:19:29
|
---|
10![](/pdf-icon.png) | Add to Reading ListSource URL: engl365-s15-penner.wikispaces.umb.eduLanguage: English - Date: 2015-01-29 13:00:57
|
---|