• 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 pre-ordering 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 on-the-fly, 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]
  • Sokal-Michener, Bray-Curtis, for symbolic interval-valued data), cluster quality indices (Calinski-Harabasz, Baker ... data normalization formulas, data generation (typical and non-typical data), HINoV method, replication analysis, linear ... plot functions (for categorial and symbolic interval-valued 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 infinite-state ... 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 data-structures 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 Symbol-Crunching in Probability theory. One of the main uses ... computers is to do statistical analysis of data. But, so far, the theory of statistics...