| Description |
1 online resource (xviii, 362 pages) : illustrations |
| Series |
Lecture notes in computational science and engineering, 1439-7358 ; 64 |
|
Lecture notes in computational science and engineering ; 64. 1439-7358
|
| Contents |
Reverse Automatic Differentiation of Linear Multistep Methods -- Call Tree Reversal is NP-Complete -- On Formal Certification of AD Transformations -- Collected Matrix Derivative Results for Forward and Reverse Mode Algorithmic Differentiation -- A Modification of Weeks' Method for Numerical Inversion of the Laplace Transform in the Real Case Based on Automatic Differentiation -- A Low Rank Approach to Automatic Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming Language Theory to Make Automatic Differentiation Sound and Efficient -- A Polynomial-Time Algorithm for Detecting Directed Axial Symmetry in Hessian Computational Graphs -- On the Practical Exploitation of Scarsity -- Design and Implementation of a Context-Sensitive, Flow-Sensitive Activity Analysis Algorithm for Automatic Differentiation -- Efficient Higher-Order Derivatives of the Hypergeometric Function -- The Diamant Approach for an Efficient Automatic Differentiation of the Asymptotic Numerical Method -- Tangent-on-Tangent vs. Tangent-on-Reverse for Second Differentiation of Constrained Functionals -- Parallel Reverse Mode Automatic Differentiation for OpenMP Programs with ADOL-C -- Adjoints for Time-Dependent Optimal Control -- Development and First Applications of TAC++ -- TAPENADE for C -- Coping with a Variable Number of Arguments when Transforming MATLAB Programs -- Code Optimization Techniques in Source Transformations for Interpreted Languages -- Automatic Sensitivity Analysis of DAE-systems Generated from Equation-Based Modeling Languages -- Index Determination in DAEs Using the Library indexdet and the ADOL-C Package for Algorithmic Differentiation -- Automatic Differentiation for GPU-Accelerated 2D/3D Registration -- Robust Aircraft Conceptual Design Using Automatic Differentiation in Matlab -- Toward Modular Multigrid Design Optimisation -- Large Electrical Power Systems Optimization Using Automatic Differentiation -- On the Application of Automatic Differentiation to the Likelihood Function for Dynamic General Equilibrium Models -- Combinatorial Computation with Automatic Differentiation -- Exploiting Sparsity in Jacobian Computation via Coloring and Automatic Differentiation: A Case Study in a Simulated Moving Bed Process -- Structure-Exploiting Automatic Differentiation of Finite Element Discretizations -- Large-Scale Transient Sensitivity Analysis of a Radiation-Damaged Bipolar Junction Transistor via Automatic Differentiation |
| Summary |
This collection covers advances in automatic differentiation theory and practice. Computer scientists and mathematicians will learn about recent developments in automatic differentiation theory as well as mechanisms for the construction of robust and powerful automatic differentiation tools. Computational scientists and engineers will benefit from the discussion of various applications, which provide insight into effective strategies for using automatic differentiation for inverse problems and design optimization |
| Analysis |
wiskunde |
|
mathematics |
|
computertechnieken |
|
computer techniques |
|
elektrotechniek |
|
electrical engineering |
|
computerwiskunde |
|
computational mathematics |
|
numerieke wiskunde |
|
numerical mathematics |
|
computational science |
|
Mathematics (General) |
|
Wiskunde (algemeen) |
| Bibliography |
Includes bibliographical references |
| Notes |
English |
|
Print version record |
| In |
Springer eBooks |
| Subject |
Differential calculus -- Data processing -- Congresses
|
|
Differential-difference equations -- Data processing -- Congresses
|
|
Electronic Data Processing
|
|
computer science.
|
|
data processing.
|
|
MATHEMATICS -- Differential Equations -- General.
|
|
Differential-difference equations -- Data processing.
|
|
Differential calculus -- Data processing.
|
|
Cálculo diferencial
|
|
Differential calculus -- Data processing
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Bischof, Christian.
|
| ISBN |
9783540689423 |
|
3540689427 |
|
