Imagine you're watching a movie, in which a character puts a chocolate bar in a box, closes the box and leaves the room. Another person, also in the room, moves the bar from a box to a desk drawer.

Abstract: Least-squares migration (LSM) aims to seek the best-fit solution for subsurface reflectivity with high image resolution and balanced amplitudes by minimizing the mismatching between ...

Fixed-Dimensional Encoding (FDE) solves a fundamental problem in modern search systems: how to efficiently search through billions of documents when each document is represented by hundreds of vectors ...

Abstract: Opacity of a discrete event system is a confidentiality property that characterizes instances when the secret behavior of the system cannot be revealed. This paper considers current-state ...