• ARock

  • Referenced in 30 articles [sw16800]
  • fixed point to a nonexpansive operator, i.e., x * =Tx * , abstracts many problems in numerical linear ... areas of data science. To solve fixed-point problems, we propose ARock, an algorithmic framework ... nonexpansive operator T has a fixed point, then with probability one, ARock generates a sequence ... that converges to a fixed point of T. Our conditions on T and step sizes...
  • spBayes

  • Referenced in 365 articles [sw10160]
  • encounter spatially referenced data collected over a fixed set of locations with coordinates (latitude–longitude ... region of study. Such point-referenced or geostatistical data are often best analyzed with Bayesian ... methods whose efficiency depends upon the specific problem at hand. This requires extensive coding...
  • Miniball

  • Referenced in 43 articles [sw05179]
  • ball spanned by a set of points fails to work for balls. Consequently, the existing ... with a fixed point on the boundary is equivalent to the problem of finding...
  • BEDFix

  • Referenced in 9 articles [sw04469]
  • Bisection Envelope Deep-cut Fixed point) algorithm for the problem of approximating a fixed point ... used to solve the absolute criterion fixed point problem with significantly better performance than...
  • FPC_AS

  • Referenced in 68 articles [sw12218]
  • fixed-point continuation and active set) is a MATLAB solver for the l1-regularized least ... squares problem: A fast algorithm for sparse reconstruction based on shrinkage, subspace optimization, and continuation ... solving the ℓ 1 -regularized minimization problem ... decision variables x to this subset and fixing their signs at their current values reduces...
  • Mcmt

  • Referenced in 24 articles [sw11911]
  • safety and fix-points by solving Satisfiability Modulo Theories (SMT) problems. Besides standard SMT techniques...
  • GKB-FP

  • Referenced in 17 articles [sw02082]
  • parameter for the projected problem is chosen by the fixed-point method already presented ... many numerical results on well-known problems so that the effectiveness of the method appears...
  • RealPaver

  • Referenced in 51 articles [sw04401]
  • enclose the global optimum of an optimization problem with certainty. Solving methods: Realpaver implements correctly ... several methods from various fields: interval fixed-point operators, constraint propagation and local consistency techniques ... library along with modeling and solving problems. A mathematical modeling language...
  • SBA

  • Referenced in 24 articles [sw05242]
  • interaction among parameters for different 3D points and cameras results in the underlying normal equations ... manifestation/parameterization of the multiple view reconstruction problem such as arbitrary projective cameras, partially or fully ... exterior orientation (i.e. pose) estimation from fixed 3D points, refinement of intrinsic parameters ... adapt sba to any such problem is to supply it with appropriate routines for computing...
  • CONTENT

  • Referenced in 37 articles [sw01058]
  • fixed point. Under parameter variations, the fixed point typically moves until a bifurcation value ... phenomena because they generically appear in problems with one free parameter. The software package CONTENT ... among other things) to numerically continue fixed points and to detect, compute and continue fold...
  • SuperMann

  • Referenced in 11 articles [sw36949]
  • superlinearly convergent algorithm for finding fixed points of nonexpansive operators. Operator splitting techniques have recently ... convex optimization problems arising in various control fields. Being fixed-point iterations of nonexpansive operators...
  • ASASP

  • Referenced in 5 articles [sw06350]
  • procedure to solve security analysis problems. Checks for fix-point-reduced to satisfiability problems...
  • Flix

  • Referenced in 2 articles [sw39893]
  • language for specifying and solving least fixed point problems, particularly static program analyses. Flix...
  • Anderson

  • Referenced in 89 articles [sw15192]
  • paper concerns an acceleration method for fixed-point iterations that originated in work ... tool. We first show that, on linear problems, Anderson acceleration without truncation is “essentially equivalent...
  • LOCBIF

  • Referenced in 65 articles [sw07928]
  • solutions of time-periodic nonautonomous ODEs, fixed points and periodic orbits of iterated maps ... them to construct well-posed continuation problems. The described continuation technique is supported...
  • NAPHEAP

  • Referenced in 11 articles [sw23701]
  • NAPHEAP has been developed to solve this problem. The algorithm solves the Karush-Kuhn-Tucker ... starting guess is computed using the variable fixing method or is supplied by the user ... heap data structure for storing the break points of the dual function and computing ... dual problem. Also, a new version of the variable fixing algorithm is developed that...
  • PLTMGC

  • Referenced in 19 articles [sw01063]
  • fixed parameter values, it can be used to solve the linear eigenvalue problem, trace solution ... branches, locate singular points (simple turning points and bifurcation points) and switch branch at simple...
  • NeNMF

  • Referenced in 33 articles [sw17586]
  • NeNMF solver to simultaneously overcome the aforementioned problems. It applies Nesterov’s optimal gradient method ... alternatively optimize one factor with another fixed. In particular, at each iteration round, the matrix ... method performed on a smartly chosen search point, where the step size is determined ... that suffer from numerical instability problem in the worst case, NeNMF overcomes this deficiency...
  • Bedwyr

  • Referenced in 22 articles [sw09460]
  • inference rules for definitions that allow fixed points to be explored. As a result, proof ... sequent calculus can capture simple model checking problems as well as may and must behavior...
  • Antichains

  • Referenced in 33 articles [sw20208]
  • implicit. Our algorithm computes the least fixed point of a monotone function on the lattice ... used for solving the language-inclusion problem for nondeterministic finite automata, and the emptiness problem...