|
Olivier Mullier, Alexandre Chapoutot, dit Sandretto, Julien Alexandre
Validated computation of the local truncation error of Runge--Kutta methods with automatic differentiation
Article in
Special issue of Optimization Methods & Software: Advances in Algorithmic Differentiation, Taylor & Francis,
2018 |
not yet classified
|
|
|
R. Baker Kearfott, Siriporn Hongthong
Validated Linear Relaxations and Preprocessing: Some Experiments
Article in
SIAM Journal on Optimization, SIAM,
2005 |
Theory & Techniques:
Interval Arithmetic
|
|
W. Tucker
Validated Numerics: A Short Introduction to Rigorous Computations
Princeton University Press,
2011 |
Theory & Techniques:
General
|
|
|
H. J. Eskes, A. J. M. Piters, P. F. Levelt, M. A. F. Allaart, H. M. Kelder
Variational Assimilation of GOME Total-Column Ozone Satellite Data in a 2D Latitude-Longitude Tracer-Transport Model
Article in
J. Atmos. Sci., 1999 |
Application Area:
Meteorology
Tools:
TAMC
Theory & Techniques:
Adjoint
|
|
|
P. Courtier, Olivier Talagrand
Variational Assimilation of Meteorological Observations with the Adjoint Equation -- Part II. Numerical Results
Article in
Q. J. R. Meteorol. Soc., 1987 |
not yet classified
|
|
|
Olivier Talagrand, P. Courtier
Variational Assimilation of Meteorological Observations with the Adjoint Vorticity Equation -- Part I. Theory
Article in
Q. J. R. Meteorol. Soc., 1987 |
not yet classified
|
|
|
P. Courtier, Olivier Talagrand
Variational Assimilation of Meteorological Observations with the Direct and Adjoint Shallow-Water Equations
Article in
Tellus, 1990 |
not yet classified
|
|
|
A. Benedetti, G. L. Stephens, T. Vukicevic
Variational Assimilation Of Radar Reflectivities In A Cirrus Model. I: Model Description And Adjoint Sensitivity Studies
Article in
Q. J. R. Meteorol. Soc., 2003 |
Application Area:
Meteorology
Tools:
TAMC
Theory & Techniques:
Adjoint
|
|
|
Armin Köhl, Jürgen Willebrand
Variational assimilation of SSH variability from TOPEX/POSEIDON and ERS1 into an eddy-permitting model of the North Atlantic
Article in
J. Geophys. Res., 2003 |
Application Area:
Oceanography
Tools:
TAMC
|
|
|
Armin Köhl, Jürgen Willebrand
Variational assimilation of SSH variance from TOPEX/POSEIDON and ERS1 into an eddy-permitting model of the North Atlantic
Article in
CLIVAR Exchanges Newsletter, 2000 |
Application Area:
Oceanography
Tools:
TAMC
Theory & Techniques:
Adjoint
|
|
|
Isabelle Charpentier
Variational coupling of Plinian column models and data: Application to El Chichón volcano
Article in
Journal of Volcanology and Geothermal Research, 2008 |
Application Area:
Geophysics
Tools:
Odyssee
Theory & Techniques:
Adjoint
|
|
Pablo J. Grunmann
Variational Data Assimilation of Soil Moisture Information
Ph.D. thesis,
University of Maryland, 2005 |
Application Area:
Land Surface
Tools:
TAMC
|
|
|
Jan Hückelheim, Michel Schanen, Sri Hari Krishna Narayanan, Paul Hovland
Vector Forward Mode Automatic Differentiation on SIMD/SIMT Architectures
Conference proceeding,
49th International Conference on Parallel Processing -- ICPP, Association for Computing Machinery,
2020 |
Theory & Techniques:
Parallelism
|
|
|
M. Follows, D. Stammer, C. Wunsch
Ventilation of CFC-11 in a global ocean circulation model constrained by WOCE data
Article in
International WOCE Newsletter, 1999 |
Application Area:
Oceanography
Tools:
TAMC
Theory & Techniques:
Adjoint
|
|
|
Martin Berz, Kyoko Makino
Verified Integration of ODEs and Flows using Differential Algebraic Methods on High-Order Taylor Models
Article in
Reliable Computing, 1998 |
not yet classified
|
|
|
Andreas Griewank, Christo Mitev
Verifying Jacobian Sparsity
Automatic Differentiation of Algorithms: From Simulation to Optimization, Springer,
2002 |
Theory & Techniques:
Sparsity
|
|
|
Markus Schordan, Jan Hückelheim, Pei-Hung Lin, Harshitha Menon
Verifying the Floating-Point Computation Equivalence of Manually and Automatically Differentiated Code
Conference proceeding,
Proceedings of the First International Workshop on Software Correctness for HPC Applications, CORRECTNESS@SC 2017, Denver, CO, USA, November 12, 2017, ACM,
2017 |
Application Area:
Error Analysis
|
|
|
E. M. Tadjouddine
Vertex-ordering Algorithms for Automatic Differentiation of Computer Codes
Article in
The Computer Journal, 2008 |
Theory & Techniques:
Hierarchical Approach
|
|
|
Mustafa Bandukwala2021VoP
Viability of Power-Split Hybrid-Electric Aircraft under Robust Control Co-Design
Master thesis,
Department of Mechanical and Materials Engineering, University of Cincinnati, 2021 |
Application Area:
Aerodynamics
Tools:
ADiMat
|
|
|
Mark J. Huiskes
Virtual Population Analysis with the Adjoint Method
Fishery Stock Assessment Models, Alaska Sea Grant College Program Report No. AK-SG-98-01,
1998 |
Application Area:
Biology
Tools:
ADOL-C
|
