Doherty - PDFSEARCH.IO - Document Search Engine

Doherty
Results: 1049

#	Item
431	Effects of Non-Isotropic Explosion Sources, upon the Utility of the Ms – mb Discriminant Paul G. Richards Lamont-Doherty Earth Observatory of Columbia University http://www.LDEO.columbia.edu/~richards Add to Reading List Source URL: www.ctbto.org Language: English - Date: 2011-06-29 08:10:08 Nuremberg Nuremberg U-Bahn Seismology Surface wave Rayleigh wave Earthquake Love wave Fault U2 Geology Wave mechanics Waves
432	High Accuracy Ground Target Geo-location Using Autonomous Micro Aerial Vehicle Platforms Gianpaolo Conte, Maria Hempel, Piotr Rudol, David Lundstr¨om, Simone Duranti, Mariusz Wzorek, Patrick Doherty Dept. of Computer an Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:01:47 Navigation Optics Geodesy Surveying Micro air vehicle Global Positioning System Template matching Image registration Waypoint Technology Computer vision Image processing
433	Temporal Action Logic for Question Answering in an Adventure Game Martin MAGNUSSON and Patrick DOHERTY Department of Computer and Information Science Linköping University, [removed]Linköping, Sweden E-mail: {marma,patdo} Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:37:07 Reasoning Epistemology Artificial intelligence Knowledge representation Logic programming Automated theorem proving Reason Frame problem Natural deduction Logic Mathematical logic Science
434	DISCLAIMER Portions of this document may be illegible in electronic image products. Images are produced from the best available original document. ERDA 77-55 Add to Reading List Source URL: science.energy.gov Language: English - Date: 2010-12-29 10:05:45 Igneous petrology Earth science Magma United States Department of Energy National Laboratories Geophysical Institute Lamont–Doherty Earth Observatory Geology Igneous rocks Science
435	Logical Agents for Language and Action∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden [removed],[removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:35:13 Mathematics Artificial intelligence Logic in computer science Deduction Reasoning Reasoning system Fluent Magni Frame problem Automated theorem proving Science Logic
436	TALplanner: A Temporal Logic Based Planner Patrick Doherty and Jonas Kvarnstr¨om Abstract Talplanner is a forward-chaining planner which utilizes domain-dependent knowledge to control search in the state Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:12:31 Planner Mathematical optimization Temporal logic Software engineering Computing Artificial intelligence Automated planning and scheduling Logic programming
437	Deductive Planning with Inductive Loops Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden [removed],[removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:35:28 Science Mathematical induction Mathematical proof First-order logic Algorithm Unification Recursion Function Inductive reasoning Logic Mathematics Mathematical logic
438	WITAS: An Intelligent Autonomous Aircraft Using Active Vision G¨osta Granlund, Klas Nordberg, Johan Wiklund, Patrick Doherty, Erik Skarman, Erik Sandewall Link¨ oping University, SE[removed]Link¨ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:45:44 Military Integrated Dynamics National security Miniature UAV Unmanned aerial vehicles Military terminology Signals intelligence
439	TALplanner: An Empirical Investigation of a Temporal Logic-based Forward Chaining Planner Patrick Doherty Dept of Computer and Information Science Link¨oping University SE[removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:13:29 Model theory Linear temporal logic Temporal logic Logical syntax Entailment First-order logic Limit Modal logic Action description language Logic Philosophical logic Propositional calculus
440	To What Extent Should Human/Environment Interactions Be Included in Science Education? Kim A. Kastens Lamont-Doherty Earth Observatory and Department of Earth and Environmental Sciences, Columbia University, kastens@ldeo Add to Reading List Source URL: www.nagt.org Language: English - Date: 2013-11-21 14:31:25 Environmental economics Knowledge Environmentalism Alternative education Environmental education Outdoor education Sustainability Environmental science Science education Environment Environmental social science Earth

UPDATE