• NuSMV

  • Referenced in 284 articles [sw04131]
  • NuSMV is a symbolic model checker developed as a joint project between: The Embedded Systems ... Information Technology at FBK-IRST 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...
  • EnKF

  • Referenced in 304 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...
  • FLUENT

  • Referenced in 392 articles [sw04263]
  • Computational Fluid Dynamics (CFD) code for modelling fluid flow, heat transfer, mass transfer and chemical ... option enables the incorporation of user-developed models into FLUENT through user-defined functions.32...
  • LISREL

  • Referenced in 291 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...
  • SAS/STAT

  • Referenced in 360 articles [sw18788]
  • nonparametric analysis. A few examples include mixed models, generalized linear models, correspondence analysis, and structural...
  • UMDES

  • Referenced in 313 articles [sw09523]
  • study of discrete event systems modeled by finite-state automata (FSA). There are routines ... consulted for an introduction to modeling of discrete event systems by FSA’s, manipulation ... models, and the theory of supervisory control of discrete event systems...
  • Mplus

  • Referenced in 310 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...
  • DIMACS

  • Referenced in 483 articles [sw08221]
  • case analysis is overly pessimistic and probabilistic models are too unrealistic: experimentation can provide guides...
  • spBayes

  • Referenced in 278 articles [sw10160]
  • Univariate and Multivariate Hierarchical Point-referenced Spatial Models. Scientists and investigators in such diverse fields ... often best analyzed with Bayesian hierarchical models. Unfortunately, fitting such models involves computationally intensive Markov ... wide variety of Gaussian spatial process models for univariate as well as multivariate point-referenced...
  • MOD-DIST

  • Referenced in 228 articles [sw07504]
  • Network and discrete location. Models, algorithms, and applications (to appear) The second edition focuses ... real-world extensions of the basic models used in locating facilities, including production and distribution ... systems, location-inventory models, and defender-interdictor problems. A unique taxonomy of location problems ... models is also presented. Featuring examples using the author’s own software -- SITATION, MOD-DIST...
  • MENU-OKF

  • Referenced in 228 articles [sw07505]
  • Network and discrete location. Models, algorithms, and applications (to appear) The second edition focuses ... real-world extensions of the basic models used in locating facilities, including production and distribution ... systems, location-inventory models, and defender-interdictor problems. A unique taxonomy of location problems ... models is also presented. Featuring examples using the author’s own software -- SITATION, MOD-DIST...
  • SITATION

  • Referenced in 221 articles [sw07503]
  • Network and discrete location. Models, algorithms, and applications (to appear) The second edition focuses ... real-world extensions of the basic models used in locating facilities, including production and distribution ... systems, location-inventory models, and defender-interdictor problems. A unique taxonomy of location problems ... models is also presented. Featuring examples using the author’s own software -- SITATION, MOD-DIST...
  • Gurobi

  • Referenced in 422 articles [sw04105]
  • range of interfaces, access to industry-standard modeling languages, flexible licensing together with transparent pricing...
  • ismev

  • Referenced in 304 articles [sw11209]
  • package ismev: An Introduction to Statistical Modeling of Extreme Values. Functions to support the computations ... carried out in ‘An Introduction to Statistical Modeling of Extreme Values’ by Stuart Coles...
  • glasso

  • Referenced in 301 articles [sw07432]
  • structure in an undirected Gaussian graphical model, using ℓ 1 regularization to control the number ... efficiently build a path of models for different values of the tuning parameter. Convergence...
  • SPSS

  • Referenced in 417 articles [sw04269]
  • SPSS Data Collection), data mining (IBM SPSS Modeler), text analytics, statistical analysis, and collaboration...
  • gss

  • Referenced in 238 articles [sw06099]
  • Smoothing spline ANOVA models Nonparametric function estimation with stochastic data, otherwise known as smoothing ... settings number far less. Smoothing spline ANOVA models are a versatile family of smoothing methods ... likelihood method and the construction of multivariate models with built-in ANOVA decompositions. Extensive discussions ... devoted to model construction, smoothing parameter selection, computation, and asymptotic convergence. Most of the computational...
  • SCIP

  • Referenced in 404 articles [sw01091]
  • also contains the LP solver SoPlex, the modelling language ZIMPL, the parallelization framework...
  • GMRFLib

  • Referenced in 247 articles [sw06641]
  • longitudinal and survival data, spatio-temporal models, graphical models, and semi-parametric statistics. With ... GMRFs in complex hierarchical models, in which statistical inference is only possible using Markov Chain...
  • glmnet

  • Referenced in 244 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...