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

  • Referenced in 1 article [sw10896]
  • describe a R-Java 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 forward-backward ... Heavy-ball 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 multi-affine functions ... mode. We describe our Multi-Affine 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 ... arbitrarily-oriented 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 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...
  • LS-SVMlab

  • 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 non-convex 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]
  • 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...
  • 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 floating-point 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...