
SPADE
 Referenced in 89 articles
[sw02226]
 fast discovery of Sequential Patterns. The existing solutions to this problem make repeated database scans...

RealPaver
 Referenced in 51 articles
[sw04401]
 transcendental elementary functions. Rigourousness: Realpaver covers the solution set of a given problem by means ... some conditions, it can prove the existence of solutions to a set of constraints. Moreover...

RAGlib
 Referenced in 64 articles
[sw00774]
 each connected component of their real solution set. RAGlib is built upon the FGb library ... functionalities allow to decide the existence of real solutions and to compute sample points...

libMesh
 Referenced in 143 articles
[sw06657]
 highquality, existing software whenever possible. PETSc is used for the solution of linear systems...

DSDP5
 Referenced in 27 articles
[sw04411]
 complexity, primal and dual feasible solutions when they exist, certificates of infeasibility when solutions...

JPEG2000
 Referenced in 63 articles
[sw02062]
 presents implementation strategies accompanied by existing software and hardware solutions...

INTOPT_90
 Referenced in 305 articles
[sw04705]
 equality constraints (within a box frame). The solution procedures are based on branch and bound ... conditions and computationally executed proofs of the existence of feasible points generalizing Hansen and Walster...

HLLE
 Referenced in 582 articles
[sw06605]
 Leer and Einfeldt) solver is an approximate solution to the Riemann problem, which is only ... simple but also more advanced exists like using the Roe average velocity for the middle...

Chaff
 Referenced in 573 articles
[sw06916]
 been devoted to trying to provide practical solutions to this problem for problem instances encountered ... both research and industry. Most existing complete solvers are variants of the DavisPutnam...

MACSVRPTW
 Referenced in 83 articles
[sw06303]
 with the best known existing methods both in terms of solution quality and computation time...

LSDYNA
 Referenced in 314 articles
[sw03068]
 solving highly nonlinear transient problems enabling the solution of coupled multiphysics and multistage ... developer of LSDYNA, LSTC, continuously recodes existing algorithms and develops more efficient methodologies...

PROST
 Referenced in 149 articles
[sw12822]
 that is slightly different from the exact solution, has been documented in the literature ... known limiting case for this is the existence of spurious currents for the simulation...

Hyperheuristics
 Referenced in 136 articles
[sw00424]
 much superior to that of a manual solution but also these results were produced within ... savings resulting from using the existing hyperheuristic software framework...

Lotus 123
 Referenced in 80 articles
[sw27056]
 their existing system in spite of the greatly expanded hardware capabilities. Lotus’ solution was marketed...

avalanche.f
 Referenced in 18 articles
[sw13859]
 analytical solution are shown. We also prove the existence of a unique root...

QVILIB
 Referenced in 15 articles
[sw07063]
 with several applications in different fields. Solution methods exist, but are either especially tailored ... engineering, the interest in general purpose solution methods is growing. The aim of this paper...

Guess
 Referenced in 6 articles
[sw09215]
 general formula? Of course, no unique solution exists, owever, by Occam’s razor, we will...

Decision tree for optimization software
 Referenced in 55 articles
[sw13865]
 Testcases: example files ready to use with existing software, in different formats. Books & Tutorials. Tools ... formulating an optimization problem or simplifying its solution...

MADM
 Referenced in 123 articles
[sw06484]
 Order Preference by Similarity to Ideal Solution (TOPSIS), VIÅ¡ekriterijumsko KOmpromisno Rangiranje (VIKOR), Data Envelopment ... Ordered Weighted Averaging (OWA). The existing MADM methods are improved upon and three novel multiple...

SimpleMKL
 Referenced in 62 articles
[sw12290]
 largescale problems, by iteratively using existing support vector machine code. However, it turns ... numerous iterations for converging towards a reasonable solution. In this paper, we address...