The optimal checkpointing algorithm (Griewank and Walther, 2000) minimizes the computational complexity of the adjoint state method. Applied to reverse time migration, optimal checkpointing eliminates (or at least drastically reduces) the need for disk i/o, which is quite extensive in more straightforward implementations. This paper describes optimal checkpointing in a form which applies both t...

Hydrocarbon production modifies the stress conditions in the subsurface and changes the model parameters previously estimated from the prospect. The capability to remotely monitor the changes in the reservoir using seismic data has strategic importance since it allows us to infer fluid movement and evolution of stress conditions, which are key factors to enhance recovery and reduce uncertainty ...

A generalization of the homogenization process needed for the neural implementation of multi-adjoint logic programming (a unifying theory to deal with uncertainty, imprecise data or incomplete information) is presented here. The idea is to allow to represent a more general family of adjoint pairs, but maintaining the advantage of the existing implementation recently introduced in [6]. The sound...

We have studied the self-adjointness of generalized MIC-Kepler Hamiltonian, obtained from the formally self-adjoint generalized MIC-Kepler Hamiltonian. We have shown that for l̃ = 0, the system admits an 1-parameter family of self-adjoint extension and for l̃ 6= 0 but l̃ < 1 2 , it has also an 1parameter family of self-adjoint extension.

We investigate the conditions under which residual-based variational multiscale methods are adjoint, or dual, consistent for model hyperbolic and elliptic partial differential equations. In particular, while many residual-based variational multiscale stabilizations are adjoint consistent for hyperbolic problems and finite-element spaces, only a few are adjoint consistent for elliptic problems.