Solver

Results: 737



#Item
301Microsoft Dynamics / Spreadsheet / Inventory / Microsoft / Business / Technology / Business software

Solver Customer Case Study “With our old system, if the CFO needed a financial snapshot during month-end closing, it was simply not available. Now, no matter what time of month it is, we can get executives a financial

Add to Reading List

Source URL: cdn.solverusa.com

Language: English - Date: 2013-06-20 18:01:38
302Solver / Statistics / Forecasting / Computing / Economy of the United States / Numerical software / Dow Jones Industrial Average / Microsoft

Solver Customer Case Study Enter Card Improves Efficiencies in Budgeting with BI360 When expanding financial group EnterCard needed a BI solution to streamline its forecasting, analytical and reporting processes, they fo

Add to Reading List

Source URL: cdn.solverusa.com

Language: English - Date: 2013-09-27 18:03:19
303Logic in computer science / Boolean algebra / Constraint programming / Electronic design automation / Formal methods / Boolean satisfiability problem / Solver / Satisfiability / Davis–Putnam algorithm / Theoretical computer science / Mathematics / Applied mathematics

Compilation of Planning to SAT Yiqiao Wang 1 Motivation

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2006-03-10 10:57:49
304Hilbert transform / Ordinary differential equation / Sobolev space / Helmholtz equation / Integral / Bessel function / Legendre function / Differential equation / Spectral theory of ordinary differential equations / Mathematical analysis / Calculus / Fourier analysis

A FAST DIRECT SOLVER FOR THE INTEGRAL EQUATIONS OF SCATTERING THEORY ON PLANAR CURVES WITH CORNERS JAMES BREMER1,2 Abstract. We describe an approach to the numerical solution of the integral equations of scattering theor

Add to Reading List

Source URL: www.math.ucdavis.edu

Language: English - Date: 2015-01-03 20:56:10
305Philosophy of mind / Semantics / Logic / Linguistics / Philosophy / Interpretation / Model theory / Philosophy of language

Type Synthesis for the Logical Solver: an Approach based on Query Automata Louis Jachiet, Pierre Genev`es, Nabil Laya¨ıda July 25,

Add to Reading List

Source URL: typex.lri.fr

Language: English - Date: 2014-06-10 11:53:41
306Numerical linear algebra / GPGPU / Graphics hardware / Video cards / Nvidia / Multigrid method / Preconditioner / CUDA / Lis / Algebra / Mathematics / Computer hardware

GPU implementation of a Helmholtz Krylov solver preconditioned by a shifted Laplace multigrid method

Add to Reading List

Source URL: ta.twi.tudelft.nl

Language: English - Date: 2011-09-15 03:11:17
307Applied mathematics / Numerical analysis / Theoretical computer science / Computational science / Fast multipole method / Preconditioner / Solver / Mathematics / Numerical linear algebra / Numerical software

The High Performance Solution of Sparse Linear Systems and its application to large 3D Electromagnetic Problems David GOUDIN CEA/DAM/CESTA

Add to Reading List

Source URL: vecpar.fe.up.pt

Language: English - Date: 2010-07-02 10:34:01
308Integrated circuits / Electronic design / Parasitic extraction / Standard cell / Application-specific integrated circuit / Electromagnetic field solver / Signoff / Integrated circuit design / Synopsys / Electronic engineering / Electronic design automation / Electronics

Datasheet StarRC Custom Parasitic extraction for next-generation custom IC design Overview

Add to Reading List

Source URL: www.synopsys.com

Language: English - Date: 2014-11-07 14:32:39
309Integrated circuits / Electronic design / Parasitic extraction / Electromagnetic field solver / Standard cell / Circuit extraction / Application-specific integrated circuit / Signoff / Synopsys / Electronic engineering / Electronic design automation / Electronics

Datasheet StarRC Parasitic extraction Overview

Add to Reading List

Source URL: www.synopsys.com

Language: English - Date: 2015-04-23 11:15:59
310Numerical linear algebra / Numerical software / Partial differential equations / Graphics hardware / Numerical analysis / Multigrid method / Lis / Navier–Stokes equations / GPGPU / Mathematics / Calculus / Software

GPU Acceleration of an Unmodified Parallel Finite Element Navier–Stokes Solver Dominik G¨oddeke, Sven H.M. Buijssen, Hilmar Wobker and Stefan Turek Angewandte Mathematik und Numerik, TU Dortmund, Germany dominik.goedd

Add to Reading List

Source URL: www.mathematik.uni-dortmund.de

Language: English - Date: 2010-02-28 15:48:18
UPDATE