
OPTCON
 Referenced in 14 articles
[sw02660]
 stochastic parameter vector in the system equations. The first step consists in approximating the time ... Then the key idea is to use Bellman’s principle of optimality to solve...

OptimalAdvertising
 Referenced in 1 article
[sw19645]
 dynamics is given by a nonlinear difference equation. The nonlinearity depends on a parameter ... control problem can be solved explicitly. The Bellman method of dynaming programming is used ... obtained under the assumption that the difference equation of the model has a solution. Sufficient...

HSL
 Referenced in 238 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

Mathematica
 Referenced in 5337 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 10782 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

Octave
 Referenced in 257 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

PARDISO
 Referenced in 234 articles
[sw00679]
 The package PARDISO is a threadsafe, high...

R
 Referenced in 6934 articles
[sw00771]
 R is a language and environment for statistical...

TOMP
 Referenced in 22 articles
[sw00971]
 Algorithm 733: TOMP  Fortran modules for optimal control...

UMFPACK
 Referenced in 302 articles
[sw00989]
 An ANSI C code for sparse LU factorization...

PRISM
 Referenced in 387 articles
[sw01186]
 PRISM: Probabilistic symbolic model checker. In this paper...

Duali
 Referenced in 25 articles
[sw01245]
 The Duali/Dualpc software system is designed to solve...

FreeFem++
 Referenced in 841 articles
[sw01436]
 FreeFem++ is an implementation of a language dedicated...

MRMC
 Referenced in 66 articles
[sw04129]
 The ins and outs of the probabilistic model...

DIMSYM
 Referenced in 72 articles
[sw04279]
 Dimsym is a program primarily for the determination...

CVX
 Referenced in 595 articles
[sw04594]
 CVX is a modeling system for constructing and...

YALMIP
 Referenced in 799 articles
[sw04595]
 YALMIP Yet another LMI parser. YALMIP is a...

Mosek
 Referenced in 303 articles
[sw04618]
 MOSEK is a tool for solving mathematical optimization...

INTOPT_90
 Referenced in 300 articles
[sw04705]
 Rigorous global search: continuous problems The monograph gives...

QUALEX
 Referenced in 48 articles
[sw04742]
 A new trust region technique for the maximum...