FADBAD++

swMATH4863MaRDI QIDQ17018FDOQ17018

Author name not available (Why is that?)

Cited In (59)

• Divide-and-conquer checkpointing for arbitrary programs with no user annotation
• Application of techniques of computational differentiation to a cooling system
• On the implementation of automatic differentiation tools
• Sensitivities of effective properties computed using micromechanics differential schemes and high-order Taylor series: application to piezo-polymer composites
• Deterministic global optimization of steam cycles using the IAPWS-IF97 model
• A comparison of verified distance computation between implicit objects using different arithmetics for range enclosure
• Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard
• Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances
• Tighter McCormick relaxations through subgradient propagation
• The complex-step derivative approximation
• Automatic Differentiation for MATLAB Programs
• Stepsize selection in the rigorous defect control of Taylor series methods
• An integrodifferential approach to modeling, control, state estimation and optimization for heat transfer systems
• Fast Reverse-Mode Automatic Differentiation using Expression Templates in C++
• Generative Programming for Automatic Differentiation
• ADiJaC -- Automatic Differentiation of Java Classfiles
• Adjoint concepts for the optimal control of Burgers equation
• Interval modeling of dynamics for multibody systems
• A backward automatic differentiation framework for reservoir simulation
• A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP
• Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems
• Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamic Systems with Uncertainties
• Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems
• A new algorithm for index determination in DAEs using algorithmic differentiation
• Deterministic global optimization with Gaussian processes embedded
• Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamical Systems with Uncertainties
• Title not available (Why is that?)
• Parallel fluid flow control and optimisation with lattice Boltzmann methods and automatic differentiation
• Solving differential-algebraic equations by Taylor series. II: Computing the system Jacobian
• Performance of convex underestimators in a branch-and-bound framework
• Optimal control of fluid force around a circular cylinder located in incompressible viscous flow using automatic differentiation
• Title not available (Why is that?)
• \(F\) and \(G\) Taylor series solutions to the Stark and Kepler problems with Sundman transformations
• Numerical solution of a third-order nonlinear boundary-value problem by automatic differentiation
• Reliable control of high-temperature fuel cell systems using interval-based sliding mode techniques
• A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations
• Automatic differentiation for electromagnetic models used in optimization
• Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
• Error bounds for initial value problems by optimization
• Expression templates for primal value taping in the reverse mode of algorithmic differentiation
• Computations for the familial analysis of binary traits
• p-kernel Stein variational gradient descent for data assimilation and history matching
• A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
• Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering
• Validated solutions of initial value problems for parametric ODEs
• Solving differential-algebraic equations by Taylor series. I: Computing Taylor coefficients
• Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics
• Solution of third grade thin film flow using algorithmic differentiation
• Interval methods for real-time capable robust control of solid oxide fuel cell systems
• Analysis of nano-plates by atomistic-refined models accounting for surface free energy effect
• An Hermite-Obreschkoff method for stiff high-index DAE
• Some recent advances in validated methods for IVPs for ODEs
• Optimal Control of Fluid Forces Using Second Order Automatic Differentiation
• Title not available (Why is that?)
• Deterministic global optimization of process flowsheets in a reduced space using McCormick relaxations
• Deterministic global optimization with artificial neural networks embedded
• Computing of B-series by automatic differentiation
• On the effectiveness of the fast automatic differentiation methodology
• Title not available (Why is that?)

This page was built for software: FADBAD++