I tested the top mobile scanning apps to help you turn documents into PDFs, digitize images, and translate text on the go.

Abstract: We propose a directive antenna for borehole radar using a horizontally polarized wave in a vertical borehole. This antenna is an array of several horizontal loop antennas, arranged ...

Abstract: Invariants with quantifiers are important for verification and static analysis of programs over arrays due to the unbounded nature of arrays. Such invariants can express relationships among ...