
CVODES
 Referenced in 35 articles
[sw04946]
 Moulton and BDF) and the corresponding nonlinear iteration methods, as well as all linear solver ... original ODEs, the sensitivity systems, or the adjoint system. Depending on the number of model ... parameters and the number of functional outputs, one of two sensitivity methods is more appropriate...

Specware
 Referenced in 25 articles
[sw11715]
 software development system that allows users to precisely specify the desired functionality of their applications ... simple, abstract model of their problem and iteratively refine this model until it uniquely...

AGMG
 Referenced in 40 articles
[sw08090]
 Iterative solution with AGgregationbased algebraic MultiGrid. AGMG implements an aggregationbased algebraic multigrid method ... algebraic systems of linear equations, and is expected to be efficient for large systems arising ... system matrix and the righthandside. AGMG comes either as a function that...

Chebfun2
 Referenced in 38 articles
[sw12708]
 system is that the scalar functions are represented in terms of sums of functions ... univariate functions which in turn are represented as Chebfun objects. The socalled low rank ... approximations are constructed using an iterative algorithm that is, in a sense, equivalent...

NLPQLP
 Referenced in 40 articles
[sw04073]
 nodes of the distributed system, objective and constraint functions can be evaluated simultaneously at predetermined ... with respect to an augmented Lagrangian merit function. Moreover, a nonmonotone line search ... stopped within a given number of iterations. All theoretical convergence properties of the SQP algorithm...

ALGLIB
 Referenced in 15 articles
[sw04806]
 Pascal, VBA) and several operating systems (Windows, Linux, Solaris). ALGLIB features include: Data analysis (classification/regression ... Linear algebra (direct algorithms, EVD/SVD), direct and iterative linear solvers, Fast Fourier Transform and many ... other algorithms (numerical integration, ODEs, statistics, special functions...

RAMAS
 Referenced in 12 articles
[sw10958]
 continuous multiaffine systems based on rectangular partitions. The method is iterative. At each step ... some interesting convexity properties of multiaffine functions on rectangles to show that the construction...

SPARSEQR
 Referenced in 17 articles
[sw05215]
 compare these with the builtin MATLAB function. We show that the QRbased methods ... augmented system method. A better choice of the parameter δ or iterative refinement must...

CONTENT
 Referenced in 37 articles
[sw01058]
 software package CONTENT. The qualitative behaviour of iterates of a map can be very complicated ... paper provides details on defining systems and test functions implemented in content for these purposes...

Metropolis
 Referenced in 17 articles
[sw16265]
 design chain lacks adequate support, with most systemlevel designers using a collection of unlinked ... language interactions that create unnecessary and unwanted iterations among groups of designers in different companies ... risk that the software will not function correctly increases exponentially. The Metropolis project seeks ... Metropolis provides an environment for complex electronicsystem design that supports simulation, formal analysis...

ITASSER
 Referenced in 18 articles
[sw17207]
 multiple threading alignments and iterative structural assembly simulations. The function of the protein is then ... length secondary and tertiary structure predictions, and functional annotations on ligandbinding sites, Enzyme Commission ... guidelines for designing of online server systems for the stateoftheart protein structure...

MIKA
 Referenced in 6 articles
[sw08891]
 states of the system using a penalty functional to keep the states orthogonal. Special care ... been taken to optimize the iterations toward the selfconsistency and run the code...

OFELI
 Referenced in 4 articles
[sw31061]
 systems of equations as well as various combinations of iterative solvers and preconditioners. Shape functions...

Reveal
 Referenced in 21 articles
[sw00801]
 describe the Reveal formal functional verification system and its application to four representative hardware test ... Boolean satisfiability solvers. The abstraction/refinement process is iterated until the design is shown...

EVSL
 Referenced in 10 articles
[sw27222]
 with Krylov subspace methods and the subspace iteration algorithm. On the implementation side, the package ... functions to perform matrixvector operations or to solve sparse linear systems. The paper describes...

FODDPlanner
 Referenced in 15 articles
[sw07747]
 diagrams, to capture domain dynamics and value functions. Work on symbolic dynamic programming lifted these ... decision diagrams (FODD) and developed a value iteration algorithm for this representation. This paper develops ... Incorporating these, the paper presents a planning system, FODDPlanner, for solving relational stochastic planning...

Dynaflow
 Referenced in 13 articles
[sw34674]
 time functions, and the number or bandwidth of the equations. Despite large system capacity ... quasiNewton (BFGS and Broyden updates) iterations, with selective line search options...

COSMO
 Referenced in 6 articles
[sw40080]
 convex optimisation problems with quadratic objective function and conic constraints. At each step the algorithm ... alternates between solving a quasidefinite linear system with a constant coefficient matrix ... projection onto convex sets. The low periteration computational cost makes the method particularly efficient...

TAUCS
 Referenced in 32 articles
[sw04014]
 library (1.0) includes the following functionality: Multifrontal Supernodal Cholesky Factorization. This code is quite fast ... Looking Supernodal Sparse Cholesky Factorization. Solves huge systems by storing the Cholesky factors in files ... machines with 32bit file systems. OutofCore Sparse LU with Partial Pivoting Factor ... Solve. Can solve huge unsymmetric linear systems. Ordering Codes and Interfaces to Existing Ordering Codes...

PearsonICA
 Referenced in 1 article
[sw15399]
 Independent component analysis using score functions from the Pearson system. The PearsonICA algorithm ... iterative use of score functions, i.e. derivatives of log densities. The Pearson system allows adaptive...