• 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 discrete-time stochastic models easily, building on log-linearizing 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]
  • cross-validation for ridge regression In model building and model evaluation, cross-validation...
  • E-CELL

  • 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 counter-models 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 channel-based 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 low-level...
  • 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/spatio-temporal modelling and prediction with large datasets. The approach ... building block of the Spatial Random Effects (SRE) model, on which this package is based...