It's not just the Southwest that's cranking out excellent Mexican food these days; the good news is you can find top-notch ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results