
GAMS
 Referenced in 842 articles
[sw04978]
 allows the user to concentrate on the modeling problem by making the setup simple ... problems which may require many revisions to establish an accurate model. The system models problems...

Kronos
 Referenced in 263 articles
[sw01270]
 realtime systems need to be rigorously modeled and specified in order to be able ... their correctness with respect to the desired requirements. In KRONOS, components of real ... time systems are modeled by timed automata and the correctness requirements are expressed...

HyTech
 Referenced in 327 articles
[sw04125]
 continuous components, and temporal requirements are verified by symbolic model checking. If the verification fails...

Linda
 Referenced in 103 articles
[sw09427]
 name space that the generative communication model requires...

KernSmooth
 Referenced in 921 articles
[sw04586]
 sets without the imposition of a parametric model. The main goal of this book ... reader’s intuition and mathematical skills required for a comprehensive understanding of kernel smoothing...

UMAT
 Referenced in 79 articles
[sw08803]
 implementation of any realistic constitutive model requires extensive development and testing. Initial testing...

NEWUOA
 Referenced in 85 articles
[sw00618]
 algorithm is iterative, a quadratic model being required at the beginning of each iteration, which ... adjusting the variables. When the quadratic model is revised, the new model interpolates...

TETRAD
 Referenced in 395 articles
[sw12177]
 with, and searches for causal and statistical models. The aim of the program ... provide sophisticated methods in a friendly interface requiring very little statistical sophistication of the user ... confounders of measured variables, to search for models of latent structure, and to search...

micrOMEGAs
 Referenced in 60 articles
[sw01425]
 user. The New Physics model first requires to write a new CalcHEP model file...

spBayes
 Referenced in 330 articles
[sw10160]
 with Bayesian hierarchical models. Unfortunately, fitting such models involves computationally intensive Markov chain Monte Carlo ... upon the specific problem at hand. This requires extensive coding on the part ... wide variety of Gaussian spatial process models for univariate as well as multivariate pointreferenced...

MMMFEM
 Referenced in 33 articles
[sw12715]
 Multiscale model required solving one local Dirichlet problem on each subdomain per interface iteration...

Bandera
 Referenced in 134 articles
[sw07663]
 visualization components designed to facilitate experimentation with modelchecking Java source code. Bandera takes ... requirement formalized in Bandera’s temporal specification language, and it generates a program model...

EPANET
 Referenced in 43 articles
[sw07618]
 developing applications, such as optimization models, that require running many network analyses with modified input ... simplify adding analysis capabilities to integrated network modeling environments based on CAD, GIS, and database...

ELOTOS
 Referenced in 25 articles
[sw03017]
 analysis or highlevel design model. Requirements are usually inconsistent and incomplete and we deal...

DPpackage
 Referenced in 64 articles
[sw10495]
 Bayesian Semi and Nonparametric Modeling in R. Data analysis sometimes requires the relaxation of parametric...

Metagraphs
 Referenced in 20 articles
[sw01368]
 example, they may think that a model requires data that is unavailable, when in fact ... base or could be calculated from another model. Or they may believe that...

JM
 Referenced in 46 articles
[sw10494]
 many instances, a joint modeling approach is either required or may produce a better insight ... package JM that fits joint models for longitudinal and timetoevent data...

Code_Saturne
 Referenced in 38 articles
[sw06674]
 with scalars transport if required. Several turbulence models are available, from ReynoldsAveraged models...

UOBYQA
 Referenced in 62 articles
[sw07576]
 forming quadratic models by interpolation. Obviously, no first derivatives are required. A typical iteration ... variables either by minimizing the quadratic model subject to a trust region bound...

MARTE
 Referenced in 21 articles
[sw21826]
 both modeling and analyzing concerns. Modeling parts provides support required from specification to detailed design ... embedded characteristics of systems. MARTE concerns also modelbased analysis. In this sense, the intent ... provides facilities to annotate models with information required to perform specific analysis. Especially, MARTE focuses...