• 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 AGgregation-based algebraic MultiGrid. AGMG implements an aggregation-based algebraic multigrid method ... algebraic systems of linear equations, and is expected to be efficient for large systems arising ... system matrix and the right-hand-side. 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 so-called 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 non-monotone 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 multi-affine systems based on rectangular partitions. The method is iterative. At each step ... some interesting convexity properties of multi-affine functions on rectangles to show that the construction...
  • SPARSE-QR

  • Referenced in 17 articles [sw05215]
  • compare these with the built-in MATLAB function. We show that the QR-based 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 system-level 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 electronic-system design that supports simulation, formal analysis...
  • I-TASSER

  • 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 ligand-binding sites, Enzyme Commission ... guidelines for designing of online server systems for the state-of-the-art 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 self-consistency 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 matrix-vector operations or to solve sparse linear systems. The paper describes...
  • FODD-Planner

  • 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, FODD-Planner, 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 ... quasi-Newton (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 quasi-definite linear system with a constant coefficient matrix ... projection onto convex sets. The low per-iteration 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 32-bit file systems. Out-of-Core 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 Pearson-ICA algorithm ... iterative use of score functions, i.e. derivatives of log densities. The Pearson system allows adaptive...