
LMI toolbox
 Referenced in 1468 articles
[sw06383]
 Linear Matrix Inequalities (LMIs) and LMI techniques have emerged as powerful design tools in areas ... structural design. The LMI Control Toolbox implements stateoftheart interiorpoint LMI solvers ... solvers are significantly faster than classical convex optimization algorithms, it should be kept in mind...

Tabu search
 Referenced in 1079 articles
[sw08556]
 sophistication. We provide several examples of discrete optimization problems to illustrate the strategic concerns ... results, which demonstrates that a welltuned implementation makes it possible to obtain solutions ... have not been matched by other known techniques...

PAT
 Referenced in 38 articles
[sw13258]
 animated simulator. Most importantly, PAT implements various model checking techniques catering for different properties such ... achieve good performance, advanced optimization techniques are implemented in PAT, e.g. partial order reduction, symmetry...

KELLEY
 Referenced in 643 articles
[sw04829]
 local convergence analysis is provided and implementation details are discussed. Other quasiNewton methods ... parameter identification problem and the discretized optimal control problem introduced in chapter 1, and with ... long, deals with the optimization of noisy functions. Such optimization problems arise, e.g., when ... behavior of optimization algorithms. Chapter 7 introduces implicit filtering, a technique due to the author...

redbKIT
 Referenced in 255 articles
[sw12977]
 depending on several parameters and PDEconstrained optimization. The book presents a general mathematical formulation ... theoretical properties, discusses the related algorithmic and implementation aspects, and highlights their builtin algebraic ... using greedy algorithms and proper orthogonal decomposition techniques, investigate their approximation properties and analyze offline...

CCFinder
 Referenced in 15 articles
[sw09683]
 This paper proposes a new clone detection technique, which consists of the transformation of input ... token comparison. For its implementation with several useful optimization techniques, we have developed a tool...

MSPAI
 Referenced in 11 articles
[sw11522]
 MSPAI preconditioner. We present an efficient implementation of the Modified SParse Approximate Inverse (MSPAI) preconditioner ... MILU, as well as interface probing techniques in domain decomposition: it adds probing constraints ... basic SPAI formulation, and one can thus optimize the preconditioner relative to certain subspaces ... present such an implementation introducing two new optimization techniques: First, we avoid redundant calculations using...

fCube
 Referenced in 9 articles
[sw11383]
 fCube is that it implements several optimization techniques that allow to prune the search space...

Spartacus
 Referenced in 15 articles
[sw12426]
 competitive performance, Spartacus implements a number of optimization techniques, including a new technique that...

ECOS
 Referenced in 58 articles
[sw12123]
 employing a simple branch and bound technique. ECOS is written entirely in ANSI ... optimization problems on any embedded system for which a Ccompiler is available. The implemented ... solving convex optimization problems. It uses regularization and iterative refinement techniques to be numerically robust...

SMS
 Referenced in 31 articles
[sw01085]
 generation of finiteelement code by simultaneous optimization of expressions. The paper presents a MATHEMATICA ... approach, implemented in SMS, avoids this problem by combining several techniques ... symbolic capabilities of Mathematica, automatic differentiation technique, simultaneous optimization of expressions and a stochastic evaluation ... formulas instead of a conventional pattern matching technique. SMS translates the derived symbolic formulas into...

AIR tools
 Referenced in 97 articles
[sw09203]
 methods are implemented: Algebraic reconstruction techniques and simultaneous iterative reconstruction techniques. In addition we provide ... training” algorithm that finds the optimal parameter for a given test problem. The stopping rules...

RealPaver
 Referenced in 51 articles
[sw04401]
 optimum of an optimization problem with certainty. Solving methods: Realpaver implements correctly rounded intervalbased ... operators, constraint propagation and local consistency techniques, local optimization using descent methods and metaheuristics...

POPMUSIC
 Referenced in 26 articles
[sw20508]
 optimize subparts of solutions until a local optimum is reached. Implementations of the technique...

HElib
 Referenced in 40 articles
[sw09518]
 helib. HElib is a software library that implements homomorphic encryption (HE), specifically the BrakerskiGentry ... SmartVercauteren ciphertext packing techniques and the GentryHaleviSmart optimizations. The underlying cryptosystem serves...

AceGen
 Referenced in 42 articles
[sw10821]
 formulae needed in numerical procedures. An approach, implemented in AceGen, avoids the problem of expression ... Mathematica, automatic differentiation technique, automatic code generation and simultaneous optimization of expressions. The multilanguage...

Kima
 Referenced in 3 articles
[sw08979]
 System for Concurrent Logic Programs. We have implemented Kima, an automated error correction system ... efficiently. We proposed a simple and efficient technique which, given a nonwellmoded/typed ... presents the basic algorithm and various optimization techniques implemented in Kima, and then discusses...

MAPCLUS
 Referenced in 31 articles
[sw20021]
 several other numerical techniques (notably a heuristically based combinatorial optimization procedure) to provide an efficient ... generalpurpose computer implemented algorithm for obtaining ADCLUS representations. MAPCLUS is illustrated with an application...

levmar
 Referenced in 66 articles
[sw04809]
 native ANSI C implementations of the LevenbergMarquardt optimization algorithm, usable also from C++, Matlab ... LevenbergMarquardt (LM) algorithm is an iterative technique that finds a local minimum...

Dyna
 Referenced in 12 articles
[sw23357]
 already knows several implementation tricks, algorithmic transforms, and numerical optimization techniques. It will acquire more...