
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 fixedpoint 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 pointreferenced 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 Deepcut 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]
 fixedpoint continuation and active set) is a MATLAB solver for the l1regularized 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 fixpoints by solving Satisfiability Modulo Theories (SMT) problems. Besides standard SMT techniques...

GKBFP
 Referenced in 17 articles
[sw02082]
 parameter for the projected problem is chosen by the fixedpoint method already presented ... many numerical results on wellknown 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 fixedpoint 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 fixedpoint iterations of nonexpansive operators...

ASASP
 Referenced in 5 articles
[sw06350]
 procedure to solve security analysis problems. Checks for fixpointreduced 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 fixedpoint 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 timeperiodic nonautonomous ODEs, fixed points and periodic orbits of iterated maps ... them to construct wellposed 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 KarushKuhnTucker ... 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 languageinclusion problem for nondeterministic finite automata, and the emptiness problem...