• Matlab

  • Referenced in 12661 articles [sw00558]
  • analyze data, develop algorithms, and create models and applications. The language, tools, and built...
  • R

  • Referenced in 8873 articles [sw00771]
  • wide variety of statistical (linear and nonlinear modelling, classical statistical tests, time-series analysis, classification...
  • CPLEX

  • Referenced in 2641 articles [sw04082]
  • convex quadratic function. The variables in the model may be declared as continuous or further...
  • SageMath

  • Referenced in 1778 articles [sw00825]
  • related areas. Both the Sage development model and the technology in Sage itself are distinguished...
  • GAMS

  • Referenced in 854 articles [sw04978]
  • General Algebraic Modeling System (GAMS) is specifically designed for modeling linear, nonlinear and mixed integer ... allows the user to concentrate on the modeling problem by making the setup simple ... require many revisions to establish an accurate model. The system models problems in a highly...
  • ABAQUS

  • Referenced in 1510 articles [sw04215]
  • acoustic-structural coupling using a common model data structure and integrated solver technology. Best...
  • SemiPar

  • Referenced in 706 articles [sw07116]
  • based on penalized regression splines and mixed models. Every model in this book ... special case of the linear mixed model or its generalized counterpart. This book is very ... have a good working knowledge of linear models and the desire to begin using more ... flexible semiparametric models. There is enough new material to be of interest even to experts...
  • Simulink

  • Referenced in 771 articles [sw04348]
  • environment for multidomain simulation and Model-Based Design for dynamic and embedded systems. It provides ... simulations, create batch processing scripts, customize the modeling environment, and define signal, parameter, and test...
  • Tabu search

  • Referenced in 1057 articles [sw08556]
  • rudimentary prototype implementation to encompass additional model elements, such as new types of constraints...
  • AMPL

  • Referenced in 602 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling language for linear and nonlinear optimization problems ... notation and familiar concepts to formulate optimization models and examine solutions, while the computer manages ... render it ideal for rapid prototyping and model development, while its speed and control options...
  • KernSmooth

  • Referenced in 936 articles [sw04586]
  • sets without the imposition of a parametric model. The main goal of this book...
  • SparseMatrix

  • Referenced in 660 articles [sw04629]
  • geometry (as structural engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics ... geometry (optimization, circuit simulation, economic and financial modeling, theoretical and quantum chemistry, chemical process simulation...
  • Uppaal

  • Referenced in 639 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling, simulation and verification of real-time systems ... appropriate for systems that can be modeled as a collection of non-deterministic processes with...
  • Stata

  • Referenced in 818 articles [sw06029]
  • many new features such as structural equation modeling (SEM), contrasts, ARFIMA, business calendars, chained equations...
  • glmnet

  • Referenced in 505 articles [sw08159]
  • Lasso and elastic-net regularized generalized linear models. Extremely efficient procedures for fitting the entire ... linear regression, logistic and multinomial regression models, poisson regression and the Cox model. Two recent...
  • AdaBoost.MH

  • Referenced in 478 articles [sw08517]
  • worst-case on-line framework. The model we study can be interpreted as a broad ... well-studied on-line prediction model to a general decision-theoretic setting. We show that ... Warmuth rule can be adapted to this model, yielding bounds that are slightly weaker...
  • CVX

  • Referenced in 752 articles [sw04594]
  • modeling system for constructing and solving disciplined convex programs (DCPs). CVX supports a number...
  • PRISM

  • Referenced in 424 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper we describe PRISM, a tool being developed ... probabilistic systems. PRISM supports three probabilistic models: discrete-time Markov chains, Markov decision processes ... time Markov chains. Analysis is performed through model checking such systems against specifications written ... PCTL and CSL. The tool features three model checking engines: one symbolic, using BDDs (binary...
  • WinBUGS

  • Referenced in 726 articles [sw04492]
  • controlling the analysis, or can construct the model using a graphical interface called DoodleBUGS. WinBUGS...
  • EnKF

  • Referenced in 385 articles [sw02066]
  • assimilation method. It applies an ensemble of model states to represent the error statistics ... model estimate, it applies ensemble integrations to predict the error statistics forward in time ... which operates directly on the ensemble of model states when observations are assimilated. The EnKF ... used in realistic applications with primitive equation models for the ocean and atmosphere. A recent...