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

Source URL: jeapostrophe.github.io

• Computer programming
• Software engineering
• Type theory
• Computing
• Functional programming
• Adjoint functors
• Monad
• HindleyMilner type system
• Variety
• Redblack tree
• List

Integrating Planning and Recognition to Close the Interaction Loop Richard G. Freedman College of Information and Computer Sciences University of Massachusetts Amherst

Source URL: icaps16.icaps-conference.org

• Artificial intelligence
• Cognitive science
• Automated planning and scheduling
• Statistical natural language processing
• Hierarchical task network
• Activity recognition
• STRIPS
• Latent Dirichlet allocation
• Intelligence
• Action selection
• Topic model
• Robot

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

Source URL: jeapostrophe.github.io

• Computer programming
• Software engineering
• Type theory
• Computing
• Functional programming
• Adjoint functors
• Monad
• HindleyMilner type system
• Variety
• Redblack tree
• List

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

Source URL: zhang-sai.github.io

• Abstract algebra
• Estimation theory
• Extreme programming
• Software testing
• Mathematics
• Debugging
• Delta debugging
• Regression analysis
• Regression testing
• Localization

CacheBrowser: Bypassing Chinese Censorship without Proxies Using Cached Content John Holowczak and Amir Houmansadr College of Information and Computer Sciences University of Massachusetts Amherst

Source URL: people.cs.umass.edu

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

Source URL: maroundtable.com

CURRENT DIRECTIONS IN PSYCHOLOGICAL SCIENCE The Comparative Psychology of Avian Visual Cognition Robert G. Cook1 Department of Psychology, Tufts University, Medford, Massachusetts

Source URL: pigeon.psy.tufts.edu

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

Source URL: www.ayurveda.at

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

Source URL: www.iliasdiakonikolas.org

University of Massachusetts Boston English 365: Section 1 Nineteenth-Century British Novel Spring 2015 Course Syllabus Professor Louise Penner

Source URL: engl365-s15-penner.wikispaces.umb.edu