
LPbook
 Referenced in 48 articles
[sw31782]
 linear programming, and proceeding to convex analysis, network flows, integer programming, quadratic programming, and convex...

CGAL
 Referenced in 329 articles
[sw00118]
 approximation of ridges and umbilics), alpha shapes, convex hull algorithms ... neighbor interpolation and placement of streamlines), shape analysis, fitting, and distances (smallest enclosing sphere...

PPL
 Referenced in 89 articles
[sw05357]
 domain of convex polyhedra is employed in several systems for the analysis and verification ... work of P. Cousot and N. Halbwachs, convex polyhedra have thus played an important role...

SCAT
 Referenced in 9 articles
[sw25392]
 Symbolic Convex Analysis Toolkit (SCAT). The Symbolic Convex Analysis Toolkit (SCAT) is a Maple package...

CCA
 Referenced in 5 articles
[sw30994]
 Computational convex analysis library. The Computational Convex Analysis numerical library contains efficient algorithms to manipulate ... univariate functions, and to compute fundamental convex analysis transforms. Functions can be entered explicitly ... Moreau envelope, the (generalized) proximal average, the convex hull, the subdifferential, and Rockafellar and Fitzpatrick...

libMC
 Referenced in 40 articles
[sw06615]
 convex and concave relaxations recursively for each of these intermediate variables via interval analysis ... forward mode, with each elementary operation of convex and concave relaxation, additional variables are introduced...

TILOS
 Referenced in 8 articles
[sw11680]
 sizing algorithm, which couples synchronous timing analysis with convex optimization techniques, is presented...

LMIRank
 Referenced in 32 articles
[sw04823]
 type of convex feasibility problem that has found many applications to controller analysis and design...

flexclust
 Referenced in 22 articles
[sw04583]
 general framework for kcentroids cluster analysis supporting arbitrary distance measures and centroid computation. Further ... graphs, convex cluster hulls, barcharts of centroids, ...), and bootstrap methods for the analysis of cluster...

Karnak.sGbem
 Referenced in 3 articles
[sw10250]
 Lower bound limit analysis by BEM: convex optimization problem and incremental approach. The lower bound ... system. The analysis is performed in a canonical form as a convex optimization problem with ... numerical tests, compared with the iterative elastoplastic analysis via the Multidomain Symmetric Galerkin Boundary Element...

iPiano
 Referenced in 39 articles
[sw09623]
 differentiable (possibly nonconvex) and a convex (possibly nondifferentiable) function. The algorithm iPiano combines forwardbackward ... Heavyball method from Polyak. A rigorous analysis of the algorithm for the proposed class...

CAM
 Referenced in 1 article
[sw10896]
 describe a RJava CAM (convex analysis of mixtures) package that provides comprehensive analytic functions...

archetypes
 Referenced in 11 articles
[sw06782]
 analysis has the aim to represent observations in a multivariate data set as convex combinations ... package provides an implementation of the archetypal analysis algorithm within R and different exploratory tools...

COAL
 Referenced in 1 article
[sw07690]
 optimization problems of variational image analysis We present the Convex Optimization Algorithms Library (COAL ... solving convex optimization problems in connection with variational problems of image analysis. COAL connects solver...

PESTO
 Referenced in 17 articles
[sw20864]
 worstcase to solving a convex semidefinite program, generalizing previous works on performance estimation ... these developments to obtain a tighter analysis of the proximal point algorithm and of several...

MARCO
 Referenced in 5 articles
[sw02719]
 reachability analysis and that of our collaborators, we exploited the convexity of multiaffine functions ... mode. We describe our MultiAffine Reachability analysis using Conical Overapproximations, MARCO, and show that...

PFC2D
 Referenced in 16 articles
[sw07902]
 problem, its range extends to any analysis that examines the dynamic behavior of a particulate ... arbitrarilyoriented line segments or planar convex polygons may be specified as walls, each with...

SOFAR
 Referenced in 3 articles
[sw31665]
 spare vector autoregression analysis. Exploiting the framework of convexityassisted nonconvex optimization, we derive nonasymptotic...

RAMAS
 Referenced in 12 articles
[sw10958]
 systems. We present a technique for reachability analysis of continuous multiaffine systems based ... quotients are produced. We exploit some interesting convexity properties of multiaffine functions on rectangles ... expected to find important applications in analysis of biological networks and robot control...

bmrm
 Referenced in 17 articles
[sw11016]
 methods for minimization of convex and nonconvex risk under L1 or L2 regularization. Implements ... which make it powerful for big data analysis. The applications includes: structured prediction, linear...