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

R
 Referenced in 3009 articles
[sw00771]
 wide variety of statistical (linear and nonlinear modelling, classical statistical tests, timeseries analysis, classification...

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

GAMS
 Referenced in 607 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 918 articles
[sw04215]
 acousticstructural coupling using a common model data structure and integrated solver technology. Best...

Tabu search
 Referenced in 884 articles
[sw08556]
 rudimentary prototype implementation to encompass additional model elements, such as new types of constraints...

SageMath
 Referenced in 735 articles
[sw00825]
 related areas. Both the Sage development model and the technology in Sage itself are distinguished...

Uppaal
 Referenced in 518 articles
[sw04702]
 Uppaal is an integrated tool environment for modeling, simulation and verification of realtime systems ... appropriate for systems that can be modeled as a collection of nondeterministic processes with...

SemiPar
 Referenced in 391 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...

AMPL
 Referenced in 393 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 624 articles
[sw04586]
 sets without the imposition of a parametric model. The main goal of this book...

XPath
 Referenced in 302 articles
[sw15780]
 processing of values conforming to the data model defined in [XQuery 1.0 and XPath ... Data Model (Second Edition)]. The data model provides a tree representation of XML documents ... generally, any sequence allowed by the data model. The name of the language derives from...

AdaBoost.MH
 Referenced in 317 articles
[sw08517]
 worstcase online framework. The model we study can be interpreted as a broad ... wellstudied online prediction model to a general decisiontheoretic setting. We show that ... Warmuth rule can be adapted to this model, yielding bounds that are slightly weaker...

NuSMV
 Referenced in 228 articles
[sw04131]
 NuSMV is a symbolic model checker developed as a joint project between: The Embedded Systems ... Information Technology at FBKIRST The Model Checking group at Carnegie Mellon University , the Mechanized ... reimplementation and extension of SMV, the first model checker based on BDDs. NuSMV has been ... designed to be an open architecture for model checking, which can be reliably used...

SparseMatrix
 Referenced in 319 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...

PRISM
 Referenced in 251 articles
[sw01186]
 PRISM: Probabilistic symbolic model checker. In this paper we describe PRISM, a tool being developed ... probabilistic systems. PRISM supports three probabilistic models: discretetime 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...

Simulink
 Referenced in 305 articles
[sw04348]
 environment for multidomain simulation and ModelBased Design for dynamic and embedded systems. It provides ... simulations, create batch processing scripts, customize the modeling environment, and define signal, parameter, and test...

LISREL
 Referenced in 212 articles
[sw06514]
 last thirty eight years, the LISREL model, methods and software have become synonymous with structural ... equation modeling (SEM). SEM allows researchers in the social sciences, management sciences, behavioral sciences, biological ... These theories are usually formulated as theoretical models for observed and latent (unobservable) variables ... observed variables of the theoretical model, the LISREL program can be used...

TETRAD
 Referenced in 222 articles
[sw12177]
 with, and searches for causal and statistical models. The aim of the program ... confounders of measured variables, to search for models of latent structure, and to search ... linear feedback modelsand in the ability to calculate predictions of the effects of interventions ... experiments based on a model. All of its search procedures are ”pointwise consistent”they...

Mplus
 Referenced in 227 articles
[sw06511]
 Mplus is a statistical modeling program that provides researchers with a flexible tool to analyze ... Mplus offers researchers a wide choice of models, estimators, and algorithms in a program that ... analyzed according to any of the models included in the program...