• Alcoa

  • Referenced in 27 articles [sw09481]
  • automatic analysis. Like Z, Alloy supports the description of systems whose state involves complex relational...
  • SAS/IML

  • Referenced in 74 articles [sw03240]
  • interactive matrix language for more specific analysis and exploration. The fundamental data element in SAS/IML ... data matrix because SAS/IML software does this automatically. You can change the dimension or type ... subroutines can be applied to perform complex tasks such as matrix inversion or eigenvector generation...
  • Algolib

  • Referenced in 2 articles [sw04111]
  • Other Packages of the Algorithms Project Combinatorial analysis, discrete mathematics and computer algebra ... Project’s main goal of the automatic complexity analysis of algorithms. However, long-term research ... combinatorial structures. A lot of it was automatically generated using combstruct, gfun, and gdev. Studies...
  • SAP2000

  • Referenced in 23 articles [sw17041]
  • your analysis and design tasks, including small day-to-day problems. Complex Models ... templates. Integrated design code features can automatically generate wind, wave, bridge, and seismic loads with...
  • ECOMOD

  • Referenced in 2 articles [sw02943]
  • Some results of the automatic analysis of some rather complex and realistic models of market...
  • GUI-HDMR

  • Referenced in 20 articles [sw07924]
  • HDMR; A Software Tool for Global Sensitivity Analysis. GUI-HDMR is a freely available Matlab ... explore the input-output mapping of a complex model with a large number of input ... sensitivity indices can be determined in an automatic way in order to rank the importance...
  • ACE

  • Referenced in 8 articles [sw22675]
  • mechanization of this evaluation. The ACE (Automatic Complexity Evaluator) system is able to analyze reasonably ... fully mechanical way. A time-complexity function is derived from the initial functional program. This ... predefined library of recursive definitions. As the complexity is not a decidable property, this transformation ... system is illustrated with the analysis of a sorting algorithm. Related works and further improvements...
  • hess_pat

  • Referenced in 8 articles [sw11167]
  • Computing sparse Hessians with automatic differentiation. A new approach for computing a sparsity pattern ... evaluation yielding the nonzero structure. A complexity analysis of the proposed algorithm is given. Once...
  • HOLyHammer

  • Referenced in 20 articles [sw11553]
  • service allows its users to upload and automatically process an arbitrary formal development (project) based ... recent versions of the Flyspeck, Multivariate Analysis and Complex Analysis libraries. The service runs...
  • JIDT

  • Referenced in 8 articles [sw23550]
  • information-theoretic measures of distributed computation in complex systems: i.e. information storage, transfer and modification ... includes a GUI app for automatic push-button analysis as well as code template generation...
  • PathCrawler

  • Referenced in 10 articles [sw07253]
  • Dynamic Analysis. We present the PathCrawler prototype tool for the automatic generation of test-cases ... neither from the approximations and complexity of static analysis, nor from the number of executions...
  • mdp

  • Referenced in 9 articles [sw14129]
  • combined into data processing sequences and more complex feed-forward network architectures. From the scientific ... intuitive. The new implemented units are then automatically integrated with the rest of the library ... includes signal processing methods (Principal Component Analysis, Independent Component Analysis, Slow Feature Analysis), manifold learning...
  • JModelica

  • Referenced in 14 articles [sw11924]
  • source platform for optimization, simulation and analysis of complex dynamic systems. The main objective ... result of research at the Department of Automatic Control, Lund University, and is now maintained...
  • Terminyzer

  • Referenced in 4 articles [sw08335]
  • algorithms, called non-Termination Analyzer, Terminyzer, for automatic detection of non-termination and explaining ... includes several non-termination analysis approaches of different computational complexity. These approaches are all based...
  • ADAM

  • Referenced in 8 articles [sw21957]
  • either lack the algorithmic functionality to analyze complex models deterministically or they are inaccessible ... interface, or are hard to install. Efficient analysis methods that are accessible to modelers ... tool Analysis of Dynamic Algebraic Models (ADAM), which provides this and other analysis methods ... models. ADAM converts several discrete model types automatically into polynomial dynamical systems and analyzes their...
  • FLAC

  • Referenced in 18 articles [sw07204]
  • Fast Lagrangian Analysis of Continua (FLAC). FLAC is a two-dimensional explicit finite difference program ... overcome to some extent by automatic inertia scaling and automatic damping that do not influence ... wide range of capabilities to solve complex problems in mechanics. Several built-in constitutive models...
  • Pinnacle

  • Referenced in 5 articles [sw35328]
  • detection and quantification called Pinnacle that is automatic, quick, sensitive and specific and yields spot ... based on simple, straightforward criteria rather than complex arbitrary definitions, and results in no missing ... demonstrate Pinnacle outperformed two well-established 2DE analysis packages, proving to be more accurate ... group comparison experiment. Our fast, automatic analysis method makes it feasible to conduct very large...
  • Data2Dynamics

  • Referenced in 8 articles [sw25272]
  • biochemical reaction networks for large datasets and complex experimental conditions and to perform efficient ... associated sensitivity system are parallelized and automatically compiled into efficient C code. A variety ... frequentist and Bayesian methods for uncertainty analysis have been implemented and used on a range...
  • ASKALON

  • Referenced in 17 articles [sw08430]
  • parallel and distributed applications is a complex task that iterates through various phases, ranging from ... measurement, experiment management, data collection, and bottleneck analysis. There is no evidence so far that ... SCALEA is a performance instrumentation, measurement, and analysis tool of parallel and distributed applications. ZENTURIO ... multi-experiment performance analysis and parameter studies. AKSUM provides semi-automatic high-level performance bottleneck...
  • edge_push_sp

  • Referenced in 4 articles [sw11168]
  • driver called hess_pat in the automatic differentiation package ADOL-C. The second is edge ... present complexity analysis and perform numerical tests for both algorithms. The results show that...