
ORBIT
 Referenced in 39 articles
[sw20552]
 Function (RBF) models is employed. The RBF models considered often allow ORBIT to interpolate nonlinear ... using fewer function evaluations than the polynomial models considered by present techniques. Approximation guarantees...

DAISY
 Referenced in 54 articles
[sw09059]
 linear and) nonlinear dynamic models described by polynomial or rational equations. Our goal ... software, requiring minimum prior knowledge of mathematical modelling and no indepth understanding...

PolyBoRi
 Referenced in 48 articles
[sw00723]
 computations with Boolean polynomials. Boolean polynomials can be modelled in a rather simple way, with ... ring of Boolean polynomials is, however, not a polynomial ring, but rather the quotient ring...

UQLab
 Referenced in 43 articles
[sw19740]
 members, e.g. metamodeling (polynomial chaos expansions, Gaussian process modelling, a.k.a. Kriging, lowrank tensor approximations...

Flow*
 Referenced in 27 articles
[sw20162]
 Flow* performs Taylor modelbased flowpipe construction for nonlinear (polynomial) hybrid systems. Flow* combines...

ObservabilityTest
 Referenced in 20 articles
[sw36921]
 algorithm to test local algebraic observability in polynomial time. The following questions are often encountered ... system and control theory. Given an algebraic model of a physical process, which variables ... subalgebra of the symmetries of the model letting the inputs and the outputs invariant ... This bound is polynomial in the complexity of evaluation of the model...

ASTRODF
 Referenced in 12 articles
[sw26833]
 error (or variance) and structural error (or model bias) within ASTRODF. Such balancing ... order critical points when using stochastic polynomial interpolation models. The question of using more complicated...

RMAX
 Referenced in 32 articles
[sw02539]
 modelbased reinforcement learning algorithm which can attain nearoptimal average reward in polynomial time...

PROPhESY
 Referenced in 13 articles
[sw33602]
 fraction of two polynomials in the model parameters) for reachability and expected reward objectives...

MPM3D
 Referenced in 26 articles
[sw10368]
 rubber, Gurson model for elasticplastic solid with void, Polynomial EOS, JonesWilkins...

ADAM
 Referenced in 8 articles
[sw21957]
 models. ADAM converts several discrete model types automatically into polynomial dynamical systems and analyzes their ... discrete model that is equivalent to solving a system of polynomial equations, a longstudied ... Based on extensive experimentation with both discrete models arising in systems biology and randomly generated...

GpoSolver
 Referenced in 2 articles
[sw15713]
 Matlab/C++ toolbox for global polynomial optimization. Global polynomial optimization can be a powerful tool when ... very easy when it comes to modelling polynomial problems. However, when using these toolboxes, Matlab ... providing a Matlabbased problem modelling toolbox supplemented by a problemsolving back...

AKMCS
 Referenced in 72 articles
[sw18303]
 number of calls to the numerical models. Engineering problems involve more and more complex computer ... remains the numerous variants of response surfaces. Polynomial Chaos [1] and Support Vector Machine...

STJM
 Referenced in 8 articles
[sw19776]
 which lets time be modelled using fixed and/or random fractional polynomials or resticted cubic splines ... component mixture Weibullexponential proportional hazards models. Furthermore, the flexible parametric survival model (see stpm2...

ExaGeoStat
 Referenced in 6 articles
[sw30062]
 from the side of statistical modeling to ameliorate these polynomial complexities, we are interested here ... same interface. Thus, a single uncompromised statistical model can ultimately be executed in a wide...

PRECISE
 Referenced in 7 articles
[sw12581]
 geometric predicates or on the roots of polynomials characterizing the problem. The reliability ... present a naive precisiondriven computational model to perform these computations reliably and demonstrate ... univariate polynomial to any desired accuracy. The computational model along with the underlying number representation...

BATMAN
 Referenced in 4 articles
[sw29121]
 physic and the sample, Surrogate Models (Gaussian process, Polynomial Chaos, RBF, scikitlearn’s regressors...

petBoss
 Referenced in 1 article
[sw29334]
 represented as a polynomial. The verification uses an algebraic model of the circuit ... primary outputs (output signature), using the polynomial models of the logic gates, into a polynomial...

unpopular
 Referenced in 1 article
[sw39287]
 allow for simultaneous fitting with a polynomial model to capture any longterm astrophysical trends...