• SATCHMO

  • Referenced in 96 articles [sw06619]
  • first systems which used model generation, i.e. a bottom-up proof procedure. The prover...
  • Linda

  • Referenced in 103 articles [sw09427]
  • Generative communication in Linda. Generative communication is the basis of a new distributed programming language ... particular. It differs from previous interprocess communication models in specifying that messages be added ... until some process chooses to receive them. Generative communication results in a number of distinguishing ... dynamic global name space that the generative communication model requires...
  • SCIP

  • Referenced in 486 articles [sw01091]
  • modelling language ZIMPL, the parallelization framework UG and the generic column generation solver...
  • Mplus

  • Referenced in 339 articles [sw06511]
  • Mplus offers researchers a wide choice of models, estimators, and algorithms in a program that ... data can be generated and analyzed according to any of the models included...
  • HyTech

  • Referenced in 330 articles [sw04125]
  • verified by symbolic model checking. If the verification fails, then HyTech generates a diagnostic error...
  • Bandera

  • Referenced in 134 articles [sw07663]
  • visualization components designed to facilitate experimentation with model-checking Java source code. Bandera takes ... temporal specification language, and it generates a program model and specification in the input language...
  • KronFit

  • Referenced in 42 articles [sw20428]
  • graphs: an approach to modeling networks. How can we generate realistic networks? In addition ... shrinking diameters over time. Current network models and generators either fail to match several ... both. Here we propose a generative model for networks that is both mathematically tractable ... algorithm for fitting the Kronecker graph generation model to large real networks. A naive approach...
  • Java PathFinder

  • Referenced in 120 articles [sw07658]
  • stated assertions. JPF generates a PROMELA model with the same state space characteristics...
  • MathSAT

  • Referenced in 58 articles [sw09449]
  • this setting. In particular: model generation (for counterexample reconstruction), model enumeration (for predicate abstraction...
  • Church

  • Referenced in 50 articles [sw08946]
  • Church: A language for generative models. We introduce Church, a universal language for describing stochastic ... generative processes. Church is based on the Lisp model of lambda calculus, containing a pure...
  • Dynare

  • Referenced in 71 articles [sw12305]
  • stochastic general equilibrium (DSGE) and overlapping generations (OLG) models. The models solved by Dynare include...
  • CGAL

  • Referenced in 370 articles [sw00118]
  • modeling, geographic information systems, molecular biology, medical imaging, robotics and motion planning, mesh generation, numerical...
  • MadGraph

  • Referenced in 94 articles [sw06476]
  • matrix element generation and event generation for any model that can be written...
  • GTM

  • Referenced in 57 articles [sw39434]
  • Generative Topographic Mapping. Latent variable models represent the probability density of data in a space ... linear latent variable model called the Generative Topographic Mapping for which the parameters...
  • gss

  • Referenced in 282 articles [sw06099]
  • Smoothing spline ANOVA models Nonparametric function estimation with stochastic data, otherwise known as smoothing ... been studied by several generations of statisticians. Assisted by the recent availability of ample desktop ... settings number far less. Smoothing spline ANOVA models are a versatile family of smoothing methods...
  • Visual Basic

  • Referenced in 301 articles [sw03518]
  • Visual Basic is a third-generation event-driven programming language and integrated development environment ... from Microsoft for its COM programming model first released in 1991 and declared legacy...
  • copula

  • Referenced in 127 articles [sw07944]
  • designed and easily extensible platform for multivariate modeling with copulas in R. S4 classes ... evaluation, random number generation, and graphical display. Fitting copula-based models with maximum likelihood method...
  • SparseMatrix

  • Referenced in 660 articles [sw04629]
  • experiments: robust because performance results with artificially-generated matrices can be misleading, and repeatable because ... geometry (as structural engineering, computational fluid dynamics, model reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics...
  • Modelica

  • Referenced in 95 articles [sw04352]
  • multi-domain modeling, for example, mechatronic models in robotics, automotive and aerospace applications involving mechanical ... process oriented applications and generation and distribution of electric power. Models in Modelica are mathematically...
  • HLM

  • Referenced in 44 articles [sw06516]
  • models to outcome variables that generate a linear model with explanatory variables that account...