
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 1e6 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 BDDbased model checking component that exploits the CUDD library developed ... Colorado University and SATbased model checking component that includes an RBCbased 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 online in a control system...

Kronos
 Referenced in 259 articles
[sw01270]
 respect to the desired requirements. In KRONOS, components of realtime 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 modelchecking ... 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 fixedpoint 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, primaldual 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...