Solver - PDFSEARCH.IO - Document Search Engine

Solver
Results: 737

#	Item
461	Minimizing CVaR, and Hedging Issues, for a Portfolio of Derivatives Add to Reading List Source URL: www.polyu.edu.hk Language: English - Date: 2015-02-13 20:16:46 Mathematics Applied mathematics Riemann solver Finite volume method Solver Sol Bernhard Riemann Computational fluid dynamics Computational science Numerical analysis
462	MPAQ E-News Issue 6 October 2012 Managers Report, Over the last few months Master Painters Association has been working in conjunction with AWCI, Dulux, Wattyl/Solver, PPG and the BSA to create a series of Add to Reading List Source URL: www.mpa.org.au Language: English - Date: 2013-01-17 18:07:00 Contract law Labour relations Alternative education General contractor Real estate Subcontractor Dulux Trade union Wattyl Education Construction Architecture
463	www.siemens.com/plm/nxnastran NX Nastran The premier FEA solver for computational performance, accuracy, reliability and scalability Add to Reading List Source URL: www.appcim.com Language: English - Date: 2013-05-10 12:38:03 Software Nastran Femap NX Siemens PLM Software Rotordynamics Finite element method SDRC Mechanical engineering Application software Information technology management Product lifecycle management
464	Liu Bie Ju Centre for Mathematical Sciences Add to Reading List Source URL: www6.cityu.edu.hk Language: English - Date: 2012-10-18 04:42:42 Mathematical analysis Operations research Computer file formats Mathematical optimization Numerical software Portable Extensible Toolkit for Scientific Computation Navier–Stokes equations Solver Nl Numerical linear algebra Numerical analysis Mathematics
465	Assessing Responses to Problems: An Introductory Guide for Police Problem-Solvers Add to Reading List Source URL: www.popcenter.org Language: English - Date: 2012-05-01 10:58:01 Evaluation Educational psychology Evaluation methods Problem-oriented policing Impact evaluation Police Problem solving Crime analysis Solver Law enforcement Crime prevention Ethics
466	A general phase transition model for vehicular traffic S. Blandin, D. Work, P. Goatin, B. Piccoli and A. Bayen 2009 IFAC workshop on Control of Distributed Parameter Systems, Toulouse, France, July[removed]A general p Add to Reading List Source URL: bayen.eecs.berkeley.edu Language: English - Date: 2015-01-21 14:55:55 Fundamental diagram of traffic flow Riemann solver Transport phenomena Fluid dynamics Traffic congestion Partial differential equation Transport Road transport Traffic flow
467	INSIDE Game on for Scalify NICTA solver wins Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:46 Computing NICTA Open Kernel Labs Gernot Heiser L4 microkernel family Armadillo University of New South Wales University of Melbourne Information and communication technologies in education Software Association of Commonwealth Universities System software
468	Marijn J.H. Heule December 21, 2014 Personal Information Name: Born: Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-12-21 16:31:34 Logic in computer science Boolean algebra Constraint programming Electronic design automation Formal methods Boolean satisfiability problem Maximum satisfiability problem Satisfiability Solver Theoretical computer science Mathematics Applied mathematics
469	Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads (PRELIMINARY VERSION; [removed]) ⋆ Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2011-09-25 04:19:32 Logic in computer science NP-complete problems Electronic design automation Formal methods Automated theorem proving Boolean satisfiability problem Satz Lookahead Solver Theoretical computer science Mathematics Applied mathematics
470	Using a satisfiability solver to identify deterministic finite state automata Marijn J.H. Heule Sicco Verwer Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2009-08-19 05:30:10 NP-complete problems Complexity classes Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Graph coloring SL NP-complete Theoretical computer science Mathematics Computational complexity theory

UPDATE