
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 modelchecking nonrecursive...

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 centralitybased 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 rigidsoft open ... chain robotic systems. The toolbox implements a recursive, twolevel nested quadrature scheme to solve...

ribd
 Referenced in 1 article
[sw34165]
 package ribd: Pedigreebased 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 postdecision 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...

CSHORe
 Referenced in 6 articles
[sw13319]
 approach to higherorder verification. Higherorder 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 minimumrecursion, loopfree counterexamples in a C program ... discard infeasible counterexamples via feasibility analysis of the corresponding FSSs; and (d) isolate program...

Cuneiform
 Referenced in 1 article
[sw26049]
 programming language for largescale scientific data analysis. Implementing a strict blackbox 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...