The following pages link to FADBAD++ (Q17018):
Displaying 50 items.
- An integrodifferential approach to modeling, control, state estimation and optimization for heat transfer systems (Q285374) (← links)
- Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics (Q357174) (← links)
- Sensitivities of effective properties computed using micromechanics differential schemes and high-order Taylor series: application to piezo-polymer composites (Q366549) (← links)
- Computing of B-series by automatic differentiation (Q379767) (← links)
- Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances (Q411428) (← links)
- Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard (Q411433) (← links)
- A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure (Q411447) (← links)
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I (Q461203) (← links)
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability (Q475431) (← links)
- Interval methods for real-time capable robust control of solid oxide fuel cell systems (Q475452) (← links)
- A new algorithm for index determination in DAEs using algorithmic differentiation (Q639994) (← links)
- A backward automatic differentiation framework for reservoir simulation (Q723155) (← links)
- \(F\) and \(G\) Taylor series solutions to the Stark and Kepler problems with Sundman transformations (Q740339) (← links)
- Interval modeling of dynamics for multibody systems (Q861880) (← links)
- Solving differential-algebraic equations by Taylor series. II: Computing the system Jacobian (Q878197) (← links)
- Adjoint concepts for the optimal control of Burgers equation (Q885820) (← links)
- Error bounds for initial value problems by optimization (Q889871) (← links)
- On the implementation of automatic differentiation tools (Q1029809) (← links)
- Some recent advances in validated methods for IVPs for ODEs (Q1612462) (← links)
- Deterministic global optimization of process flowsheets in a reduced space using McCormick relaxations (Q1685576) (← links)
- Deterministic global optimization with artificial neural networks embedded (Q1730780) (← links)
- Tighter McCormick relaxations through subgradient propagation (Q2010084) (← links)
- On the effectiveness of the fast automatic differentiation methodology (Q2026171) (← links)
- p-kernel Stein variational gradient descent for data assimilation and history matching (Q2040686) (← links)
- Deterministic global optimization with Gaussian processes embedded (Q2062323) (← links)
- Solution of third grade thin film flow using algorithmic differentiation (Q2186998) (← links)
- Deterministic global optimization of steam cycles using the IAPWS-IF97 model (Q2218882) (← links)
- Stepsize selection in the rigorous defect control of Taylor series methods (Q2291989) (← links)
- Analysis of nano-plates by atomistic-refined models accounting for surface free energy effect (Q2435331) (← links)
- Parallel fluid flow control and optimisation with lattice Boltzmann methods and automatic differentiation (Q2446604) (← links)
- Computations for the familial analysis of binary traits (Q2488411) (← links)
- Solving differential-algebraic equations by Taylor series. I: Computing Taylor coefficients (Q2583159) (← links)
- Validated solutions of initial value problems for parametric ODEs (Q2643834) (← links)
- An Hermite-Obreschkoff method for stiff high-index DAE (Q2695264) (← links)
- Generative Programming for Automatic Differentiation (Q2913143) (← links)
- A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP (Q2930553) (← links)
- Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamic Systems with Uncertainties (Q2930557) (← links)
- Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems (Q2930559) (← links)
- Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems (Q2930566) (← links)
- Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering (Q2958621) (← links)
- Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamical Systems with Uncertainties (Q3006991) (← links)
- Numerical solution of a third-order nonlinear boundary-value problem by automatic differentiation (Q3008356) (← links)
- Optimal Control of Fluid Forces Using Second Order Automatic Differentiation (Q3013501) (← links)
- Automatic Differentiation for MATLAB Programs (Q3061385) (← links)
- (Q3084851) (← links)
- ADiJaC -- Automatic Differentiation of Java Classfiles (Q3176305) (← links)
- (Q3540582) (← links)
- Automatic differentiation for electromagnetic models used in optimization (Q3645133) (← links)
- (Q4558473) (← links)
- Reliable control of high-temperature fuel cell systems using interval-based sliding mode techniques (Q4683972) (← links)
