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 ...

News, notes and quotes from around the paddock Friday at Arlington, including Dallas resident and AJ Foyt Racing driver ...

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 ...