
SparseMatrix
 Referenced in 601 articles
[sw04629]
 structural engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics, computer graphics/vision ... that typically do not have such geometry (optimization, circuit simulation, economic and financial modeling, theoretical...

Knapsack
 Referenced in 453 articles
[sw04723]
 simplest NPhard problems in combinatorial optimization, as they maximize an objective function subject ... considered with respect to relaxations, bounds, reductions and other algorithmic techniques for the exact solution...

LYAPACK
 Referenced in 58 articles
[sw12624]
 Riccati Equations, Model Reduction Problems, and Linear–Quadratic Optimal Control Problems Users ’ Guide (Version ... which also contains implementations of two model reduction methods and modifications of the Newton method ... large Riccati equations and linearquadratic optimal control problems...

Esterel
 Referenced in 161 articles
[sw20012]
 embedded in a larger system. Extensive optimization is available. We provide a graphical symbolic debugger ... based verification tools that perform either bisimulation reduction or safety property checking. Esterel...

STR2
 Referenced in 10 articles
[sw14873]
 STR2: optimized simple tabular reduction for table constraints. Table constraints play an important role within ... this paper, we describe an optimization of simple tabular reduction (STR), a technique proposed ... supports. Interestingly enough, this optimization makes simple tabular reduction potentially r times faster where...

Manopt
 Referenced in 83 articles
[sw08493]
 design efficient numerical algorithms. In particular, optimization on manifolds is wellsuited to deal with ... registration, independent component analysis, metric learning, dimensionality reduction and so on. The Manopt toolbox, available ... experimenting with state of the art Riemannian optimization algorithms. We aim particularly at reaching practitioners...

CALMA
 Referenced in 105 articles
[sw03235]
 Maastricht, Norwich, and Toulouse. The participants developed optimization algorithms based on branch ... methods, genetic algorithms, neural networks, and potential reduction. These algorithms were tested and compared...

PELCR
 Referenced in 4 articles
[sw20841]
 PELCR, parallel environment for optimal lambdacalculus reduction. In this article we present the implementation ... environment supporting Lévy’s optimal reduction for the λcalculus on parallel (or distributed) computing ... PELCR (parallel environment for optimal lambdacalculus reduction), relies on a strategy for directed virtual...

PAT
 Referenced in 32 articles
[sw13258]
 performance, advanced optimization techniques are implemented in PAT, e.g. partial order reduction, symmetry reduction, process...

Leibniz
 Referenced in 31 articles
[sw12871]
 dimension reduction of models  decomposition of graphs and matrices  solution of constrained optimization problems involving...

redbKIT
 Referenced in 151 articles
[sw12977]
 depending on several parameters and PDEconstrained optimization. The book presents a general mathematical formulation ... offlineonline decomposition strategies aimed at the reduction of computational complexity. Furthermore, they carry...

emgr
 Referenced in 9 articles
[sw07554]
 example in: model reduction, decentralized control, optimal placement, sensitivity analysis or parameter identification. Empirical Gramian...

GLOPT
 Referenced in 19 articles
[sw00359]
 optimization problem. \parIn this paper we discuss a new reduction technique for boxes...

Isomap
 Referenced in 11 articles
[sw31686]
 algorithms for nonlinear dimensionality reduction, ours efficiently computes a globally optimal solution...

MiniLEGO
 Referenced in 12 articles
[sw09866]
 compatible with all known optimization for Yao garbled gates (row reduction, freeXORs, point...

RXshrink
 Referenced in 2 articles
[sw27789]
 normal distribution theory, to produce an optimal reduction in MSE Risk in estimates of regression...

BKZ
 Referenced in 57 articles
[sw10242]
 Better lattice security estimates. The best lattice reduction algorithm known in practice for high dimension ... implementation are no longer optimal, but the precise impact on security estimates was unclear...

EigenCFA
 Referenced in 3 articles
[sw14136]
 Ultimately, our program transformations, reductions and optimizations achieve a factor of 72 speedup over ... optimized CPU implementation.{par}We began our investigation with the view that GPUs accelerate high ... from linearalgebra operations. Central to this reduction were “abstract” Church encodings, and encodings...

na8
 Referenced in 4 articles
[sw11513]
 must be satisfied by the $L_2$ optimal rational transfer matrix approximating a given higher ... transfer matrix is briefly described. The model reduction problem consists in the approximation ... firstorder necessary conditions of optimality in terms of interpolation constraints and does not require ... computationally much simpler than most optimal or seven suboptimal reduction techniques presently available, since...

WavePacket
 Referenced in 7 articles
[sw19829]
 systems and dimension reduction; it also describes the codes for optimal control of quantum dynamics.The...