• 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 k-centroids 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 forward-backward ... Heavy-ball method from Polyak. A rigorous analysis of the algorithm for the proposed class...
  • CAM

  • Referenced in 1 article [sw10896]
  • describe a R-Java 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]
  • worst-case 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 multi-affine functions ... mode. We describe our Multi-Affine 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 ... arbitrarily-oriented 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 convexity-assisted nonconvex optimization, we derive nonasymptotic...
  • RAMAS

  • Referenced in 12 articles [sw10958]
  • systems. We present a technique for reachability analysis of continuous multi-affine systems based ... quotients are produced. We exploit some interesting convexity properties of multi-affine 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 non-convex risk under L1 or L2 regularization. Implements ... which make it powerful for big data analysis. The applications includes: structured prediction, linear...