
SATCHMO
 Referenced in 97 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 536 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 346 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 331 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...

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 54 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 394 articles
[sw00118]
 modeling, geographic information systems, molecular biology, medical imaging, robotics and motion planning, mesh generation, numerical...

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

MadGraph
 Referenced in 96 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...

Modelica
 Referenced in 125 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...

gss
 Referenced in 293 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...

copula
 Referenced in 147 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 724 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...

Visual Basic
 Referenced in 306 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...

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