
XPRESS
 Referenced in 198 articles
[sw04834]
 Suite includes two types of tools: model building and development tools, and solver engines...

SageMath
 Referenced in 1251 articles
[sw00825]
 related areas. Both the Sage development model and the technology in Sage itself are distinguished ... openness, community, cooperation, and collaboration: we are building the car, not reinventing the wheel...

glasso
 Referenced in 251 articles
[sw07432]
 structure in an undirected Gaussian graphical model, using ℓ 1 regularization to control the number ... allows one to efficiently build a path of models for different values of the tuning...

LINGO
 Referenced in 263 articles
[sw04942]
 comprehensive tool designed to make building and solving Linear, Nonlinear (convex & nonconvex/Global), Quadratic, Quadratically Constrained ... Second Order Cone, Stochastic, and Integer optimization models faster, easier and more efficient. LINGO provides ... language for expressing optimization models, a full featured environment for building and editing problems...

Amos
 Referenced in 56 articles
[sw06515]
 among variables. The software lets you build models more accurately than with standard multivariate statistics ... SPSS Amos allows you to build attitudinal and behavioral models that reflect complex relationships...

Geometer's Sketchpad
 Referenced in 218 articles
[sw04858]
 dynamic models of fractions, number lines, and geometric patterns. Middle school students can build their...

Uhlig Toolkit
 Referenced in 45 articles
[sw15482]
 such nonlinear dynamic discretetime stochastic models easily, building on loglinearizing the necessary equations...

GEX
 Referenced in 29 articles
[sw09961]
 used to build dynamic visual models to assist teaching and learning of various mathematical concepts ... automated reasoning software, we can build dynamic logic models which can do reasoning themselves ... With GEX, we can build four classes of dynamic visual models: geometric transformations, loci generation...

penalized
 Referenced in 22 articles
[sw06071]
 crossvalidation for ridge regression In model building and model evaluation, crossvalidation...

ECELL
 Referenced in 17 articles
[sw07917]
 molecular information for a wide range of model organisms. This provides us with a detailed ... with which we may begin to build models for simulating intracellular molecular processes to predict ... detailed analysis, but methods for building integrative models of the cell that incorporate gene regulation ... develop a software environment for building such integrative models based on gene sets, and running...

GEPASI
 Referenced in 23 articles
[sw07916]
 analysis. Gepasi simplifies the task of model building by assisting the user in translating...

LoTREC
 Referenced in 23 articles
[sw07684]
 describe a generic tableaux system for building models or countermodels and testing satisfiability...

GAMBIT
 Referenced in 22 articles
[sw06529]
 edit and conveniently replay model building sessions for parametric studies. GAMBIT’s combination...

Reo
 Referenced in 78 articles
[sw06353]
 exogenous channelbased coordination model that defines how designers can build complex coordinators, called connectors...

URDME
 Referenced in 20 articles
[sw10400]
 routines are logically separated from the model building interface and written in a lowlevel...

SARAH
 Referenced in 36 articles
[sw06472]
 Mathematica package for building and studying supersymmetric models. It calculates for a given superpotential...

MARK
 Referenced in 16 articles
[sw24801]
 contains a complete description of the model building process. It is viewed and manipulated ... from this window include viewing and printing model output, deviance residuals from the model, likelihood...

Bogor
 Referenced in 36 articles
[sw06858]
 Building your own software model checker using the Bogor extensible model checking framework Model checking...

ESTIMA
 Referenced in 15 articles
[sw00249]
 System identification is an iterative model building process to obtain an accurate mathematical description from ... experimental data, statistical analysis of residuals and model validation through time history plots and system...

FRK
 Referenced in 68 articles
[sw19172]
 Rank Kriging is a tool for spatial/spatiotemporal modelling and prediction with large datasets. The approach ... building block of the Spatial Random Effects (SRE) model, on which this package is based...