• iTOUGH2

  • Referenced in 5 articles [sw34111]
  • geophysical, geochemical, and geomechanical processes. After appropriate parameterization of subsurface structures and their properties, iTOUGH2 ... support of the characterization and analysis of complex multiphysics subsurface systems...
  • Filzbach

  • Referenced in 2 articles [sw13096]
  • complex models to hetereogenous data: Bayesian and likelihood analysis made easy: Filzbach is a flexible ... parameter estimation engine that allows you to parameterize arbitrary, non-linear models, of the kind...
  • optimization

  • Referenced in 1 article [sw18023]
  • very detailed parameterization and is therefore useful for specific and complex loss functions, like functions ... parameter space. Visualization tools for validation and analysis of the convergence are also included...
  • qtlbim

  • Referenced in 7 articles [sw17320]
  • model (deviance) by its complexity, determined by the effective number of parameters. The effective number ... computationally efficient way to perform sensitivity analysis and can be used to quantitatively evaluate ... prior specification is worth the extra parameterization. The DIC has been implemented in the freely...
  • PYGMALION

  • Referenced in 5 articles [sw08297]
  • costly experimental data acquisition. Such complexities make model parameterization a difficult process. Moreover, there ... dedicated platform PYGMALION (Plant Growth Model Analysis, Identification and Optimization). Some of these methods...
  • Multicube Explorer

  • Referenced in 1 article [sw29922]
  • cache sizes, etc.). In this complex scenario, the multi-objective exploration of the huge design ... terms of multiple competing objectives (Pareto analysis). An overall design space exploration framework is needed ... design space of configurations for a parameterized architecture for which an executable model (use case...
  • ANSYS

  • Referenced in 668 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • AXIOM

  • Referenced in 172 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • CASA

  • Referenced in 101 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • CGAL

  • Referenced in 370 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 639 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1835 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CSDP

  • Referenced in 200 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • Expokit

  • Referenced in 184 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • GAP

  • Referenced in 2992 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • GeM

  • Referenced in 95 articles [sw00332]
  • We present a recently developed Maple-based “GeM...
  • gfun

  • Referenced in 138 articles [sw00344]
  • The gfun package provides tools for determining and...
  • Gmsh

  • Referenced in 644 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • Isabelle

  • Referenced in 638 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • ISOGAT

  • Referenced in 300 articles [sw00457]
  • A tutorial 2D MATLAB code for solving elliptic...