
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 manyobjective 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, nonlinear 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]
 complexitytheoretic assumptions it does not have a polynomialsize 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]
 pipelinedmachineVerification 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 userdefined 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 ﬁt and model complexity informed by the data. Groundwater and surface...