Analytical formulas are derived to compute the first-order effects produced by plane inhomogeneities on the point source seismic response of a fluid-filled stratified porous medium. The derivation is achieved by a perturbation analysis of the poroelastic wave equations in the plane-wave domain using the Born approximation. This approach yields the Frechet derivatives of the P-SV- and SH-wave re...

Summary Previous Mizar articles [7, 6, 5] formalized the implicit and inverse function theorems for Frechet continuously differentiable maps on Banach spaces. In this paper, using system [1], [2], we formalize these Euclidean spaces by specializing them. We referred to [4], [12], [10], [11] in formalization.

In this paper, we propose an improved quantitative evaluation framework for Generative Adversarial Networks (GANs) on generating domain-specific images, where we improve conventional evaluation methods on two levels: the feature representation and the evaluation metric. Unlike most existing evaluation frameworks which transfer the representation of ImageNet inception model to map images onto th...

in this paper, simultaneous control of source terms is considered in a vibrational string problem.in the considered problem, the terms to be controlled are the force and the initial velocity functions. we statethe generalized (weak) solution about the considered problem. the existence and uniqueness of the solutionfor optimal control problem is investigated. the frechet derivative of the functi...