Solver - PDFSEARCH.IO - Document Search Engine

Solver
Results: 737

#	Item
111	Tinker, Tailor, Solver, Proof Writing Graphical Proof Strategies in Tinker Gudmund Grov Yuhui Lin Add to Reading List Source URL: ggrov.github.io Language: English - Date: 2016-07-27 05:15:16 Data management Transaction processing
112	Technische Universität München Fakultät für Informatik Computational Science and Engineering (Int. Master’s Program) Parallelisation of a Discontinuous Galerkin Solver for Add to Reading List Source URL: www5.in.tum.de Language: English Partial differential equations Shallow water equations Differential equation Xi NavierStokes equations Nonlinear system
113	Comparison of parallel preconditioners for a Newton-Krylov flow solver Jason E. Hicken, Michal Osusky, and David W. Zingg 1 Introduction Analysis of the results from the AIAA Drag Prediction workshops (Mavriplis et al, Add to Reading List Source URL: homepages.rpi.edu Language: English - Date: 2012-07-05 17:13:07 Numerical linear algebra Incomplete LU factorization Preconditioner Computational fluid dynamics Iterative method Lis NewtonKrylov method Schur complement Matrix Generalized minimal residual method SLEPc
114	Flyability SA Place du NordLausanne Switzerland + Add to Reading List Source URL: www.flyability.com Language: English - Date: 2016-07-09 09:24:20 Avionics Robotics Unmanned aerial vehicle Wireless Solver Decoupling Robot Mathematical optimization Internship
115	A SAT-based Method for Solving the Two-dimensional Strip Packing Problem Takehide Soh1 , Katsumi Inoue12 , Naoyuki Tamura3 , Mutsunori Banbara3 , and Hidetomo Nabeshima4 1 Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:07:40 Constraint programming Numerical software Automated theorem proving DPLL algorithm Packing problems Solver Constraint satisfaction Reduction Algorithm Exponential time hypothesis Bin packing problem
116	Computational Science and Engineering (Int. Master’s Program) Technische Universität München Master’s Thesis Add to Reading List Source URL: www5.in.tum.de Language: English - Date: 2016-05-10 05:00:23 Computational fluid dynamics Bernhard Riemann Numerical analysis Riemann solver Mathematical optimization Solver Sol Lis
117	A Constraint Solver for PHP Arrays Ivan Enderlin1 , Alain Giorgetti, Fabrice Bouquet March 22th, 2013 CSTVA, Luxembourg Add to Reading List Source URL: keynote.hoa-project.net Language: English - Date: 2013-12-16 18:13:31 Scripting languages PHP Data types Mathematical modeling Object-oriented programming languages Constraint programming AMPL Array data type Praspel Array data structure Associative array
118	A New Implementation and Detailed Study of Breakpoint Analysis Bernard M.E. Moret Stacia Wyman Dept. of Computer Science Add to Reading List Source URL: www.cs.unm.edu Language: English - Date: 2006-12-01 05:40:25 NP-complete problems Operations research Travelling salesman problem Greedy algorithm Solver Evolution Heuristic Phylogenetic tree
119	A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality Jasmin Christian Blanchette1,2 , Mathias Fleury2 , and Christoph Weidenbach2 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-06-17 09:50:06 Formal methods Automated theorem proving Logic in computer science Boolean algebra Electronic design automation Conflict-Driven Clause Learning Boolean satisfiability problem Satisfiability modulo theories Clause Vampire Propositional calculus Lambda calculus
120	48th AIAA Aerospace Sciences Meeting Including the New Horizons Forum and Aerospace ExpositionJanuary 2010, Orlando, Florida AIAAA parallel Newton-Krylov-Schur flow solver for the Add to Reading List Source URL: homepages.rpi.edu Language: English - Date: 2012-07-05 17:13:30 Aerodynamics Partial differential equations Computational fluid dynamics NavierStokes equations Fluid dynamics Stokes equation Fluid mechanics

UPDATE