• ADMB

  • Referenced in 14 articles [sw07416]
  • differentiation for statistical inference of highly parameterized complex nonlinear models. Many criteria for statistical parameter...
  • htd

  • Referenced in 3 articles [sw21112]
  • central role in the field of parameterized complexity and are the basis for many fixed ... tree decompositions recently competed in the 1st Parameterized Algorithms and Computational Experiments Challenge. However...
  • PITA

  • Referenced in 19 articles [sw06950]
  • alternative, the PRISM system reduces the complexity of query answering by restricting the form ... transformation and library functions, PITA can be parameterized to PITA(IND, EXC) which supports ... PITA to be competitive with PRISM for complex queries to Hidden Markov Model examples ... further show how PITA can be parameterized to PITA(COUNT) which computes the number...
  • PYGMALION

  • Referenced in 5 articles [sw08297]
  • costly experimental data acquisition. Such complexities make model parameterization a difficult process. Moreover, there...
  • ReaxFF

  • Referenced in 16 articles [sw28391]
  • optimized the original ReaxFF code. Reactions in complex chemical mixtures totaling hundreds of thousands ... many different combinations of elements. Furthermore, (re)parameterization tools helps to refine force fields...
  • Borg

  • Referenced in 10 articles [sw08873]
  • statistical performance of every sampled MOEA parameterization is evaluated using 50 replicate random seed trials ... benchmarking how variation operators enhance search for complex many-objective problems...
  • SpecuLOOS

  • Referenced in 10 articles [sw15266]
  • time prediction model based on a parameterization of the application and the hardware resources ... have been detected and corrected. The theoretical complexities with respect to the number of elements...
  • optimization

  • Referenced in 1 article [sw18023]
  • very detailed parameterization and is therefore useful for specific and complex loss functions, like functions...
  • SimTB

  • Referenced in 4 articles [sw15243]
  • more comprehensively understand the effects of complex processing strategies by providing a ground truth that ... real data, but data generation is fully parameterized and fully controlled by the user, allowing...
  • MatrixExp

  • Referenced in 1 article [sw10456]
  • complex expressions involving $gamma $-matrices, providing such tools as automatic Feynman parameterization, integration...
  • Filzbach

  • Referenced in 2 articles [sw13096]
  • complex models to hetereogenous data: Bayesian and likelihood analysis made easy: Filzbach is a flexible ... parameter estimation engine that allows you to parameterize arbitrary, non-linear models, of the kind...
  • MCDB

  • Referenced in 1 article [sw12046]
  • system’s ability to gracefully handle complex or unforeseen types of uncertainty, and does ... permit the uncertainty model to be dynamically parameterized according to the current state ... uncertain attributes. VG functions can be parameterized on the results of SQL queries over ”parameter ... distributions over discrete or continuous attributes, arbitrarily complex SQL queries, and arbitrary functionals...
  • iTOUGH2

  • Referenced in 5 articles [sw34111]
  • geophysical, geochemical, and geomechanical processes. After appropriate parameterization of subsurface structures and their properties, iTOUGH2 ... support of the characterization and analysis of complex multiphysics subsurface systems...
  • solverALL

  • Referenced in 1 article [sw33799]
  • complexity-theoretic assumptions it does not have a polynomial-size problem kernel when parameterized...
  • qtlbim

  • Referenced in 7 articles [sw17320]
  • model (deviance) by its complexity, determined by the effective number of parameters. The effective number ... prior specification is worth the extra parameterization. The DIC has been implemented in the freely...
  • nflows

  • Referenced in 2 articles [sw35005]
  • George Papamakarios. A normalizing flow models a complex probability density as an invertible transformation ... evaluation and sampling, but rely on the parameterization of an easily invertible elementwise transformation, whose...
  • PiMaG

  • Referenced in 2 articles [sw10090]
  • pipelined-machine-Verification problems. We present a parameterized suite of benchmark problems arising from ... yielded many problems that not only have complex models, but also have complex correctness statements...
  • MikiBeta

  • Referenced in 1 article [sw09920]
  • different kinds of proof trees, MikiBeta is parameterized with user-defined judgements and inference rules ... inference rules, one can construct GUIs with complex operations such as environment lookup and substitution...
  • nsf

  • Referenced in 1 article [sw35016]
  • Flows paper: A normalizing flow models a complex probability density as an invertible transformation ... evaluation and sampling, but rely on the parameterization of an easily invertible elementwise transformation, whose...
  • bgaPEST

  • Referenced in 2 articles [sw27873]
  • with the parameter estimation suite PEST. Highly parameterized inversion refers to cases in which parameters ... estimate a balance between fit and model complexity informed by the data. Groundwater and surface...