Solver - PDFSEARCH.IO - Document Search Engine

Solver
Results: 737

#	Item
691	Microsoft Word - Prof. White - PR152 Add to Reading List Source URL: www.rle.mit.edu Language: English - Date: 2011-05-31 10:23:10 Electronics Electromagnetic field solver MEMO Model Environmental science Electromagnetism Computational electromagnetics Operations research Boundary element method Mathematical optimization
692	Modelling Tools \| Solver Systems \| News Analytics \| Training \| Software Development \| Optimisation \| Risk Management Help businesses capture value through optimisation and risk management solutions Add to Reading List Source URL: www.optirisk-systems.com Language: English - Date: 2010-02-08 07:43:00 Applied mathematics Numerical software Mathematical optimization Computer algebra systems AMPL FortMP Sol MOSEK Gurobi Operations research Numerical analysis Mathematical software
693	About me Software testing Bugs hunting Concolic execution IR and constraints solver Proof of concept Add to Reading List Source URL: www.shell-storm.org Language: English - Date: 2014-05-25 11:17:11 Fuzz testing Software testing Software bug Concolic testing
694	AIAA[removed]A Pure Java Parallel Flow Solver Jochem Häuser, Thorsten Ludewig Torsten Gollnick, Ralf Winkelmann Department of Transportation, University of Applied Sciences Add to Reading List Source URL: www.ligo.caltech.edu Language: English - Date: 2002-09-04 11:24:45 Remote procedure call Computing platforms Distributed computing architecture Java remote method invocation Java Message passing Serialization Java performance Class skeleton Computing Inter-process communication Java platform
695	SMT-RAT Version[removed]Satisfiability-Modulo-Theories Real Arithmetic Toolbox Manual Florian Corzilius, Ulrich Loup, Sebastian Junges, and Erika Ábrahám Add to Reading List Source URL: smtrat.sourceforge.net Language: English - Date: 2012-02-28 12:54:49 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories Solver Module AMPL Theoretical computer science Applied mathematics Mathematics
696	Package ‘TSP’ September 6, 2013 Type Package Title Traveling Salesperson Problem (TSP) Version[removed]Date[removed] Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2013-09-06 14:45:51 Applied mathematics NP-complete problems Operations research Combinatorial optimization Approximation algorithms Concorde TSP Solver Nearest neighbour algorithm Lin–Kernighan heuristic Concorde Theoretical computer science Mathematics Travelling salesman problem
697	Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria Add to Reading List Source URL: sebastien.bardin.free.fr Language: English - Date: 2014-04-03 11:43:14 Electronic design automation Logic in computer science NP-complete problems Abstract interpretation Symbolic execution Satisfiability Modulo Theories Solver Theoretical computer science Applied mathematics Formal methods
698	SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-10-26 18:47:17 Formal methods Logic in computer science Electronic design automation Constraint programming Satisfiability Modulo Theories Reasoning system Formal verification Solver Algorithm Theoretical computer science Applied mathematics Mathematics
699	543 M6660 雙曲線型守恆律 In this course, we consider the theoretical and computational aspects of hyperbolic conservation laws which originate from the conservation laws of mass, momentum and energy of various fie Add to Reading List Source URL: www.iam.ntu.edu.tw Language: English - Date: 2005-03-01 03:12:50 Dynamics Shock capturing methods Riemann solver Finite volume method Randall J. LeVeque Euler equations Hyperbolic partial differential equation High-resolution scheme Riemann problem Computational fluid dynamics Fluid dynamics Fluid mechanics
700	THE PROBLEM SOLVER Problem Add to Reading List Source URL: www.ferret.com.au Language: English - Date: 2013-02-14 23:01:44 Manufacturing Loctite Cyanoacrylate Epoxy Sealant Thread-locking fluid Galling Primer Henkel Adhesives Chemistry Materials science

UPDATE