• MPT

  • Referenced in 209 articles [sw04732]
  • field of computational geometry and multi-parametric optimization. The toolbox offers a broad spectrum ... systems with persistent additive and polytopic uncertainties. Users can add custom constraints, such as polytopic...
  • LFR-toolbox

  • Referenced in 22 articles [sw04756]
  • uncertain models, regular and singular parametric expressions, more general uncertainty blocks (nonlinear, time-varying...
  • Skew

  • Referenced in 8 articles [sw14905]
  • uncertain closed loop, subject to LTI parametric uncertainties, neglected dynamics and to some extent uncertain...
  • SReach

  • Referenced in 4 articles [sw20158]
  • nonlinear) hybrid automata with parametric uncertainty. The second one is probabilistic hybrid automata with additional...
  • PAROC

  • Referenced in 4 articles [sw21878]
  • suite of multi-parametric programming techniques for optimisation under uncertainty, explicit/multi-parametric MPC and state-estimation...
  • AUTO-IK

  • Referenced in 2 articles [sw21228]
  • program for the automated non-parametric modeling of local uncertainty in earth sciences. Indicator kriging...
  • HyStar

  • Referenced in 0 articles [sw24785]
  • affected by both time varying parametric uncertainties and persistent exterior disturbances. The robust tracking...
  • Bchron

  • Referenced in 2 articles [sw11012]
  • relative sea level rate estimation, and non-parametric phase modelling. This package enables quick calibration ... estimation incorporating time uncertainty in polynomial regression models; and non-parametric phase modelling via Gaussian...
  • PROPOSAL

  • Referenced in 1 article [sw16807]
  • systematic error rather than statistical uncertainties. Such an error source is the Monte Carlo description ... implemented for different parametrizations. Thus, a full study of the systematic uncertainties is possible from...
  • QPsimplex

  • Referenced in 2 articles [sw31751]
  • parametric value-at-risk minimization, portfolio optimization, and robust optimization with ellipsoidal objective uncertainty...
  • torcpy

  • Referenced in 1 article [sw33488]
  • different data, parametric searches and algorithms used in numerical optimization and Bayesian uncertainty quantification...
  • ADDT

  • Referenced in 1 article [sw17543]
  • parametric and semiparametric approaches allow one to do statistical inference such as quantifying uncertainties...
  • GALFIT

  • Referenced in 3 articles [sw29000]
  • ring, and truncated shapes in otherwise traditional parametric functions like the Sérsic, Moffat, King, Ferrer ... enable ways to gauge the uncertainties when decomposing galaxy subcomponents. We illustrate these new features...
  • Time4sys2imi

  • Referenced in 1 article [sw31184]
  • formalize real-time system models under uncertainty. Time4sys is a formalism developed by Thales Group ... Time4sys2imi, a tool translating Time4sys models into parametric timed automata in the input language...
  • Kink-detector

  • Referenced in 2 articles [sw29680]
  • alpha)-helices in proteins, we formulate a parametric statistical model, which incorporates the cylindrical nature ... formulation, for the first time, quantifies the uncertainty in atom positions around the cylinder...
  • LabFit

  • Referenced in 1 article [sw06003]
  • Plot graphs (2D and 3D) (normal, parametric, imported dataset, contour of maps); 6) Execute calculations ... variables (from 1 up to 6), admitting uncertainties at the dependent variable (Y) and also...
  • ADOL-C

  • Referenced in 225 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • BARON

  • Referenced in 307 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BPMPD

  • Referenced in 39 articles [sw00088]
  • BPMPD is a state-of-the-art implementation...
  • cdd

  • Referenced in 109 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...