• # 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 NP-hard 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 linear-quadratic 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 well-suited 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 lambda-calculus 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 lambda-calculus 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...
• # redbKIT

• Referenced in 151 articles [sw12977]
• depending on several parameters and PDE-constrained optimization. The book presents a general mathematical formulation ... offline-online 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...
• # 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 linear-algebra 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 ... first-order 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...