
SATCHMO
 Referenced in 96 articles
[sw06619]
 first systems which used model generation, i.e. a bottomup 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 484 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 modelchecking 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 thirdgeneration eventdriven 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 copulabased models with maximum likelihood method...

SparseMatrix
 Referenced in 660 articles
[sw04629]
 experiments: robust because performance results with artificiallygenerated 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]
 multidomain 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...