Results 61 to 70 of about 13,504 (151)
Some of the next articles are maybe not open access.
Related searches:
Related searches:
A Comparison of Mizar and Isar
Journal of Automated Reasoning, 2002zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Markus Wenzel 0001, Freek Wiedijk
openaire +2 more sources
2007 IEEE International Geoscience and Remote Sensing Symposium, 2007
Conventional envelope alignment method of ISAR imaging assumes that the target is a rigid body, and therefore, the correlation between one-dimensional range profiles at neighboring time slots gives a larger value compared to correlation between time separated range profiles.
Changzheng Ma +5 more
openaire +1 more source
Conventional envelope alignment method of ISAR imaging assumes that the target is a rigid body, and therefore, the correlation between one-dimensional range profiles at neighboring time slots gives a larger value compared to correlation between time separated range profiles.
Changzheng Ma +5 more
openaire +1 more source
Jamming of ISAR Imaging With Time-Modulated Metasurface Partially Covered on Targets
IEEE Antennas and Wireless Propagation Letters, 2023The phase information of the echo is essential for inverse synthetic aperture radar (ISAR) imaging. Time-modulated metasurface (TMM) generates time-varying reflection phase that can modulate the phase of echo, thus enabling jamming of ISAR imaging, which
Shiyuan Li +6 more
semanticscholar +1 more source

