Solver - PDFSEARCH.IO - Document Search Engine

Solver
Results: 737

#	Item
281	AN UNCONSTRAINED NONLINEAR OPTIMIZATION SOLVER: A USER’S GUIDE 1. Introduction This modular software package has been designed to solve the unconstrained nonlinear Add to Reading List Source URL: www1.fpl.fs.fed.us Language: English - Date: 2005-08-08 10:55:36 Differential calculus Operations research Functions and mappings Multivariable calculus Mathematical optimization Parameter Subroutine Derivative Linear programming Mathematics Mathematical analysis Calculus
282	νZ - An Optimizing SMT Solver Nikolaj Bjørner1 , Anh-Dung Phan2 , and Lars Fleckenstein3 1 Microsoft Research, Redmond, WA, USA DTU Compute, Technical University of Denmark Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-01-22 06:10:53 Operations research Constraint programming Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Mathematical optimization Linear programming Boolean satisfiability problem Theoretical computer science Applied mathematics Mathematics
283	The Advanced Research WRF (ARW) Dynamics Solver Bill Skamarock Jimy Dudhia Add to Reading List Source URL: www2.mmm.ucar.edu Language: English - Date: 2011-07-18 18:03:15 Differential calculus Atmospheric dynamics Numerical methods for ordinary differential equations Advection Calculus Runge–Kutta methods Mathematical analysis
284	Implementing Custom Applications with CHiPPS T ED R ALPHS L EHIGH U NIVERSITY YAN X U SAS I NSTITUTE Add to Reading List Source URL: coral.ie.lehigh.edu Language: English - Date: 2010-06-19 14:26:04 Science COIN-OR MINTO Search algorithm Algorithm Mathematical optimization Solver Tree Institute for Operations Research and the Management Sciences Operations research Applied mathematics Mathematics
285	Takustraße 7 DBerlin-Dahlem Germany Konrad-Zuse-Zentrum fur Add to Reading List Source URL: coral.ie.lehigh.edu Language: English - Date: 2011-05-23 10:47:24 Operations research Linear programming Cutting-plane method MPS Reduction Algorithm Solver Boolean satisfiability problem Satisfiability Modulo Theories Theoretical computer science Applied mathematics Mathematical optimization
286	Tailoring Solver-independent Constraint Models: A Case Study with Essence0 and Minion Ian P. Gent, Ian Miguel and Andrea Rendl School of Computer Science, University of St Andrews, UK {ipg, ianm, andrea} @cs.st-andrews.a Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:24:54 Artificial intelligence Minion Applied mathematics Local consistency PROPT Constraint programming Computing Constraint satisfaction
287	Introduction The SYMPHONY Black Box Solver The SYMPHONY Callable Library Example The SYMPHONY Framework for Mixed-Integer Add to Reading List Source URL: coral.ie.lehigh.edu Language: English - Date: 2010-06-19 14:25:54 Computer programming Numerical software COIN-OR Linear programming Lis Subroutine Solver AMPL MINTO Operations research Software Numerical analysis
288	Globally Convergent Parallel MAP LP Relaxation Solver using the Frank-Wolfe Algorithm Alexander G. Schwing University of Toronto, 10 King’s College Rd., Toronto, Canada Tamir Hazan University of Haifa, Haifa, Israel Add to Reading List Source URL: www.alexander-schwing.de Language: English - Date: 2014-05-11 20:22:32 Operations research Convex optimization Linear programming Relaxation Duality Quadratic programming Support vector machine Frank–Wolfe algorithm Gradient descent Mathematical optimization Numerical analysis Mathematics
289	Eurographics/ ACM SIGGRAPH Symposium on Computer AnimationM. Otaduy and Z. Popovic (Editors) A parallel multigrid Poisson solver for fluids simulation on large grids A. McAdams1,2 , E. Sifakis1,3 , and J. Teran1, Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2010-10-13 18:10:35 Partial differential equations Numerical linear algebra Boundary conditions Numerical analysis Multigrid method Wavelets MEMO Model Lis Discrete Poisson equation Mathematical analysis Mathematics Calculus
290	Eurographics/ ACM SIGGRAPH Symposium on Computer AnimationM. Otaduy and Z. Popovic (Editors) A parallel multigrid Poisson solver for fluids simulation on large grids A. McAdams1,2 , E. Sifakis1,3 , and J. Teran1, Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2011-05-23 17:54:51 Partial differential equations Numerical linear algebra Boundary conditions Numerical analysis Multigrid method Wavelets MEMO Model Lis Discrete Poisson equation Mathematical analysis Mathematics Calculus

UPDATE