
Bandera
 Referenced in 134 articles
[sw07663]
 facilitate experimentation with modelchecking Java source code. Bandera takes as input Java source code ... generates a program model and specification in the input language of one of several existing...

DACE
 Referenced in 177 articles
[sw04715]
 choosing the inputs at which to evaluate the computer model for constructing the kriging approximation...

XPath
 Referenced in 373 articles
[sw15780]
 Data Model (Second Edition)]. The data model provides a tree representation of XML documents ... selection of nodes from the input documents, or an atomic value, or more generally ... sequence allowed by the data model. The name of the language derives from its most...

ANFIS
 Referenced in 274 articles
[sw08730]
 inputoutput data pairs. In the simulation, the ANFIS architecture is employed to model nonlinear...

SMAC
 Referenced in 71 articles
[sw27215]
 Sequential Modelbased Algorithm Configuration. SMAC (sequential modelbased algorithm configuration) is a versatile tool ... dimensions and discrete input dimensions than other algorithms. Finally, the predictive models SMAC is based ... important information about the model domain, such as which input variables are most important...

CreditRisk+
 Referenced in 44 articles
[sw31697]
 background factors are incorporated into the CREDITRISK+ Model through the use of default rate volatilities ... using default correlations as explicit inputs into the model. Mathematical techniques applied widely...

MARK
 Referenced in 25 articles
[sw24801]
 group of animals can be modelled. The basic input to MARK is the encounter history ... parameter index matrix. A set of common models for initial screening of data are provided ... likelihood AIC value for the model. Both the input data, and outputs for various models...

FeynHiggs
 Referenced in 44 articles
[sw00282]
 program takes the basic model parameters as input and evaluates many MSSM Higgsboson observables...

DAISY
 Referenced in 46 articles
[sw09059]
 recovering uniquely the unknown model parameters from measured input–output data, under ideal conditions (noise...

SALib
 Referenced in 18 articles
[sw26281]
 modeling to calculate the effects of model inputs or exogenous factors on outputs of interest...

SPNP
 Referenced in 49 articles
[sw07933]
 models. The SPN models are described in the input language for SPNP called CSPL ... constructs which facilitate easy description of SPN models. Moreover, if the user does not want...

SATzilla
 Referenced in 93 articles
[sw06281]
 hardness models to choose among their constituent solvers. This approach takes as input a distribution ... runtime, and by using hierarchical hardness models that take into account different types...

RELAP5
 Referenced in 14 articles
[sw13228]
 isometric image of the LOFT input model generated with RGUI. The RELAP5–3D code...

HiggsBounds
 Referenced in 21 articles
[sw04988]
 Higgs sector predictions for any particular model as input and then uses the experimental topological...

FormCalc
 Referenced in 62 articles
[sw06475]
 Feynman rules are specified in a new model file for FeynArts. The computation ... input parameters is realized as a Fortran subroutine in the framework of FormCalc. The model...

EPANET
 Referenced in 45 articles
[sw07618]
 optimization models, that require running many network analyses with modified input parameters. It can also...

PcGets
 Referenced in 44 articles
[sw01937]
 automatic predictive modeling tool called relevant transformation of the inputs network approach (RETINA ... selective search within the range of possible models, control of collinearity, outofsample forecasting...

MINION
 Referenced in 50 articles
[sw10176]
 with an expressive input language based on the common constraint modelling device of matrix models...

ObservabilityTest
 Referenced in 20 articles
[sw36921]
 model of a physical process, which variables can be, in theory, deduced from the input ... symmetries of the model letting the inputs and the outputs invariant. We present a probabilistic ... complexity of evaluation of the model and in the number of variables. Furthermore, we show...

Pex
 Referenced in 35 articles
[sw07263]
 similar to pathbounded modelchecking) to determine test inputs for Parameterized Unit Tests...