Search Results for "formulation"

...Convex.jl works by transforming the problem—which possibly has nonsmooth, nonlinear constructions like the nuclear norm, the log determinant, and so forth—into a linear optimization problem subject to conic constraints. This reformulation often involves adding auxiliary variables and is called an "extended formulation", since the original problem has been extended with additional variables. These formulations rely on the problem being modeled by combining Convex.jl's "atoms" or primitives according to certain rules which ensure convexity, called the disciplined convex programming (DCP) ruleset. If these atoms are combined in a way that does not ensure convexity, the extended formulations are often invalid.

...His Strange Loop talk is a great introduction to the idea of transducers. Transducers.jl is an implementation of the transducers in Julia. Aiming to satisfy the high-performance needs of Julia users, Transducers.jl uses a formulation that is pure and aiding type-stability.