• 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]
  • real-time 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 point-referenced...
  • 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 model-checking 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...
  • E-LOTOS

  • Referenced in 25 articles [sw03017]
  • analysis or high-level 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 time-to-event data...
  • Code_Saturne

  • Referenced in 38 articles [sw06674]
  • with scalars transport if required. Several turbulence models are available, from Reynolds-Averaged 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 model-based analysis. In this sense, the intent ... provides facilities to annotate models with information required to perform specific analysis. Especially, MARTE focuses...