Pages that link to "Item:Q1300080"

The following pages link to Efficient control of the dependency problem based on Taylor model methods (Q1300080):

Displaying 22 items.

• Computing the range of values of real functions using B-spline form (Q272547) (← links)
• Dynamics of spatial rigid-flexible multibody systems with uncertain interval parameters (Q332777) (← links)
• Convergence analysis of Taylor models and McCormick-Taylor models (Q367158) (← links)
• Polynomial function intervals for floating-point software verification (Q457251) (← links)
• New enclosure algorithms for the verified solutions of nonlinear Volterra integral equations (Q636538) (← links)
• Computing the critical points of the distance function between two Keplerian orbits via rigorous global optimization (Q642356) (← links)
• Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information (Q739977) (← links)
• An application of Taylor models to the Nakao method on ODEs (Q849188) (← links)
• Solving interval constraints by linearization in computer-aided design (Q868685) (← links)
• Probability bounds analysis for nonlinear population ecology models (Q899221) (← links)
• Generalized Hukuhara differentiability of interval-valued functions and interval differential equations (Q1026092) (← links)
• Chebyshev model arithmetic for factorable functions (Q1675562) (← links)
• Sparse regression Chebyshev polynomial interval method for nonlinear dynamic systems under uncertainty (Q2294778) (← links)
• Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs (Q2351531) (← links)
• Validated solutions of initial value problems for parametric ODEs (Q2643834) (← links)
• Verified Solution Method for Population Epidemiology Models with Uncertainty (Q2930567) (← links)
• Rigorous Global Optimization for Collision Risk Assessment on Perturbed Orbits (Q3133914) (← links)
• A New Intersection Algorithm for Parametric Surfaces Based on Linear Interval Estimations (Q4577114) (← links)
• Verified High-Order Integration of DAEs and Higher-Order ODEs (Q4577124) (← links)
• Sensitivity Analysis of Uncertain Dynamic Systems Using Set-Valued Integration (Q4600003) (← links)
• Mathematically Rigorous Global Optimization and Fuzzy Optimization (Q5153504) (← links)
• A polynomial chaos expansion approach for nonlinear dynamic systems with interval uncertainty (Q6132382) (← links)