
PPL
 Referenced in 88 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...

CGAL
 Referenced in 307 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...

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

libMC
 Referenced in 36 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 29 articles
[sw04823]
 type of convex feasibility problem that has found many applications to controller analysis and design...

flexclust
 Referenced in 19 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...

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

iPiano
 Referenced in 30 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...

archetypes
 Referenced in 10 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...

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 15 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...

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...

LSSVMlab
 Referenced in 23 articles
[sw07367]
 risk minimization. In the methods one solves convex optimization problems, typically quadratic programs. Least Squares ... recognition algorithms such as kernel Fisher discriminant analysis and extensions to unsupervised learning, recurrent networks...

bmrm
 Referenced in 15 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...

PESTO
 Referenced in 11 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...

CalCS
 Referenced in 4 articles
[sw13098]
 constraints by using geometric properties of convex sets and supporting hyperplanes. We validate CalCS ... model checking of hybrid automata and static analysis of floatingpoint software...

DrAmpl
 Referenced in 8 articles
[sw06194]
 include classification of the problem at hand, analysis of the objective and constraint functions ... over the feasible set and assessment of convexity. Two antagonistic approaches are considered...