• Neural Network Toolbox

  • Referenced in 176 articles [sw07378]
  • supervised learning with feedforward, radial basis, and dynamic networks. It also supports unsupervised learning with ... pattern recognition, clustering, time-series prediction, and dynamic system modeling and control. To speed...
  • VAMPIRE

  • Referenced in 239 articles [sw02918]
  • introduction of new predicate definitions and dynamic folding of such definitions. A number of standard...
  • GOLOG

  • Referenced in 170 articles [sw02159]
  • GOLOG: A logic programming language for dynamic domains. This paper proposes a new logic programming ... automatically maintains an explicit representation of the dynamic world being modeled, on the basis...
  • Geometer's Sketchpad

  • Referenced in 226 articles [sw04858]
  • memorable using Sketchpad. Elementary students can manipulate dynamic models of fractions, number lines, and geometric...
  • Robust Control Toolbox

  • Referenced in 149 articles [sw07907]
  • create uncertain models by combining nominal dynamics with uncertain elements, such as uncertain parameters ... unmodeled dynamics. You can analyze the impact of plant model uncertainty on control system performance...
  • PyTorch

  • Referenced in 198 articles [sw20939]
  • PyTorch python package: Tensors and Dynamic neural networks in Python with strong GPU acceleration. PyTorch...
  • Smalltalk

  • Referenced in 190 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective programming language. Smalltalk was created...
  • DSTool

  • Referenced in 103 articles [sw06719]
  • program for interactively exporing the dynamics of dynamical systems. It allows you to draw trajectories ... find fixed points or bifurcation points. Dynamical systems arise in many disciplins of physics, biology ... methods employed by the theory of dynamical systems allow to compute important properties directly without...
  • NASTRAN

  • Referenced in 177 articles [sw04245]
  • comes to solving for stress/strain behavior, dynamic and vibration response and thermal gradients in real...
  • Scilab

  • Referenced in 168 articles [sw00834]
  • data exchanges with external tools. Xcos - Hybrid dynamic systems modeler and simulator: Modeling mechanical systems...
  • CafeOBJ

  • Referenced in 168 articles [sw06232]
  • supported method for verifying safety properties of dynamic systems based on the first-order description...
  • K2

  • Referenced in 105 articles [sw19597]
  • TOCSY - Toolboxes for Complex Systems: K2 - Dynamical Invariants by Recurrence Plots. Recurrence plots contain information ... about the dynamics of the system. It is possible, to derive dynamical invariants, like...
  • LISP-STAT

  • Referenced in 116 articles [sw01111]
  • framework for exploring the use of dynamic graphical methods. Extensibility is achieved by basing Lisp ... system interface forms the basis of a dynamic graphics system that is designed to work...
  • JavaScript

  • Referenced in 161 articles [sw06868]
  • browser applications to create dynamic content like message boxes popping up or a live clock...
  • CHARMM

  • Referenced in 115 articles [sw05953]
  • HARvard Macromolecular Mechanics). CHARMM models the dynamics and mechanics of macromolecular systems using empirical ... designed to investigate the structure and dynamics of large molecules. It performs free energy calculations...
  • CAViaR

  • Referenced in 158 articles [sw04424]
  • test of model adequacy, the dynamic quantile test. Applications to real data provide empirical support...
  • PHAVer

  • Referenced in 113 articles [sw04123]
  • piecewise constant bounds on the derivatives. Affine dynamics are handled by on-the-fly overapproximation ... based on user-definable constraints and the dynamics of the system. PHAVer’s exact arithmetic...
  • Cinderella

  • Referenced in 152 articles [sw00127]
  • Interactive Geometry Software. Besides support for dynamic geometry, Cinderella.2 has many features that broaden...
  • Isar

  • Referenced in 142 articles [sw04599]
  • reading, thus being intelligible later without requiring dynamic replay that is so typical for traditional...