
BARON
 Referenced in 196 articles
[sw00066]
 name from its combining constraint propagation, interval analysis, and duality in its reduce arsenal with...

GlobSol
 Referenced in 30 articles
[sw06724]
 software package combines various ideas from interval analysis, automatic differentiation, and constraint propagation to provide...

libMC
 Referenced in 22 articles
[sw06615]
 each of these intermediate variables via interval analysis and McCormick relaxation techniques [3]. Because McCormick...

RAMAS Risk Calc
 Referenced in 17 articles
[sw09590]
 analysis, standard fuzzy arithmetic, and classical interval analysis. Its applications are like those of Monte...

COPRIN
 Referenced in 13 articles
[sw04826]
 real roots of parametric polynomials using interval analysis In this paper we are interested ... ranges. We propose algorithms based on interval analysis to solve various problems such as finding...

ICOS
 Referenced in 12 articles
[sw04007]
 contains algorithms coming from constraint programming, interval analysis, and linear relaxation techniques. It contains...

AMIGO
 Referenced in 10 articles
[sw02425]
 AMIGO: Advanced multidimensional interval analysis global optimization algorithm AMIGO is an algorithm for solving smooth ... AMIGO differs from standard interval methods for solving this class of problems by a refined...

DPpackage
 Referenced in 12 articles
[sw10495]
 density estimation, receiver operating characteristic curve analysis, intervalcensored data, binary regression data, item response...

JMulTi
 Referenced in 18 articles
[sw00477]
 other packages, like Impulse Response Analysis with bootstrapped confidence intervals for VAR/VEC modelling. Now many ... make it possible to convey a comprehensive analysis. Limitations of this software can be overcome...

survival
 Referenced in 31 articles
[sw04364]
 survival: Survival analysis, including penalised likelihood , survival analysis: descriptive statistics, twosample tests, parametric accelerated ... Delayed entry (truncation) allowed for all models; interval censoring for parametric models. Casecohort designs...

ALIAS
 Referenced in 4 articles
[sw05307]
 ALIAS: Algorithms Library of Interval Analysis for Systems...

EASY  FIT
 Referenced in 7 articles
[sw05976]
 initial or boundary conditions.A statistical analysis provides confidence intervals for estimated parameters, correlation and covariance...

Int4Sci
 Referenced in 1 article
[sw12579]
 Int4Sci Toolbox : A Scilab Interface for Interval Analysis. Int4Sci is an user friendly toolkit ... interval analysis developed by the COPRIN team, at INRIA Sophia AntipolisMediterranee. It provides ... scientific computing software : Basic Interval Analysis; Interval prototyping methods...

ComPAIRS
 Referenced in 33 articles
[sw16191]
 hierarchical weighting. In particular, INPRE analyzes interval judgments of relative importance in the analytic hierarchy ... works with similar statements in value tree analysis. The underlying methodology of these programs...

Intsolver
 Referenced in 2 articles
[sw08787]
 problems with guaranteed bounds on solutions. Interval analysis can be used to bound ALL solutions ... these problems using an implementation of the interval Newton method with a bissection scheme ... functions can be showed through the analysis of some important global optimization examples that...

RoVerGeNe
 Referenced in 10 articles
[sw10954]
 Networks. Rovergene is a tool for the analysis of genetic regulatory networks under parameter uncertainty ... specified by intervals. The tool addresses two problems: robustness analysis: checking whether a dynamical property...

Rmediation
 Referenced in 2 articles
[sw11675]
 RMediation: An R Package for Mediation Analysis Confidence Intervals. RMediation package provides functions to compute...

Goanna
 Referenced in 10 articles
[sw06980]
 removing false positives in static program analysis. We present an incremental algorithm that investigates paths ... feasibility. The feasibility test it done by interval constraint solving over a semantic abstraction ... ruled out by enriching the analysis incrementally with observers. Much like counterexample guided abstraction refinement...

ITPNperfbound
 Referenced in 1 article
[sw02721]
 tool for the modeling and analysis of Interval Time Petri Nets (ITPN), that is Petri ... firing time intervals, and possibly firing frequency intervals, are associated to transitions. The tool ... within the DrawNET framework and supports the analysis of ITPN models based on the computation...

DSSZMC
 Referenced in 5 articles
[sw01360]
 required. It contains tools for the efficient analysis of standard properties (boundedness, liveness, reversibility ... Interval Decision Diagrams. The main features are saturationbased state space generation, analysis of strongly...