
SMAC
 Referenced in 59 articles
[sw27215]
 Modelbased Algorithm Configuration. SMAC (sequential modelbased algorithm configuration) is a versatile tool ... effective for the hyperparameter optimization of machine learning algorithms, scaling better to high dimensions...

mlrMBO
 Referenced in 4 articles
[sw19214]
 flexible and comprehensive R toolbox for modelbased optimization (MBO), also known as Bayesian optimization ... given objective function through a surrogate regression model. It is designed for both single ... learner from the mlr toolbox for machine learning can be used, and infill criteria...

CLEMM
 Referenced in 1 article
[sw31323]
 Modelbased clustering with envelopes. Clustering analysis is an important unsupervised learning technique in multivariate ... statistics and machine learning. In this paper, we propose a set of new mixture models...

BARTBMA
 Referenced in 2 articles
[sw23498]
 methods where the individual trees are the base learners. However, for datasets where the number ... dimensional data is random forests, a machine learning algorithm which grows trees using a greedy ... BART called BARTBMA, which uses Bayesian model averaging and a greedy search algorithm ... random forests to offer a modelbased algorithm which can deal with highdimensional data...

PATDEX
 Referenced in 1 article
[sw26326]
 complex machines. It is integrated in the Moltke workbench (MOdels, Learning and Temporal Knowledge ... particular a modelbased approach (cf. [21, 22]); it is essentially in Patdex [3] that...

VERIFAI
 Referenced in 1 article
[sw32550]
 that include artificial intelligence (AI) and machine learning (ML) components. VERIFAI particularly seeks to address ... components, including those based on neural networks, and to model and analyze system behavior ... models and specifications. Several use cases are illustrated with examples, including temporallogic falsification, model...

ADOLC
 Referenced in 233 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

BARON
 Referenced in 311 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

Isabelle
 Referenced in 606 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

Mathematica
 Referenced in 5883 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12074 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

mclust
 Referenced in 257 articles
[sw00563]
 R package mclust: Normal Mixture Modeling for Model...

Octave
 Referenced in 284 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

SETHEO
 Referenced in 119 articles
[sw00707]
 SETHEO: A highperformance theorem prover. The paper...

R
 Referenced in 8359 articles
[sw00771]
 R is a language and environment for statistical...

GIB
 Referenced in 16 articles
[sw01096]
 GIB stands for GorenInaBox, and...

DYNAMO
 Referenced in 250 articles
[sw01227]
 DYNAMO (DYNAmic MOdels) was a simulation language and...

LBFGSB
 Referenced in 162 articles
[sw01234]
 Algorithm 778: LBFGSB Fortran subroutines for...

Kronos
 Referenced in 261 articles
[sw01270]
 KRONOS is a tool developed with the aim...

Graphviz
 Referenced in 81 articles
[sw01283]
 Graphviz is open source graph visualization software. Graph...