• FastICA

  • Referenced in 210 articles [sw07225]
  • MATLAB program that implements the fast fixed-point algorithm for independent component analysis and projection...
  • CESAR

  • Referenced in 161 articles [sw08510]
  • which can be computed iteratively as fixed points of monotonic predicate transformers. The verification...
  • Anderson

  • Referenced in 102 articles [sw15192]
  • Anderson Acceleration for Fixed-Point Iterations. This paper concerns an acceleration method for fixed-point...
  • HOMPACK

  • Referenced in 122 articles [sw05324]
  • algorithms for finding zeros or fixed points of nonlinear systems of equations that are globally...
  • DSTool

  • Referenced in 104 articles [sw06719]
  • draw trajectories, to find fixed points or bifurcation points. Dynamical systems arise in many disciplins...
  • SpaceEx

  • Referenced in 75 articles [sw10939]
  • spaceex.imag.fr. Experimental results of full fixed-point computations with hybrid systems with more than...
  • FPC_AS

  • Referenced in 70 articles [sw12218]
  • fixed-point continuation and active set) is a MATLAB solver for the l1-regularized least ... decision variables x to this subset and fixing their signs at their current values reduces...
  • LOCBIF

  • Referenced in 65 articles [sw07928]
  • solutions of time-periodic nonautonomous ODEs, fixed points and periodic orbits of iterated maps...
  • CONTENT

  • Referenced in 37 articles [sw01058]
  • case where the map has a fixed point. Under parameter variations, the fixed point typically ... among other things) to numerically continue fixed points and to detect, compute and continue fold ... detect and compute all codimension two points on such curves, including strong resonances and degenerate ... three - dimensional dynamical system over a fixed time interval...
  • spBayes

  • Referenced in 389 articles [sw10160]
  • Package for Univariate and Multivariate Hierarchical Point-referenced Spatial Models. Scientists and investigators in such ... 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...
  • ARock

  • Referenced in 32 articles [sw16800]
  • asynchronous parallel coordinate updates. Finding a fixed point to a nonexpansive operator ... 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...
  • Camera Calibration

  • Referenced in 53 articles [sw13537]
  • vision, 3-D reconstruction, and 3-D point cloud processing. With machine learning based frameworks ... system design, the system toolbox supports fixed-point arithmetic and C-code generation...
  • logcondens

  • Referenced in 53 articles [sw11215]
  • estimates (MLE and smoothed) at a given point (2) the characterizing functions of the estimator ... true density at a fixed point. Finally, three datasets that have been used to illustrate...
  • RealPaver

  • Referenced in 51 articles [sw04401]
  • several methods from various fields: interval fixed-point operators, constraint propagation and local consistency techniques...
  • HOMPACK90

  • Referenced in 47 articles [sw00412]
  • codes for finding zeros or fixed points of nonlinear systems using globally convergent probability...
  • OFMC

  • Referenced in 28 articles [sw09466]
  • open-source fixed-point model checker for symbolic analysis of security protocols. We introduce ... open-source fixed-point model checker OFMC for symbolic security protocol analysis, which extends ... also sketch the ongoing integration of fixed-point-based techniques for protocol verification...
  • Miniball

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

  • Referenced in 27 articles [sw11565]
  • more generally the notion of ”fixed points of a permutation”) are concepts related ... replace ”derangement” by ”with i fixed points”, for ANY $i$ between $0$ and $n$. This...
  • Antichains

  • Referenced in 33 articles [sw20208]
  • implicit. Our algorithm computes the least fixed point of a monotone function on the lattice...
  • Torcont

  • Referenced in 30 articles [sw15049]
  • computation (finder) and continuation (continuer) of fixed points (fpfind, fpcont), periodic solutions of autonomous...