• Bandera

  • Referenced in 134 articles [sw07663]
  • facilitate experimentation with model-checking 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]
  • input-output data pairs. In the simulation, the ANFIS architecture is employed to model nonlinear...
  • SMAC

  • Referenced in 71 articles [sw27215]
  • Sequential Model-based Algorithm Configuration. SMAC (sequential model-based 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 Higgs-boson 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, out-of-sample 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 path-bounded model-checking) to determine test inputs for Parameterized Unit Tests...