• Ipopt

  • Referenced in 601 articles [sw04808]
  • above formulation by setting the corresponding components...
  • ode23

  • Referenced in 261 articles [sw06600]
  • vector of absolute error tolerances AbsTol (all components are 1e-6 by default). If certain components ... NonNegative property to the indices of these components. See odeset for details...
  • NuSMV

  • Referenced in 289 articles [sw04131]
  • areas. NuSMV2, combines BDD-based model checking component that exploits the CUDD library developed ... Colorado University and SAT-based model checking component that includes an RBC-based Bounded Model...
  • SAS/STAT

  • Referenced in 393 articles [sw18788]
  • SAS/STAT software, a component of the SAS System, provides comprehensive statistical tools for a wide...
  • CGAL

  • Referenced in 344 articles [sw00118]
  • spheres, smallest enclosing ellipsoid of points, principal component analysis), and kinetic data structures. All these...
  • HyTech

  • Referenced in 321 articles [sw04125]
  • collections of automata with discrete and continuous components, and temporal requirements are verified by symbolic...
  • ANFIS

  • Referenced in 260 articles [sw08730]
  • employed to model nonlinear functions, identify nonlinear components on-line in a control system...
  • Kronos

  • Referenced in 259 articles [sw01270]
  • respect to the desired requirements. In KRONOS, components of real-time systems are modeled...
  • DOLFIN

  • Referenced in 154 articles [sw04313]
  • DOLFIN wraps the functionality of other FEniCS components and external software, and handles the communication ... between these components...
  • Bandera

  • Referenced in 134 articles [sw07663]
  • collection of program analysis, transformation, and visualization components designed to facilitate experimentation with model-checking ... program slicing and user extensible abstract interpretation components are applied to customize the program model ... illustrate the functionality of the main components of Bandera and how to interact the tool...
  • FastICA

  • Referenced in 208 articles [sw07225]
  • fast fixed-point algorithm for independent component analysis and projection pursuit. It features an easy...
  • TensorToolbox

  • Referenced in 128 articles [sw04185]
  • they can be assembled from more basic components. We consider two specific types: A Tucker ... case where the storage of the components is less than the storage of the full ... operations can be computed using only the components. All of the efficiencies described in this...
  • dBase

  • Referenced in 195 articles [sw30472]
  • programming language that ties all of these components together. dBase’s underlying file format...
  • SLIC

  • Referenced in 135 articles [sw18282]
  • composition of one space dimensional components, one for each coordinate direction. (2) These onedimensional components...
  • Algorithm 447

  • Referenced in 134 articles [sw12877]
  • presented for partitioning a graph into connected components, biconnected components and simple paths. The algorithm...
  • BLAST

  • Referenced in 124 articles [sw02937]
  • here as well. BLAST and all the components it relies on are free software ... source:LICENSE); for information about the components see source:NOTICE file. The BLAST has been...
  • GLPK

  • Referenced in 164 articles [sw04560]
  • GLPK package includes the following main components: primal and dual simplex methods, primal-dual interior...
  • CONOPT

  • Referenced in 162 articles [sw02791]
  • discussions of the implementation of critical components in a GRG code: basis factorizations, search directions...
  • MatrixMarket

  • Referenced in 154 articles [sw04020]
  • Dongarra. The Matrix Market is a component of the NIST project on Tools for Evaluation...
  • PROST

  • Referenced in 144 articles [sw12822]
  • reconstruction of surface tension. There are several components to this procedure, including the new body...