• SATCHMO

  • Referenced in 97 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 554 articles [sw01091]
  • modelling language ZIMPL, the parallelization framework UG and the generic column generation solver...
  • KronFit

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

  • Referenced in 347 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 333 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...
  • MathSAT

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

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

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

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

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

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

  • Referenced in 58 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 317 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...
  • Modelica

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

  • Referenced in 154 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 747 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...
  • Visual Basic

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

  • Referenced in 26 articles [sw38795]
  • WaveNet: A Generative Model for Raw Audio. This paper introduces WaveNet, a deep neural network ... generating raw audio waveforms. The model is fully probabilistic and autoregressive, with the predictive distribution ... identity. When trained to model music, we find that it generates novel and often highly ... employed as a discriminative model, returning promising results for phoneme recognition...