Solver - PDFSEARCH.IO - Document Search Engine

Solver
Results: 737

#	Item
491	22 USE OF EXTERNAL VISUAL REPRESENTATIONS IN PROBABILITY PROBLEM SOLVING4 JAMES E. CORTER Teachers College, Columbia University Add to Reading List Source URL: faculty.tc.columbia.edu Language: English - Date: 2011-11-30 19:33:23 Educational psychology Operations research Mathematics education Multiple representations Problem solving Solver Problem Chess problem Linear programming Mathematics Applied mathematics Theoretical computer science
492	Automated Hardware Synthesis from Formal Specification using SAT solvers. David Greaves - Univ of Cambridge∗ / Tenison EDA 1 Input Design Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-04-15 12:29:23 Field-programmable gate array Logic synthesis Verilog Hardware description language High-level synthesis Solver Decoder Electronic engineering Electronic design automation Digital electronics
493	Lax-Hopf-based LWR solver — Matlab implementation: Manual Pierre-Emmanuel Mazar´e, Christian Claudel, Alexandre Bayen June 15, 2010 This document describes the sample implementation of an exact, grid-free Add to Reading List Source URL: traffic.berkeley.edu Language: English - Date: 2011-01-06 03:58:34 Cell Transmission Model Kinematics Operations research Science Traffic flow Partial differential equation Differential equation Fundamental diagram of traffic flow Diagram Road transport Software Mathematics
494	Improving Solver Success in Reaching Feasibility for Sets of Nonlinear Constraints Walid Ibrahim College of Information Technology United Arab Emirates University John W. Chinneck Add to Reading List Source URL: www.sce.carleton.ca Language: English - Date: 2005-08-03 14:15:32 Applied mathematics Mathematics Science Convex optimization Linear programming Quadratic programming Constraint algorithm Constraint Constraint satisfaction Operations research Mathematical optimization Constraint programming
495	Become a Crossword Super Solver William Johnston · 19 January 2010 Newton Community Education Themes Add to Reading List Source URL: world.std.com Language: English - Date: 2010-01-19 07:48:35 Human behavior Word square Cryptic crossword Crosswords Leisure Computer programming
496	AUGUST 2013 · ISSUE 18 Do you have a question on how converged your solution of your simulation is? Or would you like to learn what the new adjoint solver in STAR-CCM+ does, first hand from an application engineer? M Add to Reading List Source URL: www.cd-adapco.com Language: English - Date: 2013-08-15 05:23:16 CD-adapco Computational fluid dynamics
497	SEMINAR THURSDAY DECEMBER 6, 2007 Scaife Hall Auditorium Room 125 Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2012-10-03 11:22:12 Applied mathematics Numerical software Numerical analysis Iterative methods Preconditioner Solver Partial differential equation Mathematical optimization Mathematics Numerical linear algebra Mathematical analysis
498	PRISM Seminar Series – Fall 2011 “Unsteady Rarefied Flow Simulations in N/MEMS” Friday November 18, 2011 3:00 pm, Birck 1001 Add to Reading List Source URL: www.purdue.edu Language: English Aerodynamics Numerical software Mathematics Microelectromechanical systems RF MEMS Solver Navier–Stokes equations Physics Direct simulation Monte Carlo Materials science
499	Cadence Virtuoso Layout Suite for Electrically Aware Design Enhancing design team productivity and circuit performance for custom ICs By enabling you to monitor electrical issues while you create your layout, Cadence® V Add to Reading List Source URL: www.cadence.com Language: English - Date: 2013-07-10 07:58:55 Electronic design Integrated circuits Parasitic extraction Integrated circuit design Cadence Design Systems Electromagnetic field solver Schematic capture Layout Versus Schematic Electric Electronic engineering Electronics Electronic design automation
500	F11 – Large Scale Linear Systems f11ge NAG Toolbox for Matlab nag_sparse_real_symm_basic_solver (f11ge) Add to Reading List Source URL: www.nag.co.uk Language: English - Date: 2013-09-12 05:20:58 Linear algebra Lanczos algorithm Conjugate gradient method Iterative method System of linear equations Matrix Vector space Preconditioner Vector Algebra Mathematics Numerical linear algebra

UPDATE