Solver - PDFSEARCH.IO - Document Search Engine

Solver
Results: 737

#	Item
711	Tool-Support for the Analysis of Hybrid Systems and Models Add to Reading List Source URL: www.date-conference.com Language: English - Date: 2007-03-14 18:49:09 Operations research Constraint programming Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories Solver Boolean satisfiability problem Constraint satisfaction Theoretical computer science Applied mathematics Mathematics
712	Newell A & Simon H A. Human problem solving. Englewood Cliffs, NJ: Prentice-Hall, 1972. Add to Reading List Source URL: garfield.library.upenn.edu Language: English - Date: 2004-04-22 16:39:58 Turing Award laureates General Problem Solver Educational psychology Allen Newell Problem solving Solver Carnegie Mellon University Psychology Cognition Science Artificial intelligence Cognitive science
713	Eric deGroot Global Problem Solver Add to Reading List Source URL: www.expertclick.com Language: English - Date: 2010-09-04 08:39:42 Navigation Solver De Groot Global Positioning System GPS Technology Military science Numerical software
714	New in DIANA version 9.3 At a glance: Optimized iterative solver Add to Reading List Source URL: tnodiana.com Language: English - Date: 2008-05-20 09:04:00 Structural engineering Earthquake engineering Seismic analysis AMPL Structural analysis Numerical analysis Civil engineering
715	Careful Ranking of Multiple Solvers with Timeouts and Ties Allen Van Gelder Add to Reading List Source URL: users.soe.ucsc.edu Language: English - Date: 2011-04-08 00:56:54 Numerical software NP-complete problems Electronic design automation Formal methods Logic in computer science Boolean satisfiability problem Solver Lis Fridrich Method Theoretical computer science Software Mathematics
716	Published in the Proceedings of the 2005 Physics Education Research Conference, pp[removed]Evidence of problem-solving transfer in web-based Socratic Add to Reading List Source URL: www.masteringphysics.com Language: English - Date: 2013-11-08 06:01:46 Solver Problem Education Neuropsychology Psychology Educational psychology Neuropsychological assessment Problem solving
717	Gerris: a tree-based adaptive solver for the incompressible Euler equations in complex geometries Add to Reading List Source URL: gfs.sourceforge.net Language: English - Date: 2011-03-23 01:11:45 Computational fluid dynamics Numerical analysis Applied mathematics Projection method Incompressible flow Multigrid method Quadtree Partial differential equations Mathematics Computational science
718	Against Informational Atomism Michael C. Frank Add to Reading List Source URL: philosophy.stanford.edu Language: English - Date: 2010-02-09 13:00:33 Problem solving Cognition Semantics Candle problem Candles Functional fixedness Jerry Fodor Language of thought hypothesis Solver Philosophy of mind Cognitive science Science
719	Stain Solver® Sodium Percarbonate Material Safety Data Sheet Chemical: Add to Reading List Source URL: stainsolver.com Language: English - Date: 2013-05-07 07:49:20
720	[removed]The Value of Openness Add to Reading List Source URL: office.x-com.se Language: English - Date: 2012-05-08 09:03:40 Numerical software Applied mathematics Operations research Solver Mathematics Cognition InnoCentive Sol Chess problem Educational psychology Theoretical computer science Problem solving

UPDATE