• ACE

  • Referenced in 9 articles [sw22675]
  • induction principle, using a predefined library of recursive definitions. As the complexity ... system is illustrated with the analysis of a sorting algorithm. Related works and further improvements...
  • MuTACLP

  • Referenced in 4 articles [sw01597]
  • declarative language that supports and improves GIS analysis. We present the language MUTACLP, where spatio ... features of constraint logic programming, such as recursion and constraint handling, can be exploited...
  • Boom

  • Referenced in 2 articles [sw01318]
  • analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive...
  • LISPACK

  • Referenced in 1 article [sw33632]
  • parallel systems and algorithms. The performance analysis of parallel algorithms and systems is considered ... recursive elimination to define the large Markovian process, its restructuring, and efficient solution. The analysis...
  • Algorithm 848

  • Referenced in 2 articles [sw04408]
  • unit hypercube. PFix is a recursive algorithm, in that it uses solutions ... dimensional problem. A full analysis of PFix may be found in the authors’ paper...
  • Gmedian

  • Referenced in 2 articles [sw21318]
  • with Application to Online Robust Principal Components Analysis. The geometric median covariation matrix ... functional data. We define estimators, based on recursive algorithms, that can be simply updated ... memory. Asymptotic convergence properties of the recursive algorithms are studied under weak conditions. The computation ... data is small and robust principal components analysis based on projection pursuit and spherical projections...
  • NetOrigin

  • Referenced in 1 article [sw15739]
  • Different approaches are available: effective distance median, recursive backtracking, and centrality-based source estimation. Additionally ... methods for data preparation, source estimation performance analysis and visualization...
  • SoRoSim

  • Referenced in 1 article [sw39651]
  • Variable Strain model to facilitate the modeling, analysis, and simulation of hybrid rigid-soft open ... chain robotic systems. The toolbox implements a recursive, two-level nested quadrature scheme to solve...
  • ribd

  • Referenced in 1 article [sw34165]
  • package ribd: Pedigree-based Relatedness Coefficients. Recursive algorithms for computing various relatedness coefficients, including pairwise ... suite, a collection of packages for pedigree analysis...
  • exuber

  • Referenced in 1 article [sw38834]
  • package exuber: Econometric Analysis of Explosive Time Series. Testing for and dating periods of explosive ... time series using the univariate and panel recursive unit root tests proposed by Phillips...
  • WINGDSS

  • Referenced in 3 articles [sw16232]
  • making, from problem structuring to post-decision analysis. The latest version of WINGDSS ... individual/group ranking. By providing tools for recursively redefining the decision problem, WINGDSS helps the decision...
  • JET

  • Referenced in 2 articles [sw33765]
  • than 30 Maple routines for the symmetry analysis of evolution partial differential systems with ... differential substitutions and Bäcklund transformations, computation of recursion operators and Noether operators; several computations...
  • C-SHORe

  • Referenced in 6 articles [sw13319]
  • approach to higher-order verification. Higher-order recursion schemes (HORS) have recently received much attention ... information gathered from an approximate forward reachability analysis to guide its backward search. Moreover...
  • nanogal

  • Referenced in 1 article [sw08123]
  • Several parts of the ETERNA earth tide analysis package have been rewritten and several other ... computation of tidal signals, we have implemented recursion formulas which reduce the total computation time...
  • XMR

  • Referenced in 3 articles [sw07169]
  • used to represent the matrices at different recursion depths and from the (dqds) transformations converting ... which is based on the above analysis, is described and compared to xSTEMR from Lapack...
  • SAFKASI

  • Referenced in 5 articles [sw20431]
  • optimizations such as method inlining and tail recursion, and generally interfered with interprocedural optimization ... necessary. With a combination of static analysis and runtime optimizations, our prototype implementation showes reasonable...
  • FocusCheck

  • Referenced in 3 articles [sw01298]
  • ability to: (a) identify all minimum-recursion, loop-free counter-examples in a C program ... discard infeasible counter-examples via feasibility analysis of the corresponding FSSs; and (d) isolate program...
  • Cuneiform

  • Referenced in 1 article [sw26049]
  • programming language for large-scale scientific data analysis. Implementing a strict black-box view ... partitioned data sets, allows conditionals and general recursion, and has a naturally parallelizable evaluation strategy...
  • partDSA

  • Referenced in 3 articles [sw07441]
  • level of toxicity or time to recurrence. Recursive partitioning methods are ideal for building such ... simulation studies and illustrated through an analysis of clinical trial data on brain cancer patients...
  • AAR toolbox

  • Referenced in 1 article [sw15518]
  • techniques based on Least Mean Squares (LMS), Recursive Least Squares (RLS) and other adaptive algorithms ... very popular graphical toolbox for EEG analysis and visualization in MATLAB...