
SODAS
 Referenced in 66 articles
[sw00885]
 SODAS software. SODAS (Symbolic Official Data Analysis System) is a modular software in which each ... objects, divisible classification of symbolic data, symbolic kernel discriminant analysis, symbolic description of groups, factorial ... linked in a chaining. A symbolic data analysis with SODAS software looks graphically like ... methods. The top icon represents the symbolic data file. A chaining gathers...

UMFPACK
 Referenced in 375 articles
[sw00989]
 numerical factorization. The preordering and symbolic analysis phase computes an upper bound on fill ... details of the complex sparse factorization data structures by returning simple handles to opaque objects...

RSDA
 Referenced in 1 article
[sw35591]
 package RSDA: R to Symbolic Data Analysis. Symbolic Data Analysis (SDA) was proposed by professor ... data table for a concept (second order statistical unit). This package implements, to the symbolic...

PyDSTool
 Referenced in 14 articles
[sw06718]
 PyDSTool supports symbolic math, optimization, phase plane analysis, continuation and bifurcation analysis, data analysis...

mCRL
 Referenced in 31 articles
[sw29626]
 micro CRL  written as mCRL if the symbol µ is not available) μCRL: A toolset ... style and of data elements in the form of abstract data types. The μCRL toolset ... www.cwi.nl/ mcrl/) supports the analysis and manipulation of μCRL specifications. A μCRL specification...

UPPAAL TIGA
 Referenced in 42 articles
[sw12913]
 algorithms for their analysis. The algorithm we propose [CDFLL05] is a symbolic extension ... state systems. Being onthefly, the symbolic algorithm may terminate long before having explored ... called zones as the underlying data structure. Our tool implements various optimizations of the basic...

clusterSim
 Referenced in 6 articles
[sw16124]
 SokalMichener, BrayCurtis, for symbolic intervalvalued data), cluster quality indices (CalinskiHarabasz, Baker ... data normalization formulas, data generation (typical and nontypical data), HINoV method, replication analysis, linear ... plot functions (for categorial and symbolic intervalvalued data...

Symbolic automata
 Referenced in 5 articles
[sw13262]
 alphabets. The toolkit supports analysis of finite symbolic automata and transducers over strings. It also ... context of web security for analysis of potentially malicious data over Unicode characters...

HistDAWass
 Referenced in 0 articles
[sw18939]
 Data Analysis. In the framework of Symbolic Data Analysis, a relatively new approach...

Interrogator
 Referenced in 11 articles
[sw36025]
 model. The Interrogator is a protocol security analysis tool implemented in Prolog and based ... large and extendible class of symbolic encryption and data transformation operators with a novel equation...

CASPA
 Referenced in 4 articles
[sw02863]
 dependability modelling, analysis and verification. It is based entirely on the symbolic data structure MTBDD ... pertaining semantics and present an efficient symbolic algorithm for the elimination of vanishing states ... CASPA, from graphical model specification to numerical analysis...

nuXmv
 Referenced in 25 articles
[sw18526]
 Model Checker. This paper describes the nuXmv symbolic model checker for finite and infinitestate ... extends the nuXmv language with new data types, namely Integers and Reals, and it provides ... several extensions to cope with requirements analysis, contract based design, model checking of hybrid systems...

SFA
 Referenced in 5 articles
[sw32513]
 datasets. Time series analysis, as an application for high dimensional data mining, is a common ... medicine or marketing. Similarity search in data with increasing dimensionality results in an exponential growth ... reduce the dimensionality of the original data prior to indexing. However, approxim ation involves loss ... high quality, is desirable. We introduce Symbolic Fourier Approximation (SFA) and the SFA trie which...

FunArray
 Referenced in 14 articles
[sw13708]
 uniform compound datastructures such as arrays and collections. The analysis automatically and semantically divides ... bound expressions and abstracted uniformly. All symbolic expressions appearing in a bound set are equal...

GUSS
 Referenced in 7 articles
[sw11712]
 instance and scatters the scenario results to symbols in the GAMS database. We demonstrate ... this approach in three applications, namely data envelopment analysis, cross validation and stochastic dual dynamic...

PySRURGS
 Referenced in 2 articles
[sw32436]
 random global search. Symbolic regression is a type of data analysis problem where you search ... should be useful for data analysts and researchers working on symbolic regression problems...

Karoo GP
 Referenced in 1 article
[sw29490]
 Python which supports both symbolic regression and classification data analysis. It is ready to work...

GPTIPS
 Referenced in 7 articles
[sw15254]
 free, open source MATLAB toolbox for performing symbolic regression by genetic programming (GP) is introduced ... evolve mathematical models of predictor response data that are “multigene” in nature, i.e. linear combinations ... structure activity relationship) model of existing toxicity data in order to predict the toxicity ... currently accepted empirical modelling and data analysis techniques. GPTIPS and documentation is available for download...

DataMelt
 Referenced in 0 articles
[sw15992]
 used for numeric computation, statistics, symbolic calculations, data analysis and data visualization. DataMelt, or DMelt...

HISTABRUT
 Referenced in 4 articles
[sw08515]
 HISTABRUT: A Maple Package for SymbolCrunching in Probability theory. One of the main uses ... computers is to do statistical analysis of data. But, so far, the theory of statistics...