Abstract In the theory of coalgebras, trace semantics can be defined in various distinct ways, including through algebraic logics, Kleisli category a monad or its Eilenberg–Moore category. This paper elaborates two new unifying ideas: (i) coalgebraic,draftrules is naturally presented terms corecursive algebras, and (ii) all three approaches arise as instances same abstract setting. Our perspect...

To date, a number of numerical methods, including the popular Finite-Difference Time Domain (FDTD) technique, have been proposed to simulate Ground-Penetrating Radar (GPR) responses. Despite having a number of advantages, the finite-difference method also has pitfalls such as being very time consuming in simulating the most common case of media with high dielectric permittivity, causing the for...

the purpose of velocity analysis is to extract the normal moveout velocity as a function of the zero-offset travel time at selected cdp locations along the seismic line. since results of velocity analysis depend on coherency estimator, an estimator that provides a high velocity resolution is essential. even though the conventional semblance method which is the most popular coherency estimator (...