Title: The Scope and Limits of Simulation in Automated Reasoning Authors: Ernest Davis, Dept. of Computer Science, New York University, New York, NY, [removed], http: www.cs.nyu.edu faculty davise Gary Marcus, D - Gary Marcus - Document - PDFSEARCH.IO

First Page	Meta Content
	Title: The Scope and Limits of Simulation in Automated Reasoning Authors: Ernest Davis, Dept. of Computer Science, New York University, New York, NY, [removed], http://www.cs.nyu.edu/faculty/davise Gary Marcus, D Add to Reading List Document Date: 2014-10-25 18:49:06 Open Document File Size: 371,65 KB Share Result on Facebook Company NVidia / Boeing / YouTube / / / Event Man-Made Disaster / / Facility New York University / / IndustryTerm simulation algorithms / wrong tool / simulation algorithm / inefficient and inappropriate tools / real time / physical systems / scientific computing / kitchen equipment / appropriate tool / / Organization New York University / New York / / Person Nils Thuerey / Gary Marcus / Ernest Davis / / Position baseball pitcher / surgeon / pitcher / carpenter / human programmer / / Technology simulation algorithm / thermodynamics / artificial intelligence / simulation algorithms / fluid dynamics / Simulation / animation / CGI / / URL http / SocialTag Electronic engineering Video game development Scientific modeling Operations research Simulation Physics engine Computer simulation Scientific modelling Monte Carlo method Science

Title: The Scope and Limits of Simulation in Automated Reasoning Authors: Ernest Davis, Dept. of Computer Science, New York University, New York, NY, [removed], http://www.cs.nyu.edu/faculty/davise Gary Marcus, DAdd to Reading List