
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, nonlinear 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 multiobjective 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 specialpurpose 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 Maplebased “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...