Publication Database
Introduction
Applications
Tools
Research Groups
Workshops
Publications
   List Publications
   Advanced Search
   Info
   Add Publications
My Account
About


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

back
  

Contact:
autodiff.org
Username:
Password:
(lost password)